Micheli, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 989
EU - Europa 171
AS - Asia 119
SA - Sud America 4
AF - Africa 1
OC - Oceania 1
Totale 1.285
Nazione #
US - Stati Uniti d'America 987
SG - Singapore 57
CN - Cina 49
DE - Germania 31
FI - Finlandia 31
IT - Italia 31
SE - Svezia 19
UA - Ucraina 19
BG - Bulgaria 16
GB - Regno Unito 13
FR - Francia 6
JO - Giordania 3
CA - Canada 2
ID - Indonesia 2
IL - Israele 2
IN - India 2
TW - Taiwan 2
AR - Argentina 1
AU - Australia 1
BE - Belgio 1
BR - Brasile 1
CL - Cile 1
CZ - Repubblica Ceca 1
EC - Ecuador 1
IE - Irlanda 1
JP - Giappone 1
MA - Marocco 1
NL - Olanda 1
NO - Norvegia 1
VN - Vietnam 1
Totale 1.285
Città #
Chandler 171
Fairfield 104
Woodbridge 59
Ashburn 57
Wilmington 55
Houston 54
Seattle 51
Jacksonville 44
Singapore 38
Cambridge 37
Ann Arbor 36
Columbus 36
New York 36
Beijing 32
Princeton 32
San Mateo 25
Helsinki 24
Sofia 16
San Diego 12
Los Angeles 11
Como 7
Santa Clara 7
Boardman 6
Frankfurt am Main 6
San Paolo di Civitate 6
London 5
Trento 5
Cagliari 4
Clifton 4
Karlsruhe 4
Lawrence 4
Norwalk 4
Stockholm 4
Oxford 3
Bolzano 2
Chicago 2
Des Moines 2
Fremont 2
Hefei 2
Jakarta 2
Kunming 2
Murialdo 2
Rodgau 2
Washington 2
Altamura 1
Andover 1
Brussels 1
Bulandshahr 1
Canberra 1
Dalian 1
Dallas 1
Dearborn 1
Dublin 1
Düsseldorf 1
Falkenstein 1
Ferrara 1
Genoa 1
Groningen 1
Isidro Casanova 1
Islington 1
Jinan 1
Kaiserslautern 1
Kilburn 1
Landshut 1
Lishui 1
Nanjing 1
Nanning 1
Newark 1
Oslo 1
Ottawa 1
Paris 1
Prague 1
Quito 1
Rabat 1
San Francisco 1
Santiago Metropolitan 1
Schopfheim 1
Southampton 1
São Paulo 1
Toronto 1
Wiesbaden 1
Zhengzhou 1
Totale 1.057
Nome #
Strong temporal planning with uncontrollable durations 170
Solving strong controllability of temporal problems with uncertainty using SMT 115
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 102
Dynamic controllability via Timed Game Automata 102
Solving Temporal Problems Using SMT: Strong Controllability 100
The nuXmv Symbolic Model Checker 89
Supporting Requirements Validation: The EuRailCheck Tool 76
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 64
Kratos - A Software Model Checker for SystemC 63
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 62
OthelloPlay: a plug-in based tool for requirement formalization and validation 54
Timelines with Temporal Uncertainty 53
Solving Temporal Problems Using SMT: Weak Controllability 49
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 45
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 43
Planning and Scheduling in Temporally Uncertain Domains 35
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 34
The xSAP Safety Analysis Platform 34
Verifying SystemC: a Software Model Checking Approach 29
Totale 1.319
Categoria #
all - tutte 7.789
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 7.789


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020152 0 0 0 0 15 6 17 14 15 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/2025138 11 7 28 75 17 0 0 0 0 0 0 0
Totale 1.319