IRIS
ACETO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.785
EU - Europa 1.048
AS - Asia 291
Continente sconosciuto - Info sul continente non disponibili 16
AF - Africa 5
OC - Oceania 5
SA - Sud America 3
Totale 3.153
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.768
SE - Svezia 401
UA - Ucraina 252
VN - Vietnam 181
IE - Irlanda 82
DE - Germania 67
IT - Italia 62
IS - Islanda 41
IL - Israele 38
FR - Francia 35
GB - Regno Unito 22
CN - Cina 20
FI - Finlandia 18
CA - Canada 17
EU - Europa 15
HK - Hong Kong 13
JP - Giappone 12
BE - Belgio 8
NL - Olanda 8
SG - Singapore 7
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
CZ - Repubblica Ceca 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
MA - Marocco 1
MC - Monaco 1
MT - Malta 1
NO - Norvegia 1
Totale 3.153
Salva come PNG Salva come JPEG
Città #
Chandler 427
Boardman 211
Dong Ket 179
San Mateo 116
New York 107
West Jordan 91
Dublin 81
Wilmington 65
Ogden 61
Ashburn 47
Turin 38
Ann Arbor 32
Los Angeles 30
Las Vegas 18
Shaoxing 18
Helsinki 17
Strasbourg 17
Hanover 16
Central 13
Frankfurt am Main 12
Nîmes 12
Edinburgh 10
Andover 8
London 8
Brussels 7
Montréal 7
Osaka 7
Berlin 6
Amsterdam 5
Augusta 5
Redwood City 5
Toronto 5
Florence 4
Tokyo 4
Vienna 4
Arlington 3
Dallas 3
Madrid 3
Manila 3
Montreal 3
Paris 3
Prague 3
San Francisco 3
Sofia 3
Stockholm 3
Warsaw 3
Zagreb 3
Braga 2
Brest 2
Budapest 2
Cairo 2
Charlotte 2
Hanoi 2
Istanbul 2
Kocaeli 2
Lagos 2
Phoenix 2
Podgorica 2
Shah Alam 2
Singapore 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
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
Manassas 1
Miami 1
Milan 1
Monaco 1
Mountain View 1
Mumbai 1
Münster 1
Oklahoma City 1
Orlando 1
Oslo 1
Padova 1
Pettorazza Grimani 1
Totale 1.798
Salva come PNG Salva come JPEG
Nome #
27th Nordic Workshop on Programming Theory (NWPT 2015), Special issue 93
A Cancellation Theorem for BCCSP 89
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages 89
26th International Conference on Concurrency Theory (CONCUR 2015) 87
A finite equational base for CCS with left merge and communication merge 84
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders 78
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 54
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum 48
On Runtime Enforcement via Suppressions 47
Reactive Systems: Modelling, Specification and Verification 45
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008 45
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App 44
Characteristic Formulae for Fixed-Point Semantics: A General Framework 43
A Rule Format for Unit Elements 43
Special Issue in memory of Nadia Busi 43
An Operational Guide to Monitorability 42
eAOP: an aspect oriented programming framework for Erlang 41
Algebraic Synchronization Trees and Processes 41
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 41
Adventures in Monitorability: From Branching to Linear Time and Back Again 40
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011) 40
Action Refinement in Process Algebras 40
On the expressibility of priority 39
Lifting non-finite axiomatizability results to extensions of process algebras 38
Rule Formats for Determinism and Idempotence 38
Resource bisimilarity and graded bisimilarity coincide 37
Axiomatizing Weak Ready Simulation Semantics over BCCSP 37
The Cost of Monitoring Alone 37
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). 36
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases 36
A Generic Instrumentation Tool for Erlang 36
Monitorability for the Hennessy-Milner logic with recursion 36
Rule formats for distributivity 35
Teaching Concurrency: Theory in Practice 35
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics 35
Monitoring for Silent Actions 35
A Runtime Monitoring Tool for Actor-Based Systems 34
SOS rule formats for zero and unit elements 33
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt 33
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators 33
A Survey of Runtime Monitoring Instrumentation Techniques 32
Determinizing monitors for HML with recursion 32
Trace Simulation Semantics is not Finitely Based over BCCSP 31
Building international doctoral schools in computer science in italy, de nicola’s way 31
On the Complexity of Determinizing Monitors 31
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras 31
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders 31
On the Axiomatizability of Priority III: The Return of Sequential Composition 31
Rule Formats for Nominal Process Calculi 31
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016 30
A unified rule format for bounded nondeterminism in SOS with terms as labels 29
A Framework for Parameterized Monitorability. 29
A Suite of Monitoring Tools for Erlang 29
When Are Prime Formulae Characteristic? 29
Characteristic Formulae for Relations with Nested Fixed Points 29
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling 29
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) 29
The equational theory of prebisimilarity over basic CCS with divergence 28
Axiomatizing weak simulation semantics over BCCSP 28
On the axiomatizability of priority II 28
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 28
Sigma algebras in probabilistic epistemic dynamics 28
Special Issue Devoted to Selected Papers from Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 28
The Equational Theory of Weak Complete Simulation Semantics over BCCSP 27
Rule Formats for Distributivity 26
The complexity of identifying characteristic formulae 26
Compositional Reasoning for Multi-modal Logics 25
Axiomatizing GSOS with Predicates 25
Graphical representation of covariant-contravariant modal formulae 25
On the specification of modal systems: A comparison of three frameworks 24
Characteristic formulae for fixed-point semantics: a general framework 24
SOS rule formats for idempotent terms and idempotent unary operators 24
Meta SOS - A Maude Based SOS Meta-Theory Framework 24
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates 24
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations 24
Testing Equivalence vs. Runtime Monitoring 23
A Foundation for Runtime Monitoring 22
Models, Algorithms, Logics and Tools — Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 22
Decision Support for Mobile Cloud Computing Applications via Model Checking 21
A ground-complete axiomatization of stateless bisimilarity over Linda 21
Comparing Controlled System Synthesis and Suppression Enforcement 21
Rule Formats for Nominal Process Calculi 20
Rule formats for determinism and idempotence 19
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. 19
On the axiomatisability of priority 18
Decompositional Reasoning about the History of Parallel Processes 18
Logical Characterisations and Compositionality of Input-Output Conformance Simulation 18
Special Issue: Selected papers of the conference on “Foundations of Software Science and Computation Structures”: FOSSACS 2012 17
On the axiomatisability of priority III: Priority strikes again 16
When are prime formulae characteristic? 14
The Algorithmics of Bisimilarity 14
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca 14
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet 12
Modelling and simulation of asynchronous real-time systems using Timed Rebeca 12
On Verifying Hennessy-Milner Logic with Recursion at Runtime 12
Logical characterisations, rule formats and compositionality for input-output conformance simulation 12
Proving the validity of equations in GSOS languages using rule-matching bisimilarity 9
Totale 3.214
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.340
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 30.340
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/2024770 30 17 162 35 37 121 31 139 9 189 0 0
Totale 3.214