IRIS
ACETO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.520
NA - Nord America 5.536
AS - Asia 4.051
SA - Sud America 483
AF - Africa 107
Continente sconosciuto - Info sul continente non disponibili 17
OC - Oceania 11
Totale 18.725
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 6.144
US - Stati Uniti d'America 5.360
CN - Cina 1.260
SG - Singapore 1.201
IT - Italia 675
VN - Vietnam 571
SE - Svezia 416
BR - Brasile 378
UA - Ucraina 288
DE - Germania 267
HK - Hong Kong 248
FR - Francia 179
BD - Bangladesh 148
GB - Regno Unito 133
KR - Corea 125
TR - Turchia 120
CA - Canada 90
IE - Irlanda 85
IN - India 81
NL - Olanda 69
IL - Israele 61
IQ - Iraq 57
MX - Messico 46
FI - Finlandia 42
IS - Islanda 42
JP - Giappone 42
PL - Polonia 42
ZA - Sudafrica 31
AR - Argentina 30
PK - Pakistan 30
ES - Italia 22
CZ - Repubblica Ceca 20
KE - Kenya 20
UZ - Uzbekistan 17
CO - Colombia 16
EU - Europa 15
SA - Arabia Saudita 15
MA - Marocco 14
VE - Venezuela 14
EC - Ecuador 13
ID - Indonesia 13
AE - Emirati Arabi Uniti 11
BE - Belgio 11
CL - Cile 11
AT - Austria 10
AU - Australia 8
LT - Lituania 8
MY - Malesia 8
HR - Croazia 7
JM - Giamaica 7
TN - Tunisia 7
BG - Bulgaria 6
CH - Svizzera 6
HN - Honduras 6
PE - Perù 6
UY - Uruguay 6
BB - Barbados 5
DK - Danimarca 5
DO - Repubblica Dominicana 5
EG - Egitto 5
JO - Giordania 5
LB - Libano 5
NP - Nepal 5
PA - Panama 5
RO - Romania 5
SN - Senegal 5
BY - Bielorussia 4
DZ - Algeria 4
GY - Guiana 4
HU - Ungheria 4
IR - Iran 4
KZ - Kazakistan 4
NG - Nigeria 4
PT - Portogallo 4
BO - Bolivia 3
CI - Costa d'Avorio 3
MD - Moldavia 3
NO - Norvegia 3
PH - Filippine 3
PS - Palestinian Territory 3
SK - Slovacchia (Repubblica Slovacca) 3
TT - Trinidad e Tobago 3
AL - Albania 2
AZ - Azerbaigian 2
BA - Bosnia-Erzegovina 2
BF - Burkina Faso 2
BH - Bahrain 2
CR - Costa Rica 2
GR - Grecia 2
LC - Santa Lucia 2
ME - Montenegro 2
ML - Mali 2
PY - Paraguay 2
RS - Serbia 2
SI - Slovenia 2
SY - Repubblica araba siriana 2
ZM - Zambia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AO - Angola 1
BJ - Benin 1
Totale 18.697
Salva come PNG Salva come JPEG
Città #
Moscow 1.495
Singapore 580
Ashburn 515
Dallas 510
San Jose 480
Boardman 472
Chandler 427
Rome 415
Council Bluffs 364
Hong Kong 230
The Dalles 229
New York 197
Los Angeles 189
Dong Ket 179
Shanghai 164
Chicago 147
Beijing 145
Milan 136
Hefei 125
Seoul 124
Ho Chi Minh City 122
San Mateo 116
Lauterbourg 109
Santa Clara 104
Istanbul 97
Kitzingen 92
West Jordan 91
Hanoi 85
Dublin 83
Wilmington 65
Ogden 61
Amsterdam 58
Munich 52
Orem 48
São Paulo 46
Turin 42
Montreal 39
Warsaw 39
Guangzhou 38
Shenzhen 38
London 33
Tokyo 33
Ann Arbor 32
Seattle 31
Helsinki 29
Brooklyn 28
Buffalo 27
Denver 26
Frankfurt am Main 24
Kyiv 24
Phoenix 24
Chennai 23
Poplar 23
Da Nang 21
Baghdad 20
Johannesburg 20
Atlanta 19
San Francisco 19
Shaoxing 19
Jerusalem 18
Las Vegas 18
Toronto 18
Houston 17
Stockholm 17
Strasbourg 17
Haiphong 16
Hanover 16
Mexico City 16
Nairobi 16
Tashkent 16
Xi'an 15
Boston 14
Central 13
Manchester 13
Brno 12
Nîmes 12
Secaucus 12
Hải Dương 11
City of London 10
Edinburgh 10
Jiaxing 10
Mumbai 10
Rio de Janeiro 10
Ankara 9
Dhaka 9
Erbil 9
Turku 9
Wuxi 9
Andover 8
Brussels 8
Buenos Aires 8
Charlotte 8
Lahore 8
Querétaro 8
Raleigh 8
Bến Tre 7
Hangzhou 7
Montréal 7
Osaka 7
Zagreb 7
Totale 9.496
Salva come PNG Salva come JPEG
Nome #
27th Nordic Workshop on Programming Theory (NWPT 2015), Special issue 411
26th International Conference on Concurrency Theory (CONCUR 2015) 393
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages 237
A finite equational base for CCS with left merge and communication merge 231
A Cancellation Theorem for BCCSP 226
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders 221
A Sound Type System for Secure Currency Flow 211
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 196
Building international doctoral schools in computer science in italy, de nicola’s way 194
A Generic Instrumentation Tool for Erlang 191
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases 189
Complexity results for modal logic with recursion via translations and tableaux 184
A Rule Format for Unit Elements 182
Centralized vs Decentralized Monitors for Hyperproperties 173
A Runtime Monitoring Tool for Actor-Based Systems 173
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum 169
A Foundation for Runtime Monitoring 162
Reactive Systems: Modelling, Specification and Verification 162
On first-order runtime enforcement of branching-time properties 161
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008 161
A Suite of Monitoring Tools for Erlang 160
A Survey of Runtime Monitoring Instrumentation Techniques 160
Runtime Instrumentation for Reactive Components (Artifact) 159
Adventures in Monitorability: From Branching to Linear Time and Back Again 159
On Runtime Enforcement via Suppressions 159
A Monitoring Tool for Linear-Time $$\mu $$HML 157
A Framework for Parameterized Monitorability. 156
Characteristic Formulae for Fixed-Point Semantics: A General Framework 155
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 155
On the expressibility of priority 153
eAOP: an aspect oriented programming framework for Erlang 153
Rule Formats for Nominal Process Calculi 153
A unified rule format for bounded nondeterminism in SOS with terms as labels 152
Special Issue Devoted to Selected Papers from Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 152
Better Late Than Never or: Verifying Asynchronous Components at Runtime 152
Trace Simulation Semantics is not Finitely Based over BCCSP 151
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). 151
Special Issue in memory of Nadia Busi 150
Rule formats for distributivity 149
Action Refinement in Process Algebras 149
Monitorability for the Hennessy-Milner logic with recursion 149
Runtime Instrumentation for Reactive Components 148
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras 148
A ground-complete axiomatization of stateless bisimilarity over Linda 148
An Operational Guide to Monitorability 148
An operational guide to monitorability with applications to regular properties 147
When Are Prime Formulae Characteristic? 147
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators 147
The complexity of identifying characteristic formulae 147
Rule Formats for Determinism and Idempotence 146
Determinizing monitors for HML with recursion 146
Axiomatizing recursion-free, regular monitors 145
SOS rule formats for zero and unit elements 144
Lifting non-finite axiomatizability results to extensions of process algebras 144
The equational theory of prebisimilarity over basic CCS with divergence 144
Special Issue: Selected papers of the conference on “Foundations of Software Science and Computation Structures”: FOSSACS 2012 144
Algebraic Synchronization Trees and Processes 143
Monitoring for Silent Actions 143
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt 142
Teaching Concurrency: Theory in Practice 142
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 142
The Cost of Monitoring Alone 142
Rule Formats for Nominal Process Calculi 142
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics 141
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App 141
Resource bisimilarity and graded bisimilarity coincide 140
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling 140
Monitoring Hyperproperties with Circuits 139
Preventing Out-of-Gas Exceptions by Typing 138
Axiomatizing weak simulation semantics over BCCSP 138
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders 138
Complexity through Translations for Modal Logic with Recursion 137
A monitoring tool for linear-time μHML 137
On the Complexity of Determinizing Monitors 137
Axiomatizing Weak Ready Simulation Semantics over BCCSP 137
Logical Characterisations and Compositionality of Input-Output Conformance Simulation 136
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011) 136
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016 136
Axiomatizing GSOS with Predicates 135
Comparing Controlled System Synthesis and Suppression Enforcement 135
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties 134
On the specification of modal systems: A comparison of three frameworks 134
Decompositional Reasoning about the History of Parallel Processes 134
Decision Support for Mobile Cloud Computing Applications via Model Checking 134
Modelling and simulation of asynchronous real-time systems using Timed Rebeca 133
The Equational Theory of Weak Complete Simulation Semantics over BCCSP 133
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. 132
Characteristic Formulae for Relations with Nested Fixed Points 132
Rule Formats for Distributivity 132
On the axiomatizability of priority II 131
On the Axiomatizability of Priority III: The Return of Sequential Composition 131
Testing Equivalence vs. Runtime Monitoring 130
On Probabilistic Monitorability 129
SOS rule formats for idempotent terms and idempotent unary operators 127
Models, Algorithms, Logics and Tools — Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 127
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) 127
The Best a Monitor Can Do 126
The Way We Were: Structural Operational Semantics Research in Perspective 126
Characteristic formulae for fixed-point semantics: a general framework 126
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations 126
Totale 15.595
Salva come PNG Salva come JPEG
Categoria #
all - tutte 94.285
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 94.285
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021301 0 0 0 0 0 0 0 0 0 0 0 301
2021/2022681 11 3 10 487 57 11 7 5 5 51 10 24
2022/20231.234 6 47 28 154 101 185 99 190 187 73 153 11
2023/20241.188 30 17 162 35 37 121 31 139 9 243 298 66
2024/20252.674 38 302 560 260 113 170 193 66 172 219 368 213
2025/202612.664 706 502 603 860 616 6.298 893 300 882 311 290 403
Totale 18.970