Paolo Traverso 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
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Domingue, Dieter Fensel, Paolo Traverso: Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008, Revised Selected Papers Springer 2009
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, Elena Paslaru Bontas Simperl: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings Springer 2009
72Electronic 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
71no 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
70no 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
69no 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
68Electronic 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)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann: Service-Oriented Computing: a Research Roadmap. Int. J. Cooperative Inf. Syst. 17(2): 223-255 (2008)
2007
66no 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
65Electronic 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
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso, Marco Pistore: Agree or Change! Making Services Evolve. ICSM 2007: 2-3
63Electronic 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
62no 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
61Electronic 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
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann: Service-Oriented Computing: State of the Art and Research Challenges. IEEE Computer 40(11): 38-45 (2007)
2006
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso: ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings IOS Press 2006
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDmitry Shaparau, Marco Pistore, Paolo Traverso: Contingent Planning with Goal Preferences. AAAI 2006
57Electronic 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
56no 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
55no 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
54Electronic 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
53Electronic 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
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso: Planning Under Uncertainty and Its Applications. Reasoning, Action and Interaction in AI Theories and Systems 2006: 213-228
51no 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
50Electronic 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso: Strong planning under partial observability. Artif. Intell. 170(4-5): 337-384 (2006)
2005
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoualem Benatallah, Fabio Casati, Paolo Traverso: Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings Springer 2005
47Electronic 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
46no 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
45no 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
44Electronic 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
43Electronic 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
42Electronic 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer: 05462 Service-Oriented Computing: A Research Roadmap. Service Oriented Computing 2005
40Electronic 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
2004
39Electronic 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
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso: Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. ECAI 2004: 657-661
37Electronic 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAriel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso: Specifying and analyzing early requirements in Tropos. Requir. Eng. 9(2): 132-150 (2004)
2003
35no 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
34Electronic 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
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMalik Ghallab, Joachim Hertzberg, Paolo Traverso: Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, April 23-27, 2002, Toulouse, France AAAI 2002
32no 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
31Electronic 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
2001
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI 2001: 473-478
29no 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
28Electronic 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
2000
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Spalazzi, Paolo Traverso: A dynamic logic for acting, sensing, and planning. J. Log. Comput. 10(6): 787-821 (2000)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Traverso: Theorem proving in technology transfer: the user's point of view. STTT 3(1): 1-12 (2000)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso, Piergiorgio Bertoli: Mechanized result verification: an industrial application. STTT 3(1): 78-92 (2000)
1999
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann: Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings Springer 1999
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Traverso: Planning as Model Checking. ECP 1999: 1-20
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Daniele, Paolo Traverso, Moshe Y. Vardi: Strong Cyclic Planning Revisited. ECP 1999: 35-48
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita: Formal Specification and Development of a Safety-Critical Train Management System. SAFECOMP 1999: 410-419
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita: Formal Specification and Validation of a Vital Communication Protocol. World Congress on Formal Methods 1999: 1584-1604
1998
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Paolo Traverso: Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. AAAI/IAAI 1998: 875-881
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Paolo Traverso: Strong Planning in Non-Deterministic Domains Via Model Checking. AIPS 1998: 36-43
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso: A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. SAFECOMP 1998: 221-230
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso: Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. SAFECOMP 1998: 284-295
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso: Formal Verification of a Railway Interlocking System using Model Checking. Formal Asp. Comput. 10(4): 361-380 (1998)
1997
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu: A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. CAV 1997: 202-213
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso: Planning via Model Checking: A Decision Procedure for AR. ECP 1997: 130-142
1996
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Traverso: Program Tactics and Logic Tactics. Ann. Math. Artif. Intell. 17(3-4): 235-259 (1996)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Traverso: A Metatheory of a Mechanized Object Theory. Artif. Intell. 80(1-2): 197-241 (1996)
1995
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso, Luca Spalazzi, Fausto Giunchiglia: Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. ATAL 1995: 65-78
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso, Luca Spalazzi: A Logic for Acting, Sensing and Planning. IJCAI 1995: 1941-1949
1994
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Luca Spalazzi, Paolo Traverso: Planning with Failure. AIPS 1994: 74-79
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Traverso: Program Tactics and Logic Tactics. LPAR 1994: 16-30
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia: MRG: Building planers for real-world complex applications. Applied Artificial Intelligence 8(3): 333-357 (1994)
1992
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso, Alessandro Armando, Enrico Giunchiglia: A Knowledge Based System for Automatic 3D Scene. AIMSA 1992: 255-264
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso, Alessandro Cimatti, Luca Spalazzi: Beyond the Single Planning Paradigm: Introspective Planning. ECAI 1992: 643-647
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Carlo Ferrari, Paolo Traverso, Emanuele Trucco: Understanding Scene Descriptions by Integrating Different Sources of Knowledge. International Journal of Man-Machine Studies 37(1): 47-81 (1992)
1991
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Basin, Fausto Giunchiglia, Paolo Traverso: Automating Meta-Theory Creation and System Extension. AI*IA 1991: 48-57
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Traverso: Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. IJCAI 1991: 111-117

