IRIS Institutional Research Information System

Bertoli, Piergiorgio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.215
EU - Europa 1.151
AS - Asia 438
Continente sconosciuto - Info sul continente non disponibili 18
SA - Sud America 6
OC - Oceania 1
Totale 3.829
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.202
DE - Germania 284
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 29
BE - Belgio 27
IL - Israele 20
EU - Europa 18
CA - Canada 13
NL - Olanda 11
TR - Turchia 8
IR - Iran 7
BR - Brasile 6
MY - Malesia 2
SG - Singapore 2
AU - Australia 1
Totale 3.829
Salva come PNG Salva come JPEG
Città #
Chandler 500
Jacksonville 440
Hong Kong 118
Wilmington 114
Ashburn 91
Boardman 84
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
Brooklyn 23
Brussels 23
Pune 23
Phoenix 21
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
Shanghai 8
Fremont 7
Ottawa 7
Munich 6
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
Sacramento 3
Berlin 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
Nanjing 2
Nuremberg 2
Palombara Sabina 2
Pomezia 2
Santa Clara 2
Singapore 2
Sora 2
Stuttgart 2
Véry 2
Albignasego 1
Andover 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
Parabiago 1
Shaoxing 1
Stanford 1
Stra 1
Torino 1
York 1
Zanjan 1
Totale 2.262
Salva come PNG Salva come JPEG
Nome #
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 85
ASTRO: Supporting the Composition and Execution of Web Services 85
MBP: A Model Based Planner 83
Strong Planning under Partial Observability 82
Automated composition of web services via planning in asynchronous domains 82
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 80
A Framework for Planning with Extended Goals under Partial Observability 79
Automated Composition of Web Services by Planning at the Knowledge Level 78
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 78
Safe LTL Assumption-Based Planning 75
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 74
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 74
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 74
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 71
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 70
Continuous Orchestration of Web Services via Planning 70
Control Flow Requirements for Automated Service Composition 69
Interleaving Execution and Planning via Symbolic Model Checking 68
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains 68
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 67
Modeling and Monitoring Processes Exploiting Semantic Reasoning 67
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 66
A Hybridized Planner for Stochastic Domains 66
Certification of Translators via Off-line and On-line Proof Logging and Checking 65
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 65
Planning with Extended Goals and Partial Observability 63
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 63
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking 62
MBP: a Model Based Planner 62
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 61
Planning and Monitoring Web Service Composition 60
Plan Validation for Extended Goals under Partial Observability (preliminary report) 60
Conformant Planning via Symbolic Model Checking and Heuristic Search 60
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 60
Modeling and Monitoring Business Process Execution 60
Semantic-Based Process Analysis 60
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 59
Automated Composition of Web Services by Planning in Asynchronous Domains 59
Improving Heuristics for Planning and Search in Belief Space 58
Automated Web Service Composition by On-The-Fly Belief Space Search 58
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 57
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 56
Bounded-Resource Reasoning as (Strong or Classical) Planning 56
Mechanized Result Verification: an Industrial Application 55
Automated Synthesis of Composite BPEL4WS Web Services 54
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 54
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 54
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains 53
Planning with Extended Goals and Partial Observability 53
Specification and Integration of Theorem Provers and Computer Algebra Systems 51
Web Service Composition as Planning Revisited: Between Background Theories and Initial State Uncertainty 51
Design and Verification of Web Services Compositions in the Telecommunication Domain 50
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. 49
Model-checking memory requirements of resource-bounded reasoners 49
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 37
Semantic modeling and analysis of complex data-aware processes and their executions 34
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking 33
Design Verification of a Safety-Critical Embedded Verifier 28
Totale 3.840
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.956
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 18.956
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20197 0 0 0 0 0 0 0 0 0 0 4 3
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/2024521 108 24 67 18 39 37 32 63 12 121 0 0
Totale 3.840