IRIS Institutional Research Information System

Bertoli, Piergiorgio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.433
EU - Europa 1.909
AS - Asia 742
SA - Sud America 115
Continente sconosciuto - Info sul continente non disponibili 18
AF - Africa 4
OC - Oceania 1
Totale 5.222
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.409
RU - Federazione Russa 617
DE - Germania 323
SE - Svezia 244
SG - Singapore 230
UA - Ucraina 213
IN - India 159
FI - Finlandia 148
HK - Hong Kong 145
BR - Brasile 103
CN - Cina 85
GB - Regno Unito 75
NL - Olanda 74
IT - Italia 66
VN - Vietnam 62
IE - Irlanda 61
BE - Belgio 33
FR - Francia 31
IL - Israele 22
CA - Canada 21
EU - Europa 18
LT - Lituania 11
TR - Turchia 10
JP - Giappone 9
IR - Iran 7
AR - Argentina 4
AZ - Azerbaigian 3
CZ - Repubblica Ceca 3
MA - Marocco 3
AT - Austria 2
BD - Bangladesh 2
EC - Ecuador 2
MX - Messico 2
MY - Malesia 2
PE - Perù 2
PT - Portogallo 2
UZ - Uzbekistan 2
AU - Australia 1
BA - Bosnia-Erzegovina 1
BO - Bolivia 1
CH - Svizzera 1
CO - Colombia 1
EE - Estonia 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
PY - Paraguay 1
UY - Uruguay 1
Totale 5.222
Salva come PNG Salva come JPEG
Città #
Chandler 500
Jacksonville 440
Moscow 158
Hong Kong 145
Singapore 132
Boardman 123
Wilmington 114
Ashburn 96
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 18
Guangzhou 14
Los Angeles 13
Milan 13
New York 13
San Mateo 13
Tappahannock 11
Verona 11
Augusta 10
Falkenstein 10
Frankfurt am Main 10
Norwalk 10
Shanghai 10
Toronto 10
London 9
Mountain View 9
Redwood City 9
Tokyo 9
Miami 8
Ottawa 8
Fremont 7
Santa Clara 7
São Paulo 7
Bolzano 6
Council Bluffs 6
Trento 6
Ardabil 5
Campinas 5
Istanbul 5
Strasbourg 5
Hanover 4
Izmir 4
Kharkiv 4
Leuven 4
Portland 4
Rome 4
São Luís 4
West Jordan 4
Almelo 3
Auburn Hills 3
Bangalore 3
Hefei 3
Nanjing 3
Naples 3
Nuremberg 3
Sacramento 3
Amsterdam 2
Baku 2
Belo Horizonte 2
Berlin 2
Brno 2
Cascavel 2
Cologne 2
Costa Mesa 2
Des Moines 2
Eygelshoven 2
Ferraz de Vasconcelos 2
Freiburg im Breisgau 2
Inglewood 2
Jinan 2
Jönköping 2
Kunming 2
Lima 2
Lisbon 2
Mannheim 2
Nova Iguaçu 2
Oxford 2
Palombara Sabina 2
Pomezia 2
Ribeirão Preto 2
Rio de Janeiro 2
Sora 2
Stuttgart 2
Tashkent 2
Uberlândia 2
Véry 2
Totale 2.817
Salva come PNG Salva come JPEG
Nome #
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 114
Automated composition of web services via planning in asynchronous domains 113
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 111
A Framework for Planning with Extended Goals under Partial Observability 110
ASTRO: Supporting the Composition and Execution of Web Services 110
MBP: A Model Based Planner 109
Automated Composition of Web Services by Planning at the Knowledge Level 108
Strong Planning under Partial Observability 107
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 105
Safe LTL Assumption-Based Planning 102
Modeling and Monitoring Processes Exploiting Semantic Reasoning 102
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 101
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 100
Continuous Orchestration of Web Services via Planning 99
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 99
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 98
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 96
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 94
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains 93
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 93
Control Flow Requirements for Automated Service Composition 92
A Hybridized Planner for Stochastic Domains 91
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 88
Automated Web Service Composition by On-The-Fly Belief Space Search 88
Certification of Translators via Off-line and On-line Proof Logging and Checking 87
Modeling and Monitoring Business Process Execution 86
Conformant Planning via Symbolic Model Checking and Heuristic Search 85
Semantic-Based Process Analysis 85
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 84
Automated Composition of Web Services by Planning in Asynchronous Domains 84
Interleaving Execution and Planning via Symbolic Model Checking 83
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 83
MBP: a Model Based Planner 83
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 82
Bounded-Resource Reasoning as (Strong or Classical) Planning 80
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 79
Planning with Extended Goals and Partial Observability 79
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking 77
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 77
Planning and Monitoring Web Service Composition 76
Plan Validation for Extended Goals under Partial Observability (preliminary report) 76
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 76
Web Service Composition as Planning Revisited: Between Background Theories and Initial State Uncertainty 75
Mechanized Result Verification: an Industrial Application 74
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 74
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 73
Improving Heuristics for Planning and Search in Belief Space 72
Automated Synthesis of Composite BPEL4WS Web Services 72
Model-checking memory requirements of resource-bounded reasoners 71
Planning with Extended Goals and Partial Observability 70
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. 69
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains 68
Design and Verification of Web Services Compositions in the Telecommunication Domain 66
Reasoning-based Techniques for Dealing with Incomplete Business Process Execution Traces 66
Specification and Integration of Theorem Provers and Computer Algebra Systems 64
Verifying space and time requirements for resource-bounded agents 62
Semantic modeling and analysis of complex data-aware processes and their executions 61
Verifying space and time requirements for resource-bounded agents 60
WS-GEN: A Tool for the Automated Composition of Semantic Web Services 58
The OMRS project: State of the Art 55
Strong Cyclic Planning Under Partial Observability 52
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking 45
Design Verification of a Safety-Critical Embedded Verifier 41
Totale 5.233
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.431
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 29.431
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.331 21 36 123 48 26 31 57 106 648 196 39 0
Totale 5.233