Francalanza, Adrian
 Distribuzione geografica
Continente #
EU - Europa 1.084
NA - Nord America 560
AS - Asia 553
SA - Sud America 82
AF - Africa 15
OC - Oceania 1
Totale 2.295
Nazione #
RU - Federazione Russa 848
US - Stati Uniti d'America 530
SG - Singapore 194
CN - Cina 160
IT - Italia 89
BR - Brasile 69
VN - Vietnam 53
HK - Hong Kong 41
DE - Germania 38
GB - Regno Unito 24
FR - Francia 23
CA - Canada 19
KR - Corea 17
IN - India 16
NL - Olanda 14
TR - Turchia 14
BD - Bangladesh 13
PK - Pakistan 9
FI - Finlandia 8
JP - Giappone 8
PL - Polonia 8
IQ - Iraq 6
MX - Messico 6
ZA - Sudafrica 6
AR - Argentina 5
CZ - Repubblica Ceca 5
ES - Italia 5
AT - Austria 4
SA - Arabia Saudita 4
UA - Ucraina 4
AE - Emirati Arabi Uniti 3
HN - Honduras 3
IL - Israele 3
LT - Lituania 3
MA - Marocco 3
UY - Uruguay 3
UZ - Uzbekistan 3
BG - Bulgaria 2
IR - Iran 2
PA - Panama 2
SE - Svezia 2
VE - Venezuela 2
AL - Albania 1
AU - Australia 1
BE - Belgio 1
BH - Bahrain 1
BJ - Benin 1
BW - Botswana 1
CI - Costa d'Avorio 1
CL - Cile 1
EC - Ecuador 1
EG - Egitto 1
HR - Croazia 1
HU - Ungheria 1
ID - Indonesia 1
JO - Giordania 1
KE - Kenya 1
KZ - Kazakistan 1
LB - Libano 1
LU - Lussemburgo 1
ML - Mali 1
PE - Perù 1
PS - Palestinian Territory 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
SY - Repubblica araba siriana 1
Totale 2.295
Città #
Moscow 197
Singapore 116
Ashburn 80
San Jose 64
Rome 55
Santa Clara 45
Hong Kong 41
Boardman 35
The Dalles 31
Chicago 25
Los Angeles 25
Munich 24
Shanghai 21
New York 20
Beijing 18
Ho Chi Minh City 18
Milan 18
Buffalo 17
Dallas 17
Hefei 17
Seoul 17
Lauterbourg 15
Amsterdam 13
Hanoi 13
Orem 12
Istanbul 11
Shenzhen 11
São Paulo 10
Montreal 9
Phoenix 7
Tokyo 7
Warsaw 7
Atlanta 6
City of London 6
Council Bluffs 6
Denver 6
Poplar 6
Chennai 5
Helsinki 5
Secaucus 5
Boston 4
Brno 4
Brooklyn 4
Guangzhou 4
Houston 4
Johannesburg 4
Kyiv 4
London 4
Rio de Janeiro 4
Toronto 4
Ankara 3
Baghdad 3
Cremona 3
Da Nang 3
Jerusalem 3
Jiaxing 3
Manchester 3
Calgary 2
Can Tho 2
Castelraimondo 2
Delhi 2
Frankfurt am Main 2
Haiphong 2
Hangzhou 2
Jeddah 2
L’Aquila 2
Mexico City 2
Milwaukee 2
Montevideo 2
Mumbai 2
Nantong 2
Newark 2
Porto Alegre 2
San Francisco 2
San Pedro Sula 2
Sofia 2
Stockholm 2
Tashkent 2
Turku 2
Uberlândia 2
Vienna 2
Vilnius 2
Việt Trì 2
Xi'an 2
Abidjan 1
Acalanes Ridge 1
Ahmedabad 1
Albolote 1
Almería 1
Annapolis 1
Anápolis 1
Arapongas 1
Augusta 1
Bamako 1
Baton Rouge 1
Benito Juarez 1
Bethlehem 1
Betim 1
Bexley 1
Bitonto 1
Totale 1.192
Nome #
Complexity results for modal logic with recursion via translations and tableaux 179
Centralized vs Decentralized Monitors for Hyperproperties 164
Runtime Instrumentation for Reactive Components (Artifact) 147
On first-order runtime enforcement of branching-time properties 144
A Monitoring Tool for Linear-Time $$\mu $$HML 144
Runtime Instrumentation for Reactive Components 144
An operational guide to monitorability with applications to regular properties 141
Better Late Than Never or: Verifying Asynchronous Components at Runtime 137
Complexity through Translations for Modal Logic with Recursion 135
Monitoring Hyperproperties with Circuits 135
A monitoring tool for linear-time μHML 133
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties 129
Comparing controlled system synthesis and suppression enforcement 125
On Probabilistic Monitorability 124
On Benchmarking for Concurrent Runtime Verification 123
The Best a Monitor Can Do 122
On Bidirectional Runtime Enforcement 109
Totale 2.335
Categoria #
all - tutte 8.241
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 8.241


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/2025503 8 27 97 64 37 42 38 17 25 45 66 37
2025/20261.772 107 67 41 193 102 881 168 59 127 27 0 0
Totale 2.335