Marco Pistore Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner: Continuous Orchestration of Web Services via Planning. ICAPS 2009
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnapaola Marconi, Marco Pistore, Adina Sirbu, Hanna Eberle, Frank Leymann, Tobias Unger: Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation. ICSOC/ServiceWave 2009: 445-454
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner: Control Flow Requirements for Automated Service Composition. ICWS 2009: 17-24
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea, Marco Pistore, Michele Trainotti: Dynamo + Astro: An Integrated Approach for BPEL Monitoring. ICWS 2009: 230-237
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Di Pietro, Annapaola Marconi, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi: Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. SEBD 2009: 177-184
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnapaola Marconi, Marco Pistore: Synthesis and Composition of Web Services. SFM 2009: 89-157
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso: Task decomposition on abstract states, for planning under nondeterminism. Artif. Intell. 173(5-6): 669-695 (2009)
2008
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanail Dochev, Marco Pistore, Paolo Traverso: Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings Springer 2008
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDmitry Shaparau, Marco Pistore, Paolo Traverso: Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. AAAI 2008: 983-990
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto: History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner: Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. FIS 2008: 94-106
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso: Semantic Annotation for Web Service Processes. SEBD 2008: 69-80
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea, Raman Kazhamiakin, Marco Pistore: An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. ServiceWave 2008: 1-12
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia Hielscher, Raman Kazhamiakin, Andreas Metzger, Marco Pistore: A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing. ServiceWave 2008: 122-133
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaman Kazhamiakin, Andreas Metzger, Marco Pistore: Towards Correctness Assurance in Adaptive Service-Based Applications. ServiceWave 2008: 25-37
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Di Pietro, Francesco Pagliarecci, Luca Spalazzi, Annapaola Marconi, Marco Pistore: Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study. Web Intelligence 2008: 605-611
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnapaola Marconi, Marco Pistore, Paolo Traverso: Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull. 31(3): 23-26 (2008)
2007
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing: Autonomous and Adaptive Web Services, 04.02. - 09.02.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Piergiorgio Bertoli, Marco Pistore: Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. AAAI 2007: 1013-1018
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing: 07061 Abstracts Collection -- Autonomous and Adaptive Web Services. Autonomous and Adaptive Web Services 2007
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso, Marco Pistore: Agree or Change! Making Services Evolve. ICSM 2007: 2-3
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz: Design and Analysis of the Composed Telecom Services. ICSOC Workshops 2007: 282-294
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz: Design and Verification ofWeb Services Compositions in the Telecommunication Domain. ICWS 2007: 1214-1215
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso: AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. ICWS 2007: 767-774
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, Marco Pistore: Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. ICWS 2007: 815-822
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso: Web Service Discovery at Process-level Based on Semantic Annotation. SEBD 2007: 220-232
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Paolo Traverso: Assumption-Based Composition and Monitoring of Web Services. Test and Analysis of Web Services 2007: 307-335
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. J. Artif. Intell. Res. (JAIR) 30: 101-132 (2007)
2006
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDmitry Shaparau, Marco Pistore, Paolo Traverso: Contingent Planning with Goal Preferences. AAAI 2006
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaman Kazhamiakin, Paritosh K. Pandya, Marco Pistore: Timed Modelling and Analysis in Web Service Compositions. ARES 2006: 840-846
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Marco Pistore: Stong Cyclic Planning Under Partial Observability. ECAI 2006: 580-584
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Luca Spalazzi, Paolo Traverso: A Minimalist Approach to Semantic Annotations for Web Processes Compositions. ESWC 2006: 620-634
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaman Kazhamiakin, Marco Pistore: Analysis of Realizability Conditions for Web Service Choreographies. FORTE 2006: 61-76
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti: Run-Time Monitoring of the Execution of Plans for Web Service Composition. ICAPS 2006: 346-349
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Marco Pistore: Towards Strong Cyclic Planning under Partial Observability. ICAPS 2006: 354-357
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Marco Pistore, Paolo Traverso: Automated Web Service Composition by On-the-Fly Belief Space Search. ICAPS 2006: 358-361
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnapaola Marconi, Marco Pistore, Paolo Traverso: Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. ICSOC 2006: 459-464
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaman Kazhamiakin, Paritosh K. Pandya, Marco Pistore: Representation, Verification, and Computation of Timed Properties in Web. ICWS 2006: 497-504
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti: Run-Time Monitoring of Instances and Classes of Web Service Compositions. ICWS 2006: 63-71
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaman Kazhamiakin, Marco Pistore: Static Verification of Control and Data inWeb Service Compositions. ICWS 2006: 83-90
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Luca Spalazzi, Paolo Traverso: A Minimalist Approach to Semantic Annotations for Web Processes Compositions. SEBD 2006: 208-216
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnapaola Marconi, Marco Pistore, Paolo Traverso: Specifying Data-Flow Requirements for the Automated Composition of Web Services. SEFM 2006: 147-156
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaman Kazhamiakin, Marco Pistore: Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. WS-FM 2006: 227-241
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaman Kazhamiakin, Marco Pistore, Luca Santuari: Analysis of communication models in web service compositions. WWW 2006: 267-276
2005
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaman Kazhamiakin, Marco Pistore: A Parametric Communication Model for the Verification of BPEL4WS Compositions. EPEW/WS-FM 2005: 318-332
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Pierluigi Roberti, Paolo Traverso: Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition. ESWC 2005: 62-77
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Paolo Traverso, Piergiorgio Bertoli: Automated Composition of Web Services by Planning in Asynchronous Domains. ICAPS 2005: 2-11
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso: A Hierarchical Task-Network Planner based on Symbolic Model Checking. ICAPS 2005: 300-309
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso: ASTRO: Supporting Composition and Execution of Web Services. ICSOC 2005: 495-501
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi: Automated Synthesis of Composite BPEL4WS Web Services. ICWS 2005: 293-301
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso: Automated Composition of Web Services by Planning at the Knowledge Level. IJCAI 2005: 1252-1259
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: History-Dependent Automata: An Introduction. SFM 2005: 1-28
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi: Automated synthesis of executable web service compositions from BPEL4WS processes. WWW (Special interest tracks and posters) 2005: 1186-1187
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexey Gotsman, Fabio Massacci, Marco Pistore: Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. Electr. Notes Theor. Comput. Sci. 135(1): 59-77 (2005)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: Structured coalgebras and minimal HD-automata for the pi-calculus. Theor. Comput. Sci. 340(3): 539-576 (2005)
2004
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso: Planning and Monitoring Web Service Composition. AIMSA 2004: 106-115
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaman Kazhamiakin, Marco Pistore, Marco Roveri: A Framework for Integrating Business Processes and Business Requirements. EDOC 2004: 9-20
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Marco Pistore: Planning with Extended Goals and Partial Observability. ICAPS 2004: 270-278
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso, Marco Pistore: Automated Composition of Semantic Web Services into Executable Processes. International Semantic Web Conference 2004: 380-394
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaman Kazhamiakin, Marco Pistore, Marco Roveri: Formal Verification of Requirements using SPIN: A Case Study on Web Services. SEFM 2004: 406-415
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Marco Roveri, Paolo Busetta: Requirements-Driven Verification of Web Services. Electr. Notes Theor. Comput. Sci. 105: 95-108 (2004)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAliaksei Novikau, Anna Perini, Marco Pistore: Graph Rewriting for Agent Oriented Visual Modeling. Electr. Notes Theor. Comput. Sci. 109: 85-96 (2004)
2003
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Perini, Marco Pistore, Marco Roveri, Angelo Susi: Agent-Oriented Modeling by Interleaving Formal and Informal Specification. AOSE 2003: 36-52
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso: A Framework for Planning with Extended Goals under Partial Observability. ICAPS 2003: 215-225
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. LICS 2003: 234-243
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAriel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos: Specifying and Analyzing Early Requirements: Some Experimental Results. RE 2003: 105-
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore: A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. 12(4): 440-473 (2003)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso: Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell. 147(1-2): 35-84 (2003)
2002
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Dal Lago, Marco Pistore, Paolo Traverso: Planning with a Language for Extended Goals. AAAI/IAAI 2002: 447-454
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV 2002: 359-364
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari, Marco Pistore: Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. FoSSaCS 2002: 129-158
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella: Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCos 2002: 49-56
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Aiello, Mike P. Papazoglou, Jian Yang, Mark James Carman, Marco Pistore, Luciano Serafini, Paolo Traverso: A Request Language for Web-Services Based on Planning and Constraint Satisfaction. TES 2002: 76-85
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani: Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002: 196-207
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike P. Papazoglou, Marco Aiello, Marco Pistore, Jian Yang: Planning for Requests against Web Services. IEEE Data Eng. Bull. 25(4): 41-46 (2002)
2001
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Paolo Traverso: Planning as Model Checking for Extended Goals in Non-deterministic Domains. IJCAI 2001: 479-486
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAriel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso: Model Checking Early Requirements Specifications in Tropos. RE 2001: 174-181
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Marco Pistore: `Closed Interval Process Algebra' versus `Interval Process Algebra'. Acta Inf. 37(7): 467-509 (2001)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Davide Sangiorgi: A Partition Refinement Algorithm for the -Calculus. Inf. Comput. 164(2): 264-321 (2001)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Gian Luigi Ferrari, Marco Pistore: On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001)
2000
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. MFCS 2000: 569-578
1999
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: Finite State Verification for the Asynchronous pi-Calculus. TACAS 1999: 255-269
1998
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFurio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore: Final semantics for the pi-calculus. PROCOMET 1998: 225-243
1997
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: Minimal Transition Systems for History-Preserving Bisimulation. STACS 1997: 413-425
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: An Automated Based Verification Environment for Mobile Processes. TACAS 1997: 275-289
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: An Introduction to History Dependent Automata. Electr. Notes Theor. Comput. Sci. 10: (1997)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Gian Luigi Ferrari, Marco Pistore: Eager, busy-waiting and lazy actions in timed computation? Electr. Notes Theor. Comput. Sci. 7: (1997)
1996
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Davide Sangiorgi: A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract). CAV 1996: 38-49
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore, Daniel Yankelevich: Efficient Minimization up to Location Equivalence. ESOP 1996: 265-279
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Marco Pistore: Specification and Verification of Timed Lazy Systems. MFCS 1996: 279-290
1995
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: Checking Bisimilarity for Finitary pi-Calculus. CONCUR 1995: 42-56
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: Concurrent semantics for the pi-calculus. Electr. Notes Theor. Comput. Sci. 1: (1995)

