IRIS Institutional Research Information System

Bombardelli, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 628
NA - Nord America 489
AS - Asia 298
SA - Sud America 88
Continente sconosciuto - Info sul continente non disponibili 34
AF - Africa 13
OC - Oceania 1
Totale 1.551
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 469
RU - Federazione Russa 381
SG - Singapore 98
IT - Italia 91
BR - Brasile 71
CN - Cina 64
VN - Vietnam 58
DE - Germania 44
HK - Hong Kong 41
FR - Francia 19
SE - Svezia 18
GB - Regno Unito 17
NL - Olanda 15
CA - Canada 12
FI - Finlandia 12
PL - Polonia 9
BD - Bangladesh 8
IN - India 8
AR - Argentina 6
AT - Austria 5
MX - Messico 5
ES - Italia 4
JP - Giappone 4
ZA - Sudafrica 4
EC - Ecuador 3
LT - Lituania 3
MA - Marocco 3
BE - Belgio 2
CO - Colombia 2
DZ - Algeria 2
ID - Indonesia 2
IE - Irlanda 2
IQ - Iraq 2
NP - Nepal 2
PH - Filippine 2
PY - Paraguay 2
UA - Ucraina 2
UY - Uruguay 2
AO - Angola 1
AU - Australia 1
AZ - Azerbaigian 1
BO - Bolivia 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EG - Egitto 1
GR - Grecia 1
HN - Honduras 1
IL - Israele 1
KE - Kenya 1
LC - Santa Lucia 1
LK - Sri Lanka 1
LV - Lettonia 1
MY - Malesia 1
OM - Oman 1
RO - Romania 1
SC - Seychelles 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
TR - Turchia 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 1.517
Salva come PNG Salva come JPEG
Città #
Council Bluffs 73
San Jose 67
Singapore 46
Hong Kong 39
Ashburn 25
Moscow 24
The Dalles 24
Beijing 23
Ho Chi Minh City 22
Assago 20
Dallas 20
New York 19
Trento 19
Boardman 14
Hanoi 14
Buffalo 12
Denver 12
Munich 11
Santa Clara 10
Hefei 9
Helsinki 9
Los Angeles 9
São Paulo 9
Frankfurt am Main 8
Lauterbourg 8
Warsaw 7
Nuremberg 6
Phoenix 6
Atlanta 5
Chandler 5
Houston 5
London 5
Montreal 5
Queens 5
Shanghai 5
Verona 5
Cagliari 4
Manchester 4
Vienna 4
Belo Horizonte 3
Brooklyn 3
Chennai 3
Falkenstein 3
Guangzhou 3
Johannesburg 3
Kronberg 3
Miami 3
Milan 3
Orem 3
Pergine Valsugana 3
Rome 3
Stockholm 3
Turku 3
Americana 2
Amsterdam 2
Austin 2
Birmingham 2
Brasília 2
Brussels 2
Catania 2
Chicago 2
Cleveland 2
Columbus 2
Dublin 2
Erbil 2
Haiphong 2
Itanhaém 2
Montevideo 2
Mumbai 2
Münster 2
Ottawa 2
Paulínia 2
Poplar 2
Porto Alegre 2
Rio de Janeiro 2
Stanghella 2
Thái Bình 2
Tokyo 2
Abbeville 1
Abu Snan 1
Agadir 1
Algiers 1
Altaneira 1
Angra dos Reis 1
Annapolis 1
Aragarças 1
Arlington 1
Asunción 1
Athens 1
Baie-D'Urfé 1
Baku 1
Bangkok 1
Barishal 1
Beni Mellal 1
Bogotá 1
Boston 1
Bắc Ninh 1
Cabedelo 1
Cabo Frio 1
Cachoeirinha 1
Totale 731
Salva come PNG Salva come JPEG
Nome #
Asynchronous Composition of Local Interface LTL Properties 205
COMPASTA = COMPASS + TASTE 192
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 178
Symbolic Model Checking of Relative Safety LTL Properties 173
Another Look at LTL Modulo Theory over Finite and Infinite Traces 170
COMPASTA: Integrating COMPASS Functionality into TASTE 168
Unifying Asynchronous Logics for Hyperproperties 146
Reasoning with Metric Temporal Logic and Resettable Skewed Clocks 125
Metric Temporal Logic with Resettable Skewed Clocks 124
(Asynchronous) Temporal Logics for Hyperproperties on Finite Traces 42
Asynchronous Composition of {LTL} Properties over Infinite and Finite Traces 28
Totale 1.551
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.230
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 5.230
Salva come PNG Salva come JPEG


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/2025346 3 6 19 12 4 19 20 24 117 46 40 36
2025/2026878 25 53 58 88 52 28 111 292 54 55 51 11
2026/2027186 44 36 64 42 0 0 0 0 0 0 0 0
Totale 1.551