IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020726 65 64 3 4 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/202510 10 0 0 0 0 0 0 0 0 0 0 0
Totale 3.912