IRIS Institutional Research Information System

Bertoli, Piergiorgio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.317
EU - Europa 1.212
AS - Asia 576
Continente sconosciuto - Info sul continente non disponibili 18
SA - Sud America 7
OC - Oceania 1
Totale 4.131
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.300
DE - Germania 304
SE - Svezia 244
UA - Ucraina 207
IN - India 158
FI - Finlandia 136
HK - Hong Kong 128
SG - Singapore 106
CN - Cina 72
GB - Regno Unito 69
IT - Italia 62
VN - Vietnam 62
IE - Irlanda 61
RU - Federazione Russa 38
FR - Francia 31
BE - Belgio 30
IL - Israele 21
EU - Europa 18
CA - Canada 17
NL - Olanda 13
JP - Giappone 9
LT - Lituania 8
TR - Turchia 8
IR - Iran 7
BR - Brasile 6
CZ - Repubblica Ceca 3
AZ - Azerbaigian 2
MY - Malesia 2
PT - Portogallo 2
AU - Australia 1
BD - Bangladesh 1
CH - Svizzera 1
GR - Grecia 1
LV - Lettonia 1
MD - Moldavia 1
PE - Perù 1
Totale 4.131
Salva come PNG Salva come JPEG
Città #
Chandler 500
Jacksonville 440
Hong Kong 128
Boardman 123
Wilmington 114
Ashburn 93
Singapore 86
Ann Arbor 76
Helsinki 73
Dearborn 65
Dong Ket 62
Dublin 61
Kronberg 61
Woodbridge 39
Houston 31
Beijing 28
Seattle 27
Brussels 26
Falls Church 25
Phoenix 24
Brooklyn 23
Pune 23
Munich 18
Guangzhou 13
Los Angeles 13
Milan 13
New York 13
San Mateo 13
Tappahannock 11
Verona 11
Augusta 10
Norwalk 10
Mountain View 9
Redwood City 9
Shanghai 9
Tokyo 9
Miami 8
Fremont 7
Ottawa 7
Toronto 7
London 6
Ardabil 5
Bolzano 5
Frankfurt am Main 5
Strasbourg 5
Falkenstein 4
Hanover 4
Istanbul 4
Izmir 4
Leuven 4
Portland 4
Rome 4
Santa Clara 4
São Luís 4
Trento 4
Almelo 3
Auburn Hills 3
Bangalore 3
Council Bluffs 3
Naples 3
Nuremberg 3
Sacramento 3
Baku 2
Berlin 2
Brno 2
Campinas 2
Cologne 2
Costa Mesa 2
Des Moines 2
Eygelshoven 2
Freiburg im Breisgau 2
Inglewood 2
Jinan 2
Jönköping 2
Kunming 2
Lisbon 2
Mannheim 2
Nanjing 2
Palombara Sabina 2
Pomezia 2
Sora 2
Stuttgart 2
Véry 2
Albignasego 1
Amsterdam 1
Andover 1
Athens 1
Barrie 1
Boston 1
Brisbane 1
Bristol 1
Chengdu 1
Chisinau 1
Cologno Al Serio 1
Dhaka 1
Dongguan 1
Florence 1
Fuzhou 1
Haifa 1
Handan 1
Totale 2.464
Salva come PNG Salva come JPEG
Nome #
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 92
ASTRO: Supporting the Composition and Execution of Web Services 92
Automated Composition of Web Services by Planning at the Knowledge Level 89
A Framework for Planning with Extended Goals under Partial Observability 88
Automated composition of web services via planning in asynchronous domains 88
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 88
MBP: A Model Based Planner 88
Strong Planning under Partial Observability 87
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 86
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 84
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 81
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 80
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 80
Safe LTL Assumption-Based Planning 80
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 80
Modeling and Monitoring Processes Exploiting Semantic Reasoning 80
Continuous Orchestration of Web Services via Planning 78
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 78
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains 74
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 73
Certification of Translators via Off-line and On-line Proof Logging and Checking 72
Control Flow Requirements for Automated Service Composition 72
A Hybridized Planner for Stochastic Domains 71
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 70
Interleaving Execution and Planning via Symbolic Model Checking 70
Conformant Planning via Symbolic Model Checking and Heuristic Search 67
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 67
MBP: a Model Based Planner 67
Semantic-Based Process Analysis 67
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 66
Planning with Extended Goals and Partial Observability 65
Modeling and Monitoring Business Process Execution 64
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking 63
Automated Web Service Composition by On-The-Fly Belief Space Search 63
Automated Composition of Web Services by Planning in Asynchronous Domains 63
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 62
Planning and Monitoring Web Service Composition 61
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 61
Plan Validation for Extended Goals under Partial Observability (preliminary report) 61
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 61
Bounded-Resource Reasoning as (Strong or Classical) Planning 60
Improving Heuristics for Planning and Search in Belief Space 59
Mechanized Result Verification: an Industrial Application 59
Automated Synthesis of Composite BPEL4WS Web Services 59
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 59
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 58
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 58
Web Service Composition as Planning Revisited: Between Background Theories and Initial State Uncertainty 56
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains 55
Planning with Extended Goals and Partial Observability 54
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. 54
Specification and Integration of Theorem Provers and Computer Algebra Systems 53
Model-checking memory requirements of resource-bounded reasoners 53
Design and Verification of Web Services Compositions in the Telecommunication Domain 52
Reasoning-based Techniques for Dealing with Incomplete Business Process Execution Traces 49
Verifying space and time requirements for resource-bounded agents 48
Verifying space and time requirements for resource-bounded agents 48
The OMRS project: State of the Art 42
WS-GEN: A Tool for the Automated Composition of Semantic Web Services 42
Semantic modeling and analysis of complex data-aware processes and their executions 40
Strong Cyclic Planning Under Partial Observability 40
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking 35
Design Verification of a Safety-Critical Embedded Verifier 30
Totale 4.142
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.815
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 23.815
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020590 0 0 0 0 84 42 83 5 83 167 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/2025240 21 36 123 48 12 0 0 0 0 0 0 0
Totale 4.142