IRIS Institutional Research Information System

Micheli, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.506
NA - Nord America 2.984
AS - Asia 1.579
SA - Sud America 393
AF - Africa 52
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 4
AN - Antartide 1
Totale 8.525
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.864
RU - Federazione Russa 1.961
SG - Singapore 531
DE - Germania 400
BR - Brasile 341
IT - Italia 333
CN - Cina 298
VN - Vietnam 252
HK - Hong Kong 169
IN - India 151
FI - Finlandia 120
UA - Ucraina 107
FR - Francia 105
GB - Regno Unito 98
SE - Svezia 92
NL - Olanda 87
CA - Canada 62
IE - Irlanda 43
PL - Polonia 42
JP - Giappone 40
BE - Belgio 34
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.525
Salva come PNG Salva come JPEG
Città #
San Jose 346
Council Bluffs 320
Chandler 283
Singapore 259
Ashburn 195
Jacksonville 189
Hong Kong 161
Moscow 132
Munich 126
The Dalles 120
Los Angeles 94
Beijing 93
Helsinki 90
New York 90
Trento 90
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
São Paulo 32
Warsaw 32
Dong Ket 30
Brussels 27
Milan 26
Santa Clara 26
Phoenix 25
Tokyo 23
Montreal 22
Rome 21
Johannesburg 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 4.148
Salva come PNG Salva come JPEG
Nome #
Sistema robotico olfattivo 283
NuSMV 268
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 261
Robustness Envelopes for Temporal Plans 247
Temporal Planning with Temporal Metric Trajectory Constraints 238
The xSAP Safety Analysis Platform 227
KRATOS 207
SMT-based Validation of Timed Failure Propagation Graphs 207
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 207
Towards Estimation of 3D Poses and Shapes of Animals from Oblique Drone Imagery 205
Strong temporal planning with uncontrollable durations 204
OthelloPlay: a plug-in based tool for requirement formalization and validation 203
Supporting Requirements Validation: The EuRailCheck Tool 199
Dynamic controllability via Timed Game Automata 197
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 197
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 190
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 178
Kratos - A Software Model Checker for SystemC 177
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations 177
The nuXmv Symbolic Model Checker 174
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 173
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 168
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 164
Verifying SystemC: a Software Model Checking Approach 159
Solving Temporal Problems using SMT: Weak Controllability 157
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 155
Temporal Planning with Intermediate Conditions and Effects 152
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 145
Solving strong controllability of temporal problems with uncertainty using SMT 142
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements 142
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 140
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 139
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 138
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 138
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning 136
Expressive Optimal Temporal Planning via Optimization Modulo Theory 130
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning 130
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture 126
Timelines with Temporal Uncertainty 126
Solving Temporal Problems using SMT: Strong Controllability 125
Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation 125
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning 121
Against the Clock: Lessons Learned by Applying Temporal Planning in Practice 121
Abstract Action Scheduling for Optimal Temporal Planning via OMT 119
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning 118
Unified Planning: Modeling, manipulating and solving AI planning problems in Python 116
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 112
Learning of Lifted Macro-Events for Heuristic-Search Temporal Planning 111
SMT-Based Model Checking of Max-Plus Linear Systems 109
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability 105
Platform-Aware Mission Planning 82
Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems 69
Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance Using Reinforcement Learning 67
Counterfactual Scenarios for Automated Planning 60
A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins 38
Planning and Scheduling with External Functions in the ExploDTwin project 34
Multiple interdependent Simple Temporal Networks with Uncertainty: A semi-decentralized multi-agent model with shared control of activity durations 13
AI for industry at FBK 10
Totale 8.661
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.602
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 32.602
Salva come PNG Salva come JPEG


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