IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.125 170 178 13 23 248 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/20258 8 0 0 0 0 0 0 0 0 0 0 0
Totale 10.873