IRIS
DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.229
AS - Asia 10.236
EU - Europa 7.086
SA - Sud America 1.161
AF - Africa 114
Continente sconosciuto - Info sul continente non disponibili 47
OC - Oceania 12
Totale 29.885
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.963
CN - Cina 6.862
RU - Federazione Russa 3.253
SG - Singapore 1.304
BR - Brasile 1.061
SE - Svezia 1.014
IT - Italia 701
UA - Ucraina 641
DE - Germania 443
TR - Turchia 438
VN - Vietnam 431
HK - Hong Kong 352
GB - Regno Unito 336
IL - Israele 257
CA - Canada 203
BG - Bulgaria 184
KR - Corea 173
IN - India 161
FR - Francia 152
FI - Finlandia 99
AT - Austria 77
BD - Bangladesh 59
EU - Europa 47
MX - Messico 35
IQ - Iraq 30
NL - Olanda 30
BE - Belgio 28
IE - Irlanda 24
KE - Kenya 24
PK - Pakistan 24
AR - Argentina 21
ZA - Sudafrica 21
MA - Marocco 20
VE - Venezuela 20
UZ - Uzbekistan 19
SA - Arabia Saudita 18
ES - Italia 17
CZ - Repubblica Ceca 15
EC - Ecuador 15
JO - Giordania 15
CO - Colombia 14
JP - Giappone 14
CH - Svizzera 12
LT - Lituania 11
PL - Polonia 11
SN - Senegal 11
TN - Tunisia 11
CL - Cile 8
GR - Grecia 8
KZ - Kazakistan 8
OM - Oman 8
PE - Perù 8
AE - Emirati Arabi Uniti 7
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
NZ - Nuova Zelanda 5
PT - Portogallo 5
BB - Barbados 4
BH - Bahrain 4
HU - Ungheria 4
NG - Nigeria 4
NP - Nepal 4
RS - Serbia 4
UY - Uruguay 4
BO - Bolivia 3
KG - Kirghizistan 3
LK - Sri Lanka 3
TH - Thailandia 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BN - Brunei Darussalam 2
CI - Costa d'Avorio 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
PH - Filippine 2
RO - Romania 2
SI - Slovenia 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
AL - Albania 1
AN - Antille olandesi 1
BF - Burkina Faso 1
BY - Bielorussia 1
GE - Georgia 1
GT - Guatemala 1
Totale 29.872
Salva come PNG Salva come JPEG
Città #
Beijing 5.784
Ashburn 2.388
Jacksonville 1.669
Moscow 1.282
Chandler 1.168
Singapore 745
Hefei 703
San Mateo 652
Boardman 570
Dallas 553
Dong Ket 373
Hong Kong 345
Lawrence 277
Wilmington 237
Kocaeli 233
Tel Aviv 230
São Paulo 224
Rome 222
Princeton 207
New York 204
Shanghai 194
Sofia 184
Istanbul 180
Seoul 172
Los Angeles 161
Munich 149
Ann Arbor 145
Ogden 145
Ottawa 136
Woodbridge 132
Andover 119
Milan 110
Helsinki 67
Vienna 67
London 61
Houston 46
Council Bluffs 42
Cambridge 41
Chicago 41
Fairfield 39
Seattle 35
The Dalles 33
Belo Horizonte 29
Guangzhou 29
Dearborn 28
Rio de Janeiro 27
Bolzaneto 25
Columbus 25
Dublin 24
Turku 24
Kunming 22
San Francisco 22
Santa Clara 22
Toronto 22
Brooklyn 21
Nairobi 21
Atlanta 20
Assago 18
Nanjing 18
Boston 17
Brussels 17
Frankfurt am Main 17
Genoa 17
Ho Chi Minh City 17
Nuremberg 17
Porto Alegre 17
Brasília 16
Düsseldorf 16
Hanoi 16
Amman 15
Curitiba 15
Strasbourg 14
Tokyo 14
Voghera 14
Dhaka 13
Chennai 12
Lucca 12
Nanchang 12
Philadelphia 12
Pisa 12
Tashkent 12
Baghdad 11
Naaldwijk 11
Portland 11
Redmond 11
Paris 10
Chengdu 9
Hanover 9
Jeddah 9
Johannesburg 9
Montreal 9
Phoenix 9
Salvador 9
Serra 9
Stockholm 9
São José do Rio Preto 9
Washington 9
Wuhan 9
Bologna 8
Charlotte 8
Totale 21.264
Salva come PNG Salva come JPEG
Nome #
6G Networks Physical Layer Security using RGB Visible Light Communications 288
Identification of credulous users on twitter 273
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 245
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 233
Toward formal models and languages for verifiable multi-robot systems 222
A calculus for attribute-based communication 219
SENSORIA Process Calculi for Service-Oriented Computing 219
Extensional Equivalences for Transition Systems 206
Methods and apparatus for tuple management in data processing system 205
A modal logic for KLAIM 203
A Completeness Theorem for Nondeterministic Kleene Algebras. 203
AErlang: Empowering Erlang with attribute-based communication 203
Partial orderings descriptions and observations of nondeterministic concurrent processes. 199
A distributed coordination infrastructure for attribute-based interaction 199
Testing Equivalences for Processes 195
Net Theory and Application - Response. IFIP Congress 1986: 194
Testing Equivalence for Processes 194
XKlaim and Klava: Programming Mobile Code 193
Preface (Editorial) 191
Enhancing malware classification with symbolic features 190
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 189
Trustworthy Global Computing, International Symposium, TGC 2005, Revised Selected Papers. Lecture Notes in Computer Science 3705 Springer 2005 188
A finite axiomatization of nondeterministic regular expressions 186
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. 186
Foreword 185
Partial ordering derivations for CCS 185
CCS without tau's 184
A Homage to Martin Wirsing. Software, Services, and Systems 183
Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games 183
Observational Logics and Concurrency Models 180
A Partial Ordering Semantics for CCS 177
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards 177
Process Algebras 176
Three Logics for Branching Bisimulation (Extended Abstract) 175
CCS is an (Augmented) Contact Free C/E System.144-165 175
Evaluating the efficiency of Linda implementations 174
Types as Specifications of Access Policies 173
Network-Aware Evaluation Environment for Reputation Systems Authors 173
Initial Algebra for a System of Right-Linear Functors. 171
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 170
RVerifying hardware components within JACK 169
A formal approach to the engineering of domain-specific distributed systems 168
Testing Equivalences for Event Structures 167
Linear-Time and May-Testing in a Probabilistic Reactive Setting 167
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) 166
Ugo Montanari in a Nutshell 165
Locality Based Semantics for Process Algebras 164
Replicating Data for Better Performances in X10 164
Universal Axioms for Bisimulations 163
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 163
Interactive Mobile Agents in X-Klaim 162
Behavioral Equivalences 162
A Symbolic Semantics for the pi-calculus 162
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 161
DReAM: Dynamic Reconfigurable Architecture Modeling 161
The Meaning of Adaptation: Mastering the Unforeseen? 161
Models of Nondeterministic Regular Expressions 160
Global computing in a dynamic network of tuple spaces 160
Concurrency: Theory and Practice 160
Il Futuro della Cyber Security in Italia 160
Types in concurrency - Editorial of the Special Issue 159
A Theory of May Testing for Asynchronous Languages 158
A calculus for collective-adaptive systems and its behavioural theory 158
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 157
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 156
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 156
Fully Abstract Models for Nondeterministic Regular Expressions 156
CaSPiS: a calculus of sessions, pipelines and services 156
Verifying Properties of Systems Relying on Attribute-Based Communication. 156
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 155
Implementing a Distributed Mobile Calculus Using the IMC Framework 154
Editor's Note 154
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 154
An equational axiomatization of bisimulation over regular expressions 154
Dynamic SLAs for Clouds 154
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 154
Observation Trees 154
Asynchronous Observations of Processes 154
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 153
From Flow Logic to static type systems for coordination languages 153
The role of bot squads in the political propaganda on Twitter 153
Basic Observables for Probabilistic May Testing 152
Smart Contract Negotiation in Cloud Computing. 152
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 152
Trace and Testing Equivalence on Asynchronous Processes 151
MarCaSPiS: a Markovian Extension of a Calculus for Services 151
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 151
On the Expressive Power of Klaim-based Calculi 150
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures 149
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Lecture Notes in Computer Science 4421 149
A Formal Basis for Reasoning on Programmable QoS 148
Graded Modalities and Resource Bisimulation 148
Proof Techniques for Cryptographic Processes 148
Proof Techniques for Cryptographic Processes 148
SLAC: A formal service-level-agreement language for cloud computing 148
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterisations 147
A Formal Approach to Autonomic Systems Programming: The SCEL Language 146
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 144
ABEL - A domain specific framework for programming with attribute-based communication 144
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software 143
Totale 17.208
Salva come PNG Salva come JPEG
Categoria #
all - tutte 160.601
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 160.601
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.662 0 0 230 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/20262.039 686 904 449 0 0 0 0 0 0 0 0 0
Totale 30.059