IRIS Institutional Research Information System

Micheli, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.494
NA - Nord America 2.810
AS - Asia 1.572
SA - Sud America 392
AF - Africa 52
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 4
AN - Antartide 1
Totale 8.331
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.693
RU - Federazione Russa 1.961
SG - Singapore 529
DE - Germania 400
BR - Brasile 340
IT - Italia 324
CN - Cina 295
VN - Vietnam 252
HK - Hong Kong 167
IN - India 151
FI - Finlandia 120
UA - Ucraina 107
FR - Francia 104
GB - Regno Unito 98
SE - Svezia 92
NL - Olanda 87
CA - Canada 61
IE - Irlanda 43
PL - Polonia 41
JP - Giappone 40
BE - Belgio 34
MX - Messico 31
ZA - Sudafrica 27
BD - Bangladesh 26
ES - Italia 22
AR - Argentina 20
IQ - Iraq 18
TR - Turchia 15
LT - Lituania 10
SA - Arabia Saudita 9
AE - Emirati Arabi Uniti 8
CO - Colombia 8
HU - Ungheria 8
VE - Venezuela 8
AT - Austria 7
DK - Danimarca 7
IL - Israele 7
MA - Marocco 7
AU - Australia 6
CZ - Repubblica Ceca 6
EC - Ecuador 6
PK - Pakistan 6
UZ - Uzbekistan 6
DO - Repubblica Dominicana 5
DZ - Algeria 5
GT - Guatemala 5
LB - Libano 5
OM - Oman 5
GR - Grecia 4
NP - Nepal 4
CH - Svizzera 3
CR - Costa Rica 3
EG - Egitto 3
EU - Europa 3
ID - Indonesia 3
IR - Iran 3
JM - Giamaica 3
KR - Corea 3
KZ - Kazakistan 3
MY - Malesia 3
PH - Filippine 3
PY - Paraguay 3
RO - Romania 3
SI - Slovenia 3
UY - Uruguay 3
AO - Angola 2
AZ - Azerbaigian 2
BG - Bulgaria 2
BY - Bielorussia 2
CL - Cile 2
KE - Kenya 2
KW - Kuwait 2
PR - Porto Rico 2
PT - Portogallo 2
SV - El Salvador 2
TN - Tunisia 2
AL - Albania 1
AQ - Antartide 1
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BW - Botswana 1
CI - Costa d'Avorio 1
CV - Capo Verde 1
DM - Dominica 1
ET - Etiopia 1
HN - Honduras 1
JO - Giordania 1
KG - Kirghizistan 1
LU - Lussemburgo 1
NI - Nicaragua 1
PA - Panama 1
PE - Perù 1
PS - Palestinian Territory 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 8.331
Salva come PNG Salva come JPEG
Città #
San Jose 346
Chandler 283
Singapore 258
Ashburn 195
Jacksonville 189
Council Bluffs 173
Hong Kong 159
Moscow 132
Munich 126
The Dalles 120
Los Angeles 93
Beijing 92
Helsinki 90
New York 88
Trento 86
Boardman 85
Ho Chi Minh City 84
Ann Arbor 82
Dallas 82
Wilmington 60
Lauterbourg 51
Hanoi 50
Hefei 49
Dublin 42
Brooklyn 41
Kronberg 36
Pergine Valsugana 33
Dearborn 32
Warsaw 32
São Paulo 31
Dong Ket 30
Brussels 27
Phoenix 25
Milan 24
Tokyo 23
Montreal 22
Santa Clara 22
Johannesburg 19
Rome 19
Ponte Sasso 17
Frankfurt am Main 16
Guangzhou 16
Nijmegen 16
Woodbridge 16
Mumbai 15
Seattle 15
Orem 14
Stuttgart 14
Houston 13
Miami 13
Rio de Janeiro 13
Amsterdam 12
Denver 12
Pune 12
Chennai 11
Columbus 11
Ottawa 11
Boston 10
Falkenstein 10
London 10
Verona 10
Atlanta 9
Buffalo 9
Da Nang 9
Manchester 9
Mexico City 9
New Delhi 9
Poplar 9
Stockholm 9
Toronto 9
Assago 8
Cheyenne 8
Haiphong 8
Hải Dương 8
Malmo 8
Redwood City 8
Belo Horizonte 7
Brescia 7
Chicago 7
Desenzano Del Garda 7
Dhaka 7
Ankara 6
Charlotte 6
Des Moines 6
Hillsboro 6
Salvador 6
Secaucus 6
Tashkent 6
Tübingen 6
Bressanvido 5
Cambridge 5
Campinas 5
Can Tho 5
City of London 5
Odense 5
Querétaro 5
Antwerp 4
Barcelona 4
Bogotá 4
Bolzano 4
Totale 3.981
Salva come PNG Salva come JPEG
Nome #
Sistema robotico olfattivo 280
NuSMV 264
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 258
Robustness Envelopes for Temporal Plans 245
Temporal Planning with Temporal Metric Trajectory Constraints 236
The xSAP Safety Analysis Platform 223
KRATOS 204
SMT-based Validation of Timed Failure Propagation Graphs 204
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 204
OthelloPlay: a plug-in based tool for requirement formalization and validation 200
Strong temporal planning with uncontrollable durations 200
Towards Estimation of 3D Poses and Shapes of Animals from Oblique Drone Imagery 198
Supporting Requirements Validation: The EuRailCheck Tool 196
Dynamic controllability via Timed Game Automata 194
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 194
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 186
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 175
Kratos - A Software Model Checker for SystemC 174
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations 173
The nuXmv Symbolic Model Checker 171
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 170
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 165
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 162
Verifying SystemC: a Software Model Checking Approach 156
Solving Temporal Problems using SMT: Weak Controllability 154
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 154
Temporal Planning with Intermediate Conditions and Effects 148
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 144
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements 139
Solving strong controllability of temporal problems with uncertainty using SMT 138
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 137
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 136
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 135
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 135
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning 132
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning 128
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture 124
Expressive Optimal Temporal Planning via Optimization Modulo Theory 124
Timelines with Temporal Uncertainty 121
Solving Temporal Problems using SMT: Strong Controllability 121
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning 120
Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation 120
Against the Clock: Lessons Learned by Applying Temporal Planning in Practice 118
Abstract Action Scheduling for Optimal Temporal Planning via OMT 116
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning 115
Unified Planning: Modeling, manipulating and solving AI planning problems in Python 113
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 110
Learning of Lifted Macro-Events for Heuristic-Search Temporal Planning 106
SMT-Based Model Checking of Max-Plus Linear Systems 106
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability 101
Platform-Aware Mission Planning 79
Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems 63
Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance Using Reinforcement Learning 63
Counterfactual Scenarios for Automated Planning 56
Planning and Scheduling with External Functions in the ExploDTwin project 33
A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins 32
AI for industry at FBK 7
Multiple interdependent Simple Temporal Networks with Uncertainty: A semi-decentralized multi-agent model with shared control of activity durations 7
Totale 8.467
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.987
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 31.987
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202141 0 0 0 0 0 0 0 0 0 0 0 41
2021/2022239 14 2 5 25 19 15 5 34 23 12 41 44
2022/2023594 25 57 8 128 24 86 12 39 124 35 26 30
2023/2024422 31 11 46 16 25 90 17 44 27 34 9 72
2024/20251.662 17 14 139 63 34 50 142 146 525 199 209 124
2025/20264.376 151 226 221 370 300 171 523 1.585 291 242 249 47
Totale 8.467