IRIS
DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 16.935
NA - Nord America 12.086
AS - Asia 10.657
SA - Sud America 1.202
AF - Africa 123
Continente sconosciuto - Info sul continente non disponibili 47
OC - Oceania 12
Totale 41.062
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 12.986
US - Stati Uniti d'America 11.759
CN - Cina 6.903
SG - Singapore 1.584
BR - Brasile 1.091
SE - Svezia 1.029
IT - Italia 711
UA - Ucraina 641
TR - Turchia 445
DE - Germania 444
VN - Vietnam 443
GB - Regno Unito 368
HK - Hong Kong 359
IL - Israele 259
CA - Canada 240
IN - India 191
BG - Bulgaria 185
KR - Corea 174
FR - Francia 152
FI - Finlandia 99
AT - Austria 77
BD - Bangladesh 66
MX - Messico 57
EU - Europa 47
ES - Italia 39
PL - Polonia 38
JP - Giappone 35
IQ - Iraq 33
NL - Olanda 32
BE - Belgio 29
ZA - Sudafrica 28
AR - Argentina 26
KE - Kenya 25
PK - Pakistan 25
IE - Irlanda 24
MA - Marocco 20
VE - Venezuela 20
UZ - Uzbekistan 19
EC - Ecuador 18
SA - Arabia Saudita 18
CO - Colombia 15
CZ - Repubblica Ceca 15
JO - Giordania 15
LT - Lituania 14
CH - Svizzera 12
SN - Senegal 11
TN - Tunisia 11
AE - Emirati Arabi Uniti 10
CL - Cile 8
GR - Grecia 8
ID - Indonesia 8
KZ - Kazakistan 8
OM - Oman 8
PE - Perù 8
AU - Australia 7
AZ - Azerbaigian 7
JM - Giamaica 7
PY - Paraguay 7
IR - Iran 6
MY - Malesia 6
CR - Costa Rica 5
EG - Egitto 5
ET - Etiopia 5
HU - Ungheria 5
NZ - Nuova Zelanda 5
PT - Portogallo 5
BB - Barbados 4
BH - Bahrain 4
NG - Nigeria 4
NP - Nepal 4
RS - Serbia 4
UY - Uruguay 4
BO - Bolivia 3
CI - Costa d'Avorio 3
DO - Repubblica Dominicana 3
GE - Georgia 3
KG - Kirghizistan 3
LK - Sri Lanka 3
PH - Filippine 3
TH - Thailandia 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BN - Brunei Darussalam 2
DK - Danimarca 2
DZ - Algeria 2
HN - Honduras 2
LU - Lussemburgo 2
LV - Lettonia 2
MW - Malawi 2
NO - Norvegia 2
PA - Panama 2
RO - Romania 2
SI - Slovenia 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
TJ - Tagikistan 2
AL - Albania 1
AN - Antille olandesi 1
BF - Burkina Faso 1
BY - Bielorussia 1
Totale 41.044
Salva come PNG Salva come JPEG
Città #
Beijing 5.798
Moscow 4.245
Ashburn 2.627
Jacksonville 1.669
Chandler 1.168
Singapore 768
Hefei 703
Dallas 690
San Mateo 652
Boardman 570
Dong Ket 373
Hong Kong 351
Lawrence 277
New York 245
São Paulo 240
Wilmington 237
Kocaeli 233
Tel Aviv 230
Rome 225
Los Angeles 209
Princeton 207
Shanghai 194
Sofia 185
Istanbul 180
Seoul 173
Munich 149
Ann Arbor 145
Ogden 145
Ottawa 136
Woodbridge 132
Andover 119
Milan 112
London 69
Helsinki 67
Vienna 67
Houston 62
Chicago 46
Council Bluffs 46
Cambridge 41
Fairfield 39
Seattle 37
Tokyo 35
Chennai 33
The Dalles 33
Brooklyn 31
Denver 31
Montreal 30
Warsaw 30
Belo Horizonte 29
Guangzhou 29
Toronto 29
Atlanta 28
Dearborn 28
Rio de Janeiro 27
San Francisco 27
Bolzaneto 25
Columbus 25
Santa Clara 25
Boston 24
Dublin 24
Stockholm 24
Turku 24
Kunming 22
Phoenix 22
Ho Chi Minh City 21
Nairobi 21
Poplar 21
Hanoi 19
Assago 18
Frankfurt am Main 18
Nanjing 18
Orem 18
Brussels 17
Curitiba 17
Genoa 17
Nuremberg 17
Porto Alegre 17
Brasília 16
Düsseldorf 16
Johannesburg 16
Amman 15
Querétaro 15
Mexico City 14
Strasbourg 14
Voghera 14
Ankara 13
Dhaka 13
Baghdad 12
Lucca 12
Nanchang 12
Philadelphia 12
Pisa 12
Tashkent 12
Charlotte 11
Mumbai 11
Naaldwijk 11
Portland 11
Redmond 11
Paris 10
Chengdu 9
Totale 25.027
Salva come PNG Salva come JPEG
Nome #
6G Networks Physical Layer Security using RGB Visible Light Communications 456
Identification of credulous users on twitter 323
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 318
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 296
A Completeness Theorem for Nondeterministic Kleene Algebras. 277
A calculus for attribute-based communication 276
A distributed coordination infrastructure for attribute-based interaction 263
A modal logic for KLAIM 261
Toward formal models and languages for verifiable multi-robot systems 261
AErlang: Empowering Erlang with attribute-based communication 261
SENSORIA Process Calculi for Service-Oriented Computing 260
A finite axiomatization of nondeterministic regular expressions 259
Preface (Editorial) 257
A Homage to Martin Wirsing. Software, Services, and Systems 256
Foreword 256
Extensional Equivalences for Transition Systems 256
Methods and apparatus for tuple management in data processing system 255
Enhancing malware classification with symbolic features 253
Partial orderings descriptions and observations of nondeterministic concurrent processes. 251
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 247
Testing Equivalence for Processes 246
Testing Equivalences for Processes 245
Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games 245
XKlaim and Klava: Programming Mobile Code 244
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. 244
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards 242
DReAM: Dynamic Reconfigurable Architecture Modeling 241
Partial ordering derivations for CCS 238
Net Theory and Application - Response. IFIP Congress 1986: 237
CCS without tau's 235
Trustworthy Global Computing, International Symposium, TGC 2005, Revised Selected Papers. Lecture Notes in Computer Science 3705 Springer 2005 232
Network-Aware Evaluation Environment for Reputation Systems Authors 232
A formal approach to the engineering of domain-specific distributed systems 231
Observational Logics and Concurrency Models 230
A Partial Ordering Semantics for CCS 226
CCS is an (Augmented) Contact Free C/E System.144-165 225
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 223
Process Algebras 223
RVerifying hardware components within JACK 223
Evaluating the efficiency of Linda implementations 222
Initial Algebra for a System of Right-Linear Functors. 221
A calculus for collective-adaptive systems and its behavioural theory 221
Three Logics for Branching Bisimulation (Extended Abstract) 220
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 217
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) 217
Locality Based Semantics for Process Algebras 215
Global computing in a dynamic network of tuple spaces 215
Replicating Data for Better Performances in X10 215
Linear-Time and May-Testing in a Probabilistic Reactive Setting 214
From Flow Logic to static type systems for coordination languages 214
Fully Abstract Models for Nondeterministic Regular Expressions 213
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 211
A Formal Approach to Autonomic Systems Programming: The SCEL Language 211
Types in concurrency - Editorial of the Special Issue 210
Verifying Properties of Systems Relying on Attribute-Based Communication. 210
Implementing a Distributed Mobile Calculus Using the IMC Framework 209
Concurrency: Theory and Practice 209
Types as Specifications of Access Policies 209
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 209
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 209
CaSPiS: a calculus of sessions, pipelines and services 209
Universal Axioms for Bisimulations 207
A Formal Basis for Reasoning on Programmable QoS 207
MarCaSPiS: a Markovian Extension of a Calculus for Services 207
Models of Nondeterministic Regular Expressions 206
Testing Equivalences for Event Structures 205
The role of bot squads in the political propaganda on Twitter 205
Editor's Note 204
A formal approach to the engineering of domain-specific distributed systems 204
The Meaning of Adaptation: Mastering the Unforeseen? 204
A Symbolic Semantics for the pi-calculus 203
Behavioral Equivalences 202
Ugo Montanari in a Nutshell 202
An equational axiomatization of bisimulation over regular expressions 201
Multi-agent systems with virtual stigmergy 201
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 201
Proof Techniques for Cryptographic Processes 201
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 201
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 200
On the Expressive Power of Klaim-based Calculi 200
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software 199
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures 199
A Theory of May Testing for Asynchronous Languages 198
Il Futuro della Cyber Security in Italia 198
A modal logic for mobile agents 198
Programming interactions in collective adaptive systems by relying on attribute-based communication 197
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 196
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 196
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 196
GoAt: Attribute-Based Interaction in Google Go 196
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 195
Dynamic SLAs for Clouds 195
Global protocol implementations via attribute-based communication 195
Interactive Mobile Agents in X-Klaim 194
Observation Trees 194
Asynchronous Observations of Processes 194
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 193
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Lecture Notes in Computer Science 4421 192
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 192
Trace and Testing Equivalence on Asynchronous Processes 191
Totale 22.473
Salva come PNG Salva come JPEG
Categoria #
all - tutte 182.840
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 182.840
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.399 0 0 0 0 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/202613.216 686 904 4.334 6.852 440 0 0 0 0 0 0 0
Totale 41.236