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

André Schiper

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

2009
130EENuno Santos, Martin Hutle, André Schiper: Latency-aware leader election. SAC 2009: 1056-1061
2008
129 Sandeep S. Kulkarni, André Schiper: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings Springer 2008
128EETatsuhiro Tsuchiya, André Schiper: Using Bounded Model Checking to Verify Consensus Algorithms. DISC 2008: 466-480
127EEOlivier Rütti, André Schiper: A predicate-based approach to dynamic protocol update in group communication. IPDPS 2008: 1-12
126EEFatemeh Borran, Ravi Prakash, André Schiper: Extending Paxos/LastVoting with an Adequate Communication Layer for Wireless Ad Hoc Networks. SRDS 2008: 227-236
125EEBernadette Charron-Bost, André Schiper: Consensus with Partial Synchrony. Encyclopedia of Algorithms 2008
2007
124EEOlivier Rütti, Sergio Mena, Richard Ekwall, André Schiper: On the Cost of Modularity in Atomic Broadcast. DSN 2007: 635-644
123EEMartin Hutle, André Schiper: Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults. DSN 2007: 92-101
122EERichard Ekwall, André Schiper: Modeling and Validating the Performance of Atomic Broadcast Algorithms in High Latency Networks. Euro-Par 2007: 574-586
121EEMartin Biely, Josef Widder, Bernadette Charron-Bost, Antoine Gaillard, Martin Hutle, André Schiper: Tolerating corrupted communication. PODC 2007: 244-253
120EETatsuhiro Tsuchiya, André Schiper: An Automatic Real-Time Analysis of the Time to Reach Consensus. PRDC 2007: 53-60
119EETatsuhiro Tsuchiya, André Schiper: Model Checking of Consensus Algorit. SRDS 2007: 137-148
118EEBernadette Charron-Bost, André Schiper: Harmful dogmas in fault tolerant distributed computing. SIGACT News 38(1): 53-61 (2007)
2006
117 Jürg Kohlas, Bertrand Meyer, André Schiper: Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program Springer 2006
116EERichard Ekwall, André Schiper: Solving Atomic Broadcast with Indirect Consensus. DSN 2006: 156-165
115EEMansoor Mohsin, David Cavin, Yoav Sasson, Ravi Prakash, André Schiper: Reliable Broadcast in Wireless Mobile Ad Hoc Networks. HICSS 2006
114EEOlivier Rütti, Pawel T. Wojciechowski, André Schiper: Structural and algorithmic issues of dynamic protocol update. IPDPS 2006
113EEBernadette Charron-Bost, André Schiper: Improving Fast Paxos: being optimistic with no overhead. PRDC 2006: 287-295
112EEDaniel C. Bünzli, Rachele Fuzzati, Sergio Mena, Uwe Nestmann, Olivier Rütti, André Schiper, Pawel T. Wojciechowski: Advances in the Design and Implementation of Group Communication Middleware. Research Results of the DICS Program 2006: 172-194
111EEAndré Schiper: Dependable Systems. Research Results of the DICS Program 2006: 34-54
110EEOlivier Rütti, Pawel T. Wojciechowski, André Schiper: Service interface: a new abstraction for implementing and composing protocols. SAC 2006: 691-696
109EEAndré Schiper: Group Communication: From Practice to Theory . SOFSEM 2006: 117-136
108EEStefan Pleisch, Thomas Clouser, Mikhail Nesterenko, André Schiper: DRIFT: Efficient Message Ordering in Ad Hoc Networks Using Virtual Flooding. SRDS 2006: 119-131
107EEAndré Schiper: Dynamic group communication. Distributed Computing 18(5): 359-374 (2006)
106EEAndré Schiper, Sam Toueg: From Set Membership to Group Membership: A Separation of Concerns. IEEE Trans. Dependable Sec. Comput. 3(1): 2-12 (2006)
2005
105EEYoav Sasson, David Cavin, André Schiper: A Location Service Mechanism for Position-Based Multicasting in Wireless Mobile Ad hoc Networks. HICSS 2005
104EESergio Mena, Claudio Basile, Zbigniew Kalbarczyk, André Schiper, Ravi K. Iyer: Assessing the Crash-Failure Assumption of Group Communication Protocols. ISSRE 2005: 107-116
103EESergio Mena, André Schiper: A new look at atomic broadcast in the asynchronous crash-recovery model. SRDS 2005: 202-214
102EEMatthias Wiesmann, André Schiper: Comparison of Database Replication Techniques Based on Total Order Broadcast. IEEE Trans. Knowl. Data Eng. 17(4): 551-566 (2005)
101EERichard Ekwall, André Schiper: Replication: Understanding the Advantage of Atomic Broadcast over Quorum Systems. J. UCS 11(5): 703-711 (2005)
2004
100EEDavid Cavin, Yoav Sasson, André Schiper: Consensus with Unknown Participants or Fundamental Self-Organization. ADHOC-NOW 2004: 135-148
99EEMatthias Wiesmann, André Schiper: Beyond 1-Safety and 2-Safety for Replicated Databases: Group-Safety. EDBT 2004: 165-182
98EEPawel T. Wojciechowski, Olivier Rütti, André Schiper: SAMOA: Framework for Synchronisation Augmented Microprotocol Approach. IPDPS 2004
97EEAndré Schiper: Group Communication: Where Are We Today and Future Challenges. NCA 2004: 109-117
96EEArnas Kupsys, Stefan Pleisch, André Schiper, Matthias Wiesmann: Towards JMS Compliant Group Communication - A Semantic Mapping. NCA 2004: 131-140
95EERichard Ekwall, Sergio Mena, Stefan Pleisch, André Schiper: Towards Flexible Finite-State-Machine-Based Protocol Composition. NCA 2004: 281-286
94EEFernando Pedone, André Schiper: Brief announcement: on the inherent cost of generic broadcast. PODC 2004: 401
93EEPéter Urbán, Naohiro Hayashibara, André Schiper, Takuya Katayama: Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm. SRDS 2004: 4-17
92EERichard Ekwall, André Schiper, Péter Urbán: Token-based Atomic Broadcast using Unreliable Failure Detectors. SRDS 2004: 52-65
91EEStefan Pleisch, André Schiper: Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic view. ACM Comput. Surv. 36(3): 219-262 (2004)
90EEXavier Défago, André Schiper, Péter Urbán: Total order broadcast and multicast algorithms: Taxonomy and survey. ACM Comput. Surv. 36(4): 372-421 (2004)
89EEBernadette Charron-Bost, André Schiper: Uniform consensus is harder than consensus. J. Algorithms 51(1): 15-37 (2004)
88EEXavier Défago, André Schiper: Semi-passive replication and Lazy Consensus. J. Parallel Distrib. Comput. 64(12): 1380-1398 (2004)
2003
87 André Schiper, Alexander A. Shvartsman, Hakim Weatherspoon, Ben Y. Zhao: Future Directions in Distributed Computing, Research and Position Papers Springer 2003
86EEPéter Urbán, Ilya Shnayderman, André Schiper: Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms. DSN 2003: 645-654
85EEAndré Schiper: Practical Impact of Group Communication Theory. Future Directions in Distributed Computing 2003: 1-10
84EESergio Mena, André Schiper, Pawel T. Wojciechowski: A Step Towards a New Generation of Group Communication Systems. Middleware 2003: 414-432
83EEMatthias Wiesmann, Xavier Défago, André Schiper: Group Communication based on Standard Interfaces. NCA 2003: 140-147
82EEAndré Schiper: Brief announcement: dynamic group communication. PODC 2003: 113
81EEStefan Pleisch, Arnas Kupsys, André Schiper: Preventing Orphan Requests in the Context of Replicated Invocation. SRDS 2003: 119-
80EESergio Mena, Xavier Cuvellier, Christophe Grégoire, André Schiper: Appia vs. Cactus: Comparing Protocol Composition Frameworks. SRDS 2003: 189-198
79EEFernando Pedone, Rachid Guerraoui, André Schiper: The Database State Machine Approach. Distributed and Parallel Databases 14(1): 71-98 (2003)
78EEStefan Pleisch, André Schiper: Fault-Tolerant Mobile Agent Execution. IEEE Trans. Computers 52(2): 209-222 (2003)
77EEBettina Kemme, Fernando Pedone, Gustavo Alonso, André Schiper, Matthias Wiesmann: Using Optimistic Atomic Broadcast in Transaction Processing Systems. IEEE Trans. Knowl. Data Eng. 15(4): 1018-1032 (2003)
76EERichard Ekwall, Péter Urbán, André Schiper: Robust TCP Connections for Fault Tolerant Computing. J. Inf. Sci. Eng. 19(3): 503-516 (2003)
75 Fernando Pedone, André Schiper: Optimistic atomic broadcast: a pragmatic viewpoint. Theor. Comput. Sci. 291(1): 79-101 (2003)
2002
74EEPawel T. Wojciechowski, Sergio Mena, André Schiper: Semantics of Protocol Modules Composition and Interaction. COORDINATION 2002: 389-404
73EEFernando Pedone, André Schiper, Péter Urbán, David Cavin: Solving Agreement Problems with Weak Ordering Oracles. EDCC 2002: 44-61
72EEMarios Mavronicolas, André Schiper: Distributed Systems and Algorithms. Euro-Par 2002: 551-552
71EEStefan Pleisch, André Schiper: Non-Blocking Transactional Mobile Agent Execution. ICDCS 2002: 443-444
70EERichard Ekwall, Péter Urbán, André Schiper: Robust TCP Connections for Fault Tolerant Computing. ICPADS 2002: 501-508
69EEAndré Schiper: Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs. PAPM-PROBMIV 2002: 1-15
68EEDavid Cavin, Yoav Sasson, André Schiper: On the accuracy of MANET simulators. POMC 2002: 38-43
67EEBernadette Charron-Bost, Xavier Défago, André Schiper: Broadcasting Messages in Fault-Tolerant Distributed Systems: The Benefit of Handling Input-Triggered and Output-Triggered Suspicions Differently. SRDS 2002: 244-249
66EEFernando Pedone, André Schiper: Handling message semantics with Generic Broadcast protocols. Distributed Computing 15(2): 97-107 (2002)
65EEPéter Urbán, Xavier Défago, André Schiper: Neko: A Single Environment to Simulate and Prototype Distributed Algorithms. J. Inf. Sci. Eng. 18(6): 981-997 (2002)
2001
64EEStefan Pleisch, André Schiper: FATOMAS-A Fault-Tolerant Mobile Agent System Based on the Agent-Dependent Approach. DSN 2001: 215-224
63EEPascal Felber, André Schiper: Optimistic Active Replication. ICDCS 2001: 333-341
62EEPéter Urbán, Xavier Défago, André Schiper: Neko: A Single Environment to Simulate and Prototype Distributed Algorithms. ICOIN 2001: 503-511
61EENicole Sergent, Xavier Défago, André Schiper: Impact of a Failure Detection Mechanism on the Performance of Consensus. PRDC 2001: 137-145
60EERui Carlos Oliveira, José Orlando Pereira, André Schiper: Primary-Backup Replication: From a Time-Free Protocol to a Time-Based Implementation. SRDS 2001: 14-23
59EEPéter Urbán, Xavier Défago, André Schiper: Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be?. SRDS 2001: 190-193
58EEBernadette Charron-Bost, Xavier Défago, André Schiper: Time vs. Space in Fault-Tolerant Distributed Systems. WORDS 2001: 21-27
57EERachid Guerraoui, André Schiper: The Generic Consensus Service. IEEE Trans. Software Eng. 27(1): 29-41 (2001)
56EERachid Guerraoui, André Schiper: Genuine atomic multicast in asynchronous distributed systems. Theor. Comput. Sci. 254(1-2): 297-316 (2001)
2000
55EEBernadette Charron-Bost, Rachid Guerraoui, André Schiper: Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue. DSN 2000: 523-532
54EEFernando Pedone, Matthias Wiesmann, André Schiper, Bettina Kemme, Gustavo Alonso: Understanding Replication in Databases and Distributed Systems. ICDCS 2000: 464-474
53EEStefan Pleisch, André Schiper: Modeling Fault-Tolerant Mobile Agent Execution as a Sequence of Agreement Problems. SRDS 2000: 11-20
52EEMatthias Wiesmann, André Schiper, Fernando Pedone, Bettina Kemme, Gustavo Alonso: Database Replication Techniques: A Three Parameter Classification. SRDS 2000: 206-215
1999
51EEPascal Felber, Rachid Guerraoui, André Schiper: Replication of CORBA Objects. Advances in Distributed Systems 1999: 254-276
50EERachid Guerraoui, Michel Hurfin, Achour Mostéfaoui, Rui Carlos Oliveira, Michel Raynal, André Schiper: Consensus in Asynchronous Distributed Systems: A Concise Guided Tour. Advances in Distributed Systems 1999: 33-47
49 Pascal Felber, Xavier Défago, Patrick Th. Eugster, André Schiper: Replicating CORBA objects: a marriage between active and passive replication. DAIS 1999: 375-388
48EEFernando Pedone, André Schiper: Generic Broadcast. DISC 1999: 94-108
47EEAssia Doudou, Benoît Garbinato, Rachid Guerraoui, André Schiper: Muteness Failure Detectors: Specification and Implementation. EDCC 1999: 71-87
46EEGérard Padiou, André Schiper: Distributed Systems and Algorithms - Introduction. Euro-Par 1999: 767-768
45EEBettina Kemme, Fernando Pedone, Gustavo Alonso, André Schiper: Processing Transactions over Optimistic Atomic Broadcast Protocols. ICDCS 1999: 424-431
1998
44EEFernando Pedone, André Schiper: Optimistic Atomic Broadcast. DISC 1998: 318-332
43EEFernando Pedone, Rachid Guerraoui, André Schiper: Exploiting Atomic Broadcast in Replicated Databases. Euro-Par 1998: 513-520
42EELuís Rodrigues, Rachid Guerraoui, André Schiper: Scalable Atomic Multicast. ICCCN 1998: 840-847
41EEAssia Doudou, André Schiper: Muteness Detectors for Consensus with Byzantine Processes. PODC 1998: 315
40 Xavier Défago, André Schiper, Nicole Sergent: Semi-Passive Replication. SRDS 1998: 43-50
39 Pascal Felber, Rachid Guerraoui, André Schiper: The Implementation of a CORBA Object Group Service. TAPOS 4(2): 93-105 (1998)
1997
38EEPascal Felber, Rachid Guerraoui, André Schiper: Replicating objects using the CORBA Event Service? FTDCS 1997: 14-21
37EERachid Guerraoui, André Schiper: Consensus: The Big Misunderstanding. FTDCS 1997: 183-188
36 Rachid Guerraoui, André Schiper: Total Order Multicast to Multiple Groups. ICDCS 1997: 0-
35 Fernando Pedone, Rachid Guerraoui, André Schiper: Transaction Reordering in Replicated Databases. SRDS 1997: 175-182
34 Rachid Guerraoui, André Schiper: Genuine Atomic Multicast. WDAG 1997: 141-154
33 André Schiper: Early Consensus in an Asynchronous System with a Weak Failure Detector. Distributed Computing 10(3): 149-157 (1997)
32 Rachid Guerraoui, André Schiper: Software-Based Replication for Fault Tolerance. IEEE Computer 30(4): 68-74 (1997)
1996
31 Rachid Guerraoui, André Schiper: Fault-Tolerance by Replication in Distributed Systems. Ada-Europe 1996: 38-57
30 Rachid Guerraoui, Rui Carlos Oliveira, André Schiper: Atomic Updates of Replicated Data. EDCC 1996: 365-382
29 Rachid Guerraoui, André Schiper: Consensus Service: A Modular Approach for Building Agreement Protocols in Distributed Systems. FTCS 1996: 168-177
28 Rachid Guerraoui, Mikel Larrea, André Schiper: Reducing the Cost for Non-Blocking in Atomic Commitment. ICDCS 1996: 692-697
27 Rachid Guerraoui, André Schiper: "Gamma-Accurate" Failure Detectors. WDAG 1996: 269-286
26 André Schiper, Michel Raynal: From Group Communication to Transactions in Distributed Systems. Commun. ACM 39(4): 84-87 (1996)
1995
25 Kenneth P. Birman, Friedemann Mattern, André Schiper: Theory and Practice in Distributed Systems, International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers Springer 1995
24 Michel Raynal, André Schiper: From Causal Consistency to Sequential Consistency in Shared Memory Systems. FSTTCS 1995: 180-194
23EERachid Guerraoui, André Schiper: A Generic Multicast Primitive to Support Transactions on Replicated Objects in Distributed Systems. FTDCS 1995: 334-342
22 Uwe G. Wilhelm, André Schiper: A Hierarchy of Totally Ordered Multicasts. SRDS 1995: 106-115
21 Rachid Guerraoui, Mikel Larrea, André Schiper: Non-Blocking Atomic Commitment with an Unreliable Failure Detector. SRDS 1995: 41-50
20 Özalp Babaoglu, André Schiper: On Group Communication in Large-Scale Distributed Systems. Operating Systems Review 29(1): 62-67 (1995)
1994
19 Özalp Babaoglu, André Schiper: On Group Communication in Large-Scale Distributed Systems. ACM SIGOPS European Workshop 1994: 17-22
18EEFrançois Pacull, Alain Sandoz, André Schiper: Duplex: A Distributed Collaborative Editing Environment in Large Scale. CSCW 1994: 165-173
17 Rachid Guerraoui, André Schiper: Transaction Model vs. Virtual Synchrony Model: Bridging the Gap. Dagstuhl Seminar on Distributed Systems 1994: 121-132
16 Dalia Malki, Kenneth P. Birman, Aleta Ricciardi, André Schiper: Uniform Actions in Asynchronous Distributed Systems (Extended Abstract). PODC 1994: 274-283
15 André Schiper, Alain Sandoz: Primary Partition "Virtually-Synchronous Communication" harder than Consensus. WDAG 1994: 39-52
14 André Schiper, Alain Sandoz: Strong Stable Properties in Distributed Systems. Distributed Computing 8(2): 93-103 (1994)
1993
13 André Schiper: Distributed Algorithms, 7th International Workshop, WDAG '93, Lausanne, Switzerland, September 27-29, 1993, Proceedings Springer 1993
12 André Schiper, Aleta Ricciardi: Virtually-Synchronous Communication Based on a Weak Failure Suspector. FTCS 1993: 534-543
11 André Schiper, Alain Sandoz: Uniform Reliable Multicast in a Virtually Synchronous Environment. ICDCS 1993: 561-568
10 Eric Leu, André Schiper: On the Granularity of Events when Modeling Program Executions. SPDP 1993: 422-429
1992
9 Eric Leu, André Schiper: Execution Replay: A Mechanism for Integrating a Visualization Tool with a Symbolic Debugger. CONPAR 1992: 55-66
1991
8 Eric Leu, André Schiper, Abdel Wahab Zramdini: Efficient Execution Replay Technique for Distributed Memory Architectures. EDMCC 1991: 315-324
7EEKenneth P. Birman, André Schiper, Pat Stephenson: Lightweigt Causal and Atomic Group Multicast. ACM Trans. Comput. Syst. 9(3): 272-314 (1991)
6 Michel Raynal, André Schiper, Sam Toueg: The Causal Ordering Abstraction and a Simple Way to Implement it. Inf. Process. Lett. 39(6): 343-350 (1991)
1990
5EEEric Leu, André Schiper, Abdel Wahab Zramdini: Execution Replay on Distributed Memory Architectures. SPDP 1990: 106-112
4 Alain Sandoz, André Schiper: Weak Consistency and Pessimistic Replica Control. WDAG 1990: 228-244
1989
3 André Schiper, Jorge Eggli, Alain Sandoz: A New Algorithm to Implement Causal Ordering. WDAG 1989: 219-232
2 André Schiper, Roland Simon, Philippe Desarzens, Jacques-André Sengstag: Efficient Implementation of Rendezvous. Comput. J. 32(3): 267-272 (1989)
1988
1EEM. Zimmermann, F. Perrenoud, André Schiper: Understanding concurrent programming through program animation. SIGCSE 1988: 27-31

