Bombardelli, Alberto
 Distribuzione geografica
Continente #
EU - Europa 198
AS - Asia 92
NA - Nord America 89
SA - Sud America 14
Totale 393
Nazione #
RU - Federazione Russa 102
US - Stati Uniti d'America 87
IT - Italia 46
SG - Singapore 38
HK - Hong Kong 34
DE - Germania 18
CN - Cina 15
BR - Brasile 12
NL - Olanda 11
FI - Finlandia 6
GB - Regno Unito 3
AT - Austria 2
BE - Belgio 2
FR - Francia 2
IE - Irlanda 2
AR - Argentina 1
AZ - Azerbaigian 1
BD - Bangladesh 1
CA - Canada 1
EC - Ecuador 1
GR - Grecia 1
HN - Honduras 1
IN - India 1
JP - Giappone 1
LK - Sri Lanka 1
LT - Lituania 1
LV - Lettonia 1
SE - Svezia 1
Totale 393
Città #
Hong Kong 34
Moscow 24
Singapore 23
The Dalles 20
Trento 18
Boardman 13
Assago 8
Beijing 8
New York 7
Helsinki 6
Nuremberg 6
Chandler 5
Ashburn 3
Falkenstein 3
Kronberg 3
Miami 3
Milan 3
Munich 3
Shanghai 3
Verona 3
Amsterdam 2
Brussels 2
Dublin 2
Los Angeles 2
Vienna 2
Angra dos Reis 1
Aragarças 1
Athens 1
Baku 1
Castello Molina di Fiemme 1
Clorinda 1
Cologne 1
Colombo 1
Dallas 1
Diamantina 1
El Progreso 1
Exu 1
Frankfurt am Main 1
Isernia 1
Itaquaquecetuba 1
London 1
Mantova 1
Nanjing 1
Newark 1
Nova Iguaçu 1
Osaka 1
Ottawa 1
Paglieta 1
Porto Alegre 1
Pune 1
Quito 1
Rennes 1
Rennes-en-Grenouilles 1
Rifaina 1
Riga 1
Rio das Pedras 1
Rome 1
Rovereto 1
Santa Clara 1
St Petersburg 1
Stockholm 1
São José 1
Tianjin 1
Uruçuca 1
Vitória da Conquista 1
Voronezh 1
Totale 247
Nome #
Asynchronous Composition of Local Interface LTL Properties 72
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 66
COMPASTA = COMPASS + TASTE 64
COMPASTA: Integrating COMPASS Functionality into TASTE 48
Symbolic Model Checking of Relative Safety LTL Properties 40
Reasoning with Metric Temporal Logic and Resettable Skewed Clocks 38
Metric Temporal Logic with Resettable Skewed Clocks 37
Another Look at LTL Modulo Theory over Finite and Infinite Traces 34
Unifying Asynchronous Logics for Hyperproperties 20
Totale 419
Categoria #
all - tutte 2.147
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 2.147


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/202327 0 0 0 3 2 2 3 5 6 4 1 1
2023/2024114 1 1 12 10 8 14 6 8 19 17 0 18
2024/2025278 3 6 19 12 4 19 20 24 117 46 8 0
Totale 419