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