IRIS Institutional Research Information System

Bertoli, Piergiorgio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.788
NA - Nord America 3.565
AS - Asia 1.875
SA - Sud America 422
AF - Africa 37
Continente sconosciuto - Info sul continente non disponibili 18
OC - Oceania 5
Totale 9.710
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.480
RU - Federazione Russa 2.185
SG - Singapore 763
DE - Germania 419
BR - Brasile 346
CN - Cina 307
SE - Svezia 261
VN - Vietnam 232
UA - Ucraina 216
IN - India 193
HK - Hong Kong 184
FI - Finlandia 156
GB - Regno Unito 119
FR - Francia 102
NL - Olanda 79
IT - Italia 77
IE - Irlanda 65
CA - Canada 50
BE - Belgio 34
AR - Argentina 31
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 14
SA - Arabia Saudita 13
ZA - Sudafrica 12
UZ - Uzbekistan 10
PY - Paraguay 9
EC - Ecuador 8
CO - Colombia 7
ES - Italia 7
IR - Iran 7
ID - Indonesia 6
PH - Filippine 6
PK - Pakistan 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
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
JO - Giordania 2
KG - Kirghizistan 2
MD - Moldavia 2
OM - Oman 2
PS - Palestinian Territory 2
TN - Tunisia 2
TT - Trinidad e Tobago 2
AG - Antigua e Barbuda 1
CG - Congo 1
DK - Danimarca 1
EE - Estonia 1
GD - Grenada 1
GR - Grecia 1
HR - Croazia 1
JM - Giamaica 1
LB - Libano 1
LK - Sri Lanka 1
LV - Lettonia 1
LY - Libia 1
NI - Nicaragua 1
PW - Palau 1
RO - Romania 1
SI - Slovenia 1
TW - Taiwan 1
Totale 9.710
Salva come PNG Salva come JPEG
Città #
Chandler 500
Jacksonville 440
Singapore 396
San Jose 380
Ashburn 234
Hong Kong 182
Moscow 160
Boardman 124
Dallas 123
Wilmington 114
Beijing 95
The Dalles 88
Helsinki 85
Ann Arbor 76
Hefei 66
Dearborn 65
Dublin 64
Dong Ket 62
Kronberg 61
Lauterbourg 56
Ho Chi Minh City 55
Los Angeles 50
New York 50
Hanoi 45
Munich 43
Woodbridge 39
Brooklyn 35
Houston 34
Phoenix 31
Seattle 31
Brussels 30
Tokyo 28
Frankfurt am Main 27
Falls Church 25
Pune 24
Warsaw 24
São Paulo 23
London 19
Orem 18
Santa Clara 18
Council Bluffs 17
Milan 15
Guangzhou 14
Manchester 14
Montreal 14
San Mateo 13
Boston 12
Da Nang 12
Toronto 12
Augusta 11
Denver 11
Nuremberg 11
Shanghai 11
Stockholm 11
Tappahannock 11
Verona 11
Campinas 10
Falkenstein 10
Johannesburg 10
Miami 10
Norwalk 10
Tashkent 10
Mountain View 9
Redwood City 9
Atlanta 8
Des Moines 8
Ottawa 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
Duque de Caxias 4
Fortaleza 4
Goiânia 4
Totale 4.503
Salva come PNG Salva come JPEG
Nome #
A Framework for Planning with Extended Goals under Partial Observability 240
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 226
Modeling and Monitoring Processes Exploiting Semantic Reasoning 213
ASTRO: Supporting the Composition and Execution of Web Services 206
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 203
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 201
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains 198
Continuous Orchestration of Web Services via Planning 196
Automated composition of web services via planning in asynchronous domains 194
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 192
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 190
Automated Composition of Web Services by Planning at the Knowledge Level 189
Conformant Planning via Symbolic Model Checking and Heuristic Search 187
Control Flow Requirements for Automated Service Composition 185
MBP: A Model Based Planner 183
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 177
Safe LTL Assumption-Based Planning 177
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 175
Strong Planning under Partial Observability 172
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 171
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 170
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 170
A Hybridized Planner for Stochastic Domains 169
Modeling and Monitoring Business Process Execution 169
Certification of Translators via Off-line and On-line Proof Logging and Checking 165
Automated Web Service Composition by On-The-Fly Belief Space Search 165
Semantic-Based Process Analysis 162
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 160
Bounded-Resource Reasoning as (Strong or Classical) Planning 159
Automated Composition of Web Services by Planning in Asynchronous Domains 159
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 157
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 156
MBP: a Model Based Planner 151
Planning with Extended Goals and Partial Observability 150
Mechanized Result Verification: an Industrial Application 147
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 145
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 145
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 144
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 142
Automated Synthesis of Composite BPEL4WS Web Services 142
Model-checking memory requirements of resource-bounded reasoners 135
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 134
Design and Verification of Web Services Compositions in the Telecommunication Domain 134
Web Service Composition as Planning Revisited: Between Background Theories and Initial State Uncertainty 132
Specification and Integration of Theorem Provers and Computer Algebra Systems 129
Interleaving Execution and Planning via Symbolic Model Checking 128
Improving Heuristics for Planning and Search in Belief Space 127
Reasoning-based Techniques for Dealing with Incomplete Business Process Execution Traces 127
Planning and Monitoring Web Service Composition 123
Plan Validation for Extended Goals under Partial Observability (preliminary report) 122
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 121
Semantic modeling and analysis of complex data-aware processes and their executions 119
Verifying space and time requirements for resource-bounded agents 119
Planning with Extended Goals and Partial Observability 119
Verifying space and time requirements for resource-bounded agents 116
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking 115
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains 114
WS-GEN: A Tool for the Automated Composition of Semantic Web Services 112
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. 110
The OMRS project: State of the Art 107
Strong Cyclic Planning Under Partial Observability 96
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking 95
Design Verification of a Safety-Critical Embedded Verifier 85
Totale 9.721
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.976
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 39.976
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021277 0 0 0 0 0 0 0 0 0 133 41 103
2021/2022338 14 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.109 150 219 311 312 211 158 660 1.650 261 177 0 0
Totale 9.721