UNICA IRIS Institutional Research Information System

PINNA, GIOVANNI MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 66.276
NA - Nord America 4.689
AS - Asia 1.665
SA - Sud America 277
AF - Africa 17
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 1
Totale 72.931
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 65.041
US - Stati Uniti d'America 4.637
CN - Cina 770
SG - Singapore 630
UA - Ucraina 407
SE - Svezia 333
BR - Brasile 228
DE - Germania 141
GB - Regno Unito 114
FI - Finlandia 101
VN - Vietnam 77
KR - Corea 56
FR - Francia 50
CA - Canada 36
IN - India 32
AR - Argentina 20
BD - Bangladesh 19
HK - Hong Kong 16
RU - Federazione Russa 15
BE - Belgio 13
ES - Italia 13
AT - Austria 10
MX - Messico 10
TR - Turchia 10
EC - Ecuador 9
JP - Giappone 9
NL - Olanda 9
IQ - Iraq 7
PL - Polonia 6
BO - Bolivia 5
UZ - Uzbekistan 5
AE - Emirati Arabi Uniti 4
CL - Cile 4
MA - Marocco 4
MO - Macao, regione amministrativa speciale della Cina 4
SA - Arabia Saudita 4
VE - Venezuela 4
ZA - Sudafrica 4
AZ - Azerbaigian 3
CO - Colombia 3
EU - Europa 3
HU - Ungheria 3
ID - Indonesia 3
IE - Irlanda 3
JM - Giamaica 3
KE - Kenya 3
XK - ???statistics.table.value.countryCode.XK??? 3
BA - Bosnia-Erzegovina 2
GR - Grecia 2
LA - Repubblica Popolare Democratica del Laos 2
LT - Lituania 2
MU - Mauritius 2
NP - Nepal 2
PE - Perù 2
PK - Pakistan 2
PY - Paraguay 2
RO - Romania 2
TW - Taiwan 2
AL - Albania 1
AM - Armenia 1
AU - Australia 1
BG - Bulgaria 1
BW - Botswana 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EE - Estonia 1
EG - Egitto 1
ET - Etiopia 1
GE - Georgia 1
HN - Honduras 1
HR - Croazia 1
IL - Israele 1
IR - Iran 1
JO - Giordania 1
LV - Lettonia 1
MV - Maldive 1
MY - Malesia 1
NO - Norvegia 1
PA - Panama 1
PH - Filippine 1
RS - Serbia 1
SI - Slovenia 1
Totale 72.931
Salva come PNG Salva come JPEG
Città #
Cagliari 63.145
Uta 1.695
Woodbridge 537
Fairfield 506
Chandler 337
Singapore 304
Ashburn 303
Dallas 293
Ann Arbor 283
Boardman 260
Houston 259
Jacksonville 224
Nyköping 198
Wilmington 191
Seattle 184
Cambridge 159
Beijing 130
Dearborn 91
Hefei 90
Santa Clara 79
Los Angeles 69
Nanjing 67
Boston 57
Seoul 54
Shanghai 53
Buffalo 51
Helsinki 36
San Diego 32
Milan 30
The Dalles 27
Shenyang 24
Dong Ket 22
New York 22
Tianjin 22
Guangzhou 20
Hebei 20
Ho Chi Minh City 19
Toronto 19
Nanchang 18
Verona 18
São Paulo 17
London 15
Jiaxing 14
Orange 14
Redwood City 14
Brussels 13
Hanoi 13
Frankfurt am Main 12
Hong Kong 12
Mountain View 12
Changsha 11
Norwalk 11
Porto Alegre 11
Zhengzhou 11
Atlanta 10
Chicago 10
Hangzhou 10
Kunming 10
Rio de Janeiro 10
Rome 10
Council Bluffs 9
Millbury 9
Aachen 8
Brooklyn 8
Jinan 8
Capoterra 7
Ningbo 7
Phoenix 7
Belo Horizonte 6
Denver 6
Düsseldorf 6
Munich 6
Portsmouth 6
Redondo Beach 6
Tokyo 6
Borås 5
Dhaka 5
Nuoro 5
Pune 5
Saint Petersburg 5
Tashkent 5
Columbus 4
Guayaquil 4
Johannesburg 4
Karlsruhe 4
Kilburn 4
La Paz 4
Mexico City 4
Salvador 4
Santo André 4
Shenzhen 4
São Bernardo do Campo 4
Warsaw 4
Washington 4
Wuhan 4
Alghero 3
Amsterdam 3
Ankara 3
Baghdad 3
Baku 3
Totale 70.394
Salva come PNG Salva come JPEG
Nome #
A Clustering Approach for Tag Recommendation in Social Environments 2.389
A note on two notions of compliance 2.211
Contracts as games on event structures 1.916
Modeling dependencies and simultaneity in membrane system computations 1.797
Circular causality in event structures 1.728
Lending Petri nets and contracts 1.697
Lending Petri nets 1.676
Models of circular causality 1.588
Simultaneity in event structures 1.586
Catalytic Petri Nets are Turing Complete 1.507
Catalytic and communicating Petri nets are Turing complete 1.381
An event based semantics of P-Systems 1.375
null 1.354
Timed Catalytic Petri Nets 1.335
Representing Dependencies in Event Structures 1.331
An unifying framework for compacting Petri nets behaviors 1.314
Merging relations: a way to compact Petri nets' behaviors uniformly 1.313
Toward a uniform approach to the unfolding of nets 1.290
How Much is worth to remember? A Taxonomy based on Petri Nets Unfoldings 1.220
Process discovery and Petri nets 1.184
Petri nets and dynamic causality for service-oriented computations 1.179
A complete fuzzy logical system to deal with trust management systems 1.156
Power of Causal Dependencies in Rule-Based Systems 1.135
Selected papers of The ninth Italian Conference on Theoretical Computer Science (ICTCS 2005) 1.132
null 1.114
A Tableau Calculus for Hájek's Logic BL 1.098
Petri Nets Unfoldings and the individual/collective token philosophy 1.095
Dependencies and Symultaneity in Membrane Sys- tems 1.089
Event Structures for the Collective Tokens Philosophy of Inhibitor Nets 1.040
null 1.026
Characterizing workflow nets using regions 1.015
Spreading nets: A uniform approach to unfoldings 985
Investigations on Fragments of First Order Branching Temporal Logic 975
Operational Representation of Dependencies in Context-Dependent Event Structures 969
null 943
Representing Dependencies in Event Structures 926
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 923
Event Structures with Disabling/Enabling relation and Event Automata 905
Foundations of Reversible Computation 897
A fuzzy approach to Trust Management Systems 883
An Iterative Algorithm for Applying the Theory of Regions in Process Mining 857
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005 818
null 752
Component-based Verification in a Synchronous Setting 720
Memory associated with membranes systems 718
Specifying and verifying reactive systems in a multi-language environment 714
Modular verification of ARGOS programs 662
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 638
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain 626
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs 621
An event-based model for contracts 619
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 595
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs 571
Synthesis of Nets with Inhibitor Arcs 565
A distributed operational view of Reversible Prime Event Structures 555
Refinement and Modular Verification with Observers 554
Circular causality in event structures 546
Verifying a Time-Triggered Protocol in a Multi-language Environment 534
Coordination of Synchronous Programs 530
On the Specification of Elementary Reactive Behaviour 527
"No collision" in a protocol with n stations: a comparative study of formal proofs 519
A modal formalization of term rewriting systems 515
On the Nature of Events: Another Perspective in Concurrency 512
Evolutions as Computations 507
A new operational representation of dependencies in Event Structures 488
An Event Based Semantics of P-Systems 479
Proof Systems with Cut Elimination for MTL$^{\leq_Q}$ 478
Refinements and Modular Verification 457
Transformation of Pr/T nets via translation into structure grammars 440
A Causal Semantics for Contextual P/T Nets 439
A compositional semantics for unmarked Predicate/Transition nets 432
A Petri net view of covalent bonds 414
Event Automata as a Generic Model of Reactive Systems 408
On the nature of events 405
Petri nets and their composition problems 400
Non Sequential Semantics for Contextual P/T Nets 385
Modeling and Specifying Reactive Behaviour of Information Systems 363
The mathematics of Event Automata 358
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 244
Model Checking Reversible Systems: Forwardly 126
A Reversible perspective on Petri Nets and event structures 87
A Truly Concurrent Semantics for Reversible CCS 78
Flow unfolding of multi-clock nets 66
Reversing steps in membrane systems computations 62
Nodal metastases in papillary thyroid microcarcinoma: prevalence and risk factors in 311 patients 14
Relating Reversible Petri Nets and Reversible Event Structures, categorically 14
Encoding Reversible Petri Nets into CCSK 12
Towards a Truly Concurrent Semantics for Reversible CCS 6
Totale 73.107
Salva come PNG Salva come JPEG
Categoria #
all - tutte 100.957
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 100.957
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20215.136 0 0 0 0 0 1.146 1.210 796 344 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/20261.930 207 331 657 264 282 189 0 0 0 0 0 0
Totale 73.107