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


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