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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.374 0 0 0 0 0 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.536 686 904 4.334 6.852 456 304 0 0 0 0 0 0
Totale 41.556