IRIS Institutional Research Information System

Bertoli, Piergiorgio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.999
EU - Europa 2.065
AS - Asia 1.381
SA - Sud America 367
AF - Africa 22
Continente sconosciuto - Info sul continente non disponibili 18
OC - Oceania 3
Totale 6.855
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.938
RU - Federazione Russa 628
SG - Singapore 578
DE - Germania 359
BR - Brasile 312
SE - Svezia 253
CN - Cina 239
UA - Ucraina 214
IN - India 178
HK - Hong Kong 168
FI - Finlandia 156
GB - Regno Unito 108
VN - Vietnam 91
NL - Olanda 76
IT - Italia 72
IE - Irlanda 63
CA - Canada 42
FR - Francia 40
BE - Belgio 33
IL - Israele 24
PL - Polonia 24
AR - Argentina 22
JP - Giappone 21
EU - Europa 18
TR - Turchia 18
MX - Messico 15
LT - Lituania 14
BD - Bangladesh 12
ZA - Sudafrica 10
SA - Arabia Saudita 9
EC - Ecuador 8
IR - Iran 7
ES - Italia 6
PY - Paraguay 6
CO - Colombia 5
CZ - Repubblica Ceca 5
PK - Pakistan 5
UZ - Uzbekistan 5
IQ - Iraq 4
MA - Marocco 4
UY - Uruguay 4
AE - Emirati Arabi Uniti 3
AZ - Azerbaigian 3
BO - Bolivia 3
KZ - Kazakistan 3
MY - Malesia 3
PE - Perù 3
AT - Austria 2
AU - Australia 2
CH - Svizzera 2
CL - Cile 2
ID - Indonesia 2
KE - Kenya 2
OM - Oman 2
PT - Portogallo 2
VE - Venezuela 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BN - Brunei Darussalam 1
CI - Costa d'Avorio 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EE - Estonia 1
EG - Egitto 1
ET - Etiopia 1
GA - Gabon 1
GD - Grenada 1
GE - Georgia 1
GR - Grecia 1
JO - Giordania 1
KG - Kirghizistan 1
LB - Libano 1
LV - Lettonia 1
MD - Moldavia 1
NI - Nicaragua 1
PS - Palestinian Territory 1
PW - Palau 1
RO - Romania 1
TN - Tunisia 1
Totale 6.855
Salva come PNG Salva come JPEG
Città #
Chandler 500
Jacksonville 440
Singapore 334
Ashburn 183
Hong Kong 167
Moscow 159
Boardman 124
Dallas 123
Wilmington 114
Beijing 91
Helsinki 85
Ann Arbor 76
The Dalles 71
Hefei 66
Dearborn 65
Dong Ket 62
Dublin 62
Kronberg 61
Los Angeles 44
Munich 43
New York 42
Woodbridge 39
Brooklyn 35
Houston 34
Seattle 31
Phoenix 30
Brussels 29
Falls Church 25
Pune 24
Warsaw 22
Tokyo 21
São Paulo 20
London 18
Frankfurt am Main 17
Santa Clara 15
Guangzhou 14
Milan 14
Orem 14
San Mateo 13
Manchester 11
Montreal 11
Shanghai 11
Tappahannock 11
Toronto 11
Verona 11
Augusta 10
Boston 10
Falkenstein 10
Ho Chi Minh City 10
Norwalk 10
Campinas 9
Denver 9
Johannesburg 9
Miami 9
Mountain View 9
Redwood City 9
Ottawa 8
Rio de Janeiro 8
Stockholm 8
Turku 8
Ankara 7
Atlanta 7
Chicago 7
Council Bluffs 7
Des Moines 7
Fremont 7
Bolzano 6
Nuremberg 6
Trento 6
Ardabil 5
Hanoi 5
Istanbul 5
Rome 5
Strasbourg 5
Tashkent 5
West Jordan 5
Amsterdam 4
Brasília 4
Caxias do Sul 4
Chennai 4
Duque de Caxias 4
Hanover 4
Izmir 4
Jeddah 4
Kharkiv 4
Leuven 4
Mexico City 4
Poplar 4
Portland 4
Riyadh 4
Salvador 4
San Francisco 4
Santo André 4
St Petersburg 4
São Gonçalo 4
São José do Rio Preto 4
São Luís 4
Uberlândia 4
Vancouver 4
Almelo 3
Totale 3.719
Salva come PNG Salva come JPEG
Nome #
A Framework for Planning with Extended Goals under Partial Observability 177
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 157
ASTRO: Supporting the Composition and Execution of Web Services 147
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 146
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 143
Modeling and Monitoring Processes Exploiting Semantic Reasoning 143
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains 141
Automated Composition of Web Services by Planning at the Knowledge Level 140
Automated composition of web services via planning in asynchronous domains 137
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 137
Continuous Orchestration of Web Services via Planning 136
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 135
Control Flow Requirements for Automated Service Composition 135
MBP: A Model Based Planner 135
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 130
Safe LTL Assumption-Based Planning 129
A Hybridized Planner for Stochastic Domains 128
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 127
Conformant Planning via Symbolic Model Checking and Heuristic Search 125
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 124
Strong Planning under Partial Observability 122
Certification of Translators via Off-line and On-line Proof Logging and Checking 121
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 121
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 120
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 120
Automated Web Service Composition by On-The-Fly Belief Space Search 117
Planning with Extended Goals and Partial Observability 116
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 116
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 111
Semantic-Based Process Analysis 111
Automated Composition of Web Services by Planning in Asynchronous Domains 110
Bounded-Resource Reasoning as (Strong or Classical) Planning 107
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 106
Modeling and Monitoring Business Process Execution 106
MBP: a Model Based Planner 104
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 103
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 101
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 100
Interleaving Execution and Planning via Symbolic Model Checking 98
Mechanized Result Verification: an Industrial Application 97
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 97
Automated Synthesis of Composite BPEL4WS Web Services 96
Improving Heuristics for Planning and Search in Belief Space 92
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 92
Model-checking memory requirements of resource-bounded reasoners 92
Plan Validation for Extended Goals under Partial Observability (preliminary report) 90
Planning with Extended Goals and Partial Observability 90
Web Service Composition as Planning Revisited: Between Background Theories and Initial State Uncertainty 89
Planning and Monitoring Web Service Composition 88
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking 88
Design and Verification of Web Services Compositions in the Telecommunication Domain 87
Verifying space and time requirements for resource-bounded agents 85
Reasoning-based Techniques for Dealing with Incomplete Business Process Execution Traces 85
Specification and Integration of Theorem Provers and Computer Algebra Systems 83
Semantic modeling and analysis of complex data-aware processes and their executions 82
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains 80
Verifying space and time requirements for resource-bounded agents 78
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. 78
The OMRS project: State of the Art 71
WS-GEN: A Tool for the Automated Composition of Semantic Web Services 69
Strong Cyclic Planning Under Partial Observability 66
Design Verification of a Safety-Critical Embedded Verifier 55
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking 54
Totale 6.866
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.679
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 35.679
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021404 0 0 0 0 0 20 76 5 26 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/20261.254 150 219 311 312 211 51 0 0 0 0 0 0
Totale 6.866