IRIS
ACETO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.676
NA - Nord America 7.125
AS - Asia 4.108
SA - Sud America 492
Continente sconosciuto - Info sul continente non disponibili 264
AF - Africa 107
OC - Oceania 11
Totale 20.783
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.936
RU - Federazione Russa 6.145
CN - Cina 1.262
SG - Singapore 1.238
IT - Italia 818
VN - Vietnam 572
SE - Svezia 416
BR - Brasile 380
UA - Ucraina 288
DE - Germania 270
HK - Hong Kong 250
FR - Francia 180
BD - Bangladesh 154
GB - Regno Unito 137
KR - Corea 128
TR - Turchia 120
CA - Canada 95
IE - Irlanda 85
IN - India 81
NL - Olanda 69
IL - Israele 61
IQ - Iraq 57
MX - Messico 47
JP - Giappone 43
PL - Polonia 43
FI - Finlandia 42
IS - Islanda 42
AR - Argentina 31
ZA - Sudafrica 31
PK - Pakistan 30
ES - Italia 23
CZ - Repubblica Ceca 20
KE - Kenya 20
CO - Colombia 18
UZ - Uzbekistan 17
EC - Ecuador 15
EU - Europa 15
SA - Arabia Saudita 15
VE - Venezuela 15
ID - Indonesia 14
MA - Marocco 14
CL - Cile 12
AE - Emirati Arabi Uniti 11
BE - Belgio 11
AT - Austria 10
JM - Giamaica 9
MY - Malesia 9
AU - Australia 8
LT - Lituania 8
HN - Honduras 7
HR - Croazia 7
TN - Tunisia 7
BB - Barbados 6
BG - Bulgaria 6
CH - Svizzera 6
DK - Danimarca 6
LB - Libano 6
PE - Perù 6
UY - Uruguay 6
DO - Repubblica Dominicana 5
EG - Egitto 5
JO - Giordania 5
NP - Nepal 5
PA - Panama 5
PH - Filippine 5
RO - Romania 5
SN - Senegal 5
TT - Trinidad e Tobago 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
AL - Albania 3
BO - Bolivia 3
CI - Costa d'Avorio 3
CR - Costa Rica 3
MD - Moldavia 3
NO - Norvegia 3
PS - Palestinian Territory 3
SK - Slovacchia (Repubblica Slovacca) 3
XK - ???statistics.table.value.countryCode.XK??? 3
AZ - Azerbaigian 2
BA - Bosnia-Erzegovina 2
BF - Burkina Faso 2
BH - Bahrain 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
Totale 20.510
Salva come PNG Salva come JPEG
Città #
Moscow 1.495
Council Bluffs 1.186
San Jose 618
Singapore 582
Ashburn 578
Dallas 516
Boardman 472
Chandler 427
Rome 420
Hong Kong 232
The Dalles 229
New York 210
Los Angeles 193
Dong Ket 179
Shanghai 164
Chicago 157
Phoenix 147
Beijing 146
Milan 146
Seoul 127
Hefei 125
Santa Clara 124
Ho Chi Minh City 122
San Mateo 116
Lauterbourg 109
Staranzano 109
Istanbul 97
Kitzingen 92
West Jordan 91
Hanoi 85
Dublin 83
Wilmington 65
Ogden 61
Havertown 59
Amsterdam 58
Denver 55
Munich 52
Orem 48
São Paulo 46
Turin 43
Buffalo 39
Montreal 39
Warsaw 39
Guangzhou 38
Shenzhen 38
Tokyo 34
London 33
Ann Arbor 32
Seattle 32
Brooklyn 29
Helsinki 29
Corpus Christi 28
Frankfurt am Main 27
Atlanta 24
Kyiv 24
Chennai 23
Poplar 23
Da Nang 22
Houston 21
Baghdad 20
Johannesburg 20
Toronto 20
Las Vegas 19
San Francisco 19
Shaoxing 19
Jerusalem 18
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
Arlington 10
City of London 10
Edinburgh 10
Jiaxing 10
Mumbai 10
Rio de Janeiro 10
Ankara 9
Charlotte 9
Dhaka 9
Erbil 9
Turku 9
Wuxi 9
Andover 8
Brussels 8
Buenos Aires 8
Lahore 8
Querétaro 8
Raleigh 8
Augusta 7
Totale 10.958
Salva come PNG Salva come JPEG
Nome #
27th Nordic Workshop on Programming Theory (NWPT 2015), Special issue 424
26th International Conference on Concurrency Theory (CONCUR 2015) 408
A finite equational base for CCS with left merge and communication merge 252
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages 250
A Cancellation Theorem for BCCSP 240
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders 240
A Sound Type System for Secure Currency Flow 229
Building international doctoral schools in computer science in italy, de nicola’s way 214
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 210
A Generic Instrumentation Tool for Erlang 207
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases 203
A Rule Format for Unit Elements 198
Complexity results for modal logic with recursion via translations and tableaux 194
A Runtime Monitoring Tool for Actor-Based Systems 190
Centralized vs Decentralized Monitors for Hyperproperties 188
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum 181
A Survey of Runtime Monitoring Instrumentation Techniques 180
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008 177
Runtime Instrumentation for Reactive Components (Artifact) 176
Reactive Systems: Modelling, Specification and Verification 176
On first-order runtime enforcement of branching-time properties 174
A Foundation for Runtime Monitoring 173
On Runtime Enforcement via Suppressions 173
A Suite of Monitoring Tools for Erlang 172
A Monitoring Tool for Linear-Time $$\mu $$HML 170
Adventures in Monitorability: From Branching to Linear Time and Back Again 170
A Framework for Parameterized Monitorability. 169
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 169
The Best a Monitor Can Do 168
Characteristic Formulae for Fixed-Point Semantics: A General Framework 168
eAOP: an aspect oriented programming framework for Erlang 167
Rule Formats for Nominal Process Calculi 167
Special Issue Devoted to Selected Papers from Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 166
Monitorability for the Hennessy-Milner logic with recursion 166
Better Late Than Never or: Verifying Asynchronous Components at Runtime 166
A unified rule format for bounded nondeterminism in SOS with terms as labels 165
On the expressibility of priority 165
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). 165
Runtime Instrumentation for Reactive Components 164
Trace Simulation Semantics is not Finitely Based over BCCSP 163
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras 163
Special Issue in memory of Nadia Busi 163
A ground-complete axiomatization of stateless bisimilarity over Linda 163
An Operational Guide to Monitorability 163
The complexity of identifying characteristic formulae 163
Action Refinement in Process Algebras 162
An operational guide to monitorability with applications to regular properties 161
Rule formats for distributivity 161
When Are Prime Formulae Characteristic? 160
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators 160
Axiomatizing recursion-free, regular monitors 159
Monitoring for Silent Actions 159
Determinizing monitors for HML with recursion 159
Lifting non-finite axiomatizability results to extensions of process algebras 158
The equational theory of prebisimilarity over basic CCS with divergence 158
Algebraic Synchronization Trees and Processes 158
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App 158
SOS rule formats for zero and unit elements 157
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics 157
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 157
Rule Formats for Determinism and Idempotence 156
Special Issue: Selected papers of the conference on “Foundations of Software Science and Computation Structures”: FOSSACS 2012 156
Teaching Concurrency: Theory in Practice 155
Resource bisimilarity and graded bisimilarity coincide 154
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt 154
Rule Formats for Nominal Process Calculi 154
Preventing Out-of-Gas Exceptions by Typing 153
The Cost of Monitoring Alone 153
Complexity through Translations for Modal Logic with Recursion 152
Monitoring Hyperproperties with Circuits 152
Axiomatizing weak simulation semantics over BCCSP 152
On the Complexity of Determinizing Monitors 152
Axiomatizing Weak Ready Simulation Semantics over BCCSP 152
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders 152
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling 152
A monitoring tool for linear-time μHML 151
Logical Characterisations and Compositionality of Input-Output Conformance Simulation 151
Comparing Controlled System Synthesis and Suppression Enforcement 151
Axiomatizing GSOS with Predicates 150
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011) 149
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016 148
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties 147
Decision Support for Mobile Cloud Computing Applications via Model Checking 147
Characteristic Formulae for Relations with Nested Fixed Points 147
The Equational Theory of Weak Complete Simulation Semantics over BCCSP 147
On the specification of modal systems: A comparison of three frameworks 145
Modelling and simulation of asynchronous real-time systems using Timed Rebeca 145
Decompositional Reasoning about the History of Parallel Processes 144
Rule Formats for Distributivity 144
On the Axiomatizability of Priority III: The Return of Sequential Composition 144
On Benchmarking for Concurrent Runtime Verification 143
On Probabilistic Monitorability 143
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. 143
On the axiomatizability of priority II 142
Testing Equivalence vs. Runtime Monitoring 142
Models, Algorithms, Logics and Tools — Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 141
Characteristic formulae for fixed-point semantics: a general framework 140
Compositional Reasoning for Multi-modal Logics 140
Comparing controlled system synthesis and suppression enforcement 140
Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory 139
Totale 17.018
Salva come PNG Salva come JPEG
Categoria #
all - tutte 101.135
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 101.135
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022657 0 0 0 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.681 706 502 603 860 616 6.298 893 300 882 311 290 420
2026/20271.796 291 499 639 367 0 0 0 0 0 0 0 0
Totale 20.783