Coauthor Index

1Marco Aiello [31]
2Alessandro Armando [5] [6]
3Lora Aroyo [73]
4Fabio Barbon [39] [44] [53] [56]
5David A. Basin [2]
6Boualem Benatallah [48]
7Piergiorgio Bertoli [17] [25] [30] [35] [38] [39] [40] [42] [43] [44] [46] [49] [55]
8Gerhard Brewka [59]
9Gaetano Calabrese [44]
10Mark James Carman [31]
11Fabio Casati [48]
12A. Chiappini [21]
13Alessandro Cimatti [4] [6] [13] [14] [15] [16] [17] [18] [19] [20] [21] [30] [34] [35] [38] [49]
14Philipp Cimiano [73]
15Fabio Ciravegna [73]
16Silvia Coradeschi [59]
17Marco Daniele [22]
18Danail Dochev [71]
19John Domingue [74]
20Schahram Dustdar [41] [60] [67]
21Dieter Fensel [74]
22Carlo Ferrari [3]
23Ariel Fuxman [28] [36]
24Malik Ghallab [33]
25Enrico Giunchiglia [5] [6] [13]
26Fausto Giunchiglia [1] [2] [3] [7] [8] [10] [11] [12] [13] [14] [15] [16] [17] [23] [26]
27Tom Heath [73]
28Joachim Hertzberg [33]
29Dieter Hutter [24]
30Eero Hyvönen [73]
31Jana Koehler (Jana Köhler) [65] [66]
32Bernd J. Krämer [41]
33Ugur Kuter [45] [72]
34Ugo Dal Lago [32]
35Frank Leymann [41] [60] [67]
36Lin Liu [36]
37Gigi Lucchese [44]
38Annapaola Marconi [40] [42] [43] [50] [54] [63] [68]
39Riichiro Mizoguchi [73]
40Giorgio Mongardi [15] [16]
41John Mylopoulos [28] [36]
42Dana S. Nau [45] [72]
43Eyal Oren [73]
44Francesco Pagliarecci [62] [69]
45Mike P. Papazoglou [31] [41] [60] [67]
46Paolo Pecchiari [14]
47Anna Perini [59]
48P. L. Pieraccini [20]
49Bruno Pietra [14]
50Ivan Di Pietro [69]
51Marco Pistore [28] [29] [31] [32] [34] [35] [37] [39] [40] [42] [43] [44] [45] [46] [47] [50] [51] [53] [54] [55] [56] [57] [58] [61] [62] [63] [64] [65] [66] [68] [69] [70] [71] [72]
52Piero Poccianti [63]
53Carmen Porzia [21]
54Joe Profeta [14]
55Pierluigi Roberti [47]
56Dario Romano [14] [15] [16]
57G. Rotondo [21]
58Marco Roveri [18] [19] [30] [34] [36] [49]
59Marta Sabou [73]
60Roberto Sebastiani [20] [21]
61Luciano Serafini [31]
62Dmitry Shaparau [39] [58] [70]
63Amit P. Sheth [65] [66]
64Elena Paslaru Bontas Simperl (Elena Paslaru Bontas) [73]
65Luca Spalazzi [4] [6] [8] [9] [10] [27] [51] [57] [62] [69]
66Werner Stephan [24]
67Fernando Torielli [15] [16]
68Michele Trainotti [44] [53] [56]
69Emanuele Trucco [3]
70Markus Ullmann [24]
71Moshe Y. Vardi [22]
72Adolfo Villafiorita [20] [21]
73Martin Wirsing [65] [66]
74Jian Yang [31]
75Bing Yu [14]
76Gabriele Zacco [44]

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