IRIS
DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 16.918
NA - Nord America 11.961
AS - Asia 10.626
SA - Sud America 1.195
AF - Africa 122
Continente sconosciuto - Info sul continente non disponibili 47
OC - Oceania 12
Totale 40.881
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 12.985
US - Stati Uniti d'America 11.638
CN - Cina 6.900
SG - Singapore 1.574
BR - Brasile 1.088
SE - Svezia 1.027
IT - Italia 710
UA - Ucraina 641
DE - Germania 444
TR - Turchia 442
VN - Vietnam 440
GB - Regno Unito 363
HK - Hong Kong 359
IL - Israele 259
CA - Canada 237
IN - India 188
BG - Bulgaria 184
KR - Corea 174
FR - Francia 152
FI - Finlandia 99
AT - Austria 77
BD - Bangladesh 65
MX - Messico 56
EU - Europa 47
ES - Italia 37
PL - Polonia 34
JP - Giappone 33
IQ - Iraq 31
NL - Olanda 31
BE - Belgio 29
ZA - Sudafrica 27
KE - Kenya 25
AR - Argentina 24
IE - Irlanda 24
PK - Pakistan 24
MA - Marocco 20
VE - Venezuela 20
UZ - Uzbekistan 19
SA - Arabia Saudita 18
EC - Ecuador 17
CZ - Repubblica Ceca 15
JO - Giordania 15
CO - Colombia 14
LT - Lituania 14
CH - Svizzera 12
SN - Senegal 11
TN - Tunisia 11
AE - Emirati Arabi Uniti 10
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
DO - Repubblica Dominicana 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
DM - Dominica 1
Totale 40.863
Salva come PNG Salva come JPEG
Città #
Beijing 5.798
Moscow 4.245
Ashburn 2.556
Jacksonville 1.669
Chandler 1.168
Singapore 767
Hefei 703
Dallas 690
San Mateo 652
Boardman 570
Dong Ket 373
Hong Kong 351
Lawrence 277
New York 242
São Paulo 238
Wilmington 237
Kocaeli 233
Tel Aviv 230
Rome 224
Princeton 207
Los Angeles 202
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
London 67
Vienna 67
Houston 59
Council Bluffs 46
Chicago 44
Cambridge 41
Fairfield 39
Seattle 37
The Dalles 33
Tokyo 33
Chennai 31
Belo Horizonte 29
Brooklyn 29
Guangzhou 29
Toronto 29
Dearborn 28
Montreal 28
Rio de Janeiro 27
San Francisco 27
Atlanta 26
Warsaw 26
Bolzaneto 25
Columbus 25
Santa Clara 25
Denver 24
Dublin 24
Turku 24
Boston 23
Kunming 22
Phoenix 22
Stockholm 22
Ho Chi Minh City 21
Nairobi 21
Poplar 19
Assago 18
Frankfurt am Main 18
Nanjing 18
Brussels 17
Curitiba 17
Genoa 17
Hanoi 17
Nuremberg 17
Porto Alegre 17
Brasília 16
Düsseldorf 16
Amman 15
Johannesburg 15
Orem 15
Mexico City 14
Querétaro 14
Strasbourg 14
Voghera 14
Dhaka 13
Lucca 12
Nanchang 12
Philadelphia 12
Pisa 12
Tashkent 12
Baghdad 11
Charlotte 11
Naaldwijk 11
Portland 11
Redmond 11
Ankara 10
Mumbai 10
Paris 10
Chengdu 9
Totale 24.896
Salva come PNG Salva come JPEG
Nome #
6G Networks Physical Layer Security using RGB Visible Light Communications 439
Identification of credulous users on twitter 323
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 317
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 295
A calculus for attribute-based communication 275
A Completeness Theorem for Nondeterministic Kleene Algebras. 275
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 distributed coordination infrastructure for attribute-based interaction 260
A finite axiomatization of nondeterministic regular expressions 257
Extensional Equivalences for Transition Systems 256
A Homage to Martin Wirsing. Software, Services, and Systems 255
Preface (Editorial) 255
Methods and apparatus for tuple management in data processing system 255
Foreword 253
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 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
Testing Equivalences for Processes 244
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards 240
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 230
Observational Logics and Concurrency Models 229
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 222
Evaluating the efficiency of Linda implementations 222
RVerifying hardware components within JACK 222
A calculus for collective-adaptive systems and its behavioural theory 221
Initial Algebra for a System of Right-Linear Functors. 220
DReAM: Dynamic Reconfigurable Architecture Modeling 220
Three Logics for Branching Bisimulation (Extended Abstract) 219
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 217
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) 217
Replicating Data for Better Performances in X10 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
From Flow Logic to static type systems for coordination languages 213
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 210
Types in concurrency - Editorial of the Special Issue 210
Verifying Properties of Systems Relying on Attribute-Based Communication. 210
Concurrency: Theory and Practice 209
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 209
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 209
Implementing a Distributed Mobile Calculus Using the IMC Framework 208
Types as Specifications of Access Policies 208
CaSPiS: a calculus of sessions, pipelines and services 208
Universal Axioms for Bisimulations 207
Models of Nondeterministic Regular Expressions 206
A Formal Basis for Reasoning on Programmable QoS 206
MarCaSPiS: a Markovian Extension of a Calculus for Services 206
Testing Equivalences for Event Structures 205
Editor's Note 204
The role of bot squads in the political propaganda on Twitter 204
A Symbolic Semantics for the pi-calculus 203
The Meaning of Adaptation: Mastering the Unforeseen? 203
Behavioral Equivalences 202
A formal approach to the engineering of domain-specific distributed systems 202
An equational axiomatization of bisimulation over regular expressions 201
Ugo Montanari in a Nutshell 201
Multi-agent systems with virtual stigmergy 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
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 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 197
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 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
Global protocol implementations via attribute-based communication 195
Programming interactions in collective adaptive systems by relying on attribute-based communication 195
Interactive Mobile Agents in X-Klaim 194
Dynamic SLAs for Clouds 194
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 194
Observation Trees 194
Asynchronous Observations of Processes 194
GoAt: Attribute-Based Interaction in Google Go 194
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
Totale 22.383
Salva come PNG Salva come JPEG
Categoria #
all - tutte 182.125
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.125
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.035 686 904 4.334 6.852 259 0 0 0 0 0 0 0
Totale 41.055