IRIS
DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 17.318
NA - Nord America 15.400
AS - Asia 11.770
SA - Sud America 1.412
AF - Africa 194
Continente sconosciuto - Info sul continente non disponibili 49
OC - Oceania 16
Totale 46.159
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.000
RU - Federazione Russa 12.998
CN - Cina 7.002
SG - Singapore 1.846
BR - Brasile 1.199
SE - Svezia 1.034
IT - Italia 752
VN - Vietnam 720
UA - Ucraina 645
TR - Turchia 483
DE - Germania 462
HK - Hong Kong 446
GB - Regno Unito 412
FR - Francia 351
IN - India 288
CA - Canada 272
IL - Israele 261
BG - Bulgaria 186
KR - Corea 175
BD - Bangladesh 115
FI - Finlandia 100
MX - Messico 80
AT - Austria 78
IQ - Iraq 75
AR - Argentina 59
PK - Pakistan 56
PL - Polonia 52
ES - Italia 51
EU - Europa 47
ZA - Sudafrica 47
JP - Giappone 41
NL - Olanda 41
SA - Arabia Saudita 39
CO - Colombia 34
VE - Venezuela 34
KE - Kenya 33
BE - Belgio 31
UZ - Uzbekistan 31
EC - Ecuador 30
MA - Marocco 29
ID - Indonesia 27
IE - Irlanda 24
JO - Giordania 22
PH - Filippine 22
CL - Cile 18
TN - Tunisia 18
LT - Lituania 16
MY - Malesia 16
CZ - Repubblica Ceca 15
SN - Senegal 15
AE - Emirati Arabi Uniti 12
CH - Svizzera 12
JM - Giamaica 12
PY - Paraguay 12
AU - Australia 11
KZ - Kazakistan 11
PE - Perù 11
OM - Oman 10
EG - Egitto 9
RS - Serbia 9
AZ - Azerbaigian 8
ET - Etiopia 8
GR - Grecia 8
TH - Thailandia 8
UY - Uruguay 8
CR - Costa Rica 7
NP - Nepal 7
DZ - Algeria 6
HN - Honduras 6
HU - Ungheria 6
IR - Iran 6
NG - Nigeria 6
PT - Portogallo 6
BO - Bolivia 5
LB - Libano 5
NZ - Nuova Zelanda 5
PS - Palestinian Territory 5
RO - Romania 5
SY - Repubblica araba siriana 5
BA - Bosnia-Erzegovina 4
BB - Barbados 4
BH - Bahrain 4
CI - Costa d'Avorio 4
DO - Repubblica Dominicana 4
GE - Georgia 4
KG - Kirghizistan 4
AL - Albania 3
KH - Cambogia 3
LK - Sri Lanka 3
LY - Libia 3
NO - Norvegia 3
PA - Panama 3
SI - Slovenia 3
SV - El Salvador 3
AM - Armenia 2
AO - Angola 2
BN - Brunei Darussalam 2
BY - Bielorussia 2
DK - Danimarca 2
GT - Guatemala 2
Totale 46.121
Salva come PNG Salva come JPEG
Città #
Beijing 5.824
Moscow 4.245
Ashburn 3.270
Jacksonville 1.671
Chandler 1.168
Council Bluffs 1.158
San Jose 1.124
Singapore 834
Dallas 704
Hefei 703
San Mateo 652
Boardman 572
Hong Kong 431
Dong Ket 373
New York 290
Lawrence 277
São Paulo 252
Wilmington 238
Rome 236
Kocaeli 233
Tel Aviv 230
Los Angeles 229
Princeton 207
Shanghai 195
Istanbul 187
Lauterbourg 187
Sofia 185
Seoul 173
Munich 149
Ann Arbor 145
Ogden 145
Ottawa 137
Woodbridge 132
Andover 119
Ho Chi Minh City 116
Milan 114
Hanoi 93
London 79
Chicago 74
Houston 69
Helsinki 67
Vienna 67
Santa Clara 66
Orem 55
Chennai 54
Montreal 45
Cambridge 41
Denver 41
Tokyo 41
Brooklyn 40
Fairfield 39
Seattle 39
Toronto 39
Warsaw 39
Atlanta 35
Boston 34
The Dalles 33
Rio de Janeiro 32
Belo Horizonte 30
Guangzhou 29
San Francisco 29
Stockholm 29
Dearborn 28
Mexico City 28
Nairobi 28
Frankfurt am Main 27
Phoenix 27
Baghdad 26
Poplar 26
Bolzaneto 25
Columbus 25
Dublin 24
Johannesburg 24
Turku 24
Amman 22
Brasília 22
Kunming 22
Tashkent 22
Da Nang 21
Mumbai 21
Ankara 20
Nuremberg 20
Dhaka 19
Porto Alegre 19
Assago 18
Brussels 18
Curitiba 18
Nanjing 18
Querétaro 18
Genoa 17
Jeddah 17
Düsseldorf 16
Haiphong 16
Lahore 16
Philadelphia 14
Quito 14
Strasbourg 14
Voghera 14
Amsterdam 13
Charlotte 13
Totale 28.918
Salva come PNG Salva come JPEG
Nome #
6G Networks Physical Layer Security using RGB Visible Light Communications 502
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 349
Identification of credulous users on twitter 348
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 331
A Completeness Theorem for Nondeterministic Kleene Algebras. 311
A calculus for attribute-based communication 304
AErlang: Empowering Erlang with attribute-based communication 292
A modal logic for KLAIM 291
A distributed coordination infrastructure for attribute-based interaction 291
Enhancing malware classification with symbolic features 291
Toward formal models and languages for verifiable multi-robot systems 289
A finite axiomatization of nondeterministic regular expressions 286
A Homage to Martin Wirsing. Software, Services, and Systems 284
SENSORIA Process Calculi for Service-Oriented Computing 282
Preface (Editorial) 279
Foreword 279
Extensional Equivalences for Transition Systems 278
Methods and apparatus for tuple management in data processing system 276
Partial orderings descriptions and observations of nondeterministic concurrent processes. 276
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. 272
Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games 271
XKlaim and Klava: Programming Mobile Code 270
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 270
Testing Equivalence for Processes 270
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards 267
Testing Equivalences for Processes 264
DReAM: Dynamic Reconfigurable Architecture Modeling 263
Net Theory and Application - Response. IFIP Congress 1986: 260
A formal approach to the engineering of domain-specific distributed systems 260
Partial ordering derivations for CCS 255
Network-Aware Evaluation Environment for Reputation Systems Authors 253
Evaluating the efficiency of Linda implementations 252
CCS without tau's 251
Trustworthy Global Computing, International Symposium, TGC 2005, Revised Selected Papers. Lecture Notes in Computer Science 3705 Springer 2005 250
Observational Logics and Concurrency Models 249
A Partial Ordering Semantics for CCS 248
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 248
A calculus for collective-adaptive systems and its behavioural theory 247
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 243
CCS is an (Augmented) Contact Free C/E System.144-165 243
Process Algebras 242
RVerifying hardware components within JACK 242
Initial Algebra for a System of Right-Linear Functors. 241
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 239
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) 239
Three Logics for Branching Bisimulation (Extended Abstract) 239
A Formal Approach to Autonomic Systems Programming: The SCEL Language 238
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 237
Locality Based Semantics for Process Algebras 236
Fully Abstract Models for Nondeterministic Regular Expressions 236
Global computing in a dynamic network of tuple spaces 234
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 233
The role of bot squads in the political propaganda on Twitter 233
Types in concurrency - Editorial of the Special Issue 232
Linear-Time and May-Testing in a Probabilistic Reactive Setting 232
CaSPiS: a calculus of sessions, pipelines and services 232
Replicating Data for Better Performances in X10 232
A formal approach to the engineering of domain-specific distributed systems 232
A Formal Basis for Reasoning on Programmable QoS 231
From Flow Logic to static type systems for coordination languages 231
A Symbolic Semantics for the pi-calculus 230
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 230
Implementing a Distributed Mobile Calculus Using the IMC Framework 228
Concurrency: Theory and Practice 228
Il Futuro della Cyber Security in Italia 228
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 228
MarCaSPiS: a Markovian Extension of a Calculus for Services 228
GoAt: Attribute-Based Interaction in Google Go 228
Multi-agent systems with virtual stigmergy 228
Testing Equivalences for Event Structures 227
On the Expressive Power of Klaim-based Calculi 226
Universal Axioms for Bisimulations 225
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software 225
Editor's Note 225
Types as Specifications of Access Policies 225
A modal logic for mobile agents 225
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures 224
Verifying Properties of Systems Relying on Attribute-Based Communication. 224
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 224
Proof Techniques for Cryptographic Processes 224
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 223
Behavioral Equivalences 223
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Lecture Notes in Computer Science 4421 223
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 223
Models of Nondeterministic Regular Expressions 222
A Theory of May Testing for Asynchronous Languages 222
The Meaning of Adaptation: Mastering the Unforeseen? 221
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 220
Programming interactions in collective adaptive systems by relying on attribute-based communication 220
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 218
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 218
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces 218
ABEL - A domain specific framework for programming with attribute-based communication 218
An equational axiomatization of bisimulation over regular expressions 217
Global protocol implementations via attribute-based communication 216
Ugo Montanari in a Nutshell 216
Interactive Mobile Agents in X-Klaim 215
Dynamic SLAs for Clouds 214
Programming and Verifying Component Ensembles. 213
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 213
Totale 24.859
Salva come PNG Salva come JPEG
Categoria #
all - tutte 197.687
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 197.687
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021736 0 0 0 0 0 0 0 0 0 0 0 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/202618.353 686 904 4.334 6.852 456 526 1.395 348 961 542 1.346 3
Totale 46.373