IRIS Institutional Research Information System

Bertoli, Piergiorgio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.076
EU - Europa 3.822
AS - Asia 1.892
SA - Sud America 428
AF - Africa 37
Continente sconosciuto - Info sul continente non disponibili 29
OC - Oceania 5
Totale 10.289
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.983
RU - Federazione Russa 2.185
SG - Singapore 771
DE - Germania 420
BR - Brasile 348
CN - Cina 314
SE - Svezia 286
VN - Vietnam 233
UA - Ucraina 216
IN - India 193
HK - Hong Kong 184
FI - Finlandia 156
GB - Regno Unito 119
FR - Francia 103
IT - Italia 82
NL - Olanda 79
IE - Irlanda 65
CA - Canada 52
BE - Belgio 34
AR - Argentina 33
JP - Giappone 29
PL - Polonia 28
BD - Bangladesh 25
IL - Israele 24
MX - Messico 23
IQ - Iraq 19
TR - Turchia 19
EU - Europa 18
LT - Lituania 15
SA - Arabia Saudita 13
ZA - Sudafrica 12
UZ - Uzbekistan 10
CO - Colombia 9
PY - Paraguay 9
EC - Ecuador 8
ES - Italia 7
IR - Iran 7
PK - Pakistan 7
ID - Indonesia 6
PH - Filippine 6
BO - Bolivia 5
CL - Cile 5
CZ - Repubblica Ceca 5
KE - Kenya 5
MA - Marocco 5
AU - Australia 4
AZ - Azerbaigian 4
UY - Uruguay 4
VE - Venezuela 4
AE - Emirati Arabi Uniti 3
AT - Austria 3
DZ - Algeria 3
GE - Georgia 3
KZ - Kazakistan 3
MD - Moldavia 3
MY - Malesia 3
NP - Nepal 3
PE - Perù 3
PT - Portogallo 3
AL - Albania 2
BA - Bosnia-Erzegovina 2
BB - Barbados 2
BN - Brunei Darussalam 2
CH - Svizzera 2
CI - Costa d'Avorio 2
DO - Repubblica Dominicana 2
EG - Egitto 2
ET - Etiopia 2
GA - Gabon 2
HN - Honduras 2
JM - Giamaica 2
JO - Giordania 2
KG - Kirghizistan 2
NI - Nicaragua 2
OM - Oman 2
PR - Porto Rico 2
PS - Palestinian Territory 2
TN - Tunisia 2
TT - Trinidad e Tobago 2
AG - Antigua e Barbuda 1
CG - Congo 1
CR - Costa Rica 1
DK - Danimarca 1
EE - Estonia 1
GD - Grenada 1
GR - Grecia 1
GT - Guatemala 1
HR - Croazia 1
LB - Libano 1
LK - Sri Lanka 1
LV - Lettonia 1
LY - Libia 1
PW - Palau 1
RO - Romania 1
SI - Slovenia 1
TW - Taiwan 1
Totale 10.278
Salva come PNG Salva come JPEG
Città #
Chandler 500
Jacksonville 442
Council Bluffs 414
San Jose 412
Singapore 396
Ashburn 240
Hong Kong 182
Moscow 160
Boardman 125
Dallas 125
Wilmington 114
Beijing 98
The Dalles 88
Helsinki 85
Ann Arbor 76
Hefei 66
Dearborn 65
Dublin 64
Dong Ket 62
Kronberg 61
Ho Chi Minh City 56
Lauterbourg 56
New York 51
Los Angeles 50
Hanoi 45
Munich 43
Phoenix 40
Woodbridge 39
Brooklyn 35
Houston 34
Seattle 31
Brussels 30
Tokyo 28
Frankfurt am Main 27
Falls Church 25
Pune 24
Warsaw 24
São Paulo 23
London 19
Santa Clara 19
Orem 18
Guangzhou 15
Milan 15
Manchester 14
Montreal 14
San Mateo 13
Boston 12
Da Nang 12
Toronto 12
Augusta 11
Campinas 11
Denver 11
Nuremberg 11
Shanghai 11
Stockholm 11
Tappahannock 11
Verona 11
Falkenstein 10
Johannesburg 10
Miami 10
Norwalk 10
Tashkent 10
Mountain View 9
Ottawa 9
Redwood City 9
Atlanta 8
Des Moines 8
Rio de Janeiro 8
Turku 8
Amsterdam 7
Ankara 7
Biên Hòa 7
Chennai 7
Chicago 7
Fremont 7
Bolzano 6
Jeddah 6
Trento 6
Ardabil 5
Belo Horizonte 5
Brasília 5
Dhaka 5
Haiphong 5
Istanbul 5
Izmir 5
Kharkiv 5
Mexico City 5
Nairobi 5
New Delhi 5
Poplar 5
Rome 5
Strasbourg 5
Tianjin 5
Vancouver 5
West Jordan 5
Baghdad 4
Caxias do Sul 4
Curitiba 4
Duque de Caxias 4
Fortaleza 4
Totale 4.961
Salva come PNG Salva come JPEG
Nome #
A Framework for Planning with Extended Goals under Partial Observability 251
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 235
Modeling and Monitoring Processes Exploiting Semantic Reasoning 226
ASTRO: Supporting the Composition and Execution of Web Services 216
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 213
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 211
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains 207
Continuous Orchestration of Web Services via Planning 206
Automated composition of web services via planning in asynchronous domains 204
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 202
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 201
Conformant Planning via Symbolic Model Checking and Heuristic Search 199
Automated Composition of Web Services by Planning at the Knowledge Level 197
Control Flow Requirements for Automated Service Composition 195
MBP: A Model Based Planner 191
Safe LTL Assumption-Based Planning 189
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 188
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 183
Strong Planning under Partial Observability 181
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 180
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 179
A Hybridized Planner for Stochastic Domains 179
Modeling and Monitoring Business Process Execution 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
Automated Web Service Composition by On-The-Fly Belief Space Search 173
Semantic-Based Process Analysis 172
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 169
Bounded-Resource Reasoning as (Strong or Classical) Planning 168
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 168
Automated Composition of Web Services by Planning in Asynchronous Domains 168
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 166
MBP: a Model Based Planner 160
Planning with Extended Goals and Partial Observability 157
Mechanized Result Verification: an Industrial Application 155
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 154
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 152
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 152
Automated Synthesis of Composite BPEL4WS Web Services 151
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 150
Model-checking memory requirements of resource-bounded reasoners 148
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 143
Design and Verification of Web Services Compositions in the Telecommunication Domain 143
Web Service Composition as Planning Revisited: Between Background Theories and Initial State Uncertainty 140
Improving Heuristics for Planning and Search in Belief Space 139
Specification and Integration of Theorem Provers and Computer Algebra Systems 136
Interleaving Execution and Planning via Symbolic Model Checking 135
Reasoning-based Techniques for Dealing with Incomplete Business Process Execution Traces 135
WS-GEN: A Tool for the Automated Composition of Semantic Web Services 132
Plan Validation for Extended Goals under Partial Observability (preliminary report) 131
Planning and Monitoring Web Service Composition 130
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 130
Semantic modeling and analysis of complex data-aware processes and their executions 127
Planning with Extended Goals and Partial Observability 127
Verifying space and time requirements for resource-bounded agents 123
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking 122
Verifying space and time requirements for resource-bounded agents 122
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains 121
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. 119
The OMRS project: State of the Art 113
Strong Cyclic Planning Under Partial Observability 102
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking 102
Design Verification of a Safety-Critical Embedded Verifier 93
Totale 10.289
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.237
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 43.237
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022324 0 3 3 47 34 16 10 53 22 14 29 93
2022/20231.103 43 76 22 206 65 171 6 66 269 90 63 26
2023/2024583 108 24 67 18 39 37 32 63 12 121 5 57
2024/20251.710 21 36 123 48 26 31 57 106 648 196 259 159
2025/20264.395 150 219 311 312 211 158 660 1.650 261 197 220 46
2026/2027282 173 109 0 0 0 0 0 0 0 0 0 0
Totale 10.289