IRIS Institutional Research Information System

Traverso, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.824
EU - Europa 3.580
AS - Asia 1.061
SA - Sud America 32
Continente sconosciuto - Info sul continente non disponibili 31
OC - Oceania 14
AF - Africa 7
Totale 10.549
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.752
DE - Germania 819
SE - Svezia 593
UA - Ucraina 539
IT - Italia 410
FI - Finlandia 376
CN - Cina 300
IN - India 228
HK - Hong Kong 217
GB - Regno Unito 204
FR - Francia 183
VN - Vietnam 183
IE - Irlanda 157
RU - Federazione Russa 102
BE - Belgio 53
CA - Canada 52
NL - Olanda 42
IL - Israele 41
HU - Ungheria 38
EU - Europa 31
BR - Brasile 28
ES - Italia 24
IR - Iran 22
LB - Libano 20
MX - Messico 20
JP - Giappone 15
SI - Slovenia 14
AU - Australia 12
SG - Singapore 11
TR - Turchia 9
IQ - Iraq 7
RO - Romania 6
AT - Austria 5
KR - Corea 3
NO - Norvegia 3
SC - Seychelles 3
VE - Venezuela 3
ZA - Sudafrica 3
CH - Svizzera 2
DK - Danimarca 2
MY - Malesia 2
NZ - Nuova Zelanda 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
CZ - Repubblica Ceca 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.549
Salva come PNG Salva come JPEG
Città #
Chandler 1.225
Jacksonville 1.085
Los Angeles 345
Wilmington 318
Helsinki 230
Ashburn 227
Ann Arbor 214
Hong Kong 198
Boardman 186
Dong Ket 182
Kronberg 164
Dublin 157
Dearborn 147
Woodbridge 137
Beijing 100
Brooklyn 97
Trento 93
Fuzhou 69
Houston 67
Seattle 67
Guangzhou 59
Milan 53
Brussels 48
Pune 47
Redwood City 44
Phoenix 43
Verona 40
Augusta 28
New York 26
Ottawa 23
Toronto 23
Norwalk 21
Rome 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
Singapore 11
Cambridge 10
Ljubljana 10
Monmouth Junction 10
Perugia 10
Ardabil 9
Auburn Hills 8
Freiburg im Breisgau 8
Hefei 8
Portland 8
Barcelona 7
Falkenstein 7
Murcia 7
Nuremberg 7
Pieve Ligure 7
Tokyo 7
Brescia 6
College Park 6
Hanover 6
Inglewood 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
Munich 4
Redmond 4
Secaucus 4
Shenzhen 4
Zanjan 4
Almelo 3
Brunico 3
Caracas 3
Central District 3
Eddy 3
Genova 3
Kursk 3
Lanzhou 3
Marietta 3
Nanjing 3
Paris 3
Rijswijk 3
Totale 6.250
Salva come PNG Salva come JPEG
Nome #
High impact drivers in innovation ecosystems: the case of Tecnopuc-Fbk joint lab 286
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 164
Entrepreneurial actions towards the success of exponential technologies 161
Automated Planning and Acting 141
20 Years of Planning via Model Checking: From Theory to Practice 129
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 123
APE: An Acting and Planning Engine 123
Acting and Planning Using Operational Models 112
Design for Adaptation of Distributed Service-Based Systems 110
An Open Platform for Children’s Independent Mobility 105
Prefazione 99
Incremental Composition for Adaptive By-Design Service Based Systems 94
Blended Planning and Acting: Preliminary Approach, Research Challenges 91
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 88
L'impatto dell'AI sulla società 87
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 85
ASTRO: Supporting the Composition and Execution of Web Services 85
Run-Time Monitoring of Instances and Classes of Web Service Composition 85
Strong Planning under Partial Observability 83
MBP: A Model Based Planner 83
Automated composition of web services via planning in asynchronous domains 82
A Framework for Planning with Extended Goals under Partial Observability 80
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 80
A Model Based Decision Procedure for Common Sense Temporal Reasoning 79
Model Checking Early Requirements Specifications in Tropos 78
Automated Composition of Web Services by Planning at the Knowledge Level 78
Planning with Failure 77
MRG: Building planners for real world complex applications 75
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 74
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 74
A System for Multi-Level Reasoning 73
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 72
A Multi-Context Architecture for Formalizing Complex Reasoning 72
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 72
Automated Planning: Theory and Practice 71
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
Interleaving Execution and Planning via Symbolic Model Checking 68
Formal Specification and Development of a Safety-Critical Train Management 68
Tactics: extending the notion of plan 68
Theorem Proving in Technology Transfer: the user`s point of view 67
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 67
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 67
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 66
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 66
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 66
Certification of Translators via Off-line and On-line Proof Logging and Checking 65
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 65
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 64
A Metatheory of a Mechanized Object Theory 64
MRG: un sistema di ragionamento distribuito per applicazioni complesse 64
Automating meta-theory creation and system extension 64
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 63
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 63
Automated Web Service Composition at Work: the Amazon/MPS Case Study 62
Applied Formal Methods - FM-Trends 98 62
JERRY - A System for the Automatic Generation and Execution of Plans for Robotic Devices: The Case Study of the SPIDER Arm 62
Specifying and Analyzing Early Requirements in Tropos 62
Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition 62
Enabling Distributed Knowledge Management: Managerial and Technological Implications 62
Formal Verification of a Railway Interlocking System Using Model Checking 62
MBP: a Model Based Planner 62
Navigation by Combining Reactivity and Planning 61
Autonomous and Adaptive Web Services 61
The actor's view of automated planning and acting: A position paper 61
A System for Multi-Level Mathematical Reasoning 61
Agree or Change! Making Services Evolve 61
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 61
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices 60
Planning and Monitoring Web Service Composition 60
Plan Validation for Extended Goals under Partial Observability (preliminary report) 60
A Metatheory of a Mechnized Object Theory 60
Visual Representation of Natural Language Scene Descriptions 60
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 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
Biblioteca elettronica e biblioteca virtuale 59
A Dynamic Logic for Acting, Sensing and Planning 59
Program Tactics and Logic Tactics 59
A knowledge based system for automatic 3D scene generation 59
A planning language and a semantics for real world autonomous agents 59
Automated Composition of Web Services by Planning in Asynchronous Domains 59
Program Tactics and Logic Tactics 58
A Logic for Acting, Sensing and Planning 58
Automated Composition of Semantic Web Services into Executable Processes 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
Automated Web Service Composition by On-The-Fly Belief Space Search 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
Online Learning of Action Models for PDDL Planning 57
Totale 7.729
Salva come PNG Salva come JPEG
Categoria #
all - tutte 52.980
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 52.980
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201979 0 0 0 0 0 0 0 0 0 0 56 23
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.264 166 93 199 78 84 111 61 194 46 228 4 0
Totale 10.715