IRIS Institutional Research Information System

Micheli, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.739
EU - Europa 3.601
AS - Asia 1.606
SA - Sud America 397
Continente sconosciuto - Info sul continente non disponibili 147
AF - Africa 59
OC - Oceania 6
AN - Antartide 1
Totale 9.556
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.578
RU - Federazione Russa 1.967
SG - Singapore 537
DE - Germania 402
IT - Italia 372
BR - Brasile 343
CN - Cina 302
VN - Vietnam 254
HK - Hong Kong 172
IN - India 152
SE - Svezia 122
FI - Finlandia 120
GB - Regno Unito 110
UA - Ucraina 107
FR - Francia 106
NL - Olanda 87
CA - Canada 82
IE - Irlanda 43
JP - Giappone 43
PL - Polonia 42
BE - Belgio 35
MX - Messico 31
BD - Bangladesh 27
ZA - Sudafrica 27
ES - Italia 23
AR - Argentina 21
IQ - Iraq 18
TR - Turchia 16
LT - Lituania 10
CR - Costa Rica 9
DK - Danimarca 9
SA - Arabia Saudita 9
AE - Emirati Arabi Uniti 8
CO - Colombia 8
HU - Ungheria 8
IL - Israele 8
VE - Venezuela 8
AT - Austria 7
EC - Ecuador 7
MA - Marocco 7
PH - Filippine 7
AU - Australia 6
CZ - Repubblica Ceca 6
GR - Grecia 6
PK - Pakistan 6
SC - Seychelles 6
UZ - Uzbekistan 6
DO - Repubblica Dominicana 5
DZ - Algeria 5
GT - Guatemala 5
HN - Honduras 5
JM - Giamaica 5
LB - Libano 5
OM - Oman 5
TT - Trinidad e Tobago 5
MY - Malesia 4
NI - Nicaragua 4
NP - Nepal 4
PR - Porto Rico 4
CH - Svizzera 3
EG - Egitto 3
EU - Europa 3
ID - Indonesia 3
IR - Iran 3
KR - Corea 3
KZ - Kazakistan 3
PY - Paraguay 3
RO - Romania 3
SI - Slovenia 3
SV - El Salvador 3
TN - Tunisia 3
UY - Uruguay 3
AO - Angola 2
AZ - Azerbaigian 2
BG - Bulgaria 2
BY - Bielorussia 2
CL - Cile 2
CW - ???statistics.table.value.countryCode.CW??? 2
KE - Kenya 2
KW - Kuwait 2
PT - Portogallo 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
GP - Guadalupe 1
JO - Giordania 1
KG - Kirghizistan 1
LU - Lussemburgo 1
PA - Panama 1
PE - Perù 1
PS - Palestinian Territory 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 9.412
Salva come PNG Salva come JPEG
Città #
Council Bluffs 410
San Jose 406
Chandler 284
Singapore 262
Ashburn 211
Jacksonville 190
Hong Kong 163
Moscow 132
Munich 126
The Dalles 121
New York 120
Los Angeles 110
Beijing 96
Trento 92
Helsinki 90
Dallas 88
Boardman 85
Ho Chi Minh City 85
Ann Arbor 82
Wilmington 60
Lauterbourg 51
Hanoi 50
Hefei 49
Brooklyn 48
Phoenix 45
Santa Clara 43
Dublin 42
Buffalo 36
Kronberg 36
Pergine Valsugana 33
Dearborn 32
São Paulo 32
Warsaw 32
Dong Ket 30
Brussels 27
Milan 27
Montreal 24
Tokyo 24
Rome 21
Seattle 20
Johannesburg 19
Miami 17
Ponte Sasso 17
Woodbridge 17
Frankfurt am Main 16
Guangzhou 16
Houston 16
Nijmegen 16
Denver 15
Mumbai 15
Atlanta 14
Orem 14
Stuttgart 14
Toronto 14
Verona 14
Columbus 13
Rio de Janeiro 13
Amsterdam 12
Boston 12
Chicago 12
Pune 12
Chennai 11
Ottawa 11
Queens 11
Falkenstein 10
London 10
Da Nang 9
Garland 9
Manchester 9
Mexico City 9
New Delhi 9
Poplar 9
Stockholm 9
Assago 8
Cheyenne 8
Haiphong 8
Hải Dương 8
Malmo 8
Princeton 8
Redwood City 8
Belo Horizonte 7
Brescia 7
Charlotte 7
Desenzano Del Garda 7
Dhaka 7
Lawrenceville 7
Philadelphia 7
San Francisco 7
Ankara 6
Des Moines 6
Hillsboro 6
Salvador 6
Secaucus 6
Tashkent 6
The Bronx 6
Tübingen 6
Antwerp 5
Bressanvido 5
Cambridge 5
Campinas 5
Totale 4.519
Salva come PNG Salva come JPEG
Nome #
Sistema robotico olfattivo 298
NuSMV 282
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 277
Robustness Envelopes for Temporal Plans 260
Temporal Planning with Temporal Metric Trajectory Constraints 253
The xSAP Safety Analysis Platform 244
Towards Estimation of 3D Poses and Shapes of Animals from Oblique Drone Imagery 236
SMT-based Validation of Timed Failure Propagation Graphs 223
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 220
KRATOS 219
Strong temporal planning with uncontrollable durations 217
OthelloPlay: a plug-in based tool for requirement formalization and validation 216
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 211
Supporting Requirements Validation: The EuRailCheck Tool 210
Dynamic controllability via Timed Game Automata 209
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 208
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations 192
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 191
Kratos - A Software Model Checker for SystemC 189
The nuXmv Symbolic Model Checker 187
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 187
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 181
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 175
Verifying SystemC: a Software Model Checking Approach 172
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 172
Solving Temporal Problems using SMT: Weak Controllability 169
Temporal Planning with Intermediate Conditions and Effects 165
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 159
Solving strong controllability of temporal problems with uncertainty using SMT 158
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 157
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements 156
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture 153
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 149
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 149
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning 147
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 146
Expressive Optimal Temporal Planning via Optimization Modulo Theory 145
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning 145
Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation 143
Solving Temporal Problems using SMT: Strong Controllability 140
Against the Clock: Lessons Learned by Applying Temporal Planning in Practice 139
Timelines with Temporal Uncertainty 138
Abstract Action Scheduling for Optimal Temporal Planning via OMT 134
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning 132
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning 132
Unified Planning: Modeling, manipulating and solving AI planning problems in Python 130
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 124
Learning of Lifted Macro-Events for Heuristic-Search Temporal Planning 123
SMT-Based Model Checking of Max-Plus Linear Systems 120
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability 116
Platform-Aware Mission Planning 97
Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance Using Reinforcement Learning 88
A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins 82
Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems 79
Planning and Scheduling with External Functions in the ExploDTwin project 75
Counterfactual Scenarios for Automated Planning 72
AI for industry at FBK 28
Multiple interdependent Simple Temporal Networks with Uncertainty: A semi-decentralized multi-agent model with shared control of activity durations 28
Platform-Aware Mission Planning with Task-Level Contracts 9
Totale 9.556
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.982
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 36.982
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022218 0 0 0 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/20271.057 187 175 334 361 0 0 0 0 0 0 0 0
Totale 9.556