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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201966 0 0 0 0 0 0 0 0 0 20 23 23
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.328 90 71 122 49 101 62 252 47 181 353 0 0
Totale 17.064