ACETO, LUCA
 Distribuzione geografica
Continente #
EU - Europa 88
AS - Asia 46
NA - Nord America 42
AF - Africa 2
Totale 178
Nazione #
US - Stati Uniti d'America 37
IT - Italia 33
CN - Cina 28
DE - Germania 19
IE - Irlanda 6
CA - Canada 5
FR - Francia 5
VN - Vietnam 5
CZ - Repubblica Ceca 4
IN - India 4
NL - Olanda 4
CH - Svizzera 3
PT - Portogallo 3
UA - Ucraina 3
JP - Giappone 2
NO - Norvegia 2
PK - Pakistan 2
SG - Singapore 2
AT - Austria 1
BE - Belgio 1
CI - Costa d'Avorio 1
GB - Regno Unito 1
ID - Indonesia 1
LB - Libano 1
RS - Serbia 1
RU - Federazione Russa 1
SE - Svezia 1
TN - Tunisia 1
TW - Taiwan 1
Totale 178
Città #
Ashburn 10
Council Bluffs 6
Dublin 6
Changsha 5
Dong Ket 5
Braga 3
Changchun 3
Toronto 3
Zurich 3
Aix-les-Bains 2
Baotou 2
Boardman 2
Chennai 2
Chicoutimi 2
Genoa 2
Khan Bela 2
Las Vegas 2
Münster 2
Nanchang 2
Oslo 2
Piscataway 2
Savona 2
Shenyang 2
Zavattarello 2
Zhengzhou 2
Abidjan 1
Amsterdam 1
Arlington 1
Aschersleben 1
Atri 1
Beirut 1
Belgrade 1
Bologna 1
Cesson-Sévigné 1
Chongqing 1
Civitanova Marche 1
Dallas 1
Delhi 1
Dortmund 1
Gainesville 1
Groningen 1
Guangzhou 1
Hamm 1
Harbin 1
Kaiserslautern 1
Leawood 1
Lille 1
London 1
Los Angeles 1
Lyon 1
Moscow 1
Munich 1
Nanjing 1
Nanning 1
Naples 1
Ningbo 1
North Bergen 1
Osaka 1
Princeton 1
Rapallo 1
Saint-Nicolas 1
Singapore 1
Springfield 1
Stockholm 1
Taipei 1
Tebourba 1
Vienna 1
Xian 1
Totale 119
Nome #
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper), file dfe4cef7-2336-ea31-e053-6605fe0a48e4 64
Rule Formats for Nominal Process Calculi, file dfe4cef7-2306-ea31-e053-6605fe0a48e4 21
Adventures in Monitorability: From Branching to Linear Time and Back Again, file dfe4cef7-2316-ea31-e053-6605fe0a48e4 17
On Runtime Enforcement via Suppressions, file dfe4cef7-1831-ea31-e053-6605fe0a48e4 16
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum, file dfe4cef7-232d-ea31-e053-6605fe0a48e4 16
A Foundation for Runtime Monitoring, file dfe4cef7-2377-ea31-e053-6605fe0a48e4 13
Monitorability for the Hennessy-Milner logic with recursion, file dfe4cef7-230e-ea31-e053-6605fe0a48e4 5
A Suite of Monitoring Tools for Erlang, file dfe4cef7-231c-ea31-e053-6605fe0a48e4 5
Rule Formats for Nominal Process Calculi, file dfe4cef7-18e1-ea31-e053-6605fe0a48e4 4
Trace Simulation Semantics is not Finitely Based over BCCSP, file dfe4cef7-2304-ea31-e053-6605fe0a48e4 4
A ground-complete axiomatization of stateless bisimilarity over Linda, file dfe4cef7-231a-ea31-e053-6605fe0a48e4 3
A Generic Instrumentation Tool for Erlang, file dfe4cef7-231e-ea31-e053-6605fe0a48e4 3
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases, file dfe4cef7-18db-ea31-e053-6605fe0a48e4 2
A Survey of Runtime Monitoring Instrumentation Techniques, file dfe4cef7-18dd-ea31-e053-6605fe0a48e4 2
When are prime formulae characteristic?, file dfe4cef7-23e9-ea31-e053-6605fe0a48e4 2
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing, file dfe4cef7-12ac-ea31-e053-6605fe0a48e4 1
Logical characterisations, rule formats and compositionality for input-output conformance simulation, file dfe4cef7-18df-ea31-e053-6605fe0a48e4 1
Determinizing monitors for HML with recursion, file dfe4cef7-1ba0-ea31-e053-6605fe0a48e4 1
On the axiomatisability of priority III: Priority strikes again, file dfe4cef7-1ba2-ea31-e053-6605fe0a48e4 1
Comparing Controlled System Synthesis and Suppression Enforcement, file dfe4cef7-1be2-ea31-e053-6605fe0a48e4 1
The complexity of identifying characteristic formulae, file dfe4cef7-1ff0-ea31-e053-6605fe0a48e4 1
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics, file dfe4cef7-230a-ea31-e053-6605fe0a48e4 1
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App, file dfe4cef7-2310-ea31-e053-6605fe0a48e4 1
A unified rule format for bounded nondeterminism in SOS with terms as labels, file dfe4cef7-2318-ea31-e053-6605fe0a48e4 1
Totale 186
Categoria #
all - tutte 970
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 970


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202129 0 0 0 0 0 3 5 9 0 7 0 5
2021/202247 0 0 0 0 0 5 25 5 3 7 1 1
2022/202386 2 11 6 5 5 3 10 8 13 7 13 3
2023/202424 1 4 3 1 5 2 2 5 0 1 0 0
Totale 186