Micheli, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 989
EU - Europa 175
AS - Asia 160
SA - Sud America 4
AF - Africa 1
OC - Oceania 1
Totale 1.330
Nazione #
US - Stati Uniti d'America 987
SG - Singapore 97
CN - Cina 50
DE - Germania 32
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
RU - Federazione Russa 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.330
Città #
Chandler 171
Fairfield 104
Singapore 75
Woodbridge 59
Ashburn 57
Wilmington 55
Houston 54
Seattle 51
Jacksonville 44
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
Moscow 3
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.097
Nome #
Strong temporal planning with uncontrollable durations 171
Solving strong controllability of temporal problems with uncertainty using SMT 119
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 103
Dynamic controllability via Timed Game Automata 103
Solving Temporal Problems Using SMT: Strong Controllability 101
The nuXmv Symbolic Model Checker 93
Supporting Requirements Validation: The EuRailCheck Tool 79
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 65
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 64
Kratos - A Software Model Checker for SystemC 64
OthelloPlay: a plug-in based tool for requirement formalization and validation 62
Timelines with Temporal Uncertainty 54
Solving Temporal Problems Using SMT: Weak Controllability 51
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 46
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 44
Planning and Scheduling in Temporally Uncertain Domains 38
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 36
Verifying SystemC: a Software Model Checking Approach 36
The xSAP Safety Analysis Platform 35
Totale 1.364
Categoria #
all - tutte 7.934
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.934


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/2025183 11 7 28 75 62 0 0 0 0 0 0 0
Totale 1.364