IRIS Institutional Research Information System

Traverso, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 9.786
NA - Nord America 9.233
AS - Asia 4.863
SA - Sud America 1.216
AF - Africa 122
Continente sconosciuto - Info sul continente non disponibili 32
OC - Oceania 23
AN - Antartide 1
Totale 25.276
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.979
RU - Federazione Russa 5.116
SG - Singapore 1.718
DE - Germania 1.134
BR - Brasile 1.030
CN - Cina 903
HK - Hong Kong 794
SE - Svezia 656
VN - Vietnam 644
UA - Ucraina 548
IT - Italia 523
FI - Finlandia 421
FR - Francia 392
GB - Regno Unito 322
IN - India 316
NL - Olanda 200
IE - Irlanda 164
CA - Canada 137
MX - Messico 84
BD - Bangladesh 68
BE - Belgio 64
JP - Giappone 64
AR - Argentina 60
IQ - Iraq 56
IL - Israele 45
ZA - Sudafrica 45
ES - Italia 43
TR - Turchia 43
HU - Ungheria 41
PL - Polonia 36
EU - Europa 31
LT - Lituania 26
CO - Colombia 25
IR - Iran 23
LB - Libano 23
VE - Venezuela 23
PK - Pakistan 21
EC - Ecuador 20
ID - Indonesia 20
AU - Australia 19
MA - Marocco 19
PY - Paraguay 19
UZ - Uzbekistan 19
AT - Austria 18
PE - Perù 16
SI - Slovenia 16
TN - Tunisia 15
SA - Arabia Saudita 14
AZ - Azerbaigian 11
EG - Egitto 10
CL - Cile 9
KE - Kenya 9
MY - Malesia 9
PH - Filippine 9
RO - Romania 9
CZ - Repubblica Ceca 8
NP - Nepal 8
UY - Uruguay 8
AE - Emirati Arabi Uniti 7
DZ - Algeria 7
KZ - Kazakistan 7
CH - Svizzera 6
EE - Estonia 6
GE - Georgia 6
JM - Giamaica 6
JO - Giordania 6
NO - Norvegia 6
BO - Bolivia 5
CI - Costa d'Avorio 5
DK - Danimarca 5
HN - Honduras 5
AL - Albania 4
BB - Barbados 4
DO - Repubblica Dominicana 4
KR - Corea 4
LK - Sri Lanka 4
TT - Trinidad e Tobago 4
BG - Bulgaria 3
BN - Brunei Darussalam 3
ET - Etiopia 3
NZ - Nuova Zelanda 3
PS - Palestinian Territory 3
RS - Serbia 3
SC - Seychelles 3
TH - Thailandia 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
CR - Costa Rica 2
GA - Gabon 2
GD - Grenada 2
GR - Grecia 2
HR - Croazia 2
IS - Islanda 2
KH - Cambogia 2
LV - Lettonia 2
MD - Moldavia 2
OM - Oman 2
AG - Antigua e Barbuda 1
AQ - Antartide 1
BH - Bahrain 1
Totale 25.255
Salva come PNG Salva come JPEG
Città #
Chandler 1.225
Jacksonville 1.085
San Jose 984
Singapore 910
Hong Kong 756
Ashburn 530
Dallas 496
Los Angeles 436
Moscow 401
Wilmington 318
Beijing 274
Boardman 267
Helsinki 255
The Dalles 228
Ann Arbor 214
Dong Ket 182
Hefei 180
Ho Chi Minh City 165
Kronberg 164
Dublin 163
Dearborn 147
Lauterbourg 144
Woodbridge 137
Brooklyn 118
Trento 103
São Paulo 100
Hanoi 99
New York 90
Houston 78
Seattle 76
Munich 74
Fuzhou 69
Guangzhou 65
Milan 65
Phoenix 59
Brussels 58
Tokyo 54
Pune 49
Frankfurt am Main 45
Redwood City 44
Santa Clara 43
Toronto 43
Verona 43
Rio de Janeiro 35
Da Nang 34
Mexico City 32
Orem 32
Augusta 31
Montreal 31
Rome 31
Council Bluffs 30
London 30
Des Moines 29
Denver 28
Warsaw 28
Ottawa 27
Brasília 25
Johannesburg 25
Nuremberg 25
Shanghai 25
Falkenstein 24
Miami 24
Atlanta 23
Boston 23
Chennai 23
Stockholm 23
Campinas 22
Manchester 22
Norwalk 21
Porto Alegre 21
Chicago 20
Turku 20
Budapest 19
San Mateo 19
Belo Horizonte 17
Mountain View 17
San Francisco 17
Tashkent 17
Fremont 16
Baghdad 15
Dhaka 15
Brescia 14
Falls Church 14
Haiphong 14
Poplar 14
Strasbourg 14
Tianjin 14
Amsterdam 13
Ankara 13
Hillsboro 13
Salvador 13
Curitiba 12
Fairfield 12
Ljubljana 12
Mumbai 12
Tappahannock 12
Hải Dương 11
Leawood 11
São Gonçalo 11
Arequipa 10
Totale 12.191
Salva come PNG Salva come JPEG
Nome #
Prefazione 419
High impact drivers in innovation ecosystems: the case of Tecnopuc-Fbk joint lab 407
20 Years of Planning via Model Checking: From Theory to Practice 273
Proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence 264
Fra Pubblico e Privato: Sistemi Digitali Simbiotici per la Persona 259
Entrepreneurial actions towards the success of exponential technologies 258
WEBIST 2016 Proceedings of the 12th International Conference on Web Information Systems and Technologies 246
A Framework for Planning with Extended Goals under Partial Observability 239
Automated Planning and Acting 237
An Open Platform for Children’s Independent Mobility 231
A Model Based Decision Procedure for Common Sense Temporal Reasoning 224
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 217
Service-Oriented Computing: A Research Roadmap 207
ASTRO: Supporting the Composition and Execution of Web Services 206
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 206
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 203
APE: An Acting and Planning Engine 203
Web Information Systems and Technologiesm, 13th International Conference, WEBIST 2017 201
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 200
Design for Adaptation of Distributed Service-Based Systems 200
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 199
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 198
Incremental Composition for Adaptive By-Design Service Based Systems 198
A System for Multi-Level Reasoning 197
Automated composition of web services via planning in asynchronous domains 194
Model Checking Early Requirements Specifications in Tropos 192
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 192
Run-Time Monitoring of Instances and Classes of Web Service Composition 191
Automated Composition of Web Services by Planning at the Knowledge Level 189
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 185
MBP: A Model Based Planner 183
L'impatto dell'AI sulla società 179
A planning language and a semantics for real world autonomous agents 178
Acting and Planning Using Operational Models 178
A knowledge based system for automatic 3D scene generation 175
Blended Planning and Acting: Preliminary Approach, Research Challenges 174
A Metatheory of a Mechnized Object Theory 172
Strong Planning under Partial Observability 172
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 170
A Multi-Context Architecture for Formalizing Complex Reasoning 170
Run-Time Monitoring of the Execution of Plans for Web Service Composition 170
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 170
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 169
A Logic for Acting, Sensing and Planning 169
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 168
A Metatheory of a Mechanized Object Theory 167
Enabling Distributed Knowledge Management: Managerial and Technological Implications 166
Certification of Translators via Off-line and On-line Proof Logging and Checking 165
Automated Web Service Composition by On-The-Fly Belief Space Search 165
A Dynamic Logic for Acting, Sensing and Planning 164
Formal Specification and Development of a Safety-Critical Train Management 164
MRG: Building planners for real world complex applications 164
Online Learning of Reusable Abstract Models for Object Goal Navigation 163
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 162
A System for Multi-Level Mathematical Reasoning 162
Online Learning of Action Models for PDDL Planning 161
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 160
Biblioteca elettronica e biblioteca virtuale 159
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 159
Automated Composition of Web Services by Planning in Asynchronous Domains 159
JERRY - A System for the Automatic Generation and Execution of Plans for Robotic Devices: The Case Study of the SPIDER Arm 155
A three level architecture for the modular specification of knowledge and reasoning strategies 155
Autonomous and Adaptive Web Services 153
Online Learning of Action Models for PDDL Planning 152
MBP: a Model Based Planner 151
A Demonstration of Refinement Acting, Planning and Learning System Using Operational Models 150
Specifying and Analyzing Early Requirements in Tropos 148
Automated Planning: Theory and Practice 148
Tactics: extending the notion of plan 148
Mechanized Result Verification: an Industrial Application 147
Beyond the single planning paradigm: introspective planning 147
The actor's view of automated planning and acting: A position paper 146
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 145
Automated Composition of Semantic Web Services into Executable Processes 145
MRG: un sistema di ragionamento distribuito per applicazioni complesse 145
Planning with Failure 144
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 144
On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces 143
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices 142
Automated Synthesis of Composite BPEL4WS Web Services 142
An Iterative Approach for the Process-level Composition of Web Services 141
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 139
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 139
Theorem Proving in Technology Transfer: the user`s point of view 138
Automated Web Service Composition at Work: the Amazon/MPS Case Study 138
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 136
IA e i Big Data sanitari, rilevazione degli esordi e diffusione dell'epidemia 136
Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition 135
An IPC Track on Deliberative Acting: Moving the competition ahead towards more relevant scientific challenges 135
Visual Representation of Natural Language Scene Descriptions 134
Formal Verification of a Railway Interlocking System Using Model Checking 134
Flexible Planning by Integrating Multilevel Reasoning 134
Program Tactics and Logic Tactics 133
Navigation by Combining Reactivity and Planning 133
Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002) 133
Program Tactics and Logic Tactics 132
Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 131
La deduzione automatica 130
Service-Oriented Computing: State of the Art and Research Challenges 129
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 129
Totale 17.511
Salva come PNG Salva come JPEG
Categoria #
all - tutte 105.768
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 105.768
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021801 0 0 0 0 0 0 0 0 0 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.487 37 57 344 105 316 52 172 280 1.569 597 630 328
2025/202610.098 445 587 953 692 449 425 1.506 3.869 666 506 0 0
Totale 25.450