UNICA IRIS Institutional Research Information System

PINNA, GIOVANNI MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 65.879
NA - Nord America 4.019
AS - Asia 573
SA - Sud America 7
Continente sconosciuto - Info sul continente non disponibili 3
AF - Africa 2
OC - Oceania 1
Totale 70.484
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 64.773
US - Stati Uniti d'America 3.994
UA - Ucraina 405
CN - Cina 394
SE - Svezia 317
SG - Singapore 115
DE - Germania 109
FI - Finlandia 96
GB - Regno Unito 92
FR - Francia 36
CA - Canada 25
VN - Vietnam 22
IN - India 19
BE - Belgio 13
KR - Corea 10
RU - Federazione Russa 10
AT - Austria 4
BO - Bolivia 4
ES - Italia 4
MO - Macao, regione amministrativa speciale della Cina 4
NL - Olanda 4
AR - Argentina 3
EU - Europa 3
HK - Hong Kong 3
HU - Ungheria 3
IE - Irlanda 3
JP - Giappone 3
TR - Turchia 3
MU - Mauritius 2
RO - Romania 2
AL - Albania 1
AU - Australia 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GR - Grecia 1
HR - Croazia 1
NO - Norvegia 1
PL - Polonia 1
SI - Slovenia 1
Totale 70.484
Salva come PNG Salva come JPEG
Città #
Cagliari 62.911
Uta 1.669
Woodbridge 537
Fairfield 506
Chandler 337
Ann Arbor 283
Boardman 262
Ashburn 260
Houston 259
Jacksonville 224
Nyköping 198
Wilmington 191
Seattle 183
Cambridge 158
Dearborn 91
Santa Clara 79
Nanjing 67
Singapore 62
Beijing 55
Boston 54
Shanghai 51
Helsinki 35
San Diego 32
Milan 30
Shenyang 24
Dong Ket 22
Hebei 20
Toronto 19
Nanchang 18
Verona 18
Tianjin 17
Guangzhou 16
Orange 14
Redwood City 14
Brussels 13
Jiaxing 13
Mountain View 12
Los Angeles 11
New York 11
Norwalk 11
Hangzhou 10
London 10
Zhengzhou 10
Changsha 9
Kunming 9
Millbury 9
Hefei 8
Jinan 8
Seoul 8
Capoterra 7
Ningbo 6
Rome 6
Borås 5
Nuoro 5
Pune 5
Saint Petersburg 5
Atlanta 4
Karlsruhe 4
Kilburn 4
La Paz 4
Phoenix 4
Vienna 4
Wuhan 4
Alghero 3
Chiaravalle Centrale 3
Chicago 3
Heze 3
Indiana 3
Madrid 3
Nürnberg 3
Saginaw 3
Sanluri 3
Sassari 3
Shenzhen 3
Washington 3
Auburn Hills 2
Baotou 2
Carbonia 2
Cedar Knolls 2
Chengdu 2
Dublin 2
Frankfurt am Main 2
Iasi 2
Macomer 2
Mumbai 2
Pasadena 2
Quartu Sant'Elena 2
Quilmes 2
Redmond 2
Rodgau 2
Shijiazhuang 2
Acton 1
Amiens 1
Birmingham 1
Bobenheim-roxheim 1
Brisbane 1
Brno 1
Buffalo 1
Burgess Hill 1
Cecina 1
Totale 69.012
Salva come PNG Salva come JPEG
Nome #
A Clustering Approach for Tag Recommendation in Social Environments 2.322
A note on two notions of compliance 2.158
Contracts as games on event structures 1.856
Modeling dependencies and simultaneity in membrane system computations 1.726
Circular causality in event structures 1.684
Lending Petri nets and contracts 1.654
Lending Petri nets 1.628
Models of circular causality 1.559
Simultaneity in event structures 1.555
Catalytic Petri Nets are Turing Complete 1.472
null 1.354
Catalytic and communicating Petri nets are Turing complete 1.346
An event based semantics of P-Systems 1.339
Timed Catalytic Petri Nets 1.303
Representing Dependencies in Event Structures 1.289
Merging relations: a way to compact Petri nets' behaviors uniformly 1.258
Toward a uniform approach to the unfolding of nets 1.256
An unifying framework for compacting Petri nets behaviors 1.252
How Much is worth to remember? A Taxonomy based on Petri Nets Unfoldings 1.188
Process discovery and Petri nets 1.156
Petri nets and dynamic causality for service-oriented computations 1.143
A complete fuzzy logical system to deal with trust management systems 1.136
null 1.114
Power of Causal Dependencies in Rule-Based Systems 1.113
Selected papers of The ninth Italian Conference on Theoretical Computer Science (ICTCS 2005) 1.098
Petri Nets Unfoldings and the individual/collective token philosophy 1.066
Dependencies and Symultaneity in Membrane Sys- tems 1.061
A Tableau Calculus for Hájek's Logic BL 1.042
null 1.026
Event Structures for the Collective Tokens Philosophy of Inhibitor Nets 1.010
Characterizing workflow nets using regions 980
null 943
Spreading nets: A uniform approach to unfoldings 928
Operational Representation of Dependencies in Context-Dependent Event Structures 928
Investigations on Fragments of First Order Branching Temporal Logic 917
Representing Dependencies in Event Structures 879
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 878
Event Structures with Disabling/Enabling relation and Event Automata 871
Foundations of Reversible Computation 865
A fuzzy approach to Trust Management Systems 848
An Iterative Algorithm for Applying the Theory of Regions in Process Mining 829
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005 777
null 752
Component-based Verification in a Synchronous Setting 690
Memory associated with membranes systems 673
Specifying and verifying reactive systems in a multi-language environment 672
Modular verification of ARGOS programs 620
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 603
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain 601
Identification of metabolic biomarkers of chronic vagus nerve stimulation (VNS) in subjects with drug-resistant epilepsy (DRE) 594
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs 577
An event-based model for contracts 575
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 555
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs 542
Synthesis of Nets with Inhibitor Arcs 536
Refinement and Modular Verification with Observers 524
Circular causality in event structures 513
A distributed operational view of Reversible Prime Event Structures 504
On the Specification of Elementary Reactive Behaviour 503
Verifying a Time-Triggered Protocol in a Multi-language Environment 501
Coordination of Synchronous Programs 501
"No collision" in a protocol with n stations: a comparative study of formal proofs 495
On the Nature of Events: Another Perspective in Concurrency 481
A modal formalization of term rewriting systems 479
Evolutions as Computations 459
Proof Systems with Cut Elimination for MTL$^{\leq_Q}$ 457
A new operational representation of dependencies in Event Structures 450
An Event Based Semantics of P-Systems 449
Refinements and Modular Verification 421
Transformation of Pr/T nets via translation into structure grammars 409
A Causal Semantics for Contextual P/T Nets 409
A compositional semantics for unmarked Predicate/Transition nets 393
On the nature of events 383
Event Automata as a Generic Model of Reactive Systems 374
Petri nets and their composition problems 372
Non Sequential Semantics for Contextual P/T Nets 358
A Petri net view of covalent bonds 351
Modeling and Specifying Reactive Behaviour of Information Systems 333
The mathematics of Event Automata 312
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 213
Model Checking Reversible Systems: Forwardly 88
Flow unfolding of multi-clock nets 31
A Truly Concurrent Semantics for Reversible CCS 29
Reversing steps in membrane systems computations 28
A Reversible Perspective on Petri Nets and Event Structures 22
Towards a Truly Concurrent Semantics for Reversible CCS 6
Totale 70.645
Salva come PNG Salva come JPEG
Categoria #
all - tutte 92.426
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 92.426
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.340 0 0 0 0 0 0 1.364 418 378 297 374 509
2020/202114.243 646 512 927 3.969 3.053 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.920 246 271 288 422 734 1.650 1.291 698 376 727 1.316 901
2024/202512.689 2.287 3.465 1.872 1.673 1.195 1.088 1.109 0 0 0 0 0
Totale 70.645