IRIS Institutional Research Information System

Bertoli, Piergiorgio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.039
EU - Europa 2.070
AS - Asia 1.385
SA - Sud America 367
AF - Africa 22
Continente sconosciuto - Info sul continente non disponibili 18
OC - Oceania 3
Totale 6.904
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.974
RU - Federazione Russa 628
SG - Singapore 579
DE - Germania 359
BR - Brasile 312
SE - Svezia 255
CN - Cina 240
UA - Ucraina 214
IN - India 178
HK - Hong Kong 168
FI - Finlandia 156
GB - Regno Unito 110
VN - Vietnam 92
NL - Olanda 76
IT - Italia 72
IE - Irlanda 63
CA - Canada 45
FR - Francia 40
BE - Belgio 33
PL - Polonia 25
IL - Israele 24
AR - Argentina 22
JP - Giappone 22
EU - Europa 18
TR - Turchia 18
MX - Messico 16
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.904
Salva come PNG Salva come JPEG
Città #
Chandler 500
Jacksonville 440
Singapore 335
Ashburn 193
Hong Kong 167
Moscow 159
Boardman 124
Dallas 123
Wilmington 114
Beijing 91
Helsinki 85
The Dalles 77
Ann Arbor 76
Hefei 66
Dearborn 65
Dong Ket 62
Dublin 62
Kronberg 61
Los Angeles 47
New York 44
Munich 43
Woodbridge 39
Brooklyn 35
Houston 34
Phoenix 31
Seattle 31
Brussels 29
Falls Church 25
Pune 24
Warsaw 23
Tokyo 22
São Paulo 20
London 18
Frankfurt am Main 17
Santa Clara 17
Orem 15
Guangzhou 14
Milan 14
Montreal 13
San Mateo 13
Manchester 12
Augusta 11
Boston 11
Denver 11
Shanghai 11
Tappahannock 11
Toronto 11
Verona 11
Falkenstein 10
Ho Chi Minh City 10
Norwalk 10
Stockholm 10
Campinas 9
Johannesburg 9
Miami 9
Mountain View 9
Redwood City 9
Atlanta 8
Ottawa 8
Rio de Janeiro 8
Turku 8
Ankara 7
Chicago 7
Council Bluffs 7
Des Moines 7
Fremont 7
Bolzano 6
Hanoi 6
Nuremberg 6
Trento 6
Ardabil 5
Istanbul 5
Poplar 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
Portland 4
Querétaro 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
Totale 3.760
Salva come PNG Salva come JPEG
Nome #
A Framework for Planning with Extended Goals under Partial Observability 178
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 158
ASTRO: Supporting the Composition and Execution of Web Services 148
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 147
Modeling and Monitoring Processes Exploiting Semantic Reasoning 144
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 143
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains 142
Automated Composition of Web Services by Planning at the Knowledge Level 141
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 140
Automated composition of web services via planning in asynchronous domains 137
Continuous Orchestration of Web Services via Planning 137
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 136
MBP: A Model Based Planner 136
Control Flow Requirements for Automated Service Composition 135
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 131
Safe LTL Assumption-Based Planning 130
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 128
A Hybridized Planner for Stochastic Domains 128
Conformant Planning via Symbolic Model Checking and Heuristic Search 126
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 125
Strong Planning under Partial Observability 123
Certification of Translators via Off-line and On-line Proof Logging and Checking 122
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 122
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 121
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 121
Automated Web Service Composition by On-The-Fly Belief Space Search 118
Planning with Extended Goals and Partial Observability 117
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 116
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 111
Automated Composition of Web Services by Planning in Asynchronous Domains 111
Semantic-Based Process Analysis 111
Bounded-Resource Reasoning as (Strong or Classical) Planning 108
Modeling and Monitoring Business Process Execution 108
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 107
MBP: a Model Based Planner 105
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 104
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 102
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 100
Interleaving Execution and Planning via Symbolic Model Checking 99
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 99
Mechanized Result Verification: an Industrial Application 97
Automated Synthesis of Composite BPEL4WS Web Services 96
Improving Heuristics for Planning and Search in Belief Space 93
Model-checking memory requirements of resource-bounded reasoners 93
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 92
Plan Validation for Extended Goals under Partial Observability (preliminary report) 91
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 86
Reasoning-based Techniques for Dealing with Incomplete Business Process Execution Traces 85
Semantic modeling and analysis of complex data-aware processes and their executions 83
Specification and Integration of Theorem Provers and Computer Algebra Systems 83
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains 80
Verifying space and time requirements for resource-bounded agents 79
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 70
Strong Cyclic Planning Under Partial Observability 66
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking 60
Design Verification of a Safety-Critical Embedded Verifier 55
Totale 6.915
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.826
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.826
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.303 150 219 311 312 211 100 0 0 0 0 0 0
Totale 6.915