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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.071 0 0 0 0 0 0 0 0 0 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/20256.330 219 300 317 987 208 422 778 450 1.441 1.208 0 0
Totale 23.799