UNICA IRIS Institutional Research Information System

PINNA, GIOVANNI MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 67.738
NA - Nord America 5.051
AS - Asia 2.332
SA - Sud America 346
AF - Africa 35
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 2
Totale 75.511
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 66.346
US - Stati Uniti d'America 4.992
SG - Singapore 931
CN - Cina 892
UA - Ucraina 408
SE - Svezia 334
BR - Brasile 262
VN - Vietnam 180
FI - Finlandia 156
DE - Germania 146
FR - Francia 126
GB - Regno Unito 120
IN - India 61
KR - Corea 56
HK - Hong Kong 47
CA - Canada 38
BD - Bangladesh 34
AR - Argentina 30
TR - Turchia 18
RU - Federazione Russa 17
ES - Italia 15
IQ - Iraq 15
EC - Ecuador 14
BE - Belgio 13
MX - Messico 13
NL - Olanda 12
CO - Colombia 11
JP - Giappone 11
AT - Austria 10
PK - Pakistan 10
VE - Venezuela 9
ID - Indonesia 8
SA - Arabia Saudita 8
ZA - Sudafrica 8
MA - Marocco 7
PL - Polonia 7
AZ - Azerbaigian 6
BO - Bolivia 6
MY - Malesia 6
PH - Filippine 6
UZ - Uzbekistan 6
CL - Cile 5
KE - Kenya 5
PE - Perù 5
AE - Emirati Arabi Uniti 4
JM - Giamaica 4
MO - Macao, regione amministrativa speciale della Cina 4
TW - Taiwan 4
XK - ???statistics.table.value.countryCode.XK??? 4
EG - Egitto 3
EU - Europa 3
GR - Grecia 3
HU - Ungheria 3
IE - Irlanda 3
KZ - Kazakistan 3
NP - Nepal 3
PY - Paraguay 3
RS - Serbia 3
AU - Australia 2
BA - Bosnia-Erzegovina 2
DZ - Algeria 2
ET - Etiopia 2
JO - Giordania 2
KH - Cambogia 2
LA - Repubblica Popolare Democratica del Laos 2
LT - Lituania 2
MU - Mauritius 2
PS - Palestinian Territory 2
RO - Romania 2
AL - Albania 1
AM - Armenia 1
BG - Bulgaria 1
BW - Botswana 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GA - Gabon 1
GE - Georgia 1
HN - Honduras 1
HR - Croazia 1
IL - Israele 1
IR - Iran 1
KW - Kuwait 1
LB - Libano 1
LV - Lettonia 1
LY - Libia 1
MD - Moldavia 1
MM - Myanmar 1
MV - Maldive 1
NO - Norvegia 1
OM - Oman 1
PA - Panama 1
PR - Porto Rico 1
PT - Portogallo 1
SI - Slovenia 1
SR - Suriname 1
TH - Thailandia 1
TL - Timor Orientale 1
TN - Tunisia 1
TZ - Tanzania 1
Totale 75.510
Salva come PNG Salva come JPEG
Città #
Cagliari 64.440
Uta 1.695
Woodbridge 537
Fairfield 506
Singapore 468
Ashburn 352
Chandler 337
Dallas 294
Ann Arbor 283
Boardman 260
Houston 259
Jacksonville 224
San Jose 215
Nyköping 198
Wilmington 191
Seattle 184
Cambridge 159
Beijing 133
Dearborn 91
Hefei 91
Helsinki 87
Santa Clara 81
Los Angeles 76
Lauterbourg 72
Nanjing 67
The Dalles 61
Shanghai 59
Boston 57
Seoul 54
Buffalo 52
Ho Chi Minh City 51
Hong Kong 39
Hanoi 38
Milan 33
San Diego 32
Tianjin 27
Shenyang 24
New York 23
Dong Ket 22
São Paulo 22
Guangzhou 21
Hebei 20
Toronto 20
Council Bluffs 18
Nanchang 18
Verona 18
London 17
Frankfurt am Main 15
Orem 15
Jiaxing 14
Orange 14
Redwood City 14
Brussels 13
Hangzhou 13
Rome 13
Mountain View 12
Rio de Janeiro 12
Zhengzhou 12
Atlanta 11
Changsha 11
Norwalk 11
Porto Alegre 11
Chicago 10
Kunming 10
Jinan 9
Millbury 9
Aachen 8
Brooklyn 8
Mumbai 8
Tokyo 8
Belo Horizonte 7
Capoterra 7
Dhaka 7
Lappeenranta 7
Ningbo 7
Phoenix 7
Amsterdam 6
Baghdad 6
Bogotá 6
Caracas 6
Chennai 6
Da Nang 6
Denver 6
Düsseldorf 6
Haiphong 6
Johannesburg 6
Munich 6
Portsmouth 6
Pune 6
Quito 6
Redondo Beach 6
Salt Lake City 6
Shenzhen 6
Tashkent 6
Wuhan 6
Baku 5
Borås 5
Istanbul 5
Kuala Lumpur 5
Nairobi 5
Totale 72.468
Salva come PNG Salva come JPEG
Nome #
A Clustering Approach for Tag Recommendation in Social Environments 2.422
A note on two notions of compliance 2.251
Contracts as games on event structures 1.943
Modeling dependencies and simultaneity in membrane system computations 1.841
Circular causality in event structures 1.763
Lending Petri nets and contracts 1.730
Lending Petri nets 1.706
Models of circular causality 1.609
Simultaneity in event structures 1.603
Catalytic Petri Nets are Turing Complete 1.533
Catalytic and communicating Petri nets are Turing complete 1.407
An event based semantics of P-Systems 1.400
Timed Catalytic Petri Nets 1.370
Representing Dependencies in Event Structures 1.364
null 1.354
An unifying framework for compacting Petri nets behaviors 1.349
Merging relations: a way to compact Petri nets' behaviors uniformly 1.349
Toward a uniform approach to the unfolding of nets 1.322
How Much is worth to remember? A Taxonomy based on Petri Nets Unfoldings 1.237
Process discovery and Petri nets 1.216
Petri nets and dynamic causality for service-oriented computations 1.202
A complete fuzzy logical system to deal with trust management systems 1.176
Selected papers of The ninth Italian Conference on Theoretical Computer Science (ICTCS 2005) 1.161
Power of Causal Dependencies in Rule-Based Systems 1.160
A Tableau Calculus for Hájek's Logic BL 1.136
Petri Nets Unfoldings and the individual/collective token philosophy 1.121
null 1.114
Dependencies and Symultaneity in Membrane Sys- tems 1.109
Event Structures for the Collective Tokens Philosophy of Inhibitor Nets 1.070
Characterizing workflow nets using regions 1.041
null 1.026
Operational Representation of Dependencies in Context-Dependent Event Structures 1.018
Spreading nets: A uniform approach to unfoldings 1.015
Investigations on Fragments of First Order Branching Temporal Logic 1.008
Representing Dependencies in Event Structures 960
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 957
Foundations of Reversible Computation 945
null 943
Event Structures with Disabling/Enabling relation and Event Automata 937
A fuzzy approach to Trust Management Systems 903
An Iterative Algorithm for Applying the Theory of Regions in Process Mining 881
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005 845
Component-based Verification in a Synchronous Setting 758
null 752
Memory associated with membranes systems 750
Specifying and verifying reactive systems in a multi-language environment 740
Modular verification of ARGOS programs 685
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 668
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs 654
An event-based model for contracts 649
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain 647
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs 626
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 625
Synthesis of Nets with Inhibitor Arcs 594
A distributed operational view of Reversible Prime Event Structures 585
Refinement and Modular Verification with Observers 581
Verifying a Time-Triggered Protocol in a Multi-language Environment 574
Circular causality in event structures 573
Coordination of Synchronous Programs 561
On the Specification of Elementary Reactive Behaviour 558
On the Nature of Events: Another Perspective in Concurrency 555
A modal formalization of term rewriting systems 547
"No collision" in a protocol with n stations: a comparative study of formal proofs 540
Evolutions as Computations 535
A new operational representation of dependencies in Event Structures 518
An Event Based Semantics of P-Systems 516
Proof Systems with Cut Elimination for MTL$^{\leq_Q}$ 505
Refinements and Modular Verification 485
Transformation of Pr/T nets via translation into structure grammars 478
A Petri net view of covalent bonds 469
A Causal Semantics for Contextual P/T Nets 460
A compositional semantics for unmarked Predicate/Transition nets 457
Petri nets and their composition problems 438
Event Automata as a Generic Model of Reactive Systems 434
On the nature of events 430
Non Sequential Semantics for Contextual P/T Nets 414
The mathematics of Event Automata 394
Modeling and Specifying Reactive Behaviour of Information Systems 385
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 283
Model Checking Reversible Systems: Forwardly 158
A Reversible perspective on Petri Nets and event structures 131
A Truly Concurrent Semantics for Reversible CCS 105
Flow unfolding of multi-clock nets 103
Reversing steps in membrane systems computations 99
Nodal metastases in papillary thyroid microcarcinoma: prevalence and risk factors in 311 patients 75
Encoding Reversible Petri Nets into CCSK 56
Relating Reversible Petri Nets and Reversible Event Structures, categorically 35
Towards a Truly Concurrent Semantics for Reversible CCS 6
Totale 75.688
Salva come PNG Salva come JPEG
Categoria #
all - tutte 104.363
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 104.363
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.640 0 0 0 0 0 0 0 0 0 472 572 596
2021/20223.712 369 236 392 193 167 166 328 386 260 552 287 376
2022/20239.293 822 1.259 954 739 565 811 584 507 687 801 1.108 456
2023/20248.642 246 271 288 422 734 1.650 1.281 546 348 692 1.283 881
2024/202513.499 2.260 3.399 1.830 1.621 1.101 1.070 1.488 78 142 127 185 198
2025/20264.511 207 331 657 264 282 322 1.378 354 447 269 0 0
Totale 75.688