Bombardelli, Alberto
 Distribuzione geografica
Continente #
EU - Europa 200
NA - Nord America 97
AS - Asia 96
SA - Sud America 18
Totale 411
Nazione #
RU - Federazione Russa 102
US - Stati Uniti d'America 94
IT - Italia 46
SG - Singapore 41
HK - Hong Kong 34
DE - Germania 19
BR - Brasile 16
CN - Cina 15
NL - Olanda 11
FI - Finlandia 6
GB - Regno Unito 4
AT - Austria 2
BD - Bangladesh 2
BE - Belgio 2
CA - Canada 2
FR - Francia 2
IE - Irlanda 2
AR - Argentina 1
AZ - Azerbaigian 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 411
Città #
Hong Kong 34
Singapore 26
Moscow 24
The Dalles 20
Trento 18
Boardman 13
Assago 8
Beijing 8
New York 7
Helsinki 6
Nuremberg 6
Chandler 5
Munich 4
Ashburn 3
Falkenstein 3
Kronberg 3
Miami 3
Milan 3
Shanghai 3
Verona 3
Amsterdam 2
Brussels 2
Dublin 2
London 2
Los Angeles 2
Vienna 2
Angra dos Reis 1
Aragarças 1
Athens 1
Baku 1
Barishal 1
Castello Molina di Fiemme 1
Catende 1
Charlotte 1
Clorinda 1
Cologne 1
Colombo 1
Curitiba 1
Dallas 1
Diamantina 1
El Progreso 1
Engenheiro Navarro 1
Exu 1
Frankfurt am Main 1
Isernia 1
Itaquaquecetuba 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
Secaucus 1
St Petersburg 1
Stockholm 1
São José 1
Tianjin 1
Uruçuca 1
Vitória da Conquista 1
Voronezh 1
Xaxim 1
Totale 259
Nome #
Asynchronous Composition of Local Interface LTL Properties 73
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 69
COMPASTA = COMPASS + TASTE 66
COMPASTA: Integrating COMPASS Functionality into TASTE 50
Symbolic Model Checking of Relative Safety LTL Properties 42
Reasoning with Metric Temporal Logic and Resettable Skewed Clocks 39
Metric Temporal Logic with Resettable Skewed Clocks 38
Another Look at LTL Modulo Theory over Finite and Infinite Traces 38
Unifying Asynchronous Logics for Hyperproperties 22
Totale 437
Categoria #
all - tutte 2.238
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.238


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/2025296 3 6 19 12 4 19 20 24 117 46 26 0
Totale 437