IRIS
DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.832
AS - Asia 9.988
EU - Europa 7.057
SA - Sud America 1.158
AF - Africa 108
Continente sconosciuto - Info sul continente non disponibili 47
OC - Oceania 12
Totale 29.202
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.566
CN - Cina 6.628
RU - Federazione Russa 3.249
SG - Singapore 1.304
BR - Brasile 1.059
SE - Svezia 1.014
IT - Italia 695
UA - Ucraina 640
DE - Germania 438
TR - Turchia 437
VN - Vietnam 431
HK - Hong Kong 347
GB - Regno Unito 332
IL - Israele 257
CA - Canada 203
BG - Bulgaria 184
KR - Corea 173
IN - India 161
FR - Francia 146
FI - Finlandia 99
AT - Austria 77
BD - Bangladesh 58
EU - Europa 47
MX - Messico 35
IQ - Iraq 30
NL - Olanda 30
BE - Belgio 28
IE - Irlanda 24
KE - Kenya 24
PK - Pakistan 24
AR - Argentina 21
ZA - Sudafrica 21
MA - Marocco 20
VE - Venezuela 20
UZ - Uzbekistan 19
ES - Italia 17
SA - Arabia Saudita 17
CZ - Repubblica Ceca 15
EC - Ecuador 15
JO - Giordania 15
JP - Giappone 14
CO - Colombia 13
CH - Svizzera 12
LT - Lituania 11
PL - Polonia 11
SN - Senegal 11
TN - Tunisia 10
CL - Cile 8
GR - Grecia 8
KZ - Kazakistan 8
OM - Oman 8
PE - Perù 8
AE - Emirati Arabi Uniti 7
AU - Australia 7
JM - Giamaica 7
PY - Paraguay 7
AZ - Azerbaigian 6
IR - Iran 6
MY - Malesia 6
CR - Costa Rica 5
EG - Egitto 5
ET - Etiopia 5
ID - Indonesia 5
NZ - Nuova Zelanda 5
BB - Barbados 4
BH - Bahrain 4
HU - Ungheria 4
NG - Nigeria 4
NP - Nepal 4
PT - Portogallo 4
RS - Serbia 4
UY - Uruguay 4
BO - Bolivia 3
KG - Kirghizistan 3
LK - Sri Lanka 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BN - Brunei Darussalam 2
CI - Costa d'Avorio 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
HN - Honduras 2
LU - Lussemburgo 2
LV - Lettonia 2
NO - Norvegia 2
PA - Panama 2
PH - Filippine 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
AL - Albania 1
AN - Antille olandesi 1
BY - Bielorussia 1
GE - Georgia 1
GT - Guatemala 1
KH - Cambogia 1
LB - Libano 1
LY - Libia 1
MG - Madagascar 1
MW - Malawi 1
Totale 29.194
Salva come PNG Salva come JPEG
Città #
Beijing 5.778
Ashburn 2.384
Jacksonville 1.669
Moscow 1.282
Chandler 1.168
Singapore 745
San Mateo 652
Boardman 569
Hefei 476
Dong Ket 373
Hong Kong 341
Lawrence 277
Wilmington 237
Kocaeli 233
Tel Aviv 230
São Paulo 224
Rome 221
Princeton 207
New York 200
Shanghai 193
Sofia 184
Istanbul 180
Dallas 174
Seoul 172
Los Angeles 159
Munich 149
Ann Arbor 145
Ogden 145
Ottawa 136
Woodbridge 132
Andover 119
Milan 110
Helsinki 67
Vienna 67
London 60
Houston 46
Council Bluffs 42
Cambridge 41
Chicago 41
Fairfield 39
Seattle 35
The Dalles 33
Belo Horizonte 29
Guangzhou 29
Dearborn 28
Rio de Janeiro 27
Bolzaneto 25
Columbus 25
Dublin 24
Turku 24
Kunming 22
Santa Clara 22
Toronto 22
Brooklyn 21
Nairobi 21
San Francisco 21
Atlanta 20
Assago 18
Nanjing 18
Boston 17
Brussels 17
Genoa 17
Ho Chi Minh City 17
Nuremberg 17
Porto Alegre 17
Brasília 16
Düsseldorf 16
Frankfurt am Main 16
Hanoi 16
Amman 15
Curitiba 15
Strasbourg 14
Tokyo 14
Voghera 14
Dhaka 13
Chennai 12
Lucca 12
Nanchang 12
Philadelphia 12
Pisa 12
Tashkent 12
Baghdad 11
Naaldwijk 11
Portland 11
Redmond 11
Paris 10
Chengdu 9
Hanover 9
Johannesburg 9
Montreal 9
Salvador 9
Serra 9
Stockholm 9
São José do Rio Preto 9
Washington 9
Wuhan 9
Bologna 8
Charlotte 8
Guarulhos 8
Jeddah 8
Totale 20.630
Salva come PNG Salva come JPEG
Nome #
Identification of credulous users on twitter 272
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 241
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 229
Toward formal models and languages for verifiable multi-robot systems 218
SENSORIA Process Calculi for Service-Oriented Computing 216
A calculus for attribute-based communication 212
Extensional Equivalences for Transition Systems 205
Methods and apparatus for tuple management in data processing system 201
A modal logic for KLAIM 201
A Completeness Theorem for Nondeterministic Kleene Algebras. 201
AErlang: Empowering Erlang with attribute-based communication 200
Partial orderings descriptions and observations of nondeterministic concurrent processes. 197
A distributed coordination infrastructure for attribute-based interaction 196
Testing Equivalences for Processes 193
XKlaim and Klava: Programming Mobile Code 192
Net Theory and Application - Response. IFIP Congress 1986: 192
Testing Equivalence for Processes 192
Preface (Editorial) 187
Enhancing malware classification with symbolic features 187
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 186
Trustworthy Global Computing, International Symposium, TGC 2005, Revised Selected Papers. Lecture Notes in Computer Science 3705 Springer 2005 184
Partial ordering derivations for CCS 184
A finite axiomatization of nondeterministic regular expressions 182
Foreword 182
A Homage to Martin Wirsing. Software, Services, and Systems 181
CCS without tau's 181
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. 180
Observational Logics and Concurrency Models 179
Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games 179
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards 175
A Partial Ordering Semantics for CCS 174
Process Algebras 174
Three Logics for Branching Bisimulation (Extended Abstract) 173
CCS is an (Augmented) Contact Free C/E System.144-165 173
Types as Specifications of Access Policies 172
Evaluating the efficiency of Linda implementations 171
Network-Aware Evaluation Environment for Reputation Systems Authors 170
Initial Algebra for a System of Right-Linear Functors. 168
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 168
RVerifying hardware components within JACK 167
Testing Equivalences for Event Structures 166
Linear-Time and May-Testing in a Probabilistic Reactive Setting 166
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) 165
A formal approach to the engineering of domain-specific distributed systems 165
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 162
Replicating Data for Better Performances in X10 162
Ugo Montanari in a Nutshell 162
Locality Based Semantics for Process Algebras 161
Universal Axioms for Bisimulations 161
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 160
Behavioral Equivalences 160
A Symbolic Semantics for the pi-calculus 160
The Meaning of Adaptation: Mastering the Unforeseen? 160
Models of Nondeterministic Regular Expressions 159
Global computing in a dynamic network of tuple spaces 159
Concurrency: Theory and Practice 159
DReAM: Dynamic Reconfigurable Architecture Modeling 159
Types in concurrency - Editorial of the Special Issue 158
Interactive Mobile Agents in X-Klaim 158
Il Futuro della Cyber Security in Italia 157
A Theory of May Testing for Asynchronous Languages 156
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 155
Fully Abstract Models for Nondeterministic Regular Expressions 155
Verifying Properties of Systems Relying on Attribute-Based Communication. 155
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 154
CaSPiS: a calculus of sessions, pipelines and services 154
A calculus for collective-adaptive systems and its behavioural theory 154
6G Networks Physical Layer Security using RGB Visible Light Communications 154
Dynamic SLAs for Clouds 153
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 153
Observation Trees 153
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 152
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 152
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 152
Asynchronous Observations of Processes 152
Implementing a Distributed Mobile Calculus Using the IMC Framework 151
An equational axiomatization of bisimulation over regular expressions 151
From Flow Logic to static type systems for coordination languages 151
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 151
The role of bot squads in the political propaganda on Twitter 151
Trace and Testing Equivalence on Asynchronous Processes 150
Basic Observables for Probabilistic May Testing 150
Smart Contract Negotiation in Cloud Computing. 150
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 150
Editor's Note 149
MarCaSPiS: a Markovian Extension of a Calculus for Services 148
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 148
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Lecture Notes in Computer Science 4421 147
Proof Techniques for Cryptographic Processes 147
On the Expressive Power of Klaim-based Calculi 146
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures 146
Graded Modalities and Resource Bisimulation 146
Proof Techniques for Cryptographic Processes 146
A Formal Basis for Reasoning on Programmable QoS 145
SLAC: A formal service-level-agreement language for cloud computing 145
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterisations 144
A Formal Approach to Autonomic Systems Programming: The SCEL Language 143
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 142
ABEL - A domain specific framework for programming with attribute-based communication 142
Specifying and analysing reputation systems with a coordination language 140
Totale 16.837
Salva come PNG Salva come JPEG
Categoria #
all - tutte 156.104
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 156.104
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.668 0 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/202510.551 219 300 317 987 208 422 778 450 1.441 1.607 3.019 803
2025/20261.353 686 667 0 0 0 0 0 0 0 0 0 0
Totale 29.373