IRIS
DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.070
AS - Asia 6.858
EU - Europa 3.349
SA - Sud America 161
Continente sconosciuto - Info sul continente non disponibili 47
AF - Africa 17
OC - Oceania 8
Totale 17.510
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.929
CN - Cina 5.593
SE - Svezia 1.002
UA - Ucraina 629
IT - Italia 578
VN - Vietnam 374
SG - Singapore 302
GB - Regno Unito 266
TR - Turchia 237
DE - Germania 199
RU - Federazione Russa 194
BG - Bulgaria 181
KR - Corea 173
BR - Brasile 160
CA - Canada 140
IN - India 109
FR - Francia 102
AT - Austria 61
EU - Europa 47
BE - Belgio 26
NL - Olanda 24
IL - Israele 23
FI - Finlandia 22
IE - Irlanda 20
HK - Hong Kong 14
PK - Pakistan 12
ES - Italia 11
CH - Svizzera 10
CZ - Repubblica Ceca 10
SN - Senegal 8
AU - Australia 6
GR - Grecia 6
MY - Malesia 6
IR - Iran 4
ID - Indonesia 3
LK - Sri Lanka 3
ZA - Sudafrica 3
HU - Ungheria 2
NG - Nigeria 2
NZ - Nuova Zelanda 2
RS - Serbia 2
AM - Armenia 1
AN - Antille olandesi 1
AR - Argentina 1
DK - Danimarca 1
EG - Egitto 1
IQ - Iraq 1
JP - Giappone 1
MG - Madagascar 1
MW - Malawi 1
NO - Norvegia 1
PH - Filippine 1
PL - Polonia 1
RO - Romania 1
RW - Ruanda 1
TH - Thailandia 1
Totale 17.510
Salva come PNG Salva come JPEG
Città #
Beijing 5.425
Jacksonville 1.667
Chandler 1.168
San Mateo 652
Dong Ket 373
Lawrence 277
Wilmington 237
Kocaeli 233
Rome 213
Princeton 207
New York 184
Sofia 181
Moscow 177
Singapore 176
Seoul 172
São Paulo 160
Ann Arbor 145
Ogden 145
Woodbridge 132
Ottawa 131
Andover 119
Boardman 118
Los Angeles 115
Ashburn 101
Milan 81
Vienna 60
London 45
Houston 42
Cambridge 41
Fairfield 39
Dearborn 28
Guangzhou 27
Bolzaneto 25
Chicago 24
Council Bluffs 24
Kunming 22
Hefei 21
Helsinki 21
Dublin 20
Nanjing 18
Genoa 16
Brussels 15
Strasbourg 14
Voghera 14
Nanchang 12
Pisa 12
Naaldwijk 11
Portland 11
Redmond 11
Atlanta 10
Hanover 9
Philadelphia 9
Chengdu 8
Hong Kong 8
Opfikon 8
Redwood City 8
West Jordan 8
Bangalore 7
Jinan 7
Lucca 7
Patna 7
Torino 7
Wuhan 7
Avezzano 6
Clifton 6
Monceau-sur-sambre 6
Paris 6
Verona 6
Lahore 5
Norwalk 5
Olomouc 5
San Francisco 5
Scario 5
Scarperia 5
Serra 5
Shenyang 5
Toronto 5
Zhengzhou 5
Baotou 4
Cascina 4
Dakar 4
Krimpen Aan Den Ijssel 4
Livorno 4
Munich 4
Salerno 4
Viareggio 4
Amsterdam 3
Bremen 3
Brescia 3
Brno 3
Cedar Knolls 3
Cesano Maderno 3
Delhi 3
Fuzhou 3
Gojra 3
Gunzenhausen 3
Messina 3
Nuremberg 3
Paterna 3
Pretoria 3
Totale 13.426
Salva come PNG Salva come JPEG
Nome #
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 178
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 175
Toward formal models and languages for verifiable multi-robot systems 171
Partial orderings descriptions and observations of nondeterministic concurrent processes. 151
Extensional Equivalences for Transition Systems 150
A calculus for attribute-based communication 149
Methods and apparatus for tuple management in data processing system 146
Testing Equivalences for Processes 144
Net Theory and Application - Response. IFIP Congress 1986: 140
Trustworthy Global Computing, International Symposium, TGC 2005, Revised Selected Papers. Lecture Notes in Computer Science 3705 Springer 2005 138
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 137
A modal logic for KLAIM 136
SENSORIA Process Calculi for Service-Oriented Computing 136
Observational Logics and Concurrency Models 135
Testing Equivalence for Processes 135
A distributed coordination infrastructure for attribute-based interaction 134
CCS is an (Augmented) Contact Free C/E System.144-165 134
A Partial Ordering Semantics for CCS 133
CCS without tau's 133
A Completeness Theorem for Nondeterministic Kleene Algebras. 133
XKlaim and Klava: Programming Mobile Code 132
Foreword 130
Three Logics for Branching Bisimulation (Extended Abstract) 129
Preface (Editorial) 129
Partial ordering derivations for CCS 127
A finite axiomatization of nondeterministic regular expressions 126
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards 126
A Homage to Martin Wirsing. Software, Services, and Systems 125
AErlang: Empowering Erlang with attribute-based communication 125
Testing Equivalences for Event Structures 123
Enhancing malware classification with symbolic features 122
Interactive Mobile Agents in X-Klaim 121
Process Algebras 120
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. 120
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 119
Universal Axioms for Bisimulations 118
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 118
Ugo Montanari in a Nutshell 118
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 117
Types in concurrency - Editorial of the Special Issue 117
Behavioral Equivalences 117
Types as Specifications of Access Policies 117
Linear-Time and May-Testing in a Probabilistic Reactive Setting 117
Evaluating the efficiency of Linda implementations 117
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) 116
Initial Algebra for a System of Right-Linear Functors. 115
A Symbolic Semantics for the pi-calculus 114
RVerifying hardware components within JACK 114
Network-Aware Evaluation Environment for Reputation Systems Authors 114
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 113
Models of Nondeterministic Regular Expressions 112
Concurrency: Theory and Practice 112
Fully Abstract Models for Nondeterministic Regular Expressions 112
DReAM: Dynamic Reconfigurable Architecture Modeling 112
The Meaning of Adaptation: Mastering the Unforeseen? 112
Trace and Testing Equivalence on Asynchronous Processes 111
A Theory of May Testing for Asynchronous Languages 111
CaSPiS: a calculus of sessions, pipelines and services 111
A formal approach to the engineering of domain-specific distributed systems 111
Verifying Properties of Systems Relying on Attribute-Based Communication. 110
Dynamic SLAs for Clouds 109
MarCaSPiS: a Markovian Extension of a Calculus for Services 109
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 109
Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games 109
An equational axiomatization of bisimulation over regular expressions 108
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 108
Replicating Data for Better Performances in X10 108
From Flow Logic to static type systems for coordination languages 107
Asynchronous Observations of Processes 107
Basic Observables for Probabilistic May Testing 106
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 106
Locality Based Semantics for Process Algebras 105
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 105
Global computing in a dynamic network of tuple spaces 105
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 105
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 105
Editor's Note 104
Smart Contract Negotiation in Cloud Computing. 104
Il Futuro della Cyber Security in Italia 104
Observation Trees 104
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 103
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Lecture Notes in Computer Science 4421 101
Graded Modalities and Resource Bisimulation 101
Implementing a Distributed Mobile Calculus Using the IMC Framework 100
Proof Techniques for Cryptographic Processes 100
SLAC: A formal service-level-agreement language for cloud computing 100
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures 99
On the Expressive Power of Klaim-based Calculi 98
Specifying and analysing reputation systems with a coordination language 98
Programming and Verifying Component Ensembles. 98
CARMA: Collective adaptive resource-sharing markovian agents 98
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 97
Proof Techniques for Cryptographic Processes 96
Model checking mobile stochastic logic 94
Testing Equivalence for Mobile Processes (Extended Abstract) 93
The role of bot squads in the political propaganda on Twitter 93
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software 92
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction 91
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterisations 90
Global protocol implementations via attribute-based communication 88
Totale 11.675
Salva come PNG Salva come JPEG
Categoria #
all - tutte 82.423
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 82.423
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20207.146 18 7 248 6 263 161 239 209 4.924 89 833 149
2020/20212.905 237 6 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.723 90 71 122 49 101 62 252 47 181 354 74 320
2024/2025212 212 0 0 0 0 0 0 0 0 0 0 0
Totale 17.671