IRIS
ACETO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.177
NA - Nord America 4.094
AS - Asia 3.108
SA - Sud America 358
AF - Africa 77
Continente sconosciuto - Info sul continente non disponibili 16
OC - Oceania 11
Totale 13.841
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 4.430
US - Stati Uniti d'America 3.971
CN - Cina 1.100
SG - Singapore 966
SE - Svezia 415
BR - Brasile 302
UA - Ucraina 282
DE - Germania 265
VN - Vietnam 250
HK - Hong Kong 222
IT - Italia 214
KR - Corea 125
TR - Turchia 116
GB - Regno Unito 111
IE - Irlanda 82
CA - Canada 70
FR - Francia 69
NL - Olanda 65
IN - India 62
IL - Israele 59
BD - Bangladesh 48
FI - Finlandia 42
PL - Polonia 42
IS - Islanda 41
JP - Giappone 39
IQ - Iraq 34
MX - Messico 25
ZA - Sudafrica 24
PK - Pakistan 23
CZ - Repubblica Ceca 20
ES - Italia 18
KE - Kenya 17
AR - Argentina 16
EU - Europa 15
SA - Arabia Saudita 14
BE - Belgio 10
EC - Ecuador 10
MA - Marocco 10
AE - Emirati Arabi Uniti 9
AT - Austria 9
AU - Australia 8
UZ - Uzbekistan 8
VE - Venezuela 8
CO - Colombia 7
HR - Croazia 7
LT - Lituania 7
CH - Svizzera 6
BB - Barbados 5
BG - Bulgaria 5
CL - Cile 5
DK - Danimarca 5
ID - Indonesia 5
JM - Giamaica 5
HN - Honduras 4
IR - Iran 4
PA - Panama 4
RO - Romania 4
TN - Tunisia 4
UY - Uruguay 4
BY - Bielorussia 3
EG - Egitto 3
HU - Ungheria 3
KZ - Kazakistan 3
LB - Libano 3
MY - Malesia 3
NG - Nigeria 3
NO - Norvegia 3
NP - Nepal 3
PH - Filippine 3
PT - Portogallo 3
TT - Trinidad e Tobago 3
AL - Albania 2
BO - Bolivia 2
CI - Costa d'Avorio 2
DO - Repubblica Dominicana 2
GR - Grecia 2
GY - Guiana 2
MD - Moldavia 2
ME - Montenegro 2
ML - Mali 2
RS - Serbia 2
ZM - Zambia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AO - Angola 1
AZ - Azerbaigian 1
BF - Burkina Faso 1
BH - Bahrain 1
BJ - Benin 1
BT - Bhutan 1
CR - Costa Rica 1
DZ - Algeria 1
ET - Etiopia 1
GE - Georgia 1
GN - Guinea 1
HT - Haiti 1
JO - Giordania 1
KH - Cambogia 1
LC - Santa Lucia 1
LI - Liechtenstein 1
LU - Lussemburgo 1
Totale 13.823
Salva come PNG Salva come JPEG
Città #
Moscow 1.134
Dallas 511
Boardman 472
Singapore 468
Chandler 427
Ashburn 277
The Dalles 229
Hong Kong 205
Los Angeles 181
Dong Ket 179
New York 173
Shanghai 165
Beijing 134
Milan 126
Hefei 125
Seoul 124
San Mateo 116
Istanbul 97
Santa Clara 95
Kitzingen 92
West Jordan 91
Dublin 81
Wilmington 65
Ogden 61
Amsterdam 54
Munich 54
São Paulo 42
Shenzhen 40
Turin 40
Warsaw 38
Guangzhou 37
Ann Arbor 32
Ho Chi Minh City 32
Montreal 32
Tokyo 31
London 30
Seattle 30
Helsinki 28
Brooklyn 26
Kyiv 23
Buffalo 22
Denver 22
Frankfurt am Main 21
Orem 21
Poplar 21
Shaoxing 19
Jerusalem 18
Las Vegas 18
Phoenix 18
Atlanta 17
Johannesburg 17
San Francisco 17
Strasbourg 17
Hanover 16
Stockholm 16
Xi'an 15
Chennai 14
Houston 14
Nairobi 14
Central 13
Hanoi 13
Secaucus 13
Baghdad 12
Boston 12
Brno 12
Chicago 12
Nîmes 12
Toronto 12
Mexico City 11
Edinburgh 10
Jiaxing 10
Rio de Janeiro 9
Turku 9
Wuxi 9
Andover 8
Ankara 8
Brussels 8
City of London 8
Mumbai 8
Tashkent 8
Buenos Aires 7
Charlotte 7
Dhaka 7
Erbil 7
Montréal 7
Osaka 7
Raleigh 7
St Petersburg 7
Zagreb 7
Augusta 6
Berlin 6
Campinas 6
Jeddah 6
Querétaro 6
Vienna 6
Brasília 5
Bridgetown 5
Calgary 5
Cologne 5
Delhi 5
Totale 6.875
Salva come PNG Salva come JPEG
Nome #
27th Nordic Workshop on Programming Theory (NWPT 2015), Special issue 363
26th International Conference on Concurrency Theory (CONCUR 2015) 348
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages 192
A finite equational base for CCS with left merge and communication merge 189
A Cancellation Theorem for BCCSP 183
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders 173
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 149
Building international doctoral schools in computer science in italy, de nicola’s way 146
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases 145
A Rule Format for Unit Elements 140
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum 138
A Generic Instrumentation Tool for Erlang 133
A Runtime Monitoring Tool for Actor-Based Systems 130
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008 129
On Runtime Enforcement via Suppressions 127
Reactive Systems: Modelling, Specification and Verification 127
A Foundation for Runtime Monitoring 125
A Survey of Runtime Monitoring Instrumentation Techniques 125
A Sound Type System for Secure Currency Flow 124
A Suite of Monitoring Tools for Erlang 124
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 123
Complexity results for modal logic with recursion via translations and tableaux 120
Centralized vs Decentralized Monitors for Hyperproperties 120
eAOP: an aspect oriented programming framework for Erlang 119
Adventures in Monitorability: From Branching to Linear Time and Back Again 118
On the expressibility of priority 118
A Framework for Parameterized Monitorability. 118
Special Issue in memory of Nadia Busi 118
An Operational Guide to Monitorability 118
Characteristic Formulae for Fixed-Point Semantics: A General Framework 117
Action Refinement in Process Algebras 116
A ground-complete axiomatization of stateless bisimilarity over Linda 116
Trace Simulation Semantics is not Finitely Based over BCCSP 115
Runtime Instrumentation for Reactive Components 113
The equational theory of prebisimilarity over basic CCS with divergence 113
A unified rule format for bounded nondeterminism in SOS with terms as labels 113
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators 113
The Cost of Monitoring Alone 113
Runtime Instrumentation for Reactive Components (Artifact) 112
Lifting non-finite axiomatizability results to extensions of process algebras 112
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics 112
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). 112
The complexity of identifying characteristic formulae 112
Axiomatizing recursion-free, regular monitors 111
Special Issue Devoted to Selected Papers from Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 111
Determinizing monitors for HML with recursion 111
SOS rule formats for zero and unit elements 110
Rule formats for distributivity 110
Teaching Concurrency: Theory in Practice 110
When Are Prime Formulae Characteristic? 110
Monitoring for Silent Actions 110
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App 109
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling 109
Rule Formats for Determinism and Idempotence 108
Rule Formats for Nominal Process Calculi 108
Monitorability for the Hennessy-Milner logic with recursion 107
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 106
Axiomatizing Weak Ready Simulation Semantics over BCCSP 106
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras 106
On first-order runtime enforcement of branching-time properties 105
Resource bisimilarity and graded bisimilarity coincide 105
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders 105
Rule Formats for Nominal Process Calculi 105
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt 104
On the Complexity of Determinizing Monitors 104
Algebraic Synchronization Trees and Processes 104
Axiomatizing weak simulation semantics over BCCSP 103
Special Issue: Selected papers of the conference on “Foundations of Software Science and Computation Structures”: FOSSACS 2012 103
Comparing Controlled System Synthesis and Suppression Enforcement 103
A Sound Type System for Secure Currency Flow 103
A Monitoring Tool for Linear-Time $$\mu $$HML 102
Logical Characterisations and Compositionality of Input-Output Conformance Simulation 101
Preventing Out-of-Gas Exceptions by Typing 100
On the axiomatizability of priority II 100
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. 100
Decompositional Reasoning about the History of Parallel Processes 100
Decision Support for Mobile Cloud Computing Applications via Model Checking 100
Rule Formats for Distributivity 100
On the Axiomatizability of Priority III: The Return of Sequential Composition 100
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) 100
On the specification of modal systems: A comparison of three frameworks 99
Characteristic Formulae for Relations with Nested Fixed Points 99
The Equational Theory of Weak Complete Simulation Semantics over BCCSP 99
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011) 99
Models, Algorithms, Logics and Tools — Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 98
A monitoring tool for linear-time μHML 97
Monitoring Hyperproperties with Circuits 97
An operational guide to monitorability with applications to regular properties 96
On Probabilistic Monitorability 96
Complexity through Translations for Modal Logic with Recursion 95
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties 95
SOS rule formats for idempotent terms and idempotent unary operators 95
Meta SOS - A Maude Based SOS Meta-Theory Framework 95
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016 95
Testing Equivalence vs. Runtime Monitoring 95
Comparing controlled system synthesis and suppression enforcement 95
Characteristic formulae for fixed-point semantics: a general framework 94
Compositional Reasoning for Multi-modal Logics 94
Axiomatizing GSOS with Predicates 94
Graphical representation of covariant-contravariant modal formulae 94
Totale 11.781
Salva come PNG Salva come JPEG
Categoria #
all - tutte 84.035
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 84.035
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021484 0 0 0 0 0 47 2 5 79 48 2 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.721 38 302 568 268 117 176 196 68 175 224 373 216
2025/20267.728 713 507 608 871 623 4.406 0 0 0 0 0 0
Totale 14.081