dblp.uni-trier.dewww.uni-trier.de

Tiziana Margaria

Tiziana Margaria-Steffen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
110 Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings ICSOC 2008
109 Tiziana Margaria, Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings Springer 2008
108EEChristian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke, Bjoern Knuth: Abductive Synthesis of the Mediator Scenario with jABC and GEM. EON 2008
107EETiziana Margaria: Synthesizing the Mediator with jABC/ABC. EON 2008
106EEAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI. ISBRA 2008: 445-456
105EEMichael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, Eric Wong: Anything You Want to Ask about Software Reliability Engineering. ISSRE 2008: 6
104EEGeorg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt: SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. ISoLA 2008: 139-154
103EETiziana Margaria, Bernhard Steffen: Agile IT: Thinking in User-Centric Models. ISoLA 2008: 490-502
102EEMarkus Bajohr, Tiziana Margaria: High Service Availability in MaTRICS for the OCS. ISoLA 2008: 572-586
101EEMartina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh: The jABC Approach to Rigorous Collaborative Development of SCM Applications. ISoLA 2008: 724-737
100EEHarald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten: Hybrid test of web applications with webtest. TAV-WEB 2008: 1-7
99EEMartin Karusseit, Tiziana Margaria, Holger Willebrandt: Policy expression and checking in XACML, WS-Policies, and the jABC. TAV-WEB 2008: 20-26
98EEMike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria: Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008)
97EETiziana Margaria, Bernhard Steffen: Preface. Theor. Comput. Sci. 404(3): 185 (2008)
2007
96 Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz: Software Process Improvement, 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings Springer 2007
95EEPekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz: Software Process Improvement - EuroSPI 2007 Conference. EuroSPI 2007: 1-6
94EEHarald Raffelt, Bernhard Steffen, Tiziana Margaria: Dynamic Testing Via Automata Learning. Haifa Verification Conference 2007: 136-152
93EETiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker: The LearnLib in FMICS-jETI. ICECCS 2007: 340-352
92 Tiziana Margaria, Christian Winkler, Christian Kubczak, Bernhard Steffen, Marco Brambilla, Stefano Ceri, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca, Christina Tziviskou: The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison. ICEIS (4) 2007: 422-429
91 Charles J. Petrie, Tiziana Margaria, Ulrich Küster, Holger Lausen, Michal Zaremba: SWS Challenge - Status, Perspectives, Lessons Learned So Far. ICEIS (4) 2007: 447-452
90 Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA 2007: 85-97
89EETiziana Margaria, Bernhard Steffen: Middleware: just another level for orchestration. MNCNA 2007: 4
88EETiziana Margaria, Bernhard Steffen: LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. SEW 2007: 214-226
87EEChristian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat: Service-Oriented Mediation with jETI/jABC: Verification and Export. Web Intelligence/IAT Workshops 2007: 144-147
86EEChristian Kubczak, Tiziana Margaria, Christian Winkler, Bernhard Steffen: An Approach to Discovery with miAamics and jABC. Web Intelligence/IAT Workshops 2007: 157-160
85EETiziana Margaria: Service Is in the Eyes of the Beholder. IEEE Computer 40(11): 33-37 (2007)
84EEMichel Wermelinger, Tiziana Margaria, Maura Cerioli: Introduction to the special section on fundamental approaches to software engineering. STTT 9(5-6): 415-416 (2007)
83EEMaura Cerioli, Tiziana Margaria, Michel Wermelinger: Foreword. Theor. Comput. Sci. 376(3): 137-138 (2007)
2006
82 Tiziana Margaria, Bernhard Steffen: Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers Springer 2006
81EETiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen: Completing and Adapting Models of Biological Processes. BICC 2006: 43-54
80EEAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Data-Flow Analysis as Model Checking Within the jABC. CC 2006: 101-104
79EEBernhard Steffen, Tiziana Margaria: Continuous Engineering of Embedded systems. DIPES 2006: 45-54
78EEBernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak: Model-Driven Development with the jABC. Haifa Verification Conference 2006: 92-108
77EETiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. ICECCS 2006: 169-176
76EESven Jörges, Tiziana Margaria, Bernhard Steffen: FormulaBuilder: a tool for graph-based modelling and generation of formulae. ICSE 2006: 815-818
75EETiziana Margaria, Oliver Rüthing, Bernhard Steffen: ViDoC - Visual Design of Optimizing Compilers. Program Analysis and Compilation 2006: 145-159
74EETiziana Margaria, Bernhard Steffen: Service Engineering: Linking Business and IT. SEW 2006: 33-36
73EEChristian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen: jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). SPIN 2006: 293-298
72 Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Datenflussanalyse als Modelchecking im jABC. Software Engineering 2006: 125-130
71EEJulia Padberg, Tiziana Margaria, Gabriele Taentzer: Editorial. ECEASST 4: (2006)
70EEMartin Karusseit, Tiziana Margaria: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. Electr. Notes Theor. Comput. Sci. 157(2): 101-118 (2006)
69EETiziana Margaria, Bernhard Steffen: Service Engineering: Linking Business and IT. IEEE Computer 39(10): 45-55 (2006)
68EEMarkus Bajohr, Tiziana Margaria: MaTRICS: A service-based management tool for remote intelligent configuration of systems. ISSE 2(2): 99-111 (2006)
67EETiziana Margaria, Bernhard Steffen: Special Section on "Leveraging Formal Methods". STTT 8(6): 467-469 (2006)
2005
66EETiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck: Taming Interface Specifications. CONCUR 2005: 548-561
65EETiziana Margaria, Ralf Nagel, Bernhard Steffen: Remote Integration and Coordination of Verification Tools in JETI. ECBS 2005: 431-436
64EETiziana Margaria, Bernhard Steffen, Manfred Reitenspieß: Service-Oriented Design: The Roots. ICSOC 2005: 450-464
63EETiziana Margaria, Bernhard Steffen: Second-Order Semantic Web. SEW 2005: 219-227
62EETiziana Margaria, Bernhard Steffen, Manfred Reitenspieß: Service-Oriented Design: The jABC Approach. Service Oriented Computing 2005
61EETiziana Margaria, Ralf Nagel, Bernhard Steffen: jETI: A Tool for Remote Tool Integration. TACAS 2005: 557-562
60EETiziana Margaria, Bernhard Steffen: From the How to the What. VSTTE 2005: 448-459
59EETiziana Margaria, Bernhard Steffen: Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services. WRAC 2005: 257-268
58 Martin Karusseit, Tiziana Margaria: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. WWV 2005: 9-25
57EETiziana Margaria, Harald Raffelt, Bernhard Steffen: Knowledge-based relevance filtering for efficient system-level test-based model generation. ISSE 1(2): 147-156 (2005)
56EEMirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen: Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. International Journal of Parallel Programming 33(6): 585-611 (2005)
55EETiziana Margaria: Introductory paper. STTT 7(4): 293-296 (2005)
54EETiziana Margaria: Web services-based tool-integration in the ETI platform. Software and System Modeling 4(2): 141-156 (2005)
2004
53 Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß: International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings Department of Computer Science, University of Cyprus 2004
52 Michel Wermelinger, Tiziana Margaria: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings Springer 2004
51EETiziana Margaria: Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?. ISORC 2004: 113-120
50EETiziana Margaria, Bernhard Steffen: Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2-3): 107-123 (2004)
2003
49EEHardi Hungar, Tiziana Margaria, Bernhard Steffen: Test-Based Model Generation For Legacy Systems. ITC 2003: 971-980
48EETiziana Margaria: Components, Features, and Agents in the ABC. Objects, Agents, and Features 2003: 154-174
47EEVolker Braun, Tiziana Margaria, Bernhard Steffen: The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. Petri Net Technology for Communication-Based Systems 2003: 363-382
46EETiziana Margaria: Preface by the section editor. STTT 4(3): 266-270 (2003)
45EETiziana Margaria, Wang Yi: Introductory paper: scalability aspects of validation. STTT 5(1): 1-3 (2003)
2002
44EEAndreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide: Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. FASE 2002: 336-340
43 Tiziana Margaria, Martin Karusseit: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences. I3E 2002: 497-511
42EEHardi Hungar, Tiziana Margaria, Bernhard Steffen: Model Generation for Legacy Systems. RISSEF 2002: 167-183
41EETiziana Margaria, Oliver Niese, Bernhard Steffen: Demonstration of an Automated Integrated Test Environment for Web-Based Applications. SPIN 2002: 250-253
40EETiziana Margaria, Bernhard Steffen: Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
39EETiziana Margaria: The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools. Electr. Notes Theor. Comput. Sci. 72(2): (2002)
2001
38 Tiziana Margaria, Wang Yi: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings Springer 2001
37 Tiziana Margaria, Thomas F. Melham: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings Springer 2001
36EEOliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide: Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. FASE 2001: 233-248
35EEBernhard Steffen, Tiziana Margaria, Volker Braun: Coarse-Granular Model Checking in Practice. SPIN 2001: 304-312
34 Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen: Incremental Requirement Specification for Evolving Systems. Nord. J. Comput. 8(1): 65-87 (2001)
2000
33 Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen: Incremental Requirement Specification for Evolving Systems. FIW 2000: 145-162
1999
32EEBernhard Steffen, Tiziana Margaria: METAFrame in Practice: Design of Intelligent Network Services. Correct System Design 1999: 390-415
31EEVolker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen: The ETI Online Service in Action. TACAS 1999: 439-443
1998
30 Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga: Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers Springer 1998
29EETiziana Margaria, Bernhard Steffen: Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. FASE 1998: 188-204
28 Tiziana Margaria, Volker Gruhn: Flexible and Reliable Process Model Properties: An Integrated Approach. FM-Trends 1998: 213-227
27EETiziana Margaria, Volker Braun: Formal Methods and Customized Visualization: A Fruitful Symbiosis. Services and Visualization: Towards User-Friendly Design 1998: 190-207
26EEVolker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo: Automatic Error Location for IN Service Definition. Services and Visualization: Towards User-Friendly Design 1998: 222-237
25EEThomas Friese, Tiziana Margaria, Alfred Hofmann: Integrating Printed and Online Information. STTT 2(2): 202 (1998)
1997
24 Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A Sound and Efficient Tool for M2L(Str). CAV 1997: 448-451
23 Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen: Graphs in METAFrame: The Unifying Power of Polymorphism. TACAS 1997: 112-129
22 Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A FLexible Toolset for Monadic Second-Order Logic. TACAS 1997: 183-202
21EERance Cleaveland, Tiziana Margaria, Bernhard Steffen: Editorial. STTT 1(1-2): 1-5 (1997)
20EEVolker Braun, Tiziana Margaria, Carsten Weise: Integrating Tools in the ETI Platform. STTT 1(1-2): 31-48 (1997)
19EETiziana Margaria, Volker Braun, Jürgen Kreileder: Interacting with ETI: A User Session. STTT 1(1-2): 49-63 (1997)
18EEBernhard Steffen, Tiziana Margaria, Volker Braun: The Electronic Tool Integration Platform: Concepts and Design. STTT 1(1-2): 9-30 (1997)
1996
17 Tiziana Margaria, Bernhard Steffen: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings Springer 1996
16 Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization. AMAST 1996: 608-611
15 Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: The METAFrame'95 Environment. CAV 1996: 450-453
14 Tiziana Margaria: Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits. TACAS 1996: 258-277
13 Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß: A Constraint-Oriented Service Creation Environment. TACAS 1996: 418-421
12 Bernhard Steffen, Tiziana Margaria: Tools Get Formal Methods into Practice. ACM Comput. Surv. 28(4es): 126 (1996)
11 Bernhard Steffen, Tiziana Margaria: Method Engineering for Real-Life Concurrent Systems. ACM Comput. Surv. 28(4es): 56 (1996)
10 Bernhard Steffen, Tiziana Margaria, Andreas Claßen: Heterogeneous Analysis and Verification for Distributed Systems. Software - Concepts and Tools 17(1): 13-25 (1996)
9 Tiziana Margaria, Bernhard Steffen: Foreword. Software - Concepts and Tools 17(2): 49 (1996)
8 Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools 17(2): 78- (1996)
1995
7 Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings Springer 1995
6 Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria: The Fixpoint-Analysis Machine. CONCUR 1995: 72-87
5EEBurkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski: An Approach to Intelligent Software Library Management. DASFAA 1995: 71-78
4 Bernhard Steffen, Tiziana Margaria, Andreas Claßen: The META-Frame: An Environment for Flexible Tool Management. TAPSOFT 1995: 791-792
1994
3 Burkhard Freitag, Tiziana Margaria, Bernhard Steffen: A Pragmatic Approach to Software Synthesis. Workshop on Interface Definition Languages 1994: 46-58
1992
2 Tiziana Margaria: Efficient RT-Level Verification by Theorem Proving. IFIP Congress (1) 1992: 696-702
1 Tiziana Margaria: Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level. TPCD 1992: 59-75

