IRIS Institutional Research Information System

Micheli, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.545
NA - Nord America 3.084
AS - Asia 1.587
SA - Sud America 395
Continente sconosciuto - Info sul continente non disponibili 140
AF - Africa 52
OC - Oceania 6
AN - Antartide 1
Totale 8.810
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.963
RU - Federazione Russa 1.961
SG - Singapore 534
DE - Germania 401
IT - Italia 346
BR - Brasile 343
CN - Cina 300
VN - Vietnam 253
HK - Hong Kong 169
IN - India 151
FI - Finlandia 120
SE - Svezia 114
UA - Ucraina 107
FR - Francia 105
GB - Regno Unito 100
NL - Olanda 87
CA - Canada 63
IE - Irlanda 43
JP - Giappone 42
PL - Polonia 42
BE - Belgio 35
MX - Messico 31
ZA - Sudafrica 27
BD - Bangladesh 26
ES - Italia 23
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
JM - Giamaica 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
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.674
Salva come PNG Salva come JPEG
Città #
Council Bluffs 379
San Jose 347
Chandler 283
Singapore 262
Ashburn 197
Jacksonville 190
Hong Kong 161
Moscow 132
Munich 126
The Dalles 120
Los Angeles 96
Beijing 95
Trento 91
Helsinki 90
New York 90
Boardman 85
Ho Chi Minh City 85
Dallas 83
Ann Arbor 82
Wilmington 60
Lauterbourg 51
Hanoi 50
Hefei 49
Dublin 42
Brooklyn 41
Phoenix 37
Kronberg 36
Pergine Valsugana 33
Dearborn 32
São Paulo 32
Warsaw 32
Dong Ket 30
Brussels 27
Santa Clara 27
Milan 26
Tokyo 23
Montreal 22
Rome 21
Johannesburg 19
Ponte Sasso 17
Frankfurt am Main 16
Guangzhou 16
Nijmegen 16
Seattle 16
Woodbridge 16
Mumbai 15
Miami 14
Orem 14
Stuttgart 14
Verona 14
Houston 13
Rio de Janeiro 13
Amsterdam 12
Denver 12
Pune 12
Chennai 11
Columbus 11
Ottawa 11
Boston 10
Falkenstein 10
London 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
Antwerp 5
Bressanvido 5
Cambridge 5
Campinas 5
Can Tho 5
City of London 5
Kameido 5
Odense 5
Perugia 5
Querétaro 5
Barcelona 4
Totale 4.243
Salva come PNG Salva come JPEG
Nome #
Sistema robotico olfattivo 286
NuSMV 272
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 263
Robustness Envelopes for Temporal Plans 249
Temporal Planning with Temporal Metric Trajectory Constraints 240
The xSAP Safety Analysis Platform 229
Towards Estimation of 3D Poses and Shapes of Animals from Oblique Drone Imagery 215
SMT-based Validation of Timed Failure Propagation Graphs 210
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 210
KRATOS 209
OthelloPlay: a plug-in based tool for requirement formalization and validation 204
Strong temporal planning with uncontrollable durations 204
Supporting Requirements Validation: The EuRailCheck Tool 200
Dynamic controllability via Timed Game Automata 199
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 198
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 193
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 180
Kratos - A Software Model Checker for SystemC 178
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations 178
The nuXmv Symbolic Model Checker 178
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 175
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 170
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 165
Verifying SystemC: a Software Model Checking Approach 160
Solving Temporal Problems using SMT: Weak Controllability 158
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 158
Temporal Planning with Intermediate Conditions and Effects 155
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 146
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 144
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements 144
Solving strong controllability of temporal problems with uncertainty using SMT 143
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 140
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 139
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 139
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning 138
Expressive Optimal Temporal Planning via Optimization Modulo Theory 132
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning 132
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture 130
Timelines with Temporal Uncertainty 128
Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation 127
Solving Temporal Problems using SMT: Strong Controllability 126
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning 123
Abstract Action Scheduling for Optimal Temporal Planning via OMT 122
Against the Clock: Lessons Learned by Applying Temporal Planning in Practice 122
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning 119
Unified Planning: Modeling, manipulating and solving AI planning problems in Python 118
Learning of Lifted Macro-Events for Heuristic-Search Temporal Planning 114
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 114
SMT-Based Model Checking of Max-Plus Linear Systems 111
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability 106
Platform-Aware Mission Planning 86
Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems 71
Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance Using Reinforcement Learning 71
Counterfactual Scenarios for Automated Planning 63
A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins 51
Planning and Scheduling with External Functions in the ExploDTwin project 44
Multiple interdependent Simple Temporal Networks with Uncertainty: A semi-decentralized multi-agent model with shared control of activity durations 16
AI for industry at FBK 15
Totale 8.810
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.768
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 33.768
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022225 0 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.408 151 226 221 370 300 171 523 1.585 291 242 249 79
2026/2027311 187 124 0 0 0 0 0 0 0 0 0 0
Totale 8.810