IRIS
DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.666
AS - Asia 7.412
EU - Europa 4.204
SA - Sud America 228
Continente sconosciuto - Info sul continente non disponibili 47
AF - Africa 40
OC - Oceania 9
Totale 19.606
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.514
CN - Cina 5.788
SE - Svezia 1.002
RU - Federazione Russa 977
UA - Ucraina 629
IT - Italia 589
SG - Singapore 454
TR - Turchia 415
VN - Vietnam 375
GB - Regno Unito 273
BR - Brasile 217
DE - Germania 209
BG - Bulgaria 182
KR - Corea 173
CA - Canada 146
IN - India 110
FR - Francia 105
AT - Austria 62
EU - Europa 47
FI - Finlandia 35
BE - Belgio 28
NL - Olanda 27
IL - Israele 26
IE - Irlanda 22
HK - Hong Kong 19
KE - Kenya 16
PK - Pakistan 15
CZ - Repubblica Ceca 14
ES - Italia 12
CH - Svizzera 10
GR - Grecia 8
SN - Senegal 8
AU - Australia 6
MY - Malesia 6
IQ - Iraq 5
LT - Lituania 5
IR - Iran 4
BO - Bolivia 3
CL - Cile 3
EC - Ecuador 3
ET - Etiopia 3
HU - Ungheria 3
ID - Indonesia 3
LK - Sri Lanka 3
NZ - Nuova Zelanda 3
ZA - Sudafrica 3
AZ - Azerbaigian 2
BD - Bangladesh 2
DO - Repubblica Dominicana 2
JO - Giordania 2
MA - Marocco 2
NG - Nigeria 2
NO - Norvegia 2
PH - Filippine 2
PL - Polonia 2
PT - Portogallo 2
RS - Serbia 2
TN - Tunisia 2
AM - Armenia 1
AN - Antille olandesi 1
AR - Argentina 1
BH - Bahrain 1
DK - Danimarca 1
EG - Egitto 1
GE - Georgia 1
JM - Giamaica 1
JP - Giappone 1
KG - Kirghizistan 1
KH - Cambogia 1
LU - Lussemburgo 1
LV - Lettonia 1
MG - Madagascar 1
MW - Malawi 1
MX - Messico 1
PE - Perù 1
RO - Romania 1
RW - Ruanda 1
SV - El Salvador 1
TH - Thailandia 1
UZ - Uzbekistan 1
Totale 19.606
Salva come PNG Salva come JPEG
Città #
Beijing 5.425
Jacksonville 1.667
Chandler 1.168
San Mateo 652
Boardman 568
Dong Ket 373
Lawrence 277
Singapore 268
Wilmington 237
Kocaeli 233
Rome 213
Princeton 207
Moscow 188
New York 184
Sofia 182
Istanbul 176
Seoul 172
Shanghai 170
São Paulo 165
Ann Arbor 145
Ogden 145
Ottawa 133
Woodbridge 132
Los Angeles 124
Andover 119
Ashburn 103
Milan 81
Vienna 61
London 49
Houston 42
Cambridge 41
Fairfield 39
Dallas 37
Helsinki 34
Guangzhou 29
Seattle 29
Dearborn 28
Bolzaneto 25
Chicago 24
Council Bluffs 24
Dublin 22
Hefei 22
Kunming 22
Nanjing 18
Brussels 17
Genoa 16
Nairobi 16
Strasbourg 14
Voghera 14
Hong Kong 13
Nanchang 12
Pisa 12
Lucca 11
Naaldwijk 11
Portland 11
Redmond 11
Atlanta 10
Chengdu 9
Hanover 9
Philadelphia 9
Toronto 9
Wuhan 9
Munich 8
Opfikon 8
Paris 8
Redwood City 8
West Jordan 8
Bangalore 7
Jinan 7
Patna 7
Torino 7
Avezzano 6
Clifton 6
Monceau-sur-sambre 6
Olomouc 6
Santa Clara 6
Verona 6
Zhengzhou 6
Brno 5
Lahore 5
North Charleston 5
Norwalk 5
San Francisco 5
Scario 5
Scarperia 5
Serra 5
Shenyang 5
Amsterdam 4
Baotou 4
Cascina 4
Dakar 4
Krimpen Aan Den Ijssel 4
Livorno 4
Newark 4
Nuremberg 4
Salerno 4
Viareggio 4
Washington 4
Addis Ababa 3
Athens 3
Totale 14.471
Salva come PNG Salva come JPEG
Nome #
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 191
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 190
Toward formal models and languages for verifiable multi-robot systems 180
Extensional Equivalences for Transition Systems 163
A calculus for attribute-based communication 160
Partial orderings descriptions and observations of nondeterministic concurrent processes. 160
Methods and apparatus for tuple management in data processing system 153
Testing Equivalences for Processes 153
Net Theory and Application - Response. IFIP Congress 1986: 150
A modal logic for KLAIM 149
SENSORIA Process Calculi for Service-Oriented Computing 149
A distributed coordination infrastructure for attribute-based interaction 147
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 146
Trustworthy Global Computing, International Symposium, TGC 2005, Revised Selected Papers. Lecture Notes in Computer Science 3705 Springer 2005 145
Testing Equivalence for Processes 144
A Completeness Theorem for Nondeterministic Kleene Algebras. 144
Observational Logics and Concurrency Models 142
CCS without tau's 142
A Partial Ordering Semantics for CCS 141
XKlaim and Klava: Programming Mobile Code 141
Foreword 141
CCS is an (Augmented) Contact Free C/E System.144-165 141
A Homage to Martin Wirsing. Software, Services, and Systems 140
A finite axiomatization of nondeterministic regular expressions 139
Preface (Editorial) 138
AErlang: Empowering Erlang with attribute-based communication 138
Partial ordering derivations for CCS 136
Three Logics for Branching Bisimulation (Extended Abstract) 135
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards 135
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. 134
Enhancing malware classification with symbolic features 134
Testing Equivalences for Event Structures 132
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 128
Evaluating the efficiency of Linda implementations 128
Types in concurrency - Editorial of the Special Issue 127
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 127
Interactive Mobile Agents in X-Klaim 127
Process Algebras 127
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 126
Types as Specifications of Access Policies 126
Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games 126
Universal Axioms for Bisimulations 125
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) 124
Linear-Time and May-Testing in a Probabilistic Reactive Setting 124
Ugo Montanari in a Nutshell 124
Behavioral Equivalences 123
Initial Algebra for a System of Right-Linear Functors. 122
A Symbolic Semantics for the pi-calculus 122
RVerifying hardware components within JACK 122
Verifying Properties of Systems Relying on Attribute-Based Communication. 122
Network-Aware Evaluation Environment for Reputation Systems Authors 122
Concurrency: Theory and Practice 121
A formal approach to the engineering of domain-specific distributed systems 121
A Theory of May Testing for Asynchronous Languages 120
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 120
Models of Nondeterministic Regular Expressions 119
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 119
CaSPiS: a calculus of sessions, pipelines and services 119
The Meaning of Adaptation: Mastering the Unforeseen? 119
Fully Abstract Models for Nondeterministic Regular Expressions 118
MarCaSPiS: a Markovian Extension of a Calculus for Services 118
DReAM: Dynamic Reconfigurable Architecture Modeling 118
Trace and Testing Equivalence on Asynchronous Processes 117
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 117
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 117
Replicating Data for Better Performances in X10 116
Dynamic SLAs for Clouds 115
Il Futuro della Cyber Security in Italia 115
From Flow Logic to static type systems for coordination languages 115
Asynchronous Observations of Processes 115
Locality Based Semantics for Process Algebras 114
Global computing in a dynamic network of tuple spaces 114
An equational axiomatization of bisimulation over regular expressions 114
Smart Contract Negotiation in Cloud Computing. 114
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 114
Basic Observables for Probabilistic May Testing 113
Observation Trees 112
Implementing a Distributed Mobile Calculus Using the IMC Framework 111
Editor's Note 111
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 111
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 111
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Lecture Notes in Computer Science 4421 111
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 110
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures 108
SLAC: A formal service-level-agreement language for cloud computing 108
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 107
On the Expressive Power of Klaim-based Calculi 106
Graded Modalities and Resource Bisimulation 106
Proof Techniques for Cryptographic Processes 106
CARMA: Collective adaptive resource-sharing markovian agents 105
Proof Techniques for Cryptographic Processes 105
Specifying and analysing reputation systems with a coordination language 104
Programming and Verifying Component Ensembles. 104
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software 103
Model checking mobile stochastic logic 103
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction 102
Identification of credulous users on twitter 102
The role of bot squads in the political propaganda on Twitter 102
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 102
Testing Equivalence for Mobile Processes (Extended Abstract) 100
Totale 12.577
Salva come PNG Salva come JPEG
Categoria #
all - tutte 100.495
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.495
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20206.604 0 0 0 0 0 161 239 209 4.924 89 833 149
2020/20212.905 237 6 230 33 25 203 222 11 362 645 195 736
2021/20221.752 426 15 43 21 214 49 396 252 28 36 226 46
2022/20233.042 532 120 22 412 293 396 16 267 493 141 318 32
2023/20241.733 90 71 122 49 101 62 252 47 181 354 79 325
2024/20252.304 219 300 317 987 208 273 0 0 0 0 0 0
Totale 19.773