Micheli, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 2.000
AS - Asia 706
EU - Europa 397
SA - Sud America 89
Continente sconosciuto - Info sul continente non disponibili 34
AF - Africa 11
OC - Oceania 2
Totale 3.239
Nazione #
US - Stati Uniti d'America 1.947
SG - Singapore 288
VN - Vietnam 166
CN - Cina 133
DE - Germania 77
IT - Italia 70
BR - Brasile 66
RU - Federazione Russa 48
FI - Finlandia 39
GB - Regno Unito 31
FR - Francia 28
IN - India 23
UA - Ucraina 23
CA - Canada 21
KR - Corea 20
SE - Svezia 20
LV - Lettonia 19
HK - Hong Kong 18
BG - Bulgaria 17
MX - Messico 13
BD - Bangladesh 10
EC - Ecuador 8
AR - Argentina 7
ID - Indonesia 7
ES - Italia 6
NL - Olanda 6
JP - Giappone 5
CL - Cile 4
CR - Costa Rica 4
IL - Israele 4
IQ - Iraq 4
JM - Giamaica 4
TR - Turchia 4
UZ - Uzbekistan 4
ZA - Sudafrica 4
HN - Honduras 3
IE - Irlanda 3
JO - Giordania 3
MY - Malesia 3
PK - Pakistan 3
TW - Taiwan 3
AU - Australia 2
CO - Colombia 2
GP - Guadalupe 2
KE - Kenya 2
KG - Kirghizistan 2
SV - El Salvador 2
TN - Tunisia 2
AG - Antigua e Barbuda 1
AT - Austria 1
AZ - Azerbaigian 1
BE - Belgio 1
BH - Bahrain 1
BY - Bielorussia 1
CZ - Repubblica Ceca 1
EE - Estonia 1
EG - Egitto 1
KZ - Kazakistan 1
LT - Lituania 1
MA - Marocco 1
MQ - Martinica 1
NO - Norvegia 1
NP - Nepal 1
PE - Perù 1
PH - Filippine 1
PL - Polonia 1
PR - Porto Rico 1
RS - Serbia 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TT - Trinidad e Tobago 1
VE - Venezuela 1
Totale 3.205
Città #
Ashburn 240
Chandler 171
Singapore 159
Fairfield 104
San Jose 85
Houston 64
Woodbridge 59
Dallas 57
Wilmington 55
Seattle 54
New York 53
Santa Clara 53
Council Bluffs 51
Stanford 49
Beijing 48
Columbus 47
Jacksonville 44
Hanoi 42
Ho Chi Minh City 42
Cambridge 37
Ann Arbor 36
Los Angeles 35
Princeton 32
Helsinki 29
Munich 27
San Mateo 25
Moscow 21
Seoul 20
Riga 19
Lauterbourg 16
Sofia 16
Chicago 13
Hong Kong 13
Washington 13
San Diego 12
Da Nang 11
Frankfurt am Main 11
The Dalles 11
Falkenstein 10
Phoenix 10
Denver 8
Haiphong 8
London 8
Atlanta 7
Boardman 7
Como 7
Milan 7
North Bergen 7
São Paulo 7
Chennai 6
Hefei 6
Rome 6
San Paolo di Civitate 6
Toronto 6
Buffalo 5
Bến Tre 5
Manchester 5
Orem 5
Rio de Janeiro 5
Trento 5
Boston 4
Cagliari 4
Charlotte 4
Clifton 4
Karlsruhe 4
Lawrence 4
Milwaukee 4
Norwalk 4
Ottawa 4
San Francisco 4
Stockholm 4
Tashkent 4
Ankara 3
Belo Horizonte 3
Biên Hòa 3
Brooklyn 3
Cleveland 3
Dhaka 3
Dublin 3
Elk Grove Village 3
Jakarta 3
Kuala Lumpur 3
Kunming 3
Mexico City 3
Miami 3
Montreal 3
Mumbai 3
Newark 3
Oxford 3
Philadelphia 3
Queens 3
Redondo Beach 3
San José 3
Tegucigalpa 3
Thái Bình 3
Tokyo 3
Turku 3
Zhengzhou 3
Baghdad 2
Bolzano 2
Totale 2.150
Nome #
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 290
Strong temporal planning with uncontrollable durations 289
The nuXmv Symbolic Model Checker 213
Supporting Requirements Validation: The EuRailCheck Tool 208
Planning and Scheduling in Temporally Uncertain Domains 197
Solving strong controllability of temporal problems with uncertainty using SMT 186
Dynamic controllability via Timed Game Automata 183
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 172
Solving Temporal Problems Using SMT: Strong Controllability 166
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 152
OthelloPlay: a plug-in based tool for requirement formalization and validation 151
The xSAP Safety Analysis Platform 151
Verifying SystemC: a Software Model Checking Approach 149
Timelines with Temporal Uncertainty 147
Kratos - A Software Model Checker for SystemC 130
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 118
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 114
Solving Temporal Problems Using SMT: Weak Controllability 112
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 111
Totale 3.239
Categoria #
all - tutte 13.802
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 13.802


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022135 0 0 0 0 2 11 1 48 8 8 8 49
2022/2023313 32 56 2 47 24 46 4 25 37 4 19 17
2023/2024133 7 16 6 5 9 46 2 4 1 14 3 20
2024/2025479 11 7 28 75 62 48 5 32 76 59 45 31
2025/2026963 68 18 105 120 116 57 253 16 73 88 25 24
2026/2027616 42 203 100 239 32 0 0 0 0 0 0 0
Totale 3.239