UNICA IRIS Institutional Research Information System

PINNA, GIOVANNI MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 68.188
NA - Nord America 5.520
AS - Asia 2.375
SA - Sud America 354
Continente sconosciuto - Info sul continente non disponibili 184
AF - Africa 35
OC - Oceania 3
Totale 76.659
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 66.793
US - Stati Uniti d'America 5.441
SG - Singapore 939
CN - Cina 896
UA - Ucraina 408
SE - Svezia 334
BR - Brasile 264
VN - Vietnam 180
FI - Finlandia 156
DE - Germania 146
FR - Francia 128
GB - Regno Unito 121
BD - Bangladesh 64
IN - India 61
KR - Corea 56
CA - Canada 49
HK - Hong Kong 47
AR - Argentina 30
TR - Turchia 18
EC - Ecuador 17
RU - Federazione Russa 17
ES - Italia 15
IQ - Iraq 15
MX - Messico 14
BE - Belgio 13
CO - Colombia 12
NL - Olanda 12
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
MY - Malesia 7
PL - Polonia 7
AZ - Azerbaigian 6
BO - Bolivia 6
PH - Filippine 6
UZ - Uzbekistan 6
CL - Cile 5
JM - Giamaica 5
KE - Kenya 5
PE - Perù 5
PY - Paraguay 5
AE - Emirati Arabi Uniti 4
CR - Costa Rica 4
MO - Macao, regione amministrativa speciale della Cina 4
TW - Taiwan 4
XK - ???statistics.table.value.countryCode.XK??? 4
AU - Australia 3
EG - Egitto 3
EU - Europa 3
GR - Grecia 3
HU - Ungheria 3
IE - Irlanda 3
KZ - Kazakistan 3
NP - Nepal 3
RS - Serbia 3
BA - Bosnia-Erzegovina 2
DZ - Algeria 2
ET - Etiopia 2
GT - Guatemala 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
BB - Barbados 1
BG - Bulgaria 1
BW - Botswana 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
Totale 76.478
Salva come PNG Salva come JPEG
Città #
Cagliari 64.845
Uta 1.695
Woodbridge 537
Fairfield 506
Singapore 473
Ashburn 367
San Jose 352
Chandler 337
Dallas 297
Ann Arbor 283
Houston 262
Boardman 260
Jacksonville 224
Nyköping 198
Wilmington 193
Seattle 185
Cambridge 159
Beijing 135
Council Bluffs 92
Dearborn 92
Hefei 91
Helsinki 87
Santa Clara 87
Los Angeles 84
Lauterbourg 72
Nanjing 67
The Dalles 61
Shanghai 60
Boston 57
Buffalo 57
Seoul 54
Ho Chi Minh City 51
Hong Kong 39
Hanoi 38
Milan 38
New York 35
San Diego 33
Tianjin 27
Shenyang 24
Dong Ket 22
Rome 22
São Paulo 22
Toronto 22
Guangzhou 21
Hebei 20
Columbus 18
London 18
Nanchang 18
Verona 18
Chicago 16
Frankfurt am Main 15
Orem 15
Jiaxing 14
Orange 14
Redwood City 14
Atlanta 13
Brussels 13
Hangzhou 13
Mountain View 13
Rio de Janeiro 12
Zhengzhou 12
Changsha 11
Norwalk 11
Porto Alegre 11
Rimini 11
Kunming 10
Phoenix 10
Brooklyn 9
Jinan 9
Millbury 9
Aachen 8
Belo Horizonte 8
Denver 8
Mumbai 8
Philadelphia 8
Quito 8
Tokyo 8
Capoterra 7
Dhaka 7
Lappeenranta 7
Ningbo 7
Amsterdam 6
Baghdad 6
Bogotá 6
Caracas 6
Chennai 6
Da Nang 6
Düsseldorf 6
Haiphong 6
Johannesburg 6
Munich 6
Portsmouth 6
Pune 6
Redondo Beach 6
Salt Lake City 6
Shenzhen 6
Tashkent 6
Wuhan 6
Baku 5
Borås 5
Totale 73.206
Salva come PNG Salva come JPEG
Nome #
A Clustering Approach for Tag Recommendation in Social Environments 2.444
A note on two notions of compliance 2.262
Contracts as games on event structures 1.950
Modeling dependencies and simultaneity in membrane system computations 1.853
Circular causality in event structures 1.782
Lending Petri nets and contracts 1.743
Lending Petri nets 1.719
Models of circular causality 1.625
Simultaneity in event structures 1.620
Catalytic Petri Nets are Turing Complete 1.544
Catalytic and communicating Petri nets are Turing complete 1.417
An event based semantics of P-Systems 1.408
Timed Catalytic Petri Nets 1.386
Representing Dependencies in Event Structures 1.376
An unifying framework for compacting Petri nets behaviors 1.365
Merging relations: a way to compact Petri nets' behaviors uniformly 1.362
null 1.354
Toward a uniform approach to the unfolding of nets 1.330
How Much is worth to remember? A Taxonomy based on Petri Nets Unfoldings 1.249
Process discovery and Petri nets 1.230
Petri nets and dynamic causality for service-oriented computations 1.214
A complete fuzzy logical system to deal with trust management systems 1.181
Power of Causal Dependencies in Rule-Based Systems 1.175
Selected papers of The ninth Italian Conference on Theoretical Computer Science (ICTCS 2005) 1.175
A Tableau Calculus for Hájek's Logic BL 1.148
Petri Nets Unfoldings and the individual/collective token philosophy 1.131
Dependencies and Symultaneity in Membrane Sys- tems 1.123
null 1.114
Event Structures for the Collective Tokens Philosophy of Inhibitor Nets 1.074
Characterizing workflow nets using regions 1.054
Spreading nets: A uniform approach to unfoldings 1.027
null 1.026
Operational Representation of Dependencies in Context-Dependent Event Structures 1.026
Investigations on Fragments of First Order Branching Temporal Logic 1.019
Representing Dependencies in Event Structures 974
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 969
Foundations of Reversible Computation 955
Event Structures with Disabling/Enabling relation and Event Automata 950
null 943
A fuzzy approach to Trust Management Systems 927
An Iterative Algorithm for Applying the Theory of Regions in Process Mining 898
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005 854
Component-based Verification in a Synchronous Setting 763
Memory associated with membranes systems 762
null 752
Specifying and verifying reactive systems in a multi-language environment 744
Modular verification of ARGOS programs 690
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 677
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs 663
An event-based model for contracts 660
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain 652
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs 633
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 628
Synthesis of Nets with Inhibitor Arcs 600
Circular causality in event structures 592
A distributed operational view of Reversible Prime Event Structures 592
Refinement and Modular Verification with Observers 590
Coordination of Synchronous Programs 582
Verifying a Time-Triggered Protocol in a Multi-language Environment 580
On the Nature of Events: Another Perspective in Concurrency 564
A modal formalization of term rewriting systems 562
On the Specification of Elementary Reactive Behaviour 561
"No collision" in a protocol with n stations: a comparative study of formal proofs 552
Evolutions as Computations 547
An Event Based Semantics of P-Systems 527
A new operational representation of dependencies in Event Structures 525
Proof Systems with Cut Elimination for MTL$^{\leq_Q}$ 512
Refinements and Modular Verification 491
A Petri net view of covalent bonds 489
Transformation of Pr/T nets via translation into structure grammars 487
A Causal Semantics for Contextual P/T Nets 465
A compositional semantics for unmarked Predicate/Transition nets 459
Petri nets and their composition problems 456
Event Automata as a Generic Model of Reactive Systems 443
On the nature of events 436
Non Sequential Semantics for Contextual P/T Nets 422
The mathematics of Event Automata 400
Modeling and Specifying Reactive Behaviour of Information Systems 397
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 292
Model Checking Reversible Systems: Forwardly 172
A Reversible perspective on Petri Nets and event structures 150
A Truly Concurrent Semantics for Reversible CCS 121
Flow unfolding of multi-clock nets 118
Reversing steps in membrane systems computations 116
Nodal metastases in papillary thyroid microcarcinoma: prevalence and risk factors in 311 patients 103
Encoding Reversible Petri Nets into CCSK 87
Relating Reversible Petri Nets and Reversible Event Structures, categorically 63
Towards a Truly Concurrent Semantics for Reversible CCS 6
Totale 76.659
Salva come PNG Salva come JPEG
Categoria #
all - tutte 108.757
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 108.757
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20223.343 0 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/20265.107 207 331 657 264 282 322 1.378 354 447 323 355 187
2026/2027375 144 231 0 0 0 0 0 0 0 0 0 0
Totale 76.659