IRIS Institutional Research Information System

Traverso, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.850
EU - Europa 5.678
AS - Asia 3.723
SA - Sud America 1.058
AF - Africa 79
Continente sconosciuto - Info sul continente non disponibili 31
OC - Oceania 18
AN - Antartide 1
Totale 18.438
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.657
RU - Federazione Russa 1.471
SG - Singapore 1.310
DE - Germania 977
BR - Brasile 927
CN - Cina 754
HK - Hong Kong 750
SE - Svezia 612
UA - Ucraina 543
IT - Italia 489
FI - Finlandia 421
GB - Regno Unito 304
IN - India 291
VN - Vietnam 262
FR - Francia 225
NL - Olanda 195
IE - Irlanda 161
CA - Canada 115
BE - Belgio 61
MX - Messico 60
JP - Giappone 53
IL - Israele 44
AR - Argentina 41
HU - Ungheria 39
TR - Turchia 39
ES - Italia 37
BD - Bangladesh 36
IQ - Iraq 36
PL - Polonia 34
ZA - Sudafrica 34
EU - Europa 31
LT - Lituania 26
IR - Iran 23
LB - Libano 22
EC - Ecuador 18
CO - Colombia 17
MA - Marocco 16
AU - Australia 15
PE - Perù 15
VE - Venezuela 15
SI - Slovenia 14
UZ - Uzbekistan 14
AT - Austria 13
PK - Pakistan 13
PY - Paraguay 11
AZ - Azerbaigian 10
ID - Indonesia 10
RO - Romania 9
SA - Arabia Saudita 9
AE - Emirati Arabi Uniti 7
CH - Svizzera 6
CZ - Repubblica Ceca 6
EG - Egitto 6
KE - Kenya 6
KZ - Kazakistan 6
MY - Malesia 6
NO - Norvegia 6
BO - Bolivia 5
DK - Danimarca 5
EE - Estonia 5
CL - Cile 4
JM - Giamaica 4
NP - Nepal 4
TN - Tunisia 4
UY - Uruguay 4
BB - Barbados 3
CI - Costa d'Avorio 3
DZ - Algeria 3
ET - Etiopia 3
GE - Georgia 3
JO - Giordania 3
KR - Corea 3
LK - Sri Lanka 3
NZ - Nuova Zelanda 3
SC - Seychelles 3
TT - Trinidad e Tobago 3
AL - Albania 2
AM - Armenia 2
BG - Bulgaria 2
BN - Brunei Darussalam 2
DO - Repubblica Dominicana 2
GR - Grecia 2
IS - Islanda 2
LV - Lettonia 2
MD - Moldavia 2
RS - Serbia 2
TH - Thailandia 2
AQ - Antartide 1
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
CR - Costa Rica 1
CY - Cipro 1
DM - Dominica 1
GA - Gabon 1
GD - Grenada 1
GT - Guatemala 1
HR - Croazia 1
KH - Cambogia 1
MN - Mongolia 1
MT - Malta 1
Totale 18.431
Salva come PNG Salva come JPEG
Città #
Chandler 1.225
Jacksonville 1.085
Singapore 816
Hong Kong 719
Dallas 493
Ashburn 428
Los Angeles 421
Moscow 399
Wilmington 318
Boardman 267
Beijing 256
Helsinki 255
Ann Arbor 214
The Dalles 213
Dong Ket 182
Hefei 180
Kronberg 164
Dublin 160
Dearborn 147
Woodbridge 137
Brooklyn 118
Trento 102
São Paulo 94
New York 76
Seattle 76
Houston 75
Munich 73
Fuzhou 69
Milan 62
Guangzhou 60
Brussels 56
Phoenix 55
Pune 49
Tokyo 45
Redwood City 44
Verona 43
Toronto 40
Ho Chi Minh City 34
Santa Clara 34
Rio de Janeiro 32
Mexico City 31
Augusta 30
Des Moines 29
Warsaw 28
London 27
Ottawa 27
Rome 26
Shanghai 25
Falkenstein 24
Miami 24
Montreal 24
Johannesburg 22
Atlanta 21
Brasília 21
Denver 21
Frankfurt am Main 21
Norwalk 21
Boston 20
Campinas 20
Chennai 20
Turku 20
Hanoi 19
Manchester 19
San Mateo 19
Budapest 18
Nuremberg 18
Porto Alegre 18
Chicago 17
Mountain View 17
San Francisco 17
Belo Horizonte 16
Fremont 16
Stockholm 16
Falls Church 14
Orem 14
Strasbourg 14
Ankara 12
Fairfield 12
Mumbai 12
Poplar 12
Salvador 12
Tappahannock 12
Tashkent 12
Leawood 11
Arequipa 10
Cambridge 10
Curitiba 10
Ljubljana 10
Monmouth Junction 10
Perugia 10
Tianjin 10
Ardabil 9
Baku 9
Brescia 9
Council Bluffs 9
Goiânia 9
Ribeirão Preto 9
Secaucus 9
St Petersburg 9
São Gonçalo 9
Totale 10.316
Salva come PNG Salva come JPEG
Nome #
Prefazione 379
High impact drivers in innovation ecosystems: the case of Tecnopuc-Fbk joint lab 357
Proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence 215
Entrepreneurial actions towards the success of exponential technologies 213
20 Years of Planning via Model Checking: From Theory to Practice 211
Automated Planning and Acting 202
WEBIST 2016 Proceedings of the 12th International Conference on Web Information Systems and Technologies 202
Fra Pubblico e Privato: Sistemi Digitali Simbiotici per la Persona 196
A Framework for Planning with Extended Goals under Partial Observability 177
An Open Platform for Children’s Independent Mobility 170
Service-Oriented Computing: A Research Roadmap 166
APE: An Acting and Planning Engine 165
Web Information Systems and Technologiesm, 13th International Conference, WEBIST 2017 163
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 157
A Model Based Decision Procedure for Common Sense Temporal Reasoning 156
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 156
Incremental Composition for Adaptive By-Design Service Based Systems 154
Acting and Planning Using Operational Models 150
Design for Adaptation of Distributed Service-Based Systems 150
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 149
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 148
ASTRO: Supporting the Composition and Execution of Web Services 147
A System for Multi-Level Reasoning 144
Run-Time Monitoring of Instances and Classes of Web Service Composition 144
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 143
Model Checking Early Requirements Specifications in Tropos 140
Automated Composition of Web Services by Planning at the Knowledge Level 140
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 140
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 138
Automated composition of web services via planning in asynchronous domains 137
L'impatto dell'AI sulla società 136
MBP: A Model Based Planner 135
Blended Planning and Acting: Preliminary Approach, Research Challenges 134
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 133
A Metatheory of a Mechnized Object Theory 130
A Multi-Context Architecture for Formalizing Complex Reasoning 127
A Metatheory of a Mechanized Object Theory 127
A planning language and a semantics for real world autonomous agents 127
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 125
Run-Time Monitoring of the Execution of Plans for Web Service Composition 124
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 123
Certification of Translators via Off-line and On-line Proof Logging and Checking 122
Strong Planning under Partial Observability 122
A knowledge based system for automatic 3D scene generation 122
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 121
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 120
Automated Planning: Theory and Practice 120
MRG: Building planners for real world complex applications 118
Automated Web Service Composition by On-The-Fly Belief Space Search 117
Enabling Distributed Knowledge Management: Managerial and Technological Implications 116
A System for Multi-Level Mathematical Reasoning 116
A Logic for Acting, Sensing and Planning 115
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 114
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 112
A three level architecture for the modular specification of knowledge and reasoning strategies 112
Formal Specification and Development of a Safety-Critical Train Management 111
Tactics: extending the notion of plan 111
Online Learning of Action Models for PDDL Planning 111
A Dynamic Logic for Acting, Sensing and Planning 110
Automated Composition of Web Services by Planning in Asynchronous Domains 110
The actor's view of automated planning and acting: A position paper 109
Biblioteca elettronica e biblioteca virtuale 108
Planning with Failure 107
Online Learning of Action Models for PDDL Planning 107
JERRY - A System for the Automatic Generation and Execution of Plans for Robotic Devices: The Case Study of the SPIDER Arm 106
Autonomous and Adaptive Web Services 106
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 105
An IPC Track on Deliberative Acting: Moving the competition ahead towards more relevant scientific challenges 104
MBP: a Model Based Planner 104
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 103
IA e i Big Data sanitari, rilevazione degli esordi e diffusione dell'epidemia 103
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 102
Specifying and Analyzing Early Requirements in Tropos 102
Program Tactics and Logic Tactics 102
Online Learning of Reusable Abstract Models for Object Goal Navigation 101
Automated Composition of Semantic Web Services into Executable Processes 101
Beyond the single planning paradigm: introspective planning 101
Programming Planners with Flexible Architectures 101
Formal Verification of a Railway Interlocking System Using Model Checking 101
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 101
Theorem Proving in Technology Transfer: the user`s point of view 100
Automated Web Service Composition at Work: the Amazon/MPS Case Study 100
Navigation by Combining Reactivity and Planning 99
MRG: un sistema di ragionamento distribuito per applicazioni complesse 99
Flexible Planning by Integrating Multilevel Reasoning 99
Interleaving Execution and Planning via Symbolic Model Checking 98
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 98
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 98
Web Service Discovery at Process-level Based on Semantic Annotation 98
On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces 98
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices 97
Applied Formal Methods - FM-Trends 98 97
Mechanized Result Verification: an Industrial Application 97
Semantic Annotation for Web Service Processes 97
Visual Representation of Natural Language Scene Descriptions 96
Automated Synthesis of Composite BPEL4WS Web Services 96
Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition 96
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 96
La deduzione automatica 96
Automating meta-theory creation and system extension 96
Totale 12.955
Salva come PNG Salva come JPEG
Categoria #
all - tutte 95.517
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 95.517
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.227 0 0 0 0 0 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/20254.487 37 57 344 105 316 52 172 280 1.569 597 630 328
2025/20263.259 445 587 953 692 449 133 0 0 0 0 0 0
Totale 18.611