IRIS Institutional Research Information System

Bertoli, Piergiorgio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.805
EU - Europa 3.792
AS - Asia 1.891
SA - Sud America 423
AF - Africa 37
Continente sconosciuto - Info sul continente non disponibili 18
OC - Oceania 5
Totale 9.971
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.716
RU - Federazione Russa 2.185
SG - Singapore 771
DE - Germania 419
BR - Brasile 346
CN - Cina 313
SE - Svezia 261
VN - Vietnam 233
UA - Ucraina 216
IN - India 193
HK - Hong Kong 184
FI - Finlandia 156
GB - Regno Unito 119
FR - Francia 102
IT - Italia 80
NL - Olanda 79
IE - Irlanda 65
CA - Canada 51
BE - Belgio 34
AR - Argentina 32
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
PY - Paraguay 9
EC - Ecuador 8
CO - Colombia 7
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
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
MD - Moldavia 2
NI - Nicaragua 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
LB - Libano 1
LK - Sri Lanka 1
LV - Lettonia 1
LY - Libia 1
PR - Porto Rico 1
PW - Palau 1
RO - Romania 1
SI - Slovenia 1
TW - Taiwan 1
Totale 9.971
Salva come PNG Salva come JPEG
Città #
Chandler 500
Jacksonville 442
San Jose 412
Singapore 396
Ashburn 236
Council Bluffs 183
Hong Kong 182
Moscow 160
Boardman 125
Dallas 125
Wilmington 114
Beijing 97
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
Woodbridge 39
Brooklyn 35
Houston 34
Phoenix 32
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
Guangzhou 15
Milan 15
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.714
Salva come PNG Salva come JPEG
Nome #
A Framework for Planning with Extended Goals under Partial Observability 245
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 228
Modeling and Monitoring Processes Exploiting Semantic Reasoning 218
ASTRO: Supporting the Composition and Execution of Web Services 211
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 208
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 205
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains 202
Continuous Orchestration of Web Services via Planning 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
Conformant Planning via Symbolic Model Checking and Heuristic Search 194
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 194
Automated Composition of Web Services by Planning at the Knowledge Level 192
Control Flow Requirements for Automated Service Composition 190
MBP: A Model Based Planner 188
Safe LTL Assumption-Based Planning 183
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 181
Strong Planning under Partial Observability 176
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 176
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 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 Hybridized Planner for Stochastic Domains 173
Modeling and Monitoring Business Process Execution 172
Certification of Translators via Off-line and On-line Proof Logging and Checking 169
Automated Web Service Composition by On-The-Fly Belief Space Search 167
Semantic-Based Process Analysis 166
Bounded-Resource Reasoning as (Strong or Classical) Planning 164
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 163
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 163
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 162
Automated Composition of Web Services by Planning in Asynchronous Domains 161
MBP: a Model Based Planner 155
Planning with Extended Goals and Partial Observability 153
Mechanized Result Verification: an Industrial Application 152
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 150
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 149
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 149
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 146
Automated Synthesis of Composite BPEL4WS Web Services 146
Model-checking memory requirements of resource-bounded reasoners 142
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 138
Design and Verification of Web Services Compositions in the Telecommunication Domain 138
Improving Heuristics for Planning and Search in Belief Space 135
Web Service Composition as Planning Revisited: Between Background Theories and Initial State Uncertainty 135
Specification and Integration of Theorem Provers and Computer Algebra Systems 132
Interleaving Execution and Planning via Symbolic Model Checking 131
Reasoning-based Techniques for Dealing with Incomplete Business Process Execution Traces 130
WS-GEN: A Tool for the Automated Composition of Semantic Web Services 129
Planning and Monitoring Web Service Composition 126
Plan Validation for Extended Goals under Partial Observability (preliminary report) 126
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 125
Semantic modeling and analysis of complex data-aware processes and their executions 122
Planning with Extended Goals and Partial Observability 122
Verifying space and time requirements for resource-bounded agents 121
Verifying space and time requirements for resource-bounded agents 118
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking 117
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains 117
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. 113
The OMRS project: State of the Art 109
Strong Cyclic Planning Under Partial Observability 99
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking 98
Design Verification of a Safety-Critical Embedded Verifier 89
Totale 9.982
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.676
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 41.676
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021103 0 0 0 0 0 0 0 0 0 0 0 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.370 150 219 311 312 211 158 660 1.650 261 197 220 21
Totale 9.982