IRIS Institutional Research Information System

Traverso, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.362
EU - Europa 9.966
AS - Asia 4.957
SA - Sud America 1.237
Continente sconosciuto - Info sul continente non disponibili 214
AF - Africa 143
OC - Oceania 23
AN - Antartide 1
Totale 28.903
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.996
RU - Federazione Russa 5.122
SG - Singapore 1.749
DE - Germania 1.159
BR - Brasile 1.041
CN - Cina 932
HK - Hong Kong 807
SE - Svezia 705
VN - Vietnam 648
IT - Italia 594
UA - Ucraina 552
FI - Finlandia 421
FR - Francia 396
GB - Regno Unito 333
IN - India 316
NL - Olanda 200
CA - Canada 188
IE - Irlanda 164
MX - Messico 85
JP - Giappone 69
BD - Bangladesh 68
BE - Belgio 64
AR - Argentina 63
IQ - Iraq 56
IL - Israele 51
ES - Italia 45
ZA - Sudafrica 45
TR - Turchia 43
HU - Ungheria 41
PL - Polonia 36
EU - Europa 31
CO - Colombia 27
LT - Lituania 26
VE - Venezuela 26
SC - Seychelles 24
ID - Indonesia 23
IR - Iran 23
LB - Libano 23
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
SV - El Salvador 14
TT - Trinidad e Tobago 13
AZ - Azerbaigian 11
PR - Porto Rico 11
CL - Cile 10
EG - Egitto 10
HN - Honduras 10
JM - Giamaica 10
MY - Malesia 10
KE - Kenya 9
PH - Filippine 9
RO - Romania 9
AE - Emirati Arabi Uniti 8
CR - Costa Rica 8
CZ - Repubblica Ceca 8
EE - Estonia 8
NP - Nepal 8
UY - Uruguay 8
CH - Svizzera 7
DK - Danimarca 7
DZ - Algeria 7
KZ - Kazakistan 7
BB - Barbados 6
GE - Georgia 6
GT - Guatemala 6
JO - Giordania 6
NO - Norvegia 6
BO - Bolivia 5
CI - Costa d'Avorio 5
AL - Albania 4
CW - ???statistics.table.value.countryCode.CW??? 4
DO - Repubblica Dominicana 4
KR - Corea 4
LK - Sri Lanka 4
MD - Moldavia 4
NI - Nicaragua 4
BA - Bosnia-Erzegovina 3
BG - Bulgaria 3
BN - Brunei Darussalam 3
ET - Etiopia 3
NZ - Nuova Zelanda 3
PS - Palestinian Territory 3
RS - Serbia 3
TH - Thailandia 3
AM - Armenia 2
GA - Gabon 2
GD - Grenada 2
GP - Guadalupe 2
GR - Grecia 2
HR - Croazia 2
IS - Islanda 2
Totale 28.697
Salva come PNG Salva come JPEG
Città #
Chandler 1.225
San Jose 1.215
Council Bluffs 1.124
Jacksonville 1.089
Singapore 917
Hong Kong 761
Ashburn 575
Dallas 526
Los Angeles 481
Moscow 401
Wilmington 322
Beijing 281
Boardman 270
Helsinki 255
The Dalles 228
Ann Arbor 214
Dong Ket 182
Hefei 180
Ho Chi Minh City 165
Dublin 164
Kronberg 164
New York 154
Dearborn 147
Lauterbourg 144
Woodbridge 137
Brooklyn 132
Trento 108
São Paulo 102
Hanoi 101
Munich 91
Phoenix 89
Houston 88
Seattle 83
Milan 75
Santa Clara 73
Fuzhou 70
Buffalo 68
Guangzhou 66
North Easton 66
Tokyo 59
Brussels 58
Pune 49
Toronto 47
Frankfurt am Main 46
Miami 44
Redwood City 44
Atlanta 43
Verona 43
Chicago 40
Rome 40
Denver 36
Montreal 36
Da Nang 35
Garland 35
Rio de Janeiro 35
Mexico City 33
Orem 32
Augusta 31
London 31
Des Moines 29
Ottawa 28
Warsaw 28
Honolulu 27
Boston 25
Brasília 25
Campinas 25
Johannesburg 25
Norwalk 25
Nuremberg 25
Shanghai 25
Falkenstein 24
Chennai 23
Manchester 23
San Francisco 23
Stockholm 23
Porto Alegre 21
Turku 20
Budapest 19
San Mateo 19
Mountain View 18
Belo Horizonte 17
Tashkent 17
Brescia 16
Fremont 16
Hillsboro 16
Baghdad 15
Dhaka 15
Newark 15
Amsterdam 14
Falls Church 14
Haiphong 14
Poplar 14
Strasbourg 14
The Bronx 14
Tianjin 14
Ankara 13
Curitiba 13
Fairfield 13
Hamburg 13
Las Vegas 13
Totale 14.140
Salva come PNG Salva come JPEG
Nome #
Prefazione 433
High impact drivers in innovation ecosystems: the case of Tecnopuc-Fbk joint lab 431
20 Years of Planning via Model Checking: From Theory to Practice 298
Fra Pubblico e Privato: Sistemi Digitali Simbiotici per la Persona 289
Proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence 283
Entrepreneurial actions towards the success of exponential technologies 275
WEBIST 2016 Proceedings of the 12th International Conference on Web Information Systems and Technologies 266
A Framework for Planning with Extended Goals under Partial Observability 262
Automated Planning and Acting 256
A Model Based Decision Procedure for Common Sense Temporal Reasoning 254
An Open Platform for Children’s Independent Mobility 254
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 238
Service-Oriented Computing: A Research Roadmap 235
ASTRO: Supporting the Composition and Execution of Web Services 227
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 224
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 224
Design for Adaptation of Distributed Service-Based Systems 224
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 222
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 221
Incremental Composition for Adaptive By-Design Service Based Systems 221
Web Information Systems and Technologiesm, 13th International Conference, WEBIST 2017 220
APE: An Acting and Planning Engine 219
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 217
Model Checking Early Requirements Specifications in Tropos 215
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 215
A System for Multi-Level Reasoning 214
Automated composition of web services via planning in asynchronous domains 214
Automated Composition of Web Services by Planning at the Knowledge Level 210
Run-Time Monitoring of Instances and Classes of Web Service Composition 209
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 207
L'impatto dell'AI sulla società 206
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 204
MBP: A Model Based Planner 201
A planning language and a semantics for real world autonomous agents 198
A Metatheory of a Mechnized Object Theory 197
A knowledge based system for automatic 3D scene generation 196
Run-Time Monitoring of the Execution of Plans for Web Service Composition 194
Acting and Planning Using Operational Models 194
Strong Planning under Partial Observability 193
Blended Planning and Acting: Preliminary Approach, Research Challenges 193
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 193
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 189
Enabling Distributed Knowledge Management: Managerial and Technological Implications 189
A Multi-Context Architecture for Formalizing Complex Reasoning 189
Automated Web Service Composition by On-The-Fly Belief Space Search 189
A Logic for Acting, Sensing and Planning 187
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 187
Online Learning of Action Models for PDDL Planning 187
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 186
MRG: Building planners for real world complex applications 186
A Dynamic Logic for Acting, Sensing and Planning 185
Certification of Translators via Off-line and On-line Proof Logging and Checking 185
A Metatheory of a Mechanized Object Theory 185
A System for Multi-Level Mathematical Reasoning 185
Biblioteca elettronica e biblioteca virtuale 184
Formal Specification and Development of a Safety-Critical Train Management 184
Online Learning of Reusable Abstract Models for Object Goal Navigation 182
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 180
Automated Composition of Web Services by Planning in Asynchronous Domains 180
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 178
JERRY - A System for the Automatic Generation and Execution of Plans for Robotic Devices: The Case Study of the SPIDER Arm 174
Autonomous and Adaptive Web Services 174
A three level architecture for the modular specification of knowledge and reasoning strategies 173
Beyond the single planning paradigm: introspective planning 172
MBP: a Model Based Planner 172
A Demonstration of Refinement Acting, Planning and Learning System Using Operational Models 171
Acting, Planning, and Learning 170
An Iterative Approach for the Process-level Composition of Web Services 169
The actor's view of automated planning and acting: A position paper 168
Online Learning of Action Models for PDDL Planning 168
Automated Planning: Theory and Practice 167
MRG: un sistema di ragionamento distribuito per applicazioni complesse 167
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 166
Specifying and Analyzing Early Requirements in Tropos 166
Tactics: extending the notion of plan 165
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices 164
Mechanized Result Verification: an Industrial Application 164
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 163
Automated Composition of Semantic Web Services into Executable Processes 162
Automated Synthesis of Composite BPEL4WS Web Services 162
Program Tactics and Logic Tactics 161
Service-Oriented Computing: State of the Art and Research Challenges 161
Automated Web Service Composition at Work: the Amazon/MPS Case Study 159
On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces 159
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 158
Theorem Proving in Technology Transfer: the user`s point of view 157
Planning with Failure 157
Formal Verification of a Railway Interlocking System Using Model Checking 157
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 155
Visual Representation of Natural Language Scene Descriptions 154
Navigation by Combining Reactivity and Planning 154
IA e i Big Data sanitari, rilevazione degli esordi e diffusione dell'epidemia 154
Planning for Learning Object Properties 152
An IPC Track on Deliberative Acting: Moving the competition ahead towards more relevant scientific challenges 152
Flexible Planning by Integrating Multilevel Reasoning 152
Program Tactics and Logic Tactics 151
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 151
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains 150
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 150
Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition 149
Totale 19.613
Salva come PNG Salva come JPEG
Categoria #
all - tutte 122.077
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 122.077
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022809 0 0 0 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/20272.665 485 388 900 892 0 0 0 0 0 0 0 0
Totale 28.903