IRIS
DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 16.897
NA - Nord America 11.776
AS - Asia 10.577
SA - Sud America 1.187
AF - Africa 119
Continente sconosciuto - Info sul continente non disponibili 47
OC - Oceania 12
Totale 40.615
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 12.985
US - Stati Uniti d'America 11.470
CN - Cina 6.895
SG - Singapore 1.551
BR - Brasile 1.082
SE - Svezia 1.024
IT - Italia 709
UA - Ucraina 641
DE - Germania 443
TR - Turchia 442
VN - Vietnam 434
GB - Regno Unito 359
HK - Hong Kong 357
IL - Israele 258
CA - Canada 227
BG - Bulgaria 184
IN - India 183
KR - Corea 174
FR - Francia 152
FI - Finlandia 99
AT - Austria 77
BD - Bangladesh 64
MX - Messico 51
EU - Europa 47
PL - Polonia 31
ES - Italia 30
IQ - Iraq 30
NL - Olanda 30
BE - Belgio 29
JP - Giappone 29
KE - Kenya 25
IE - Irlanda 24
PK - Pakistan 24
ZA - Sudafrica 24
AR - Argentina 23
MA - Marocco 20
VE - Venezuela 20
UZ - Uzbekistan 19
SA - Arabia Saudita 18
EC - Ecuador 16
CZ - Repubblica Ceca 15
JO - Giordania 15
CO - Colombia 14
LT - Lituania 13
CH - Svizzera 12
SN - Senegal 11
TN - Tunisia 11
AE - Emirati Arabi Uniti 9
CL - Cile 8
GR - Grecia 8
KZ - Kazakistan 8
OM - Oman 8
PE - Perù 8
AU - Australia 7
AZ - Azerbaigian 7
ID - Indonesia 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
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
DO - Repubblica Dominicana 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
GE - Georgia 1
Totale 40.598
Salva come PNG Salva come JPEG
Città #
Beijing 5.797
Moscow 4.245
Ashburn 2.471
Jacksonville 1.669
Chandler 1.168
Singapore 761
Hefei 703
Dallas 689
San Mateo 652
Boardman 570
Dong Ket 373
Hong Kong 349
Lawrence 277
Wilmington 237
Kocaeli 233
São Paulo 233
New York 232
Tel Aviv 230
Rome 224
Princeton 207
Los Angeles 194
Shanghai 194
Sofia 184
Istanbul 180
Seoul 173
Munich 149
Ann Arbor 145
Ogden 145
Ottawa 136
Woodbridge 132
Andover 119
Milan 112
Helsinki 67
Vienna 67
London 66
Houston 59
Chicago 43
Council Bluffs 42
Cambridge 41
Fairfield 39
Seattle 37
The Dalles 33
Belo Horizonte 29
Guangzhou 29
Tokyo 29
Dearborn 28
Chennai 27
Rio de Janeiro 27
San Francisco 27
Toronto 27
Bolzaneto 25
Brooklyn 25
Columbus 25
Santa Clara 25
Dublin 24
Turku 24
Warsaw 24
Atlanta 23
Denver 23
Kunming 22
Montreal 22
Nairobi 21
Boston 20
Phoenix 20
Stockholm 19
Assago 18
Ho Chi Minh City 18
Nanjing 18
Brussels 17
Curitiba 17
Frankfurt am Main 17
Genoa 17
Nuremberg 17
Poplar 17
Porto Alegre 17
Brasília 16
Düsseldorf 16
Hanoi 16
Amman 15
Orem 14
Strasbourg 14
Voghera 14
Dhaka 13
Johannesburg 12
Lucca 12
Nanchang 12
Philadelphia 12
Pisa 12
Querétaro 12
Tashkent 12
Baghdad 11
Charlotte 11
Mexico City 11
Naaldwijk 11
Portland 11
Redmond 11
Ankara 10
Paris 10
Chengdu 9
Hanover 9
Totale 24.721
Salva come PNG Salva come JPEG
Nome #
6G Networks Physical Layer Security using RGB Visible Light Communications 433
Identification of credulous users on twitter 321
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 312
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 292
A calculus for attribute-based communication 273
A Completeness Theorem for Nondeterministic Kleene Algebras. 270
Toward formal models and languages for verifiable multi-robot systems 261
A modal logic for KLAIM 260
SENSORIA Process Calculi for Service-Oriented Computing 260
AErlang: Empowering Erlang with attribute-based communication 260
A distributed coordination infrastructure for attribute-based interaction 258
Extensional Equivalences for Transition Systems 256
A finite axiomatization of nondeterministic regular expressions 254
Methods and apparatus for tuple management in data processing system 252
Partial orderings descriptions and observations of nondeterministic concurrent processes. 251
Enhancing malware classification with symbolic features 251
Preface (Editorial) 250
A Homage to Martin Wirsing. Software, Services, and Systems 249
Foreword 248
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 247
Testing Equivalence for Processes 245
XKlaim and Klava: Programming Mobile Code 244
Testing Equivalences for Processes 244
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. 243
Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games 241
Net Theory and Application - Response. IFIP Congress 1986: 237
Partial ordering derivations for CCS 236
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards 236
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 231
Observational Logics and Concurrency Models 229
A Partial Ordering Semantics for CCS 226
A formal approach to the engineering of domain-specific distributed systems 225
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 222
Process Algebras 222
Evaluating the efficiency of Linda implementations 221
RVerifying hardware components within JACK 221
Initial Algebra for a System of Right-Linear Functors. 220
Three Logics for Branching Bisimulation (Extended Abstract) 219
A calculus for collective-adaptive systems and its behavioural theory 218
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 216
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) 215
DReAM: Dynamic Reconfigurable Architecture Modeling 215
Locality Based Semantics for Process Algebras 214
Global computing in a dynamic network of tuple spaces 214
Linear-Time and May-Testing in a Probabilistic Reactive Setting 214
Replicating Data for Better Performances in X10 214
Fully Abstract Models for Nondeterministic Regular Expressions 213
From Flow Logic to static type systems for coordination languages 212
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 211
Verifying Properties of Systems Relying on Attribute-Based Communication. 210
Types in concurrency - Editorial of the Special Issue 209
Concurrency: Theory and Practice 209
Implementing a Distributed Mobile Calculus Using the IMC Framework 208
A Formal Approach to Autonomic Systems Programming: The SCEL Language 208
Types as Specifications of Access Policies 208
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 208
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 208
CaSPiS: a calculus of sessions, pipelines and services 208
Universal Axioms for Bisimulations 207
Models of Nondeterministic Regular Expressions 206
MarCaSPiS: a Markovian Extension of a Calculus for Services 206
Testing Equivalences for Event Structures 204
Editor's Note 203
A Symbolic Semantics for the pi-calculus 203
The role of bot squads in the political propaganda on Twitter 203
The Meaning of Adaptation: Mastering the Unforeseen? 203
Behavioral Equivalences 202
Ugo Montanari in a Nutshell 201
Proof Techniques for Cryptographic Processes 201
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 200
An equational axiomatization of bisimulation over regular expressions 200
A Formal Basis for Reasoning on Programmable QoS 200
Multi-agent systems with virtual stigmergy 200
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 200
On the Expressive Power of Klaim-based Calculi 199
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
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 198
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 196
A formal approach to the engineering of domain-specific distributed systems 196
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 195
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 195
Interactive Mobile Agents in X-Klaim 194
Dynamic SLAs for Clouds 194
Global protocol implementations via attribute-based communication 194
A modal logic for mobile agents 194
Observation Trees 194
Asynchronous Observations of Processes 194
GoAt: Attribute-Based Interaction in Google Go 193
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 192
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Lecture Notes in Computer Science 4421 192
Testing Equivalence for Mobile Processes (Extended Abstract) 191
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction 191
Trace and Testing Equivalence on Asynchronous Processes 190
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterisations 190
Totale 22.259
Salva come PNG Salva come JPEG
Categoria #
all - tutte 180.158
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 180.158
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.432 0 0 0 33 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/202612.769 686 904 4.334 6.845 0 0 0 0 0 0 0 0
Totale 40.789