Micheli, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 1.039
AS - Asia 241
EU - Europa 236
SA - Sud America 23
AF - Africa 2
OC - Oceania 1
Totale 1.542
Nazione #
US - Stati Uniti d'America 1.031
SG - Singapore 158
CN - Cina 63
RU - Federazione Russa 43
DE - Germania 42
FI - Finlandia 33
IT - Italia 33
BR - Brasile 19
SE - Svezia 19
UA - Ucraina 19
BG - Bulgaria 16
GB - Regno Unito 16
CA - Canada 8
FR - Francia 6
IL - Israele 3
JO - Giordania 3
NL - Olanda 3
EC - Ecuador 2
HK - Hong Kong 2
ID - Indonesia 2
IN - India 2
TW - Taiwan 2
AR - Argentina 1
AT - Austria 1
AU - Australia 1
BD - Bangladesh 1
BE - Belgio 1
BY - Bielorussia 1
CL - Cile 1
CZ - Repubblica Ceca 1
IE - Irlanda 1
IQ - Iraq 1
JP - Giappone 1
KG - Kirghizistan 1
MA - Marocco 1
NO - Norvegia 1
TN - Tunisia 1
UZ - Uzbekistan 1
VN - Vietnam 1
Totale 1.542
Città #
Chandler 171
Fairfield 104
Singapore 77
Woodbridge 59
Ashburn 57
Wilmington 55
Houston 54
Seattle 51
Santa Clara 45
Jacksonville 44
Cambridge 37
Ann Arbor 36
Columbus 36
New York 36
Beijing 32
Princeton 32
Helsinki 26
San Mateo 25
Moscow 18
Sofia 16
San Diego 12
Los Angeles 11
Falkenstein 10
London 8
Como 7
Boardman 6
Frankfurt am Main 6
San Paolo di Civitate 6
Trento 5
Cagliari 4
Clifton 4
Council Bluffs 4
Karlsruhe 4
Lawrence 4
Norwalk 4
Ottawa 4
Stockholm 4
Toronto 4
Kunming 3
Oxford 3
Belo Horizonte 2
Bolzano 2
Chicago 2
Des Moines 2
Fremont 2
Hefei 2
Hong Kong 2
Jakarta 2
Murialdo 2
Rodgau 2
São Paulo 2
Washington 2
Zhengzhou 2
Abel Figueiredo 1
Altamura 1
Andover 1
Belém 1
Brussels 1
Bulandshahr 1
Canberra 1
Contagem 1
Dalian 1
Dallas 1
Dearborn 1
Dublin 1
Düsseldorf 1
Fama 1
Ferrara 1
Genoa 1
Groningen 1
Isidro Casanova 1
Islington 1
Jinan 1
Kaiserslautern 1
Kilburn 1
Landshut 1
Lençóis 1
Lishui 1
Manta 1
Meizhou 1
Minsk 1
Mosul 1
Nanjing 1
Nanning 1
Natal 1
Newark 1
North Bergen 1
Nuremberg 1
Oslo 1
Paris 1
Passo Fundo 1
Pelotas 1
Peruíbe 1
Petah Tikva 1
Prague 1
Quito 1
Rabat 1
Rome 1
San Francisco 1
Santiago Metropolitan 1
Totale 1.197
Nome #
Strong temporal planning with uncontrollable durations 195
Solving strong controllability of temporal problems with uncertainty using SMT 127
Dynamic controllability via Timed Game Automata 114
Solving Temporal Problems Using SMT: Strong Controllability 113
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 111
The nuXmv Symbolic Model Checker 101
Supporting Requirements Validation: The EuRailCheck Tool 90
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 81
OthelloPlay: a plug-in based tool for requirement formalization and validation 77
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 73
Kratos - A Software Model Checker for SystemC 72
Timelines with Temporal Uncertainty 62
Solving Temporal Problems Using SMT: Weak Controllability 61
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 59
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 53
Planning and Scheduling in Temporally Uncertain Domains 48
Verifying SystemC: a Software Model Checking Approach 47
The xSAP Safety Analysis Platform 47
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 45
Totale 1.576
Categoria #
all - tutte 8.902
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 8.902


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202085 0 0 0 0 0 0 0 0 0 43 23 19
2020/2021290 1 28 63 88 7 9 11 24 11 19 11 18
2021/2022170 7 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/2025395 11 7 28 75 62 48 5 32 76 51 0 0
Totale 1.576