Micheli, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 1.669
AS - Asia 692
EU - Europa 378
SA - Sud America 83
Continente sconosciuto - Info sul continente non disponibili 34
AF - Africa 11
OC - Oceania 1
Totale 2.868
Nazione #
US - Stati Uniti d'America 1.637
SG - Singapore 280
VN - Vietnam 166
CN - Cina 133
DE - Germania 76
BR - Brasile 64
IT - Italia 63
RU - Federazione Russa 46
FI - Finlandia 39
FR - Francia 28
GB - Regno Unito 26
IN - India 23
UA - Ucraina 23
KR - Corea 20
LV - Lettonia 19
SE - Svezia 19
HK - Hong Kong 18
BG - Bulgaria 17
CA - Canada 15
MX - Messico 12
BD - Bangladesh 9
EC - Ecuador 7
ES - Italia 6
ID - Indonesia 6
NL - Olanda 5
AR - Argentina 4
CL - Cile 4
IQ - Iraq 4
JP - Giappone 4
TR - Turchia 4
UZ - Uzbekistan 4
ZA - Sudafrica 4
IE - Irlanda 3
IL - Israele 3
JO - Giordania 3
TW - Taiwan 3
CO - Colombia 2
JM - Giamaica 2
KE - Kenya 2
KG - Kirghizistan 2
MY - Malesia 2
PK - Pakistan 2
TN - Tunisia 2
AG - Antigua e Barbuda 1
AT - Austria 1
AU - Australia 1
AZ - Azerbaigian 1
BE - Belgio 1
BH - Bahrain 1
BY - Bielorussia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 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
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
VE - Venezuela 1
Totale 2.834
Città #
Chandler 171
Singapore 159
Ashburn 144
Fairfield 104
San Jose 63
Houston 59
Woodbridge 59
Dallas 55
Wilmington 55
Seattle 53
New York 52
Santa Clara 50
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
Council Bluffs 27
Munich 27
San Mateo 25
Moscow 21
Seoul 20
Riga 19
Lauterbourg 16
Sofia 16
Hong Kong 13
Chicago 12
San Diego 12
Da Nang 11
Frankfurt am Main 11
The Dalles 11
Falkenstein 10
Haiphong 8
London 8
Boardman 7
Como 7
Milan 7
Atlanta 6
Chennai 6
Hefei 6
Phoenix 6
San Paolo di Civitate 6
São Paulo 6
Buffalo 5
Bến Tre 5
Manchester 5
Orem 5
Rio de Janeiro 5
Rome 5
Toronto 5
Trento 5
Boston 4
Cagliari 4
Charlotte 4
Clifton 4
Karlsruhe 4
Lawrence 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
Denver 3
Dublin 3
Elk Grove Village 3
Jakarta 3
Kunming 3
Mexico City 3
Montreal 3
Mumbai 3
Newark 3
Oxford 3
Redondo Beach 3
Thái Bình 3
Turku 3
Zhengzhou 3
Baghdad 2
Bolzano 2
Can Tho 2
Chioggia 2
Des Moines 2
Dhaka 2
Fremont 2
Go Vap 2
Guangzhou 2
Hangzhou 2
Hòa Bình 2
Hải Dương 2
Johannesburg 2
Kuala Lumpur 2
Totale 1.909
Nome #
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 281
Strong temporal planning with uncontrollable durations 268
The nuXmv Symbolic Model Checker 193
Supporting Requirements Validation: The EuRailCheck Tool 192
Dynamic controllability via Timed Game Automata 176
Solving strong controllability of temporal problems with uncertainty using SMT 171
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 159
Solving Temporal Problems Using SMT: Strong Controllability 156
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 143
Timelines with Temporal Uncertainty 133
OthelloPlay: a plug-in based tool for requirement formalization and validation 131
The xSAP Safety Analysis Platform 130
Planning and Scheduling in Temporally Uncertain Domains 120
Kratos - A Software Model Checker for SystemC 116
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 106
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 105
Solving Temporal Problems Using SMT: Weak Controllability 100
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 99
Verifying SystemC: a Software Model Checking Approach 89
Totale 2.868
Categoria #
all - tutte 12.763
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 12.763


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022163 0 14 2 12 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/2027245 42 203 0 0 0 0 0 0 0 0 0 0
Totale 2.868