IRIS Institutional Research Information System

Bertoli, Piergiorgio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.700
EU - Europa 3.843
AS - Asia 1.903
SA - Sud America 429
AF - Africa 43
Continente sconosciuto - Info sul continente non disponibili 31
OC - Oceania 5
Totale 10.954
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.579
RU - Federazione Russa 2.187
SG - Singapore 772
DE - Germania 420
BR - Brasile 348
CN - Cina 314
SE - Svezia 291
VN - Vietnam 233
UA - Ucraina 218
IN - India 193
HK - Hong Kong 188
FI - Finlandia 156
GB - Regno Unito 119
FR - Francia 103
IT - Italia 94
NL - Olanda 79
IE - Irlanda 65
CA - Canada 64
BE - Belgio 34
AR - Argentina 33
JP - Giappone 31
PL - Polonia 28
IL - Israele 27
BD - Bangladesh 26
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
SC - Seychelles 6
SV - El Salvador 6
BO - Bolivia 5
CL - Cile 5
CZ - Repubblica Ceca 5
KE - Kenya 5
MA - Marocco 5
VE - Venezuela 5
AU - Australia 4
AZ - Azerbaigian 4
PR - Porto Rico 4
TT - Trinidad e Tobago 4
UY - Uruguay 4
AE - Emirati Arabi Uniti 3
AT - Austria 3
DZ - Algeria 3
GE - Georgia 3
JM - Giamaica 3
KZ - Kazakistan 3
MD - Moldavia 3
MY - Malesia 3
NI - Nicaragua 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
CR - Costa Rica 2
CW - ???statistics.table.value.countryCode.CW??? 2
DO - Repubblica Dominicana 2
EG - Egitto 2
ET - Etiopia 2
GA - Gabon 2
GT - Guatemala 2
HN - Honduras 2
JO - Giordania 2
KG - Kirghizistan 2
OM - Oman 2
PS - Palestinian Territory 2
TN - Tunisia 2
AG - Antigua e Barbuda 1
CG - Congo 1
DK - Danimarca 1
EE - Estonia 1
GD - Grenada 1
GP - Guadalupe 1
GR - Grecia 1
HR - Croazia 1
LB - Libano 1
LK - Sri Lanka 1
LV - Lettonia 1
LY - Libia 1
PA - Panama 1
PW - Palau 1
RO - Romania 1
SI - Slovenia 1
Totale 10.942
Salva come PNG Salva come JPEG
Città #
Chandler 500
San Jose 467
Jacksonville 444
Council Bluffs 416
Singapore 397
Ashburn 248
Hong Kong 182
Moscow 160
Dallas 128
Boardman 125
Wilmington 114
Beijing 98
The Dalles 89
Helsinki 85
Ann Arbor 76
Dearborn 66
Hefei 66
Dublin 64
Dong Ket 62
New York 62
Kronberg 61
Los Angeles 59
Ho Chi Minh City 56
Lauterbourg 56
Phoenix 52
Hanoi 45
Houston 43
Munich 43
Brooklyn 40
Woodbridge 39
Seattle 35
Buffalo 33
Brussels 30
Tokyo 30
Frankfurt am Main 27
Falls Church 25
Pune 24
Santa Clara 24
Warsaw 24
São Paulo 23
London 19
Milan 19
Toronto 19
Miami 18
Orem 18
Denver 16
Guangzhou 15
Honolulu 15
Manchester 15
North Easton 15
Atlanta 14
Garland 14
Montreal 14
Boston 13
San Mateo 13
Chicago 12
Da Nang 12
Augusta 11
Campinas 11
Norwalk 11
Nuremberg 11
Shanghai 11
Stockholm 11
Tappahannock 11
Verona 11
Falkenstein 10
Johannesburg 10
Tashkent 10
Mountain View 9
Ottawa 9
Redwood City 9
Tampa 9
Des Moines 8
Rio de Janeiro 8
Turku 8
Amsterdam 7
Ankara 7
Biên Hòa 7
Chennai 7
Fremont 7
Orlando 7
Bolzano 6
Jeddah 6
Naples 6
Portland 6
Rome 6
Trento 6
Ardabil 5
Belo Horizonte 5
Brasília 5
Dhaka 5
Haiphong 5
Hillsboro 5
Istanbul 5
Izmir 5
Kharkiv 5
Las Vegas 5
Mexico City 5
Nairobi 5
New Delhi 5
Totale 5.200
Salva come PNG Salva come JPEG
Nome #
A Framework for Planning with Extended Goals under Partial Observability 262
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 248
Modeling and Monitoring Processes Exploiting Semantic Reasoning 236
ASTRO: Supporting the Composition and Execution of Web Services 227
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains 222
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 222
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 222
Conformant Planning via Symbolic Model Checking and Heuristic Search 221
Continuous Orchestration of Web Services via Planning 218
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 215
Automated composition of web services via planning in asynchronous domains 214
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 212
Automated Composition of Web Services by Planning at the Knowledge Level 210
Control Flow Requirements for Automated Service Composition 208
Safe LTL Assumption-Based Planning 201
MBP: A Model Based Planner 201
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 198
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 194
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 191
Strong Planning under Partial Observability 190
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 190
A Hybridized Planner for Stochastic Domains 189
Modeling and Monitoring Business Process Execution 189
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 188
Automated Web Service Composition by On-The-Fly Belief Space Search 188
Certification of Translators via Off-line and On-line Proof Logging and Checking 185
Semantic-Based Process Analysis 183
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 180
Automated Composition of Web Services by Planning in Asynchronous Domains 180
Bounded-Resource Reasoning as (Strong or Classical) Planning 179
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 178
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 173
MBP: a Model Based Planner 172
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 166
Mechanized Result Verification: an Industrial Application 164
Planning with Extended Goals and Partial Observability 164
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 163
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 162
Automated Synthesis of Composite BPEL4WS Web Services 161
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 160
Model-checking memory requirements of resource-bounded reasoners 157
Design and Verification of Web Services Compositions in the Telecommunication Domain 156
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 152
Web Service Composition as Planning Revisited: Between Background Theories and Initial State Uncertainty 151
Improving Heuristics for Planning and Search in Belief Space 148
Specification and Integration of Theorem Provers and Computer Algebra Systems 146
Reasoning-based Techniques for Dealing with Incomplete Business Process Execution Traces 146
Interleaving Execution and Planning via Symbolic Model Checking 142
Planning and Monitoring Web Service Composition 141
Plan Validation for Extended Goals under Partial Observability (preliminary report) 140
Semantic modeling and analysis of complex data-aware processes and their executions 139
Planning with Extended Goals and Partial Observability 139
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 138
WS-GEN: A Tool for the Automated Composition of Semantic Web Services 137
Verifying space and time requirements for resource-bounded agents 133
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking 131
Verifying space and time requirements for resource-bounded agents 130
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains 129
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. 127
The OMRS project: State of the Art 123
Strong Cyclic Planning Under Partial Observability 111
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking 110
Design Verification of a Safety-Critical Embedded Verifier 102
Totale 10.954
Salva come PNG Salva come JPEG
Categoria #
all - tutte 45.784
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 45.784
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022318 0 0 0 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/2027947 173 166 334 274 0 0 0 0 0 0 0 0
Totale 10.954