IRIS
DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 17.972
EU - Europa 17.360
AS - Asia 11.805
SA - Sud America 1.415
Continente sconosciuto - Info sul continente non disponibili 266
AF - Africa 194
OC - Oceania 16
Totale 49.028
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 17.565
RU - Federazione Russa 12.998
CN - Cina 7.010
SG - Singapore 1.851
BR - Brasile 1.200
SE - Svezia 1.034
IT - Italia 779
VN - Vietnam 720
UA - Ucraina 645
TR - Turchia 483
DE - Germania 465
HK - Hong Kong 447
GB - Regno Unito 412
FR - Francia 351
IN - India 289
CA - Canada 274
IL - Israele 261
BG - Bulgaria 186
KR - Corea 175
BD - Bangladesh 135
FI - Finlandia 100
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 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
CZ - Repubblica Ceca 16
LT - Lituania 16
MY - Malesia 16
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
PT - Portogallo 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
BB - Barbados 5
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
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
Totale 48.771
Salva come PNG Salva come JPEG
Città #
Beijing 5.827
Moscow 4.245
Council Bluffs 3.651
Ashburn 3.272
Jacksonville 1.671
Chandler 1.168
San Jose 1.128
Singapore 837
Dallas 707
Hefei 703
San Mateo 652
Boardman 572
Hong Kong 432
Dong Ket 373
New York 292
Lawrence 277
São Paulo 252
Rome 239
Wilmington 238
Kocaeli 233
Tel Aviv 230
Los Angeles 229
Princeton 207
Shanghai 198
Istanbul 187
Lauterbourg 187
Sofia 185
Seoul 173
Munich 149
Ann Arbor 145
Ogden 145
Ottawa 137
Woodbridge 132
Andover 119
Milan 117
Ho Chi Minh City 116
Hanoi 93
London 79
Santa Clara 78
Chicago 74
Houston 70
Helsinki 67
Vienna 67
Orem 55
Chennai 54
Montreal 45
Cambridge 41
Denver 41
Tokyo 41
Brooklyn 40
Fairfield 39
Seattle 39
Toronto 39
Warsaw 39
Atlanta 37
Boston 34
The Dalles 33
Rio de Janeiro 32
Belo Horizonte 30
San Francisco 30
Columbus 29
Guangzhou 29
Mexico City 29
Stockholm 29
Dearborn 28
Frankfurt am Main 28
Nairobi 28
Phoenix 27
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
Quito 14
Strasbourg 14
Voghera 14
Amsterdam 13
Charlotte 13
Totale 31.461
Salva come PNG Salva come JPEG
Nome #
6G Networks Physical Layer Security using RGB Visible Light Communications 519
Identification of credulous users on twitter 360
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 358
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 341
A Completeness Theorem for Nondeterministic Kleene Algebras. 320
A calculus for attribute-based communication 314
Enhancing malware classification with symbolic features 311
A modal logic for KLAIM 310
Toward formal models and languages for verifiable multi-robot systems 303
AErlang: Empowering Erlang with attribute-based communication 302
A distributed coordination infrastructure for attribute-based interaction 301
Preface (Editorial) 299
A finite axiomatization of nondeterministic regular expressions 297
A Homage to Martin Wirsing. Software, Services, and Systems 297
Foreword 291
SENSORIA Process Calculi for Service-Oriented Computing 291
Extensional Equivalences for Transition Systems 289
Methods and apparatus for tuple management in data processing system 288
Partial orderings descriptions and observations of nondeterministic concurrent processes. 288
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. 284
Testing Equivalence for Processes 282
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards 282
Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games 282
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 279
XKlaim and Klava: Programming Mobile Code 278
Testing Equivalences for Processes 276
DReAM: Dynamic Reconfigurable Architecture Modeling 276
A formal approach to the engineering of domain-specific distributed systems 272
Net Theory and Application - Response. IFIP Congress 1986: 271
Partial ordering derivations for CCS 267
Evaluating the efficiency of Linda implementations 264
CCS without tau's 263
Network-Aware Evaluation Environment for Reputation Systems Authors 263
Trustworthy Global Computing, International Symposium, TGC 2005, Revised Selected Papers. Lecture Notes in Computer Science 3705 Springer 2005 262
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 261
Observational Logics and Concurrency Models 260
A Partial Ordering Semantics for CCS 259
A calculus for collective-adaptive systems and its behavioural theory 257
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 254
RVerifying hardware components within JACK 254
The role of bot squads in the political propaganda on Twitter 253
CCS is an (Augmented) Contact Free C/E System.144-165 253
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 252
Process Algebras 252
Initial Algebra for a System of Right-Linear Functors. 251
Three Logics for Branching Bisimulation (Extended Abstract) 251
A Formal Approach to Autonomic Systems Programming: The SCEL Language 250
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 249
Locality Based Semantics for Process Algebras 248
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) 248
Fully Abstract Models for Nondeterministic Regular Expressions 247
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 245
Types in concurrency - Editorial of the Special Issue 244
Global computing in a dynamic network of tuple spaces 244
From Flow Logic to static type systems for coordination languages 244
A Formal Basis for Reasoning on Programmable QoS 243
Linear-Time and May-Testing in a Probabilistic Reactive Setting 242
A Symbolic Semantics for the pi-calculus 242
CaSPiS: a calculus of sessions, pipelines and services 242
Replicating Data for Better Performances in X10 242
A formal approach to the engineering of domain-specific distributed systems 242
Multi-agent systems with virtual stigmergy 242
Implementing a Distributed Mobile Calculus Using the IMC Framework 240
Concurrency: Theory and Practice 240
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 240
Testing Equivalences for Event Structures 239
MarCaSPiS: a Markovian Extension of a Calculus for Services 239
GoAt: Attribute-Based Interaction in Google Go 239
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 239
Universal Axioms for Bisimulations 237
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software 237
Il Futuro della Cyber Security in Italia 237
On the Expressive Power of Klaim-based Calculi 236
Types as Specifications of Access Policies 236
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Lecture Notes in Computer Science 4421 236
A modal logic for mobile agents 236
Verifying Properties of Systems Relying on Attribute-Based Communication. 236
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 235
Editor's Note 235
Behavioral Equivalences 235
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures 235
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 235
A Theory of May Testing for Asynchronous Languages 234
Proof Techniques for Cryptographic Processes 234
Models of Nondeterministic Regular Expressions 232
Programming interactions in collective adaptive systems by relying on attribute-based communication 232
The Meaning of Adaptation: Mastering the Unforeseen? 231
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 230
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 230
ABEL - A domain specific framework for programming with attribute-based communication 230
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 229
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces 229
Energy Cyber Attacks to Smart Healthcare Devices: A Testbed 228
An equational axiomatization of bisimulation over regular expressions 228
Interactive Mobile Agents in X-Klaim 228
Ugo Montanari in a Nutshell 228
Global protocol implementations via attribute-based communication 227
Dynamic SLAs for Clouds 226
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 226
Programming and Verifying Component Ensembles. 225
Totale 26.020
Salva come PNG Salva come JPEG
Categoria #
all - tutte 207.695
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 207.695
Salva come PNG Salva come JPEG


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