IRIS Institutional Research Information System

Bertoli, Piergiorgio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.471
EU - Europa 1.929
AS - Asia 773
SA - Sud America 173
Continente sconosciuto - Info sul continente non disponibili 18
AF - Africa 4
OC - Oceania 1
Totale 5.369
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.446
RU - Federazione Russa 620
DE - Germania 324
SG - Singapore 252
SE - Svezia 245
UA - Ucraina 214
IN - India 161
BR - Brasile 155
FI - Finlandia 151
HK - Hong Kong 148
CN - Cina 85
GB - Regno Unito 80
NL - Olanda 76
IT - Italia 66
VN - Vietnam 62
IE - Irlanda 61
BE - Belgio 33
FR - Francia 31
CA - Canada 22
IL - Israele 22
EU - Europa 18
LT - Lituania 11
TR - Turchia 11
JP - Giappone 10
IR - Iran 7
CZ - Repubblica Ceca 5
AR - Argentina 4
PY - Paraguay 4
AZ - Azerbaigian 3
MA - Marocco 3
AT - Austria 2
BD - Bangladesh 2
CO - Colombia 2
EC - Ecuador 2
MX - Messico 2
MY - Malesia 2
PE - Perù 2
PT - Portogallo 2
UZ - Uzbekistan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BA - Bosnia-Erzegovina 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CH - Svizzera 1
EE - Estonia 1
ES - Italia 1
GA - Gabon 1
GR - Grecia 1
ID - Indonesia 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LV - Lettonia 1
MD - Moldavia 1
NI - Nicaragua 1
PK - Pakistan 1
PL - Polonia 1
UY - Uruguay 1
Totale 5.369
Salva come PNG Salva come JPEG
Città #
Chandler 500
Jacksonville 440
Moscow 159
Hong Kong 148
Singapore 142
Boardman 123
Wilmington 114
Ashburn 99
Helsinki 85
Ann Arbor 76
Dearborn 65
Dong Ket 62
Dublin 61
Kronberg 61
The Dalles 56
Woodbridge 39
Houston 31
Beijing 29
Brussels 29
Seattle 27
Falls Church 25
Phoenix 24
Brooklyn 23
Pune 23
Munich 19
New York 15
Guangzhou 14
Los Angeles 13
Milan 13
San Mateo 13
London 11
Tappahannock 11
Verona 11
Augusta 10
Falkenstein 10
Frankfurt am Main 10
Norwalk 10
Shanghai 10
Tokyo 10
Toronto 10
Mountain View 9
Redwood City 9
São Paulo 9
Miami 8
Ottawa 8
Santa Clara 8
Fremont 7
Bolzano 6
Campinas 6
Council Bluffs 6
Trento 6
Ardabil 5
Istanbul 5
Strasbourg 5
West Jordan 5
Amsterdam 4
Hanover 4
Izmir 4
Kharkiv 4
Leuven 4
Portland 4
Rome 4
São Luís 4
Almelo 3
Auburn Hills 3
Bangalore 3
Hefei 3
Manchester 3
Nanjing 3
Naples 3
Nuremberg 3
Rio de Janeiro 3
Sacramento 3
San Francisco 3
Santo André 3
Turku 3
Asunción 2
Atlanta 2
Baku 2
Belo Horizonte 2
Berlin 2
Botucatu 2
Brno 2
Cascavel 2
Chennai 2
Cologne 2
Costa Mesa 2
Des Moines 2
Duque de Caxias 2
Eygelshoven 2
Ferraz de Vasconcelos 2
Fortaleza 2
Freiburg im Breisgau 2
Inglewood 2
Jinan 2
Jönköping 2
Kunming 2
Lima 2
Lisbon 2
Maceió 2
Totale 2.852
Salva come PNG Salva come JPEG
Nome #
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 116
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 116
A Framework for Planning with Extended Goals under Partial Observability 115
Automated composition of web services via planning in asynchronous domains 114
ASTRO: Supporting the Composition and Execution of Web Services 113
MBP: A Model Based Planner 111
Automated Composition of Web Services by Planning at the Knowledge Level 110
Strong Planning under Partial Observability 108
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 107
Modeling and Monitoring Processes Exploiting Semantic Reasoning 106
Safe LTL Assumption-Based Planning 104
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 104
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 103
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 102
Continuous Orchestration of Web Services via Planning 100
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 100
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 99
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 96
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains 96
Control Flow Requirements for Automated Service Composition 96
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 95
A Hybridized Planner for Stochastic Domains 93
Automated Web Service Composition by On-The-Fly Belief Space Search 93
Conformant Planning via Symbolic Model Checking and Heuristic Search 91
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 91
Certification of Translators via Off-line and On-line Proof Logging and Checking 90
Modeling and Monitoring Business Process Execution 87
Semantic-Based Process Analysis 87
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 86
Automated Composition of Web Services by Planning in Asynchronous Domains 86
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 85
Interleaving Execution and Planning via Symbolic Model Checking 84
MBP: a Model Based Planner 84
Planning with Extended Goals and Partial Observability 83
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 83
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 82
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 81
Bounded-Resource Reasoning as (Strong or Classical) Planning 81
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 81
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking 79
Plan Validation for Extended Goals under Partial Observability (preliminary report) 78
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 78
Planning and Monitoring Web Service Composition 77
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 77
Improving Heuristics for Planning and Search in Belief Space 75
Mechanized Result Verification: an Industrial Application 75
Web Service Composition as Planning Revisited: Between Background Theories and Initial State Uncertainty 75
Automated Synthesis of Composite BPEL4WS Web Services 73
Model-checking memory requirements of resource-bounded reasoners 72
Planning with Extended Goals and Partial Observability 71
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. 70
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains 69
Design and Verification of Web Services Compositions in the Telecommunication Domain 69
Specification and Integration of Theorem Provers and Computer Algebra Systems 67
Reasoning-based Techniques for Dealing with Incomplete Business Process Execution Traces 67
Semantic modeling and analysis of complex data-aware processes and their executions 64
Verifying space and time requirements for resource-bounded agents 64
Verifying space and time requirements for resource-bounded agents 63
The OMRS project: State of the Art 58
WS-GEN: A Tool for the Automated Composition of Semantic Web Services 58
Strong Cyclic Planning Under Partial Observability 54
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking 46
Design Verification of a Safety-Critical Embedded Verifier 42
Totale 5.380
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.038
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 30.038
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020126 0 0 0 0 0 0 0 0 0 0 78 48
2020/2021661 77 1 69 44 66 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.478 21 36 123 48 26 31 57 106 648 196 186 0
Totale 5.380