IRIS Institutional Research Information System

Micheli, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.641
EU - Europa 1.568
AS - Asia 670
SA - Sud America 156
AF - Africa 12
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 4.053
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.606
RU - Federazione Russa 452
DE - Germania 353
IT - Italia 236
SG - Singapore 231
BR - Brasile 152
HK - Hong Kong 121
CN - Cina 116
FI - Finlandia 113
IN - India 106
UA - Ucraina 100
NL - Olanda 76
GB - Regno Unito 52
SE - Svezia 46
IE - Irlanda 41
VN - Vietnam 32
BE - Belgio 31
CA - Canada 21
FR - Francia 21
JP - Giappone 21
BD - Bangladesh 10
HU - Ungheria 7
MX - Messico 7
PL - Polonia 7
TR - Turchia 7
ES - Italia 6
ZA - Sudafrica 6
AT - Austria 5
IL - Israele 5
GT - Guatemala 4
IQ - Iraq 4
LT - Lituania 4
MA - Marocco 4
AU - Australia 3
CZ - Repubblica Ceca 3
EU - Europa 3
GR - Grecia 3
KR - Corea 3
LB - Libano 3
SI - Slovenia 3
AE - Emirati Arabi Uniti 2
AR - Argentina 2
DK - Danimarca 2
IR - Iran 2
PT - Portogallo 2
RO - Romania 2
UZ - Uzbekistan 2
VE - Venezuela 2
AZ - Azerbaigian 1
BN - Brunei Darussalam 1
CH - Svizzera 1
CR - Costa Rica 1
EG - Egitto 1
ET - Etiopia 1
HN - Honduras 1
JM - Giamaica 1
JO - Giordania 1
KZ - Kazakistan 1
LU - Lussemburgo 1
PK - Pakistan 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 4.053
Salva come PNG Salva come JPEG
Città #
Chandler 283
Jacksonville 189
Singapore 130
Munich 126
Hong Kong 119
Moscow 103
The Dalles 100
Boardman 85
Helsinki 85
Ann Arbor 82
Ashburn 81
Trento 72
Wilmington 60
New York 59
Los Angeles 52
Hefei 49
Dublin 41
Brooklyn 36
Kronberg 36
Dearborn 32
Dong Ket 30
Brussels 27
Beijing 24
Milan 20
Ponte Sasso 17
Nijmegen 16
Woodbridge 16
Guangzhou 14
Phoenix 14
Stuttgart 14
Ottawa 11
Seattle 11
Council Bluffs 10
Dallas 10
Falkenstein 10
Miami 10
Pune 10
Santa Clara 10
Tokyo 10
Verona 10
Columbus 9
Houston 9
Cheyenne 8
Redwood City 8
Desenzano Del Garda 7
Rio de Janeiro 7
Assago 6
Belo Horizonte 6
São Paulo 6
Toronto 6
Tübingen 6
Brescia 5
Bressanvido 5
Cambridge 5
Frankfurt am Main 5
London 5
Rome 5
Salvador 5
Secaucus 5
Warsaw 5
Amsterdam 4
Antwerp 4
Bolzano 4
Boston 4
El Salvador 4
Fulda 4
Guanzate 4
Hanover 4
Johannesburg 4
Kagoya 4
Karlsruhe 4
Tappahannock 4
Vienna 4
Ankara 3
Barcelona 3
Budapest 3
Canazei 3
Charlotte 3
Dhaka 3
Jyväskylä 3
Norwalk 3
San Jose 3
Shanghai 3
Shenzhen 3
Stanford 3
Wuhan 3
Agadir 2
Bari 2
Battaglia Terme 2
Botucatu 2
Braunschweig 2
Brno 2
Cape Town 2
Cernusco Lombardone 2
Chennai 2
Chicago 2
Cleveland 2
Contagem 2
El Segundo 2
Florence 2
Totale 2.356
Salva come PNG Salva come JPEG
Nome #
Robustness Envelopes for Temporal Plans 188
Sistema robotico olfattivo 183
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 170
Temporal Planning with Temporal Metric Trajectory Constraints 165
NuSMV 159
Strong temporal planning with uncontrollable durations 141
The xSAP Safety Analysis Platform 130
KRATOS 125
OthelloPlay: a plug-in based tool for requirement formalization and validation 125
Supporting Requirements Validation: The EuRailCheck Tool 119
Dynamic controllability via Timed Game Automata 114
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 112
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 110
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 107
Kratos - A Software Model Checker for SystemC 102
SMT-based Validation of Timed Failure Propagation Graphs 99
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations 96
Solving Temporal Problems using SMT: Weak Controllability 93
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 93
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 92
Verifying SystemC: a Software Model Checking Approach 91
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 87
The nuXmv Symbolic Model Checker 87
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 86
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 84
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 81
Temporal Planning with Intermediate Conditions and Effects 80
Solving strong controllability of temporal problems with uncertainty using SMT 79
Timelines with Temporal Uncertainty 74
Solving Temporal Problems using SMT: Strong Controllability 71
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 63
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 61
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 55
Expressive Optimal Temporal Planning via Optimization Modulo Theory 53
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture 51
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 51
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 51
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements 51
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning 49
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning 45
Against the Clock: Lessons Learned by Applying Temporal Planning in Practice 44
SMT-Based Model Checking of Max-Plus Linear Systems 41
Abstract Action Scheduling for Optimal Temporal Planning via OMT 36
Unified Planning: Modeling, manipulating and solving AI planning problems in Python 35
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning 34
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability 34
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning 26
Towards Estimation of 3D Poses and Shapes of Animals from Oblique Drone Imagery 24
Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation 17
Totale 4.164
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.027
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 22.027
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021378 51 7 54 18 54 21 42 6 23 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/202673 73 0 0 0 0 0 0 0 0 0 0 0
Totale 4.164