Francalanza, Adrian
 Distribuzione geografica
Continente #
AS - Asia 121
NA - Nord America 99
EU - Europa 75
AF - Africa 1
Totale 296
Nazione #
US - Stati Uniti d'America 98
CN - Cina 61
SG - Singapore 38
IT - Italia 23
DE - Germania 18
NL - Olanda 11
TR - Turchia 11
PK - Pakistan 9
FI - Finlandia 6
CZ - Repubblica Ceca 5
FR - Francia 4
AT - Austria 3
AE - Emirati Arabi Uniti 1
BG - Bulgaria 1
HR - Croazia 1
LU - Lussemburgo 1
MA - Marocco 1
PA - Panama 1
RU - Federazione Russa 1
SK - Slovacchia (Repubblica Slovacca) 1
VN - Vietnam 1
Totale 296
Città #
Boardman 35
Singapore 33
Shanghai 21
Milan 13
Munich 13
Amsterdam 11
Istanbul 11
Shenzhen 11
Los Angeles 7
Helsinki 5
Secaucus 5
Brno 4
Buffalo 4
Guangzhou 4
Cremona 3
Jiaxing 3
Rome 3
Santa Clara 3
L’Aquila 2
Nantong 2
Newark 2
Xi'an 2
Beijing 1
Bratislava 1
Dubai 1
Haining 1
Hangzhou 1
Luxembourg 1
Nanjing 1
New York 1
Nuremberg 1
Prague 1
Quanzhou 1
Sofia 1
Vienna 1
Wuhan 1
Wuxi 1
Zagreb 1
Totale 213
Nome #
Complexity results for modal logic with recursion via translations and tableaux 31
Centralized vs Decentralized Monitors for Hyperproperties 26
Runtime Instrumentation for Reactive Components (Artifact) 24
On Probabilistic Monitorability 23
An operational guide to monitorability with applications to regular properties 21
Runtime Instrumentation for Reactive Components 21
Complexity through Translations for Modal Logic with Recursion 20
On first-order runtime enforcement of branching-time properties 20
Better Late Than Never or: Verifying Asynchronous Components at Runtime 20
Comparing controlled system synthesis and suppression enforcement 20
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties 19
A monitoring tool for linear-time μHML 18
The Best a Monitor Can Do 18
Monitoring Hyperproperties with Circuits 18
On Benchmarking for Concurrent Runtime Verification 16
A Monitoring Tool for Linear-Time $$\mu $$HML 14
On Bidirectional Runtime Enforcement 6
Totale 335
Categoria #
all - tutte 1.937
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 1.937


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202460 0 0 0 0 0 0 0 0 0 0 43 17
2024/2025275 8 27 97 64 37 42 0 0 0 0 0 0
Totale 335