UNICA IRIS Institutional Research Information System

PINNA, GIOVANNI MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 67.957
NA - Nord America 5.397
AS - Asia 2.353
SA - Sud America 348
AF - Africa 35
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 2
Totale 76.099
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 66.564
US - Stati Uniti d'America 5.322
SG - Singapore 933
CN - Cina 893
UA - Ucraina 408
SE - Svezia 334
BR - Brasile 263
VN - Vietnam 180
FI - Finlandia 156
DE - Germania 146
FR - Francia 127
GB - Regno Unito 120
IN - India 61
KR - Corea 56
BD - Bangladesh 52
CA - Canada 47
HK - Hong Kong 47
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
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
PL - Polonia 7
AZ - Azerbaigian 6
BO - Bolivia 6
MY - Malesia 6
PH - Filippine 6
UZ - Uzbekistan 6
CL - Cile 5
JM - Giamaica 5
KE - Kenya 5
PE - Perù 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
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
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.096
Salva come PNG Salva come JPEG
Città #
Cagliari 64.625
Uta 1.695
Woodbridge 537
Fairfield 506
Singapore 470
Ashburn 359
San Jose 347
Chandler 337
Dallas 297
Ann Arbor 283
Houston 262
Boardman 260
Jacksonville 224
Nyköping 198
Wilmington 193
Seattle 185
Cambridge 159
Beijing 134
Dearborn 92
Hefei 91
Helsinki 87
Los Angeles 81
Santa Clara 81
Lauterbourg 72
Nanjing 67
The Dalles 61
Shanghai 59
Boston 57
Buffalo 55
Seoul 54
Ho Chi Minh City 51
Council Bluffs 49
Hong Kong 39
Hanoi 38
Milan 37
New York 33
San Diego 33
Tianjin 27
Shenyang 24
Dong Ket 22
São Paulo 22
Toronto 22
Guangzhou 21
Hebei 20
Nanchang 18
Rome 18
Verona 18
London 17
Frankfurt am Main 15
Orem 15
Chicago 14
Jiaxing 14
Orange 14
Redwood City 14
Brussels 13
Hangzhou 13
Mountain View 13
Atlanta 12
Rio de Janeiro 12
Zhengzhou 12
Changsha 11
Norwalk 11
Porto Alegre 11
Rimini 11
Kunming 10
Jinan 9
Millbury 9
Aachen 8
Belo Horizonte 8
Brooklyn 8
Mumbai 8
Phoenix 8
Tokyo 8
Capoterra 7
Denver 7
Dhaka 7
Lappeenranta 7
Ningbo 7
Philadelphia 7
Amsterdam 6
Baghdad 6
Bogotá 6
Caracas 6
Chennai 6
Columbus 6
Da Nang 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
Totale 72.884
Salva come PNG Salva come JPEG
Nome #
A Clustering Approach for Tag Recommendation in Social Environments 2.436
A note on two notions of compliance 2.258
Contracts as games on event structures 1.948
Modeling dependencies and simultaneity in membrane system computations 1.849
Circular causality in event structures 1.774
Lending Petri nets and contracts 1.737
Lending Petri nets 1.713
Models of circular causality 1.618
Simultaneity in event structures 1.608
Catalytic Petri Nets are Turing Complete 1.540
Catalytic and communicating Petri nets are Turing complete 1.413
An event based semantics of P-Systems 1.405
Timed Catalytic Petri Nets 1.381
Representing Dependencies in Event Structures 1.371
Merging relations: a way to compact Petri nets' behaviors uniformly 1.359
An unifying framework for compacting Petri nets behaviors 1.357
null 1.354
Toward a uniform approach to the unfolding of nets 1.327
How Much is worth to remember? A Taxonomy based on Petri Nets Unfoldings 1.242
Process discovery and Petri nets 1.220
Petri nets and dynamic causality for service-oriented computations 1.207
A complete fuzzy logical system to deal with trust management systems 1.179
Power of Causal Dependencies in Rule-Based Systems 1.168
Selected papers of The ninth Italian Conference on Theoretical Computer Science (ICTCS 2005) 1.168
A Tableau Calculus for Hájek's Logic BL 1.142
Petri Nets Unfoldings and the individual/collective token philosophy 1.125
Dependencies and Symultaneity in Membrane Sys- tems 1.118
null 1.114
Event Structures for the Collective Tokens Philosophy of Inhibitor Nets 1.073
Characterizing workflow nets using regions 1.045
null 1.026
Operational Representation of Dependencies in Context-Dependent Event Structures 1.024
Spreading nets: A uniform approach to unfoldings 1.020
Investigations on Fragments of First Order Branching Temporal Logic 1.016
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 967
Representing Dependencies in Event Structures 967
Foundations of Reversible Computation 949
Event Structures with Disabling/Enabling relation and Event Automata 943
null 943
A fuzzy approach to Trust Management Systems 915
An Iterative Algorithm for Applying the Theory of Regions in Process Mining 890
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005 852
Component-based Verification in a Synchronous Setting 763
Memory associated with membranes systems 759
null 752
Specifying and verifying reactive systems in a multi-language environment 743
Modular verification of ARGOS programs 689
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 673
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs 658
An event-based model for contracts 656
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain 651
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs 632
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 627
Synthesis of Nets with Inhibitor Arcs 599
Refinement and Modular Verification with Observers 590
A distributed operational view of Reversible Prime Event Structures 590
Circular causality in event structures 584
Coordination of Synchronous Programs 580
Verifying a Time-Triggered Protocol in a Multi-language Environment 579
On the Nature of Events: Another Perspective in Concurrency 560
On the Specification of Elementary Reactive Behaviour 560
A modal formalization of term rewriting systems 557
"No collision" in a protocol with n stations: a comparative study of formal proofs 550
Evolutions as Computations 543
An Event Based Semantics of P-Systems 522
A new operational representation of dependencies in Event Structures 521
Proof Systems with Cut Elimination for MTL$^{\leq_Q}$ 512
Refinements and Modular Verification 488
Transformation of Pr/T nets via translation into structure grammars 485
A Petri net view of covalent bonds 481
A Causal Semantics for Contextual P/T Nets 465
A compositional semantics for unmarked Predicate/Transition nets 459
Petri nets and their composition problems 454
Event Automata as a Generic Model of Reactive Systems 443
On the nature of events 434
Non Sequential Semantics for Contextual P/T Nets 420
The mathematics of Event Automata 397
Modeling and Specifying Reactive Behaviour of Information Systems 395
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 288
Model Checking Reversible Systems: Forwardly 166
A Reversible perspective on Petri Nets and event structures 138
A Truly Concurrent Semantics for Reversible CCS 114
Flow unfolding of multi-clock nets 111
Reversing steps in membrane systems computations 111
Nodal metastases in papillary thyroid microcarcinoma: prevalence and risk factors in 311 patients 90
Encoding Reversible Petri Nets into CCSK 77
Relating Reversible Petri Nets and Reversible Event Structures, categorically 43
Towards a Truly Concurrent Semantics for Reversible CCS 6
Totale 76.276
Salva come PNG Salva come JPEG
Categoria #
all - tutte 106.736
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 106.736
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021596 0 0 0 0 0 0 0 0 0 0 0 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/20265.099 207 331 657 264 282 322 1.378 354 447 323 355 179
Totale 76.276