IRIS Institutional Research Information System

Traverso, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.906
EU - Europa 9.804
AS - Asia 4.914
SA - Sud America 1.218
AF - Africa 122
Continente sconosciuto - Info sul continente non disponibili 32
OC - Oceania 23
AN - Antartide 1
Totale 26.020
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.643
RU - Federazione Russa 5.116
SG - Singapore 1.741
DE - Germania 1.134
BR - Brasile 1.030
CN - Cina 927
HK - Hong Kong 796
SE - Svezia 656
VN - Vietnam 645
UA - Ucraina 548
IT - Italia 537
FI - Finlandia 421
FR - Francia 392
GB - Regno Unito 322
IN - India 316
NL - Olanda 200
IE - Irlanda 164
CA - Canada 144
MX - Messico 84
BD - Bangladesh 68
BE - Belgio 64
JP - Giappone 64
AR - Argentina 61
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
VE - Venezuela 24
IR - Iran 23
LB - Libano 23
PK - Pakistan 22
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
EE - Estonia 8
NP - Nepal 8
UY - Uruguay 8
AE - Emirati Arabi Uniti 7
DZ - Algeria 7
KZ - Kazakistan 7
CH - Svizzera 6
GE - Georgia 6
HN - Honduras 6
JM - Giamaica 6
JO - Giordania 6
NO - Norvegia 6
BO - Bolivia 5
CI - Costa d'Avorio 5
DK - Danimarca 5
AL - Albania 4
BB - Barbados 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
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
OM - Oman 2
AG - Antigua e Barbuda 1
AQ - Antartide 1
BH - Bahrain 1
Totale 25.998
Salva come PNG Salva come JPEG
Città #
Chandler 1.225
Jacksonville 1.085
San Jose 1.079
Singapore 911
Hong Kong 757
Ashburn 533
Dallas 505
Council Bluffs 479
Los Angeles 441
Moscow 401
Wilmington 318
Beijing 278
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 118
Trento 103
São Paulo 100
Hanoi 99
New York 96
Houston 78
Seattle 76
Munich 74
Fuzhou 70
Guangzhou 66
Milan 66
Phoenix 59
Brussels 58
Tokyo 54
Pune 49
Santa Clara 47
Frankfurt am Main 45
Redwood City 44
Toronto 43
Verona 43
Da Nang 35
Rio de Janeiro 35
Rome 35
Mexico City 32
Montreal 32
Orem 32
Augusta 31
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
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
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.781
Salva come PNG Salva come JPEG
Nome #
Prefazione 423
High impact drivers in innovation ecosystems: the case of Tecnopuc-Fbk joint lab 415
20 Years of Planning via Model Checking: From Theory to Practice 278
Proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence 267
Fra Pubblico e Privato: Sistemi Digitali Simbiotici per la Persona 263
Entrepreneurial actions towards the success of exponential technologies 260
WEBIST 2016 Proceedings of the 12th International Conference on Web Information Systems and Technologies 249
A Framework for Planning with Extended Goals under Partial Observability 245
Automated Planning and Acting 245
An Open Platform for Children’s Independent Mobility 237
A Model Based Decision Procedure for Common Sense Temporal Reasoning 228
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 222
Service-Oriented Computing: A Research Roadmap 218
ASTRO: Supporting the Composition and Execution of Web Services 211
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 211
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 208
Web Information Systems and Technologiesm, 13th International Conference, WEBIST 2017 206
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 205
APE: An Acting and Planning Engine 205
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 204
Design for Adaptation of Distributed Service-Based Systems 204
Incremental Composition for Adaptive By-Design Service Based Systems 203
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 202
A System for Multi-Level Reasoning 200
Automated composition of web services via planning in asynchronous domains 198
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 197
Model Checking Early Requirements Specifications in Tropos 196
Run-Time Monitoring of Instances and Classes of Web Service Composition 194
Automated Composition of Web Services by Planning at the Knowledge Level 192
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 189
MBP: A Model Based Planner 188
A planning language and a semantics for real world autonomous agents 183
L'impatto dell'AI sulla società 183
Acting and Planning Using Operational Models 182
A knowledge based system for automatic 3D scene generation 179
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 177
A Metatheory of a Mechnized Object Theory 177
Blended Planning and Acting: Preliminary Approach, Research Challenges 177
Strong Planning under Partial Observability 176
Run-Time Monitoring of the Execution of Plans for Web Service Composition 175
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 175
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 174
A Multi-Context Architecture for Formalizing Complex Reasoning 174
A Logic for Acting, Sensing and Planning 172
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 172
Enabling Distributed Knowledge Management: Managerial and Technological Implications 170
A Metatheory of a Mechanized Object Theory 170
A Dynamic Logic for Acting, Sensing and Planning 169
Certification of Translators via Off-line and On-line Proof Logging and Checking 169
Formal Specification and Development of a Safety-Critical Train Management 169
MRG: Building planners for real world complex applications 167
Automated Web Service Composition by On-The-Fly Belief Space Search 167
Online Learning of Reusable Abstract Models for Object Goal Navigation 166
Online Learning of Action Models for PDDL Planning 166
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 165
A System for Multi-Level Mathematical Reasoning 165
Biblioteca elettronica e biblioteca virtuale 163
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 163
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 163
Automated Composition of Web Services by Planning in Asynchronous Domains 161
JERRY - A System for the Automatic Generation and Execution of Plans for Robotic Devices: The Case Study of the SPIDER Arm 159
A three level architecture for the modular specification of knowledge and reasoning strategies 158
Autonomous and Adaptive Web Services 156
A Demonstration of Refinement Acting, Planning and Learning System Using Operational Models 156
Online Learning of Action Models for PDDL Planning 156
MBP: a Model Based Planner 155
Automated Planning: Theory and Practice 153
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices 152
Mechanized Result Verification: an Industrial Application 152
Specifying and Analyzing Early Requirements in Tropos 152
Tactics: extending the notion of plan 151
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 150
The actor's view of automated planning and acting: A position paper 150
An Iterative Approach for the Process-level Composition of Web Services 150
Automated Composition of Semantic Web Services into Executable Processes 149
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 149
Beyond the single planning paradigm: introspective planning 148
MRG: un sistema di ragionamento distribuito per applicazioni complesse 148
Acting, Planning, and Learning 147
Planning with Failure 147
Automated Synthesis of Composite BPEL4WS Web Services 146
On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces 146
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 144
Formal Verification of a Railway Interlocking System Using Model Checking 142
Theorem Proving in Technology Transfer: the user`s point of view 141
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 141
Automated Web Service Composition at Work: the Amazon/MPS Case Study 140
Program Tactics and Logic Tactics 140
IA e i Big Data sanitari, rilevazione degli esordi e diffusione dell'epidemia 140
Visual Representation of Natural Language Scene Descriptions 138
An IPC Track on Deliberative Acting: Moving the competition ahead towards more relevant scientific challenges 138
Flexible Planning by Integrating Multilevel Reasoning 138
Program Tactics and Logic Tactics 137
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 137
Navigation by Combining Reactivity and Planning 137
Planning for Learning Object Properties 136
Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition 136
Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 136
Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002) 134
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 134
Totale 17.951
Salva come PNG Salva come JPEG
Categoria #
all - tutte 110.663
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 110.663
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021304 0 0 0 0 0 0 0 0 0 0 0 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.846 445 587 953 692 449 425 1.506 3.869 666 576 602 76
Totale 26.198