IRIS Institutional Research Information System

Micheli, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.464
NA - Nord America 2.567
AS - Asia 1.514
SA - Sud America 392
AF - Africa 52
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 4
AN - Antartide 1
Totale 8.000
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.457
RU - Federazione Russa 1.961
SG - Singapore 507
DE - Germania 395
BR - Brasile 340
IT - Italia 308
CN - Cina 268
VN - Vietnam 250
HK - Hong Kong 166
IN - India 151
FI - Finlandia 120
UA - Ucraina 107
FR - Francia 103
GB - Regno Unito 97
SE - Svezia 91
NL - Olanda 86
CA - Canada 57
IE - Irlanda 43
PL - Polonia 40
JP - Giappone 35
BE - Belgio 32
MX - Messico 31
ZA - Sudafrica 27
BD - Bangladesh 26
ES - Italia 21
AR - Argentina 20
IQ - Iraq 18
TR - Turchia 15
LT - Lituania 10
SA - Arabia Saudita 9
CO - Colombia 8
HU - Ungheria 8
VE - Venezuela 8
AE - Emirati Arabi Uniti 7
AT - Austria 7
IL - Israele 7
MA - Marocco 7
AU - Australia 6
CZ - Repubblica Ceca 6
DK - Danimarca 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
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
JM - Giamaica 2
KE - Kenya 2
KW - Kuwait 2
PR - Porto Rico 2
PT - Portogallo 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
PE - Perù 1
PS - Palestinian Territory 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 8.000
Salva come PNG Salva come JPEG
Città #
San Jose 316
Chandler 283
Singapore 256
Ashburn 194
Jacksonville 189
Hong Kong 158
Moscow 132
Munich 126
The Dalles 120
Helsinki 90
Los Angeles 89
Beijing 86
Boardman 85
Ann Arbor 82
Ho Chi Minh City 82
New York 82
Dallas 80
Trento 79
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 21
Johannesburg 19
Santa Clara 19
Ponte Sasso 17
Guangzhou 16
Nijmegen 16
Woodbridge 16
Frankfurt am Main 15
Mumbai 15
Seattle 15
Council Bluffs 14
Orem 14
Rome 14
Stuttgart 14
Rio de Janeiro 13
Amsterdam 12
Denver 12
Houston 12
Miami 12
Pune 12
Chennai 11
Columbus 11
Ottawa 11
Boston 10
Falkenstein 10
London 10
Verona 10
Da Nang 9
Manchester 9
Mexico City 9
New Delhi 9
Poplar 9
Stockholm 9
Assago 8
Atlanta 8
Cheyenne 8
Haiphong 8
Hải Dương 8
Malmo 8
Redwood City 8
Belo Horizonte 7
Brescia 7
Desenzano Del Garda 7
Dhaka 7
Toronto 7
Ankara 6
Charlotte 6
Chicago 6
Des Moines 6
Hillsboro 6
Salvador 6
Secaucus 6
Tashkent 6
Tübingen 6
Bressanvido 5
Buffalo 5
Cambridge 5
Campinas 5
Can Tho 5
City of London 5
Querétaro 5
Antwerp 4
Bogotá 4
Bolzano 4
Curitiba 4
El Salvador 4
Totale 3.740
Salva come PNG Salva come JPEG
Nome #
Sistema robotico olfattivo 276
NuSMV 259
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 253
Robustness Envelopes for Temporal Plans 241
Temporal Planning with Temporal Metric Trajectory Constraints 233
The xSAP Safety Analysis Platform 218
KRATOS 202
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 200
SMT-based Validation of Timed Failure Propagation Graphs 199
OthelloPlay: a plug-in based tool for requirement formalization and validation 196
Strong temporal planning with uncontrollable durations 195
Supporting Requirements Validation: The EuRailCheck Tool 192
Dynamic controllability via Timed Game Automata 190
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 182
Towards Estimation of 3D Poses and Shapes of Animals from Oblique Drone Imagery 178
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 176
Kratos - A Software Model Checker for SystemC 171
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 171
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations 168
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 167
The nuXmv Symbolic Model Checker 165
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 161
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 157
Verifying SystemC: a Software Model Checking Approach 153
Solving Temporal Problems using SMT: Weak Controllability 148
Temporal Planning with Intermediate Conditions and Effects 144
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 141
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 135
Solving strong controllability of temporal problems with uncertainty using SMT 134
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements 133
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 132
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 131
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 131
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 130
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning 123
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture 120
Timelines with Temporal Uncertainty 120
Expressive Optimal Temporal Planning via Optimization Modulo Theory 119
Solving Temporal Problems using SMT: Strong Controllability 118
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning 115
Against the Clock: Lessons Learned by Applying Temporal Planning in Practice 115
Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation 115
Abstract Action Scheduling for Optimal Temporal Planning via OMT 114
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning 111
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning 111
Unified Planning: Modeling, manipulating and solving AI planning problems in Python 106
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 106
Learning of Lifted Macro-Events for Heuristic-Search Temporal Planning 101
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability 95
SMT-Based Model Checking of Max-Plus Linear Systems 91
Platform-Aware Mission Planning 75
Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems 58
Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance Using Reinforcement Learning 58
Counterfactual Scenarios for Automated Planning 52
Planning and Scheduling with External Functions in the ExploDTwin project 26
A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins 18
{AI} for industry at {FBK} 2
Totale 8.131
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.891
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 29.891
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021102 0 0 0 0 0 0 0 0 0 53 8 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.040 151 226 221 370 300 171 523 1.585 291 202 0 0
Totale 8.131