IRIS
ACETO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.489
NA - Nord America 4.941
AS - Asia 3.895
SA - Sud America 482
AF - Africa 107
Continente sconosciuto - Info sul continente non disponibili 17
OC - Oceania 11
Totale 17.942
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 6.144
US - Stati Uniti d'America 4.780
CN - Cina 1.232
SG - Singapore 1.169
IT - Italia 645
VN - Vietnam 569
SE - Svezia 416
BR - Brasile 378
UA - Ucraina 288
DE - Germania 267
HK - Hong Kong 247
FR - Francia 179
GB - Regno Unito 132
KR - Corea 124
TR - Turchia 119
IE - Irlanda 85
CA - Canada 81
IN - India 81
NL - Olanda 69
BD - Bangladesh 63
IL - Israele 61
IQ - Iraq 57
MX - Messico 45
FI - Finlandia 42
IS - Islanda 42
JP - Giappone 42
PL - Polonia 42
ZA - Sudafrica 31
PK - Pakistan 30
AR - Argentina 29
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 12
AE - Emirati Arabi Uniti 11
BE - Belgio 11
CL - Cile 11
AT - Austria 10
AU - Australia 8
LT - Lituania 8
HR - Croazia 7
TN - Tunisia 7
BG - Bulgaria 6
CH - Svizzera 6
HN - Honduras 6
JM - Giamaica 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
MY - Malesia 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
GR - Grecia 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
BT - Bhutan 1
BW - Botswana 1
Totale 17.916
Salva come PNG Salva come JPEG
Città #
Moscow 1.495
Singapore 577
Dallas 508
Ashburn 504
Boardman 472
Chandler 427
Rome 411
San Jose 355
Hong Kong 229
The Dalles 229
New York 184
Los Angeles 183
Dong Ket 179
Shanghai 164
Chicago 145
Beijing 140
Milan 131
Hefei 124
Seoul 123
Ho Chi Minh City 121
San Mateo 116
Lauterbourg 109
Istanbul 96
Kitzingen 92
West Jordan 91
Santa Clara 90
Hanoi 85
Dublin 83
Wilmington 65
Ogden 61
Amsterdam 58
Munich 52
Orem 48
São Paulo 46
Turin 41
Warsaw 39
Guangzhou 38
Montreal 38
Shenzhen 38
London 33
Tokyo 33
Ann Arbor 32
Seattle 31
Helsinki 29
Brooklyn 27
Denver 26
Frankfurt am Main 24
Kyiv 24
Chennai 23
Poplar 23
Phoenix 22
Buffalo 21
Da Nang 21
Baghdad 20
Council Bluffs 20
Johannesburg 20
Atlanta 19
Shaoxing 19
Jerusalem 18
Las Vegas 18
San Francisco 18
Houston 17
Stockholm 17
Strasbourg 17
Haiphong 16
Hanover 16
Nairobi 16
Tashkent 16
Mexico City 15
Xi'an 15
Boston 14
Central 13
Manchester 13
Toronto 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
Lahore 8
Querétaro 8
Bến Tre 7
Charlotte 7
Montréal 7
Osaka 7
Raleigh 7
Zagreb 7
Augusta 6
Totale 8.936
Salva come PNG Salva come JPEG
Nome #
27th Nordic Workshop on Programming Theory (NWPT 2015), Special issue 405
26th International Conference on Concurrency Theory (CONCUR 2015) 391
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages 234
A finite equational base for CCS with left merge and communication merge 226
A Cancellation Theorem for BCCSP 225
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders 207
Building international doctoral schools in computer science in italy, de nicola’s way 189
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 189
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases 185
Complexity results for modal logic with recursion via translations and tableaux 179
A Rule Format for Unit Elements 177
A Generic Instrumentation Tool for Erlang 177
A Runtime Monitoring Tool for Actor-Based Systems 165
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum 165
Centralized vs Decentralized Monitors for Hyperproperties 164
A Suite of Monitoring Tools for Erlang 158
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008 158
A Foundation for Runtime Monitoring 156
Reactive Systems: Modelling, Specification and Verification 156
Adventures in Monitorability: From Branching to Linear Time and Back Again 155
On Runtime Enforcement via Suppressions 155
A Survey of Runtime Monitoring Instrumentation Techniques 155
A Framework for Parameterized Monitorability. 151
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 151
On the expressibility of priority 150
eAOP: an aspect oriented programming framework for Erlang 149
A unified rule format for bounded nondeterminism in SOS with terms as labels 148
Characteristic Formulae for Fixed-Point Semantics: A General Framework 148
Runtime Instrumentation for Reactive Components (Artifact) 147
Trace Simulation Semantics is not Finitely Based over BCCSP 147
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). 147
Special Issue in memory of Nadia Busi 147
Special Issue Devoted to Selected Papers from Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 146
Action Refinement in Process Algebras 145
A ground-complete axiomatization of stateless bisimilarity over Linda 145
Monitorability for the Hennessy-Milner logic with recursion 145
Rule Formats for Nominal Process Calculi 145
A Sound Type System for Secure Currency Flow 145
On first-order runtime enforcement of branching-time properties 144
A Monitoring Tool for Linear-Time $$\mu $$HML 144
Runtime Instrumentation for Reactive Components 144
Rule formats for distributivity 144
Rule Formats for Determinism and Idempotence 144
An Operational Guide to Monitorability 144
The complexity of identifying characteristic formulae 144
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators 143
Axiomatizing recursion-free, regular monitors 142
When Are Prime Formulae Characteristic? 142
An operational guide to monitorability with applications to regular properties 141
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras 141
SOS rule formats for zero and unit elements 140
Lifting non-finite axiomatizability results to extensions of process algebras 140
Special Issue: Selected papers of the conference on “Foundations of Software Science and Computation Structures”: FOSSACS 2012 140
Rule Formats for Nominal Process Calculi 140
The equational theory of prebisimilarity over basic CCS with divergence 139
Algebraic Synchronization Trees and Processes 139
Determinizing monitors for HML with recursion 139
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt 138
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics 138
Monitoring for Silent Actions 138
Teaching Concurrency: Theory in Practice 137
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 137
Better Late Than Never or: Verifying Asynchronous Components at Runtime 137
Resource bisimilarity and graded bisimilarity coincide 136
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App 136
The Cost of Monitoring Alone 136
Complexity through Translations for Modal Logic with Recursion 135
Monitoring Hyperproperties with Circuits 135
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders 135
Axiomatizing weak simulation semantics over BCCSP 134
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling 134
A monitoring tool for linear-time μHML 133
Preventing Out-of-Gas Exceptions by Typing 133
Axiomatizing Weak Ready Simulation Semantics over BCCSP 133
On the Complexity of Determinizing Monitors 132
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011) 132
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016 132
Logical Characterisations and Compositionality of Input-Output Conformance Simulation 131
On the specification of modal systems: A comparison of three frameworks 130
Decompositional Reasoning about the History of Parallel Processes 130
Comparing Controlled System Synthesis and Suppression Enforcement 130
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties 129
The Equational Theory of Weak Complete Simulation Semantics over BCCSP 129
Axiomatizing GSOS with Predicates 129
Modelling and simulation of asynchronous real-time systems using Timed Rebeca 128
On the axiomatizability of priority II 128
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. 128
Decision Support for Mobile Cloud Computing Applications via Model Checking 128
Characteristic Formulae for Relations with Nested Fixed Points 127
Models, Algorithms, Logics and Tools — Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 127
On the Axiomatizability of Priority III: The Return of Sequential Composition 127
Rule Formats for Distributivity 126
Testing Equivalence vs. Runtime Monitoring 126
Comparing controlled system synthesis and suppression enforcement 125
On Probabilistic Monitorability 124
When are prime formulae characteristic? 124
On Benchmarking for Concurrent Runtime Verification 123
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) 123
The Best a Monitor Can Do 122
Characteristic formulae for fixed-point semantics: a general framework 122
Totale 15.038
Salva come PNG Salva come JPEG
Categoria #
all - tutte 90.044
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 90.044
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021351 0 0 0 0 0 0 0 0 0 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.674 38 302 560 260 113 170 193 66 172 219 368 213
2025/202611.881 706 502 603 860 616 6.298 893 300 882 221 0 0
Totale 18.187