IRIS Institutional Research Information System

Traverso, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.617
EU - Europa 9.845
AS - Asia 4.923
SA - Sud America 1.231
Continente sconosciuto - Info sul continente non disponibili 210
AF - Africa 122
OC - Oceania 23
AN - Antartide 1
Totale 26.972
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.341
RU - Federazione Russa 5.116
SG - Singapore 1.743
DE - Germania 1.137
BR - Brasile 1.038
CN - Cina 931
HK - Hong Kong 796
SE - Svezia 680
VN - Vietnam 645
UA - Ucraina 550
IT - Italia 547
FI - Finlandia 421
FR - Francia 392
GB - Regno Unito 322
IN - India 316
NL - Olanda 200
IE - Irlanda 164
CA - Canada 151
MX - Messico 85
BD - Bangladesh 68
BE - Belgio 64
JP - Giappone 64
AR - Argentina 63
IQ - Iraq 56
ES - Italia 45
IL - Israele 45
ZA - Sudafrica 45
TR - Turchia 43
HU - Ungheria 41
PL - Polonia 36
EU - Europa 31
CO - Colombia 26
LT - Lituania 26
VE - Venezuela 25
IR - Iran 23
LB - Libano 23
ID - Indonesia 22
PK - Pakistan 22
EC - Ecuador 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
CL - Cile 10
EG - Egitto 10
MY - Malesia 10
KE - Kenya 9
PH - Filippine 9
RO - Romania 9
CZ - Repubblica Ceca 8
EE - Estonia 8
NP - Nepal 8
UY - Uruguay 8
AE - Emirati Arabi Uniti 7
DZ - Algeria 7
JM - Giamaica 7
KZ - Kazakistan 7
CH - Svizzera 6
GE - Georgia 6
HN - Honduras 6
JO - Giordania 6
NO - Norvegia 6
BB - Barbados 5
BO - Bolivia 5
CI - Costa d'Avorio 5
DK - Danimarca 5
AL - Albania 4
DO - Repubblica Dominicana 4
KR - Corea 4
LK - Sri Lanka 4
MD - Moldavia 4
TT - Trinidad e Tobago 4
BG - Bulgaria 3
BN - Brunei Darussalam 3
CR - Costa Rica 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
GA - Gabon 2
GD - Grenada 2
GR - Grecia 2
HR - Croazia 2
IS - Islanda 2
KH - Cambogia 2
LV - Lettonia 2
OM - Oman 2
PR - Porto Rico 2
SV - El Salvador 2
AG - Antigua e Barbuda 1
Totale 26.772
Salva come PNG Salva come JPEG
Città #
Chandler 1.225
Council Bluffs 1.096
Jacksonville 1.085
San Jose 1.084
Singapore 913
Hong Kong 757
Ashburn 541
Dallas 507
Los Angeles 444
Moscow 401
Wilmington 318
Beijing 281
Boardman 269
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 119
Trento 103
São Paulo 100
Hanoi 99
New York 97
Houston 78
Seattle 76
Munich 74
Fuzhou 70
Phoenix 70
Milan 67
Guangzhou 66
Brussels 58
Santa Clara 56
Tokyo 54
Pune 49
Frankfurt am Main 46
Redwood City 44
Toronto 43
Verona 43
Rome 36
Da Nang 35
Rio de Janeiro 35
Mexico City 33
Montreal 32
Orem 32
Augusta 31
London 30
Des Moines 29
Denver 28
Ottawa 28
Warsaw 28
Brasília 25
Campinas 25
Johannesburg 25
Nuremberg 25
Shanghai 25
Atlanta 24
Falkenstein 24
Miami 24
Boston 23
Chennai 23
Stockholm 23
Chicago 22
Manchester 22
Norwalk 21
Porto Alegre 21
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
Curitiba 13
Hillsboro 13
Salvador 13
Fairfield 12
Ljubljana 12
Mumbai 12
Tappahannock 12
Hamburg 11
Hải Dương 11
Leawood 11
São Gonçalo 11
Totale 13.454
Salva come PNG Salva come JPEG
Nome #
Prefazione 426
High impact drivers in innovation ecosystems: the case of Tecnopuc-Fbk joint lab 419
20 Years of Planning via Model Checking: From Theory to Practice 283
Proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence 272
Fra Pubblico e Privato: Sistemi Digitali Simbiotici per la Persona 269
Entrepreneurial actions towards the success of exponential technologies 264
WEBIST 2016 Proceedings of the 12th International Conference on Web Information Systems and Technologies 252
A Framework for Planning with Extended Goals under Partial Observability 251
Automated Planning and Acting 247
An Open Platform for Children’s Independent Mobility 242
A Model Based Decision Procedure for Common Sense Temporal Reasoning 234
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 227
Service-Oriented Computing: A Research Roadmap 225
ASTRO: Supporting the Composition and Execution of Web Services 216
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 214
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 213
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 211
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 210
Web Information Systems and Technologiesm, 13th International Conference, WEBIST 2017 209
APE: An Acting and Planning Engine 209
Design for Adaptation of Distributed Service-Based Systems 209
Incremental Composition for Adaptive By-Design Service Based Systems 208
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 207
A System for Multi-Level Reasoning 206
Automated composition of web services via planning in asynchronous domains 204
Model Checking Early Requirements Specifications in Tropos 202
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 202
Run-Time Monitoring of Instances and Classes of Web Service Composition 198
Automated Composition of Web Services by Planning at the Knowledge Level 197
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 194
MBP: A Model Based Planner 191
L'impatto dell'AI sulla società 188
A planning language and a semantics for real world autonomous agents 187
Acting and Planning Using Operational Models 186
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 185
A knowledge based system for automatic 3D scene generation 183
A Metatheory of a Mechnized Object Theory 181
Strong Planning under Partial Observability 181
Blended Planning and Acting: Preliminary Approach, Research Challenges 181
Run-Time Monitoring of the Execution of Plans for Web Service Composition 180
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 179
A Multi-Context Architecture for Formalizing Complex Reasoning 179
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 178
A Logic for Acting, Sensing and Planning 177
Enabling Distributed Knowledge Management: Managerial and Technological Implications 177
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 177
Certification of Translators via Off-line and On-line Proof Logging and Checking 174
A Metatheory of a Mechanized Object Theory 174
A Dynamic Logic for Acting, Sensing and Planning 173
Automated Web Service Composition by On-The-Fly Belief Space Search 173
Formal Specification and Development of a Safety-Critical Train Management 172
MRG: Building planners for real world complex applications 172
A System for Multi-Level Mathematical Reasoning 172
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 171
Online Learning of Reusable Abstract Models for Object Goal Navigation 170
Biblioteca elettronica e biblioteca virtuale 170
Online Learning of Action Models for PDDL Planning 170
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 169
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 168
Automated Composition of Web Services by Planning in Asynchronous Domains 168
JERRY - A System for the Automatic Generation and Execution of Plans for Robotic Devices: The Case Study of the SPIDER Arm 163
A three level architecture for the modular specification of knowledge and reasoning strategies 161
Autonomous and Adaptive Web Services 161
Automated Planning: Theory and Practice 160
MBP: a Model Based Planner 160
A Demonstration of Refinement Acting, Planning and Learning System Using Operational Models 160
Online Learning of Action Models for PDDL Planning 160
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices 156
An Iterative Approach for the Process-level Composition of Web Services 156
Mechanized Result Verification: an Industrial Application 155
Specifying and Analyzing Early Requirements in Tropos 155
The actor's view of automated planning and acting: A position paper 155
Tactics: extending the notion of plan 155
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 154
Acting, Planning, and Learning 153
Automated Composition of Semantic Web Services into Executable Processes 153
MRG: un sistema di ragionamento distribuito per applicazioni complesse 153
Beyond the single planning paradigm: introspective planning 152
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 152
Automated Synthesis of Composite BPEL4WS Web Services 151
On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces 150
Planning with Failure 149
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 148
Theorem Proving in Technology Transfer: the user`s point of view 146
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 146
Automated Web Service Composition at Work: the Amazon/MPS Case Study 145
Program Tactics and Logic Tactics 145
Formal Verification of a Railway Interlocking System Using Model Checking 145
IA e i Big Data sanitari, rilevazione degli esordi e diffusione dell'epidemia 145
Visual Representation of Natural Language Scene Descriptions 143
An IPC Track on Deliberative Acting: Moving the competition ahead towards more relevant scientific challenges 143
Program Tactics and Logic Tactics 142
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 142
Navigation by Combining Reactivity and Planning 142
Service-Oriented Computing: State of the Art and Research Challenges 142
Planning for Learning Object Properties 141
Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition 140
Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 140
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 140
Flexible Planning by Integrating Multilevel Reasoning 140
Totale 18.425
Salva come PNG Salva come JPEG
Categoria #
all - tutte 114.788
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 114.788
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022933 0 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.886 445 587 953 692 449 425 1.506 3.869 666 576 602 116
2026/2027734 485 249 0 0 0 0 0 0 0 0 0 0
Totale 26.972