IRIS
ACETO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.554
NA - Nord America 6.114
AS - Asia 4.063
SA - Sud America 490
Continente sconosciuto - Info sul continente non disponibili 263
AF - Africa 107
OC - Oceania 11
Totale 19.602
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 6.145
US - Stati Uniti d'America 5.933
CN - Cina 1.262
SG - Singapore 1.202
IT - Italia 704
VN - Vietnam 572
SE - Svezia 416
BR - Brasile 380
UA - Ucraina 288
DE - Germania 267
HK - Hong Kong 249
FR - Francia 179
BD - Bangladesh 154
GB - Regno Unito 133
KR - Corea 125
TR - Turchia 120
CA - Canada 91
IE - Irlanda 85
IN - India 81
NL - Olanda 69
IL - Israele 61
IQ - Iraq 57
MX - Messico 46
PL - Polonia 43
FI - Finlandia 42
IS - Islanda 42
JP - Giappone 42
AR - Argentina 31
ZA - Sudafrica 31
PK - Pakistan 30
ES - Italia 23
CZ - Repubblica Ceca 20
KE - Kenya 20
CO - Colombia 17
UZ - Uzbekistan 17
EU - Europa 15
SA - Arabia Saudita 15
VE - Venezuela 15
EC - Ecuador 14
MA - Marocco 14
ID - Indonesia 13
CL - Cile 12
AE - Emirati Arabi Uniti 11
BE - Belgio 11
AT - Austria 10
MY - Malesia 9
AU - Australia 8
JM - Giamaica 8
LT - Lituania 8
HR - Croazia 7
TN - Tunisia 7
BB - Barbados 6
BG - Bulgaria 6
CH - Svizzera 6
DK - Danimarca 6
HN - Honduras 6
PE - Perù 6
UY - Uruguay 6
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
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
MD - Moldavia 3
NO - Norvegia 3
PH - Filippine 3
PS - Palestinian Territory 3
SK - Slovacchia (Repubblica Slovacca) 3
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
XK - ???statistics.table.value.countryCode.XK??? 2
ZM - Zambia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AO - Angola 1
Totale 19.329
Salva come PNG Salva come JPEG
Città #
Moscow 1.495
Council Bluffs 849
Singapore 580
Ashburn 520
Dallas 512
San Jose 482
Boardman 472
Chandler 427
Rome 420
Hong Kong 231
The Dalles 229
New York 198
Los Angeles 191
Dong Ket 179
Shanghai 164
Chicago 147
Beijing 146
Milan 145
Hefei 125
Seoul 124
Ho Chi Minh City 122
San Mateo 116
Santa Clara 110
Lauterbourg 109
Istanbul 97
Kitzingen 92
West Jordan 91
Hanoi 85
Dublin 83
Wilmington 65
Ogden 61
Phoenix 60
Amsterdam 58
Munich 52
Orem 48
São Paulo 46
Turin 43
Montreal 39
Warsaw 39
Guangzhou 38
Shenzhen 38
London 33
Tokyo 33
Ann Arbor 32
Seattle 31
Helsinki 29
Brooklyn 28
Buffalo 27
Denver 27
Frankfurt am Main 24
Kyiv 24
Chennai 23
Poplar 23
Da Nang 22
Baghdad 20
Johannesburg 20
Atlanta 19
Las Vegas 19
San Francisco 19
Shaoxing 19
Toronto 19
Houston 18
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
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
Augusta 7
Bến Tre 7
Guayaquil 7
Hangzhou 7
Montréal 7
Totale 10.057
Salva come PNG Salva come JPEG
Nome #
27th Nordic Workshop on Programming Theory (NWPT 2015), Special issue 415
26th International Conference on Concurrency Theory (CONCUR 2015) 398
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages 241
A finite equational base for CCS with left merge and communication merge 239
A Cancellation Theorem for BCCSP 230
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders 227
A Sound Type System for Secure Currency Flow 216
Building international doctoral schools in computer science in italy, de nicola’s way 203
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 201
A Generic Instrumentation Tool for Erlang 195
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases 193
Complexity results for modal logic with recursion via translations and tableaux 186
A Rule Format for Unit Elements 184
Centralized vs Decentralized Monitors for Hyperproperties 178
A Runtime Monitoring Tool for Actor-Based Systems 177
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum 174
On Runtime Enforcement via Suppressions 167
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008 167
Reactive Systems: Modelling, Specification and Verification 166
On first-order runtime enforcement of branching-time properties 165
A Foundation for Runtime Monitoring 165
A Suite of Monitoring Tools for Erlang 164
A Survey of Runtime Monitoring Instrumentation Techniques 164
Runtime Instrumentation for Reactive Components (Artifact) 163
Adventures in Monitorability: From Branching to Linear Time and Back Again 163
A Monitoring Tool for Linear-Time $$\mu $$HML 162
The Best a Monitor Can Do 160
A Framework for Parameterized Monitorability. 160
Characteristic Formulae for Fixed-Point Semantics: A General Framework 159
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 159
Better Late Than Never or: Verifying Asynchronous Components at Runtime 159
eAOP: an aspect oriented programming framework for Erlang 158
Monitorability for the Hennessy-Milner logic with recursion 158
A unified rule format for bounded nondeterminism in SOS with terms as labels 157
On the expressibility of priority 157
Special Issue Devoted to Selected Papers from Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 157
Rule Formats for Nominal Process Calculi 157
Action Refinement in Process Algebras 156
Trace Simulation Semantics is not Finitely Based over BCCSP 155
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). 155
Special Issue in memory of Nadia Busi 155
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras 153
Runtime Instrumentation for Reactive Components 152
Rule formats for distributivity 152
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators 152
A ground-complete axiomatization of stateless bisimilarity over Linda 152
An Operational Guide to Monitorability 152
An operational guide to monitorability with applications to regular properties 151
When Are Prime Formulae Characteristic? 151
The complexity of identifying characteristic formulae 151
Axiomatizing recursion-free, regular monitors 150
Lifting non-finite axiomatizability results to extensions of process algebras 150
Determinizing monitors for HML with recursion 150
SOS rule formats for zero and unit elements 148
The equational theory of prebisimilarity over basic CCS with divergence 148
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt 148
Rule Formats for Determinism and Idempotence 148
Monitoring for Silent Actions 148
Special Issue: Selected papers of the conference on “Foundations of Software Science and Computation Structures”: FOSSACS 2012 148
Teaching Concurrency: Theory in Practice 147
Algebraic Synchronization Trees and Processes 147
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 147
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics 146
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling 146
The Cost of Monitoring Alone 146
Rule Formats for Nominal Process Calculi 146
Resource bisimilarity and graded bisimilarity coincide 145
Axiomatizing weak simulation semantics over BCCSP 145
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App 145
Monitoring Hyperproperties with Circuits 144
A monitoring tool for linear-time μHML 143
On the Complexity of Determinizing Monitors 143
Complexity through Translations for Modal Logic with Recursion 142
Preventing Out-of-Gas Exceptions by Typing 142
Axiomatizing Weak Ready Simulation Semantics over BCCSP 142
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders 142
Logical Characterisations and Compositionality of Input-Output Conformance Simulation 141
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016 141
Axiomatizing GSOS with Predicates 140
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011) 140
Comparing Controlled System Synthesis and Suppression Enforcement 140
Characteristic Formulae for Relations with Nested Fixed Points 139
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties 138
On the specification of modal systems: A comparison of three frameworks 138
Decision Support for Mobile Cloud Computing Applications via Model Checking 138
On the Axiomatizability of Priority III: The Return of Sequential Composition 138
Modelling and simulation of asynchronous real-time systems using Timed Rebeca 137
Decompositional Reasoning about the History of Parallel Processes 137
The Equational Theory of Weak Complete Simulation Semantics over BCCSP 137
On the axiomatizability of priority II 136
Rule Formats for Distributivity 136
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. 135
Testing Equivalence vs. Runtime Monitoring 134
On Probabilistic Monitorability 133
Models, Algorithms, Logics and Tools — Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 133
The Way We Were: Structural Operational Semantics Research in Perspective 131
SOS rule formats for idempotent terms and idempotent unary operators 131
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations 131
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) 131
Comparing controlled system synthesis and suppression enforcement 131
Totale 16.093
Salva come PNG Salva come JPEG
Categoria #
all - tutte 98.019
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 98.019
Salva come PNG Salva come JPEG


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