Coauthor Index

1Gustavo Alonso [45] [52] [54] [77]
2Özalp Babaoglu [19] [20]
3Claudio Basile [104]
4Martin Biely [121]
5Kenneth P. Birman (Ken Birman) [7] [16] [25]
6Fatemeh Borran [126]
7Daniel C. Bünzli [112]
8David Cavin [68] [73] [100] [105] [115]
9Bernadette Charron-Bost [55] [58] [67] [89] [113] [118] [121] [125]
10Thomas Clouser [108]
11Xavier Cuvellier [80]
12Xavier Défago [40] [49] [58] [59] [61] [62] [65] [67] [83] [88] [90]
13Philippe Desarzens [2]
14Assia Doudou [41] [47]
15Jorge Eggli [3]
16Richard Ekwall [70] [76] [92] [95] [101] [116] [122] [124]
17Patrick Th. Eugster (Patrick Eugster) [49]
18Pascal Felber [38] [39] [49] [51] [63]
19Rachele Fuzzati [112]
20Antoine Gaillard [121]
21Benoît Garbinato [47]
22Christophe Grégoire [80]
23Rachid Guerraoui [17] [21] [23] [27] [28] [29] [30] [31] [32] [34] [35] [36] [37] [38] [39] [42] [43] [47] [50] [51] [55] [56] [57] [79]
24Naohiro Hayashibara [93]
25Michel Hurfin [50]
26Martin Hutle [121] [123] [130]
27Ravishankar K. Iyer (Ravi K. Iyer) [104]
28Zbigniew Kalbarczyk [104]
29Takuya Katayama [93]
30Bettina Kemme [45] [52] [54] [77]
31Jürg Kohlas [117]
32Sandeep S. Kulkarni [129]
33Arnas Kupsys [81] [96]
34Mikel Larrea [21] [28]
35Eric Leu [5] [8] [9] [10]
36Dahlia Malkhi (Dalia Malki) [16]
37Friedemann Mattern [25]
38Marios Mavronicolas [72]
39Sergio Mena [74] [80] [84] [95] [103] [104] [112] [124]
40Bertrand Meyer [117]
41Mansoor Mohsin [115]
42Achour Mostéfaoui [50]
43Mikhail Nesterenko [108]
44Uwe Nestmann [112]
45Rui Carlos Oliveira [30] [50] [60]
46François Pacull [18]
47Gérard Padiou [46]
48Fernando Pedone [35] [43] [44] [45] [48] [52] [54] [66] [73] [75] [77] [79] [94]
49José Orlando Pereira [60]
50F. Perrenoud [1]
51Stefan Pleisch [53] [64] [71] [78] [81] [91] [95] [96] [108]
52Ravi Prakash [115] [126]
53Michel Raynal [6] [24] [26] [50]
54Aleta Ricciardi [12] [16]
55Luís Rodrigues [42]
56Olivier Rütti [98] [110] [112] [114] [124] [127]
57Alain Sandoz [3] [4] [11] [14] [15] [18]
58Nuno Santos [130]
59Yoav Sasson [68] [100] [105] [115]
60Jacques-André Sengstag [2]
61Nicole Sergent [40] [61]
62Ilya Shnayderman [86]
63Alexander A. Shvartsman [87]
64Roland Simon [2]
65Pat Stephenson [7]
66Sam Toueg [6] [106]
67Tatsuhiro Tsuchiya [119] [120] [128]
68Péter Urbán [59] [62] [65] [70] [73] [76] [86] [90] [92] [93]
69Hakim Weatherspoon [87]
70Josef Widder [121]
71Matthias Wiesmann [52] [54] [77] [83] [96] [99] [102]
72Uwe G. Wilhelm [22]
73Pawel T. Wojciechowski [74] [84] [98] [110] [112] [114]
74Ben Y. Zhao [87]
75M. Zimmermann [1]
76Abdel Wahab Zramdini [5] [8]

Colors in the list of coauthors

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