IRIS Institutional Research Information System

Traverso, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.530
EU - Europa 5.379
AS - Asia 2.459
SA - Sud America 521
Continente sconosciuto - Info sul continente non disponibili 31
AF - Africa 28
OC - Oceania 18
Totale 14.966
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.414
RU - Federazione Russa 1.455
DE - Germania 918
HK - Hong Kong 685
SG - Singapore 628
SE - Svezia 597
UA - Ucraina 539
CN - Cina 504
BR - Brasile 474
IT - Italia 458
FI - Finlandia 412
IN - India 242
GB - Regno Unito 236
FR - Francia 198
NL - Olanda 191
VN - Vietnam 183
IE - Irlanda 160
CA - Canada 76
BE - Belgio 61
IL - Israele 42
HU - Ungheria 38
JP - Giappone 34
MX - Messico 34
EU - Europa 31
ES - Italia 26
IR - Iran 22
LB - Libano 20
TR - Turchia 19
LT - Lituania 16
AU - Australia 15
IQ - Iraq 15
SI - Slovenia 14
PE - Perù 12
AR - Argentina 11
BD - Bangladesh 10
AT - Austria 9
ZA - Sudafrica 9
AZ - Azerbaigian 8
MA - Marocco 8
RO - Romania 8
VE - Venezuela 8
CO - Colombia 6
CZ - Repubblica Ceca 6
NO - Norvegia 6
PY - Paraguay 6
DK - Danimarca 5
EE - Estonia 5
UZ - Uzbekistan 5
AE - Emirati Arabi Uniti 4
CH - Svizzera 4
ID - Indonesia 4
KZ - Kazakistan 4
MY - Malesia 4
EC - Ecuador 3
JO - Giordania 3
KR - Corea 3
LK - Sri Lanka 3
NZ - Nuova Zelanda 3
PK - Pakistan 3
PL - Polonia 3
SC - Seychelles 3
AM - Armenia 2
EG - Egitto 2
GE - Georgia 2
GR - Grecia 2
IS - Islanda 2
KE - Kenya 2
MD - Moldavia 2
TH - Thailandia 2
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
BN - Brunei Darussalam 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CY - Cipro 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GA - Gabon 1
HR - Croazia 1
JM - Giamaica 1
KH - Cambogia 1
LV - Lettonia 1
MN - Mongolia 1
MT - Malta 1
NI - Nicaragua 1
NP - Nepal 1
PA - Panama 1
PT - Portogallo 1
RS - Serbia 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
TM - Turkmenistan 1
TN - Tunisia 1
UY - Uruguay 1
Totale 14.966
Salva come PNG Salva come JPEG
Città #
Chandler 1.225
Jacksonville 1.085
Hong Kong 657
Moscow 399
Los Angeles 362
Singapore 336
Wilmington 318
Boardman 262
Helsinki 255
Ashburn 242
Ann Arbor 214
The Dalles 192
Dong Ket 182
Hefei 180
Kronberg 164
Dublin 160
Dearborn 147
Woodbridge 137
Beijing 103
Brooklyn 102
Trento 99
Fuzhou 69
Seattle 69
Houston 67
Milan 61
Guangzhou 59
Brussels 56
Phoenix 48
Pune 47
Redwood City 44
Verona 40
Munich 39
São Paulo 37
Toronto 33
New York 29
Augusta 28
Ottawa 27
Tokyo 26
Falkenstein 24
Rome 24
Santa Clara 24
Shanghai 23
Mexico City 22
Miami 21
Norwalk 21
San Mateo 19
Rio de Janeiro 18
Budapest 17
Mountain View 17
Fremont 16
Falls Church 14
Strasbourg 14
London 13
Fairfield 12
Nuremberg 12
Tappahannock 12
Belo Horizonte 11
Brasília 11
Campinas 11
Leawood 11
Porto Alegre 11
Turku 11
Cambridge 10
Frankfurt am Main 10
Ljubljana 10
Monmouth Junction 10
Perugia 10
Ardabil 9
Arequipa 9
Brescia 9
Auburn Hills 8
Baku 8
Freiburg im Breisgau 8
Portland 8
Barcelona 7
Hamburg 7
Murcia 7
Pieve Ligure 7
College Park 6
Hanover 6
Inglewood 6
Saint Petersburg 6
Salvador 6
San Francisco 6
Amsterdam 5
Atlanta 5
Berlin 5
Betim 5
Chennai 5
Council Bluffs 5
Curitiba 5
Izmir 5
Johannesburg 5
Kemerovo 5
Leuven 5
Manchester 5
Melbourne 5
Montreal 5
Olomouc 5
Reston 5
Totale 8.242
Salva come PNG Salva come JPEG
Nome #
Prefazione 365
High impact drivers in innovation ecosystems: the case of Tecnopuc-Fbk joint lab 327
Proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence 204
Entrepreneurial actions towards the success of exponential technologies 193
WEBIST 2016 Proceedings of the 12th International Conference on Web Information Systems and Technologies 189
Automated Planning and Acting 184
20 Years of Planning via Model Checking: From Theory to Practice 167
Fra Pubblico e Privato: Sistemi Digitali Simbiotici per la Persona 159
APE: An Acting and Planning Engine 156
Service-Oriented Computing: A Research Roadmap 152
Web Information Systems and Technologiesm, 13th International Conference, WEBIST 2017 152
Acting and Planning Using Operational Models 136
Design for Adaptation of Distributed Service-Based Systems 133
An Open Platform for Children’s Independent Mobility 131
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 122
Incremental Composition for Adaptive By-Design Service Based Systems 119
ASTRO: Supporting the Composition and Execution of Web Services 118
L'impatto dell'AI sulla società 118
A Framework for Planning with Extended Goals under Partial Observability 117
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 117
Automated composition of web services via planning in asynchronous domains 115
MBP: A Model Based Planner 114
Blended Planning and Acting: Preliminary Approach, Research Challenges 113
Run-Time Monitoring of Instances and Classes of Web Service Composition 112
Automated Composition of Web Services by Planning at the Knowledge Level 111
A Model Based Decision Procedure for Common Sense Temporal Reasoning 111
Model Checking Early Requirements Specifications in Tropos 110
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 109
Strong Planning under Partial Observability 109
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 106
MRG: Building planners for real world complex applications 103
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 103
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 101
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 100
Automated Planning: Theory and Practice 99
Run-Time Monitoring of the Execution of Plans for Web Service Composition 99
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 98
A System for Multi-Level Reasoning 98
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 96
A Multi-Context Architecture for Formalizing Complex Reasoning 96
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 96
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 95
Automated Web Service Composition by On-The-Fly Belief Space Search 95
A Metatheory of a Mechanized Object Theory 94
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 94
Planning with Failure 93
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 92
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 91
A Metatheory of a Mechnized Object Theory 91
Certification of Translators via Off-line and On-line Proof Logging and Checking 91
Formal Specification and Development of a Safety-Critical Train Management 91
The actor's view of automated planning and acting: A position paper 90
An IPC Track on Deliberative Acting: Moving the competition ahead towards more relevant scientific challenges 90
A knowledge based system for automatic 3D scene generation 90
Tactics: extending the notion of plan 90
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 89
Enabling Distributed Knowledge Management: Managerial and Technological Implications 89
A System for Multi-Level Mathematical Reasoning 89
Theorem Proving in Technology Transfer: the user`s point of view 88
Automated Composition of Semantic Web Services into Executable Processes 88
Beyond the single planning paradigm: introspective planning 88
Online Learning of Action Models for PDDL Planning 88
Automated Web Service Composition at Work: the Amazon/MPS Case Study 87
Interleaving Execution and Planning via Symbolic Model Checking 87
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 87
JERRY - A System for the Automatic Generation and Execution of Plans for Robotic Devices: The Case Study of the SPIDER Arm 87
Specifying and Analyzing Early Requirements in Tropos 87
Automated Composition of Web Services by Planning in Asynchronous Domains 87
A Dynamic Logic for Acting, Sensing and Planning 86
Applied Formal Methods - FM-Trends 98 86
Program Tactics and Logic Tactics 85
Formal Verification of a Railway Interlocking System Using Model Checking 85
MBP: a Model Based Planner 85
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 85
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices 84
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 84
Programming Planners with Flexible Architectures 84
Autonomous and Adaptive Web Services 84
Automating meta-theory creation and system extension 84
A planning language and a semantics for real world autonomous agents 84
MRG: un sistema di ragionamento distribuito per applicazioni complesse 83
IA e i Big Data sanitari, rilevazione degli esordi e diffusione dell'epidemia 83
Biblioteca elettronica e biblioteca virtuale 82
A Logic for Acting, Sensing and Planning 82
Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition 82
Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002) 82
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 82
Agree or Change! Making Services Evolve 82
Navigation by Combining Reactivity and Planning 81
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 81
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 80
Implementing planning as tactical reasoning 80
Semantic Annotation for Web Service Processes 80
Plan Validation for Extended Goals under Partial Observability (preliminary report) 79
Visual Representation of Natural Language Scene Descriptions 79
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 79
A three level architecture for the modular specification of knowledge and reasoning strategies 79
Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 79
Interactive Autonomy for Space Applications 79
Planning and Monitoring Web Service Composition 78
Totale 10.614
Salva come PNG Salva come JPEG
Categoria #
all - tutte 81.755
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 81.755
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020132 0 0 0 0 0 0 0 0 0 0 0 132
2020/20212.018 213 15 221 134 208 67 236 48 75 365 132 304
2021/2022983 50 93 31 143 76 35 22 152 56 35 87 203
2022/20232.651 86 164 104 470 144 416 19 217 655 205 98 73
2023/20241.414 166 93 199 78 84 111 61 194 46 228 23 131
2024/20254.273 37 57 344 105 316 52 172 280 1.569 597 630 114
Totale 15.138