IRIS
ACETO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.310
EU - Europa 1.412
AS - Asia 1.082
Continente sconosciuto - Info sul continente non disponibili 16
AF - Africa 14
OC - Oceania 5
SA - Sud America 3
Totale 4.842
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.292
CN - Cina 542
SE - Svezia 401
UA - Ucraina 253
DE - Germania 208
IT - Italia 204
VN - Vietnam 182
SG - Singapore 159
TR - Turchia 99
IE - Irlanda 82
FR - Francia 43
IS - Islanda 41
NL - Olanda 39
IL - Israele 38
FI - Finlandia 32
GB - Regno Unito 22
CZ - Repubblica Ceca 19
CA - Canada 17
EU - Europa 15
HK - Hong Kong 15
PK - Pakistan 15
JP - Giappone 12
BE - Belgio 9
KE - Kenya 8
AT - Austria 7
IN - India 6
RU - Federazione Russa 6
AU - Australia 5
CH - Svizzera 5
BG - Bulgaria 4
DK - Danimarca 4
HR - Croazia 4
PL - Polonia 4
RO - Romania 4
ES - Italia 3
HU - Ungheria 3
MY - Malesia 3
PH - Filippine 3
PT - Portogallo 3
AE - Emirati Arabi Uniti 2
BR - Brasile 2
BY - Bielorussia 2
EG - Egitto 2
ID - Indonesia 2
MA - Marocco 2
ME - Montenegro 2
NG - Nigeria 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BT - Bhutan 1
CL - Cile 1
GR - Grecia 1
IR - Iran 1
KZ - Kazakistan 1
LI - Liechtenstein 1
LT - Lituania 1
LU - Lussemburgo 1
MC - Monaco 1
MT - Malta 1
NO - Norvegia 1
PA - Panama 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
Totale 4.842
Salva come PNG Salva come JPEG
Città #
Boardman 472
Chandler 427
Dong Ket 179
Shanghai 158
Singapore 133
Milan 123
Los Angeles 120
San Mateo 116
New York 108
Istanbul 97
Kitzingen 92
West Jordan 91
Dublin 81
Wilmington 65
Ogden 61
Ashburn 47
Shenzhen 40
Turin 38
Guangzhou 37
Amsterdam 33
Ann Arbor 32
Helsinki 27
Munich 25
Seattle 25
Santa Clara 24
Beijing 21
Shaoxing 19
Las Vegas 18
Strasbourg 17
Hanover 16
Xi'an 15
Frankfurt am Main 14
Central 13
Brno 12
Nîmes 12
Edinburgh 10
Jiaxing 10
Secaucus 9
Wuxi 9
Andover 8
Brussels 8
London 8
Nairobi 8
Montréal 7
Osaka 7
Berlin 6
Augusta 5
Buffalo 5
Cologne 5
Haining 5
Hangzhou 5
Quanzhou 5
Redwood City 5
Rome 5
Toronto 5
Vienna 5
Florence 4
Foshan 4
Jinhua 4
Nanjing 4
Prague 4
San Francisco 4
Sofia 4
Taizhou 4
Tokyo 4
Wuhan 4
Zagreb 4
Arlington 3
Cremona 3
Dalian 3
Dallas 3
Espoo 3
Fuzhou 3
Madrid 3
Manila 3
Montreal 3
Nantong 3
Newark 3
Olomouc 3
Paris 3
Stockholm 3
Warsaw 3
Zurich 3
Braga 2
Brest 2
Budapest 2
Cairo 2
Charlotte 2
Chicago 2
Dongyang 2
Dubai 2
Hanoi 2
Heishan 2
Kocaeli 2
Lagos 2
L’Aquila 2
Nuremberg 2
Pescara 2
Phoenix 2
Podgorica 2
Totale 3.074
Salva come PNG Salva come JPEG
Nome #
27th Nordic Workshop on Programming Theory (NWPT 2015), Special issue 118
A Cancellation Theorem for BCCSP 111
26th International Conference on Concurrency Theory (CONCUR 2015) 109
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages 105
A finite equational base for CCS with left merge and communication merge 104
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders 94
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 68
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum 66
On Runtime Enforcement via Suppressions 62
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008 61
Characteristic Formulae for Fixed-Point Semantics: A General Framework 59
Reactive Systems: Modelling, Specification and Verification 59
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App 58
A Rule Format for Unit Elements 57
Special Issue in memory of Nadia Busi 56
An Operational Guide to Monitorability 56
Adventures in Monitorability: From Branching to Linear Time and Back Again 55
Action Refinement in Process Algebras 55
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases 55
eAOP: an aspect oriented programming framework for Erlang 54
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 54
Lifting non-finite axiomatizability results to extensions of process algebras 53
A Generic Instrumentation Tool for Erlang 53
The Cost of Monitoring Alone 53
On the expressibility of priority 52
Algebraic Synchronization Trees and Processes 52
A Survey of Runtime Monitoring Instrumentation Techniques 52
A Runtime Monitoring Tool for Actor-Based Systems 52
Determinizing monitors for HML with recursion 52
Axiomatizing Weak Ready Simulation Semantics over BCCSP 50
SOS rule formats for zero and unit elements 49
Resource bisimilarity and graded bisimilarity coincide 49
Rule Formats for Determinism and Idempotence 49
Monitoring for Silent Actions 49
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). 49
Building international doctoral schools in computer science in italy, de nicola’s way 48
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics 48
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras 48
Trace Simulation Semantics is not Finitely Based over BCCSP 47
Rule formats for distributivity 47
Teaching Concurrency: Theory in Practice 47
A Suite of Monitoring Tools for Erlang 47
When Are Prime Formulae Characteristic? 47
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011) 47
The complexity of identifying characteristic formulae 47
On the Complexity of Determinizing Monitors 46
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders 46
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling 46
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt 45
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators 45
Rule Formats for Nominal Process Calculi 45
A unified rule format for bounded nondeterminism in SOS with terms as labels 44
Axiomatizing weak simulation semantics over BCCSP 43
Special Issue Devoted to Selected Papers from Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 43
A Framework for Parameterized Monitorability. 42
Monitorability for the Hennessy-Milner logic with recursion 42
The equational theory of prebisimilarity over basic CCS with divergence 41
On the axiomatizability of priority II 41
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 41
Sigma algebras in probabilistic epistemic dynamics 41
On the Axiomatizability of Priority III: The Return of Sequential Composition 41
Decision Support for Mobile Cloud Computing Applications via Model Checking 40
Characteristic Formulae for Relations with Nested Fixed Points 40
Graphical representation of covariant-contravariant modal formulae 40
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016 40
Rule Formats for Distributivity 39
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) 39
Compositional Reasoning for Multi-modal Logics 38
A Foundation for Runtime Monitoring 38
The Equational Theory of Weak Complete Simulation Semantics over BCCSP 38
Rule Formats for Nominal Process Calculi 38
On the specification of modal systems: A comparison of three frameworks 37
Characteristic formulae for fixed-point semantics: a general framework 37
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates 37
Axiomatizing GSOS with Predicates 37
A ground-complete axiomatization of stateless bisimilarity over Linda 37
Testing Equivalence vs. Runtime Monitoring 37
Decompositional Reasoning about the History of Parallel Processes 36
Comparing Controlled System Synthesis and Suppression Enforcement 36
SOS rule formats for idempotent terms and idempotent unary operators 35
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. 35
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations 35
Meta SOS - A Maude Based SOS Meta-Theory Framework 34
Models, Algorithms, Logics and Tools — Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 33
Logical Characterisations and Compositionality of Input-Output Conformance Simulation 32
Rule formats for determinism and idempotence 31
On the axiomatisability of priority III: Priority strikes again 31
On the axiomatisability of priority 30
When are prime formulae characteristic? 28
The Algorithmics of Bisimilarity 28
Special Issue: Selected papers of the conference on “Foundations of Software Science and Computation Structures”: FOSSACS 2012 28
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet 27
Complexity results for modal logic with recursion via translations and tableaux 25
Centralized vs Decentralized Monitors for Hyperproperties 25
Modelling and simulation of asynchronous real-time systems using Timed Rebeca 25
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca 24
Logical characterisations, rule formats and compositionality for input-output conformance simulation 24
A Sound Type System for Secure Currency Flow 23
Runtime Instrumentation for Reactive Components (Artifact) 23
On Probabilistic Monitorability 22
Totale 4.677
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.178
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 46.178
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021529 0 0 0 0 45 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/20251.428 38 302 568 268 117 135 0 0 0 0 0 0
Totale 5.060