Coauthor Index

1Pekka Abrahamsson [95] [96]
2Nathan Baddoo [95] [96]
3Markus Bajohr [68] [102]
4Marco Bakera [90]
5Michael von der Beeck [23]
6Athman Bouguettaya [110]
7Jonathan P. Bowen [98]
8Marco Brambilla [92]
9Volker Braun [8] [13] [15] [16] [18] [19] [20] [23] [26] [27] [31] [35] [47]
10Ed Brinksma [7]
11Georg Brune [36]
12Stefano Ceri [92]
13Maura Cerioli [83] [84]
14Dario Cerizza [92]
15Andreas Claßen [4] [6] [8] [10] [13] [15] [16] [23]
16Rance Cleaveland [7] [21]
17Byron Cook [98]
18Patrick Cousot [98]
19Achim Dannecker [23]
20Federico Michele Facca [92]
21Burkhard Freitag [3] [5]
22Carsten Friedrich [23]
23Thomas Friese [25]
24Volker Gruhn [28]
25Claudia Gsottberger [22] [24]
26Andreas Hagerer [36] [44]
27Michael G. Hinchey (Mike Hinchey) [81] [98] [105]
28Alfred Hofmann [25]
29Martina Hörmann [101]
30Hardi Hungar [42] [44] [49]
31Hans-Dieter Ide [36] [44]
32Michael Jackson [98]
33Bengt Jonsson [33] [34]
34Sven Jörges [76] [78]
35Georg Jung [104]
36Matthias Kaiser [108]
37Karama Kanoun [105]
38Martin Karusseit [43] [58] [70] [99]
39Peter Kelb [22] [24]
40Marion Klein [6]
41Jens Knoop [6]
42Bjoern Knuth [108]
43Dirk Koschützki [23]
44Jürgen Kreileder [19] [31]
45Ingolf Krüger (Ingolf H. Krüger) [110]
46Christian Kubczak [77] [78] [86] [87] [92] [108]
47Ulrich Küster [91]
48Anna-Lena Lamprecht [72] [80] [106]
49Kim Guldstrand Larsen [7]
50Holger Lausen [91]
51Jens Lemcke [108]
52Martin Leucker [93]
53Mikael Lindvall [105]
54Mirko Loghi [56]
55Michael R. Lyu [105]
56Thomas F. Melham [37]
57Thomas Mender [101]
58Veena B. Mendiratta [105]
59Michael Mendler [22] [24]
60Maik Merten [100]
61Richard Messnarz [95] [96]
62Gustaf Naeser [33] [34]
63Ralf Nagel [61] [65] [78] [101] [104]
64Stefan Naujokat [87]
65Oliver Niese [36] [41] [44]
66Rita Nisius [13]
67Marc Njoku [77]
68Jan Nyström [33] [34]
69Julia Padberg [71]
70Charles J. Petrie [91]
71Paul Pettersson [105]
72Anna Philippou [53]
73Joachim Posegga [30]
74Graziano Pravadelli [56]
75Harald Raffelt [57] [81] [93] [94] [100]
76James L. Rash [81]
77Manfred Reitenspieß [13] [53] [62] [64]
78Clemens D. Renner [90]
79Christopher A. Rouff (Christopher Rouff) [81]
80Roland Rückert [30]
81Oliver Rüthing [75]
82Norman F. Schneidewind [105]
83Falk Schreiber [23]
84Wolfgang Schubert [104]
85A. Prasad Sistla [66]
86Bernhard Steffen [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [16] [17] [18] [21] [23] [26] [29] [30] [31] [32] [33] [34] [35] [36] [40] [41] [42] [44] [47] [49] [50] [53] [56] [57] [59] [60] [61] [62] [63] [64] [65] [66] [67] [69] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [86] [87] [88] [89] [90] [92] [93] [94] [97] [100] [101] [103] [104] [106] [109]
87Gabriele Taentzer [71]
88Christian Topnik [73]
89Hong Trinh [101]
90Christina Tziviskou [92]
91Emanuele Della Valle [92]
92Horst Voigt [104]
93Carsten Weise [20]
94Michel Wermelinger [52] [83] [84]
95Eva Wilhelm [73]
96Holger Willebrandt [99]
97Christian Winkler [86] [92]
98Eric Wong [105]
99Wang Yi [38] [45]
100Haiseung Yoo [26]
101Michal Zaremba [91]
102Lenore D. Zuck [66]
103Ulrich Zukowski [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)