IRIS Institutional Research Information System

Traverso, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.048
EU - Europa 3.730
AS - Asia 1.730
SA - Sud America 43
Continente sconosciuto - Info sul continente non disponibili 31
OC - Oceania 17
AF - Africa 9
Totale 11.608
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.967
DE - Germania 854
HK - Hong Kong 617
SE - Svezia 594
UA - Ucraina 539
IT - Italia 437
FI - Finlandia 388
CN - Cina 327
IN - India 228
GB - Regno Unito 224
SG - Singapore 221
FR - Francia 196
VN - Vietnam 183
IE - Irlanda 159
RU - Federazione Russa 102
CA - Canada 60
BE - Belgio 59
NL - Olanda 46
IL - Israele 42
HU - Ungheria 38
EU - Europa 31
BR - Brasile 28
JP - Giappone 28
ES - Italia 25
IR - Iran 22
LB - Libano 20
MX - Messico 20
AU - Australia 14
SI - Slovenia 14
LT - Lituania 12
PE - Perù 10
TR - Turchia 9
AT - Austria 7
AZ - Azerbaigian 7
IQ - Iraq 7
RO - Romania 7
NO - Norvegia 6
CZ - Repubblica Ceca 5
CH - Svizzera 4
DK - Danimarca 3
KR - Corea 3
MY - Malesia 3
NZ - Nuova Zelanda 3
SC - Seychelles 3
VE - Venezuela 3
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
AM - Armenia 2
AR - Argentina 2
EG - Egitto 2
GR - Grecia 2
JO - Giordania 2
LK - Sri Lanka 2
MD - Moldavia 2
TH - Thailandia 2
CR - Costa Rica 1
CY - Cipro 1
HR - Croazia 1
ID - Indonesia 1
LV - Lettonia 1
MA - Marocco 1
MT - Malta 1
PL - Polonia 1
PT - Portogallo 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
TM - Turkmenistan 1
Totale 11.608
Salva come PNG Salva come JPEG
Città #
Chandler 1.225
Jacksonville 1.085
Hong Kong 594
Los Angeles 353
Wilmington 318
Boardman 262
Helsinki 242
Ashburn 233
Ann Arbor 214
Dong Ket 182
Singapore 170
Kronberg 164
Dublin 159
Dearborn 147
Woodbridge 137
Beijing 103
Brooklyn 97
Trento 97
Fuzhou 69
Houston 67
Seattle 67
Guangzhou 59
Milan 59
Brussels 54
Pune 47
Redwood City 44
Phoenix 43
Verona 40
Augusta 28
Toronto 28
New York 26
Ottawa 26
Rome 24
Shanghai 22
Norwalk 21
Miami 20
Tokyo 20
San Mateo 19
Mexico City 18
Budapest 17
Mountain View 17
Munich 17
Fremont 16
Falls Church 14
Strasbourg 14
Santa Clara 13
Fairfield 12
Tappahannock 12
Leawood 11
London 11
Cambridge 10
Ljubljana 10
Monmouth Junction 10
Nuremberg 10
Perugia 10
Ardabil 9
Arequipa 9
Brescia 9
Auburn Hills 8
Frankfurt am Main 8
Freiburg im Breisgau 8
Hefei 8
Portland 8
Baku 7
Barcelona 7
Falkenstein 7
Hamburg 7
Murcia 7
Pieve Ligure 7
College Park 6
Hanover 6
Inglewood 6
Saint Petersburg 6
Berlin 5
Campinas 5
Kemerovo 5
Leuven 5
Melbourne 5
Porto Alegre 5
Andover 4
Bangalore 4
Bucharest 4
Cologne 4
Des Moines 4
Duncan 4
Fasano 4
Istanbul 4
Izmir 4
Kagoya 4
Olomouc 4
Redmond 4
Secaucus 4
Shenzhen 4
Vienna 4
Zanjan 4
Almelo 3
Ascoli Piceno 3
Brunico 3
Caracas 3
Central District 3
Totale 7.029
Salva come PNG Salva come JPEG
Nome #
Prefazione 340
High impact drivers in innovation ecosystems: the case of Tecnopuc-Fbk joint lab 296
Proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence 184
WEBIST 2016 Proceedings of the 12th International Conference on Web Information Systems and Technologies 172
Entrepreneurial actions towards the success of exponential technologies 168
Automated Planning and Acting 158
20 Years of Planning via Model Checking: From Theory to Practice 144
Fra Pubblico e Privato: Sistemi Digitali Simbiotici per la Persona 135
Web Information Systems and Technologiesm, 13th International Conference, WEBIST 2017 133
APE: An Acting and Planning Engine 133
Service-Oriented Computing: A Research Roadmap 132
Acting and Planning Using Operational Models 116
Design for Adaptation of Distributed Service-Based Systems 114
An Open Platform for Children’s Independent Mobility 112
Incremental Composition for Adaptive By-Design Service Based Systems 101
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 97
L'impatto dell'AI sulla società 96
Blended Planning and Acting: Preliminary Approach, Research Challenges 95
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 93
ASTRO: Supporting the Composition and Execution of Web Services 93
Automated composition of web services via planning in asynchronous domains 93
Automated Composition of Web Services by Planning at the Knowledge Level 90
Run-Time Monitoring of Instances and Classes of Web Service Composition 90
A Framework for Planning with Extended Goals under Partial Observability 89
Strong Planning under Partial Observability 89
MBP: A Model Based Planner 88
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 85
A Model Based Decision Procedure for Common Sense Temporal Reasoning 85
Model Checking Early Requirements Specifications in Tropos 84
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 84
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 83
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 81
Planning with Failure 80
MRG: Building planners for real world complex applications 79
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 77
A Multi-Context Architecture for Formalizing Complex Reasoning 77
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 77
A System for Multi-Level Reasoning 77
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 76
Automated Planning: Theory and Practice 75
An IPC Track on Deliberative Acting: Moving the competition ahead towards more relevant scientific challenges 75
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 75
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 74
Run-Time Monitoring of the Execution of Plans for Web Service Composition 74
Tactics: extending the notion of plan 74
Certification of Translators via Off-line and On-line Proof Logging and Checking 73
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 72
Beyond the single planning paradigm: introspective planning 72
Formal Specification and Development of a Safety-Critical Train Management 71
A Metatheory of a Mechanized Object Theory 71
Theorem Proving in Technology Transfer: the user`s point of view 70
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 70
Interleaving Execution and Planning via Symbolic Model Checking 70
Enabling Distributed Knowledge Management: Managerial and Technological Implications 70
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 69
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 69
A Metatheory of a Mechnized Object Theory 68
The actor's view of automated planning and acting: A position paper 68
A knowledge based system for automatic 3D scene generation 68
Biblioteca elettronica e biblioteca virtuale 67
MBP: a Model Based Planner 67
A Dynamic Logic for Acting, Sensing and Planning 66
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 66
A Logic for Acting, Sensing and Planning 66
JERRY - A System for the Automatic Generation and Execution of Plans for Robotic Devices: The Case Study of the SPIDER Arm 66
MRG: un sistema di ragionamento distribuito per applicazioni complesse 66
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 66
Automated Web Service Composition at Work: the Amazon/MPS Case Study 65
Applied Formal Methods - FM-Trends 98 65
Specifying and Analyzing Early Requirements in Tropos 65
Navigation by Combining Reactivity and Planning 65
A System for Multi-Level Mathematical Reasoning 65
Automating meta-theory creation and system extension 65
Online Learning of Action Models for PDDL Planning 65
Autonomous and Adaptive Web Services 64
Automated Web Service Composition by On-The-Fly Belief Space Search 64
A planning language and a semantics for real world autonomous agents 64
Automated Composition of Web Services by Planning in Asynchronous Domains 64
Visual Representation of Natural Language Scene Descriptions 63
Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition 63
Formal Verification of a Railway Interlocking System Using Model Checking 63
Understanding scene descriptions by integrating different sources of knowledge 63
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 63
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices 62
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 62
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 62
Automated Composition of Semantic Web Services into Executable Processes 62
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 62
Planning and Monitoring Web Service Composition 61
Plan Validation for Extended Goals under Partial Observability (preliminary report) 61
Program Tactics and Logic Tactics 61
Semantic Annotation for Web Service Processes 61
Agree or Change! Making Services Evolve 61
Program Tactics and Logic Tactics 60
Implementing planning as tactical reasoning 60
Programming Planners with Flexible Architectures 60
Reflective reasoning with and between a declarative metatheory and the implementation code 60
Plan formation and execution in a uniform architecture of declarative metatheories 60
Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002) 60
Flexible Planning by Integrating Multilevel Reasoning 60
Totale 8.515
Salva come PNG Salva come JPEG
Categoria #
all - tutte 66.495
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 66.495
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.493 0 0 0 0 0 136 307 57 259 320 282 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/2025909 37 57 344 105 316 50 0 0 0 0 0 0
Totale 11.774