Coauthor Index

1Marco Aiello [19] [21]
2Fabio Barbon [38] [45] [55] [60]
3Luciano Baresi [81] [90]
4Piergiorgio Bertoli [30] [36] [38] [41] [43] [44] [45] [47] [58] [59] [63] [69] [71] [72] [75] [83] [91] [93]
5Paolo Busetta [33]
6Gaetano Calabrese [45]
7Mark James Carman [21]
8Vincenzo Ciancia [84]
9Alessandro Cimatti [20] [22] [24] [26] [30] [59] [63]
10Edmund M. Clarke [24]
11Flavio Corradini [3] [6] [14] [16]
12Danail Dochev [86]
13Hanna Eberle [92]
14Gian Luigi Ferrari (GianLuigi Ferrari) [6] [8] [11] [14] [23] [27] [84]
15Laura Ferrari [71] [72]
16Gianluigi Ferro [8]
17Ariel Fuxman [17] [28]
18Enrico Giunchiglia [22] [24]
19Fausto Giunchiglia [24]
20Stefania Gnesi [8] [11] [27]
21Alexey Gotsman [40]
22Sam Guinea [81] [90]
23Julia Hielscher [80]
24Jörg Hoffmann [69] [75]
25Furio Honsell [10]
26Raman Kazhamiakin [34] [37] [49] [50] [51] [54] [56] [61] [64] [71] [72] [79] [80] [81] [83] [91] [93]
27Jana Koehler (Jana Köhler) [74] [76]
28Ugur Kuter [46] [87]
29Ugo Dal Lago [25]
30Freddy Lécué [69]
31Marina Lenisa [10]
32Frank Leymann [92]
33Lin Liu [28]
34Gigi Lucchese [45]
35Annapaola Marconi [41] [43] [44] [52] [57] [70] [77] [78] [88] [89] [92]
36Fabio Massacci [40]
37Andreas Metzger [79] [80]
38Corrado Moiso [71] [72]
39Ugo Montanari [1] [2] [4] [7] [8] [9] [10] [11] [12] [13] [23] [27] [39] [42]
40John Mylopoulos [17] [28]
41Dana S. Nau [46] [87]
42Aliaksei Novikau [32]
43Francesco Pagliarecci [68] [78] [82] [89]
44Paritosh K. Pandya [56] [64]
45Massimo Paolucci [83] [91] [93]
46Mike P. Papazoglou [19] [21]
47Anna Perini [31] [32]
48Ivan Di Pietro [78] [82] [89]
49Piero Poccianti [70]
50Heorhi Raik [91] [93]
51Gioia Ristori [8] [11]
52Pierluigi Roberti [48]
53Marco Roveri [20] [22] [24] [26] [28] [31] [33] [34] [37]
54Davide Sangiorgi [5] [15]
55Luca Santuari [50]
56Roberto Sebastiani [20] [22] [24]
57Luciano Serafini [21]
58Dmitry Shaparau [38] [65] [85]
59Amit P. Sheth [74] [76]
60Adina Sirbu [92]
61Luca Spalazzi [53] [62] [68] [78] [82] [89]
62Angelo Susi [31]
63Armando Tacchella [22] [24]
64Ermes Thuegaz [71] [72]
65Michele Trainotti [45] [55] [60] [90]
66Paolo Traverso [17] [18] [21] [25] [26] [30] [35] [38] [41] [43] [44] [45] [46] [47] [48] [52] [53] [55] [57] [58] [60] [62] [65] [67] [68] [70] [73] [74] [76] [77] [82] [85] [86] [87]
67Emilio Tuosto [84]
68Tobias Unger [92]
69Moshe Y. Vardi [29] [66]
70Matthias Wagner [83] [91] [93]
71Martin Wirsing [74] [76]
72Jian Yang [19] [21]
73Daniel Yankelevich [4]
74Gabriele Zacco [45]

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)