IRIS
DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 21.377
EU - Europa 17.415
AS - Asia 11.825
SA - Sud America 1.417
Continente sconosciuto - Info sul continente non disponibili 266
AF - Africa 197
OC - Oceania 16
Totale 52.513
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 20.942
RU - Federazione Russa 12.998
CN - Cina 7.015
SG - Singapore 1.856
BR - Brasile 1.200
SE - Svezia 1.034
IT - Italia 828
VN - Vietnam 721
UA - Ucraina 645
TR - Turchia 483
DE - Germania 465
HK - Hong Kong 449
GB - Regno Unito 413
FR - Francia 352
IN - India 292
CA - Canada 284
IL - Israele 261
BG - Bulgaria 186
KR - Corea 175
BD - Bangladesh 137
FI - Finlandia 101
MX - Messico 81
AT - Austria 78
IQ - Iraq 75
AR - Argentina 61
PK - Pakistan 56
ES - Italia 55
PL - Polonia 53
EU - Europa 47
ZA - Sudafrica 47
NL - Olanda 44
JP - Giappone 43
SA - Arabia Saudita 39
CO - Colombia 35
VE - Venezuela 34
KE - Kenya 33
BE - Belgio 32
UZ - Uzbekistan 31
EC - Ecuador 30
MA - Marocco 29
ID - Indonesia 27
IE - Irlanda 25
JO - Giordania 22
PH - Filippine 22
JM - Giamaica 19
CL - Cile 18
TN - Tunisia 18
CZ - Repubblica Ceca 16
LT - Lituania 16
MY - Malesia 16
SN - Senegal 15
AE - Emirati Arabi Uniti 12
CH - Svizzera 12
PY - Paraguay 12
AU - Australia 11
KZ - Kazakistan 11
PE - Perù 11
OM - Oman 10
CR - Costa Rica 9
EG - Egitto 9
PT - Portogallo 9
RS - Serbia 9
UY - Uruguay 9
AZ - Azerbaigian 8
ET - Etiopia 8
GR - Grecia 8
TH - Thailandia 8
DZ - Algeria 7
HN - Honduras 7
NP - Nepal 7
BB - Barbados 6
HU - Ungheria 6
IR - Iran 6
NG - Nigeria 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
BH - Bahrain 4
CI - Costa d'Avorio 4
DO - Repubblica Dominicana 4
GE - Georgia 4
KG - Kirghizistan 4
AL - Albania 3
GT - Guatemala 3
KH - Cambogia 3
LK - Sri Lanka 3
LV - Lettonia 3
LY - Libia 3
NI - Nicaragua 3
NO - Norvegia 3
PA - Panama 3
SI - Slovenia 3
SV - El Salvador 3
TT - Trinidad e Tobago 3
AM - Armenia 2
AO - Angola 2
Totale 52.249
Salva come PNG Salva come JPEG
Città #
Council Bluffs 5.894
Beijing 5.832
Moscow 4.245
Ashburn 3.347
Jacksonville 1.671
San Jose 1.360
Chandler 1.168
Singapore 841
Dallas 713
Hefei 703
San Mateo 652
Boardman 573
Hong Kong 434
Dong Ket 373
New York 300
Lawrence 277
Columbus 270
São Paulo 252
Rome 241
Wilmington 238
Los Angeles 236
Kocaeli 233
Tel Aviv 230
Princeton 207
Shanghai 198
Istanbul 187
Lauterbourg 187
Sofia 185
Seoul 173
Munich 149
Ann Arbor 145
Ogden 145
Ottawa 137
Woodbridge 133
Milan 121
Andover 119
Ho Chi Minh City 117
Chicago 112
Phoenix 95
Hanoi 93
Santa Clara 85
London 79
Houston 74
Helsinki 67
Vienna 67
Chennai 56
Orem 55
Atlanta 48
Montreal 46
Denver 44
Tokyo 43
Cambridge 42
Brooklyn 41
Seattle 41
Toronto 40
Fairfield 39
Warsaw 39
Boston 38
The Dalles 35
Rio de Janeiro 32
San Francisco 31
Belo Horizonte 30
Guangzhou 29
Mexico City 29
Stockholm 29
Dearborn 28
Frankfurt am Main 28
Nairobi 28
Baghdad 26
Poplar 26
Bolzaneto 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 15
Bologna 14
Charlotte 14
Pisa 14
Quito 14
Strasbourg 14
Totale 34.443
Salva come PNG Salva come JPEG
Nome #
6G Networks Physical Layer Security using RGB Visible Light Communications 543
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 380
Identification of credulous users on twitter 373
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 361
A Completeness Theorem for Nondeterministic Kleene Algebras. 337
A calculus for attribute-based communication 333
Enhancing malware classification with symbolic features 330
A modal logic for KLAIM 329
A distributed coordination infrastructure for attribute-based interaction 326
Toward formal models and languages for verifiable multi-robot systems 318
A Homage to Martin Wirsing. Software, Services, and Systems 317
AErlang: Empowering Erlang with attribute-based communication 317
A finite axiomatization of nondeterministic regular expressions 316
Preface (Editorial) 315
Foreword 308
Extensional Equivalences for Transition Systems 308
SENSORIA Process Calculi for Service-Oriented Computing 304
Methods and apparatus for tuple management in data processing system 303
Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games 303
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. 302
Partial orderings descriptions and observations of nondeterministic concurrent processes. 302
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards 299
Testing Equivalence for Processes 295
XKlaim and Klava: Programming Mobile Code 293
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 293
DReAM: Dynamic Reconfigurable Architecture Modeling 291
A formal approach to the engineering of domain-specific distributed systems 291
Testing Equivalences for Processes 288
Net Theory and Application - Response. IFIP Congress 1986: 284
Evaluating the efficiency of Linda implementations 282
Partial ordering derivations for CCS 280
Network-Aware Evaluation Environment for Reputation Systems Authors 279
A calculus for collective-adaptive systems and its behavioural theory 278
CCS without tau's 277
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 277
A Formal Approach to Autonomic Systems Programming: The SCEL Language 276
Trustworthy Global Computing, International Symposium, TGC 2005, Revised Selected Papers. Lecture Notes in Computer Science 3705 Springer 2005 276
Observational Logics and Concurrency Models 275
A Partial Ordering Semantics for CCS 273
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 268
CCS is an (Augmented) Contact Free C/E System.144-165 268
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 267
RVerifying hardware components within JACK 267
Programming interactions in collective adaptive systems by relying on attribute-based communication 266
Three Logics for Branching Bisimulation (Extended Abstract) 265
The role of bot squads in the political propaganda on Twitter 265
Initial Algebra for a System of Right-Linear Functors. 264
Process Algebras 264
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) 263
From Flow Logic to static type systems for coordination languages 262
Fully Abstract Models for Nondeterministic Regular Expressions 262
A formal approach to the engineering of domain-specific distributed systems 261
Multi-agent systems with virtual stigmergy 261
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 260
A Formal Basis for Reasoning on Programmable QoS 260
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Lecture Notes in Computer Science 4421 260
Locality Based Semantics for Process Algebras 259
Types in concurrency - Editorial of the Special Issue 258
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 258
Global computing in a dynamic network of tuple spaces 257
A modal logic for mobile agents 257
Implementing a Distributed Mobile Calculus Using the IMC Framework 256
Replicating Data for Better Performances in X10 256
Concurrency: Theory and Practice 255
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 255
CaSPiS: a calculus of sessions, pipelines and services 255
GoAt: Attribute-Based Interaction in Google Go 255
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 255
MarCaSPiS: a Markovian Extension of a Calculus for Services 254
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software 253
Linear-Time and May-Testing in a Probabilistic Reactive Setting 253
A Symbolic Semantics for the pi-calculus 253
On the Expressive Power of Klaim-based Calculi 252
Editor's Note 252
Types as Specifications of Access Policies 251
Universal Axioms for Bisimulations 250
Behavioral Equivalences 250
Testing Equivalences for Event Structures 250
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 249
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures 249
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 249
Il Futuro della Cyber Security in Italia 248
Verifying Properties of Systems Relying on Attribute-Based Communication. 248
Models of Nondeterministic Regular Expressions 247
Proof Techniques for Cryptographic Processes 247
The Meaning of Adaptation: Mastering the Unforeseen? 247
A Theory of May Testing for Asynchronous Languages 246
ABEL - A domain specific framework for programming with attribute-based communication 246
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces 245
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 245
Energy Cyber Attacks to Smart Healthcare Devices: A Testbed 244
An equational axiomatization of bisimulation over regular expressions 243
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 243
Global protocol implementations via attribute-based communication 242
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 241
Interactive Mobile Agents in X-Klaim 241
Dynamic SLAs for Clouds 241
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 241
Ugo Montanari in a Nutshell 241
Programming and Verifying Component Ensembles. 239
Totale 27.591
Salva come PNG Salva come JPEG
Categoria #
all - tutte 219.547
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 219.547
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.268 0 0 0 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/202619.121 686 904 4.334 6.852 456 526 1.395 348 961 542 1.346 771
2026/20275.372 1.887 1.228 704 1.553 0 0 0 0 0 0 0 0
Totale 52.513