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

Dimitris Nikolos

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

2009
97EEXrysovalantis Kavousianos, Dimitris Bakalis, Dimitris Nikolos: Efficient partial scan cell gating for low-power scan-based testing. ACM Trans. Design Autom. Electr. Syst. 14(2): (2009)
96EEDimitris Nikolos, Dimitrios Kagaris, Samara Sudireddy, Spyros Gidaros: An Improved Search Method for Accumulator-Based Test Set Embedding. IEEE Trans. Computers 58(1): 132-138 (2009)
2008
95EEGiorgos Dimitrakopoulos, Costas Galanopoulos, Christos Mavrokefalidis, Dimitris Nikolos: Low-Power Leading-Zero Counting and Anticipation Logic for High-Speed Floating Point Units. IEEE Trans. VLSI Syst. 16(7): 837-850 (2008)
94EEXrysovalantis Kavousianos, Emmanouil Kalligeros, Dimitris Nikolos: Multilevel-Huffman Test-Data Compression for IP Cores With Multiple Scan Chains. IEEE Trans. VLSI Syst. 16(7): 926-931 (2008)
93EEXrysovalantis Kavousianos, Emmanouil Kalligeros, Dimitris Nikolos: Test Data Compression Based on Variable-to-Variable Huffman Encoding With Codeword Reusability. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1333-1338 (2008)
2007
92EEXrysovalantis Kavousianos, Emmanouil Kalligeros, Dimitris Nikolos: Optimal Selective Huffman Coding for Test-Data Compression. IEEE Trans. Computers 56(8): 1146-1152 (2007)
91EEThemistoklis Haniotakis, Y. Tsiatouhas, Dimitris Nikolos, Costas Efstathiou: Testable Designs of Multiple Precharged Domino Circuits. IEEE Trans. VLSI Syst. 15(4): 461-465 (2007)
90EEGiorgos Dimitrakopoulos, Christos Mavrokefalidis, Costas Galanopoulos, Dimitris Nikolos: Sorter Based Permutation Units for Media-Enhanced Microprocessors. IEEE Trans. VLSI Syst. 15(6): 711-715 (2007)
89EEXrysovalantis Kavousianos, Emmanouil Kalligeros, Dimitris Nikolos: Multilevel Huffman Coding: An Efficient Test-Data Compression Method for IP Cores. IEEE Trans. on CAD of Integrated Circuits and Systems 26(6): 1070-1083 (2007)
2006
88EEGiorgos Dimitrakopoulos, Christos Mavrokefalidis, Costas Galanopoulos, Dimitris Nikolos: An Energy-Delay Efficient Subword Permutation Unit. ASAP 2006: 245-252
87EEXrysovalantis Kavousianos, Emmanouil Kalligeros, Dimitris Nikolos: Efficient test-data compression for IP cores using multilevel Huffman coding. DATE 2006: 1033-1038
86EEDimitris Nikolos, Dimitrios Kagaris, Spyros Gidaros: Diophantine-Equation Based Arithmetic Test Set Embedding. IOLTS 2006: 193-194
85EEGiorgos Dimitrakopoulos, Christos Mavrokefalidis, Costas Galanopoulos, Dimitris Nikolos: Fast bit permutation unit for media enhanced microprocessors. ISCAS 2006
84EEEmmanouil Kalligeros, Xrysovalantis Kavousianos, Dimitris Nikolos: Efficient Multiphase Test Set Embedding for Scan-based Testing. ISQED 2006: 433-438
83EEDimitrios Kagaris, P. Karpodinis, Dimitris Nikolos: On Obtaining Maximum-Length Sequences for Accumulator-Based Serial TPG. IEEE Trans. on CAD of Integrated Circuits and Systems 25(11): 2578-2586 (2006)
82EEDimitris Bakalis, K. Adaos, D. Lymperopoulos, Maciej Bellos, Haridimos T. Vergos, George Alexiou, Dimitris Nikolos: A core generator for arithmetic cores and testing structures with a network interface. Journal of Systems Architecture 52(1): 1-12 (2006)
2005
81EEMaciej Bellos, Dimitris Nikolos: Deterministic Test Vector Compression / Decompression Using an Embedded Processor. EDCC 2005: 318-331
80EEEmmanouil Kalligeros, D. Kaseridis, Xrysovalantis Kavousianos, Dimitris Nikolos: Reseeding-Based Test Set Embedding with Reduced Test Sequences. ISQED 2005: 226-231
79EEGiorgos Dimitrakopoulos, Dimitris Nikolos: Closed-Form Bounds for Interconnect-Aware Minimum-Delay Gate Sizing. PATMOS 2005: 308-317
78EEGiorgos Dimitrakopoulos, Dimitris Nikolos: High-Speed Parallel-Prefix VLSI Ling Adders. IEEE Trans. Computers 54(2): 225-231 (2005)
77EECostas Efstathiou, Haridimos T. Vergos, Giorgos Dimitrakopoulos, Dimitris Nikolos: Efficient Diminished-1 Modulo 2^n+1 Multipliers. IEEE Trans. Computers 54(4): 491-496 (2005)
2004
76EEC. Laoudias, Dimitris Nikolos: A new test pattern generator for high defect coverage in a BIST environment. ACM Great Lakes Symposium on VLSI 2004: 417-420
75EEP. Karpodinis, Dimitri Kagaris, Dimitris Nikolos: Accumulator based Test-per-Scan BIST. IOLTS 2004: 193-198
74EEMaciej Bellos, Dimitris Bakalis, Dimitris Nikolos, Xrysovalantis Kavousianos: Low Power Testing by Test Vector Ordering with Vector Repetition. ISQED 2004: 205-210
73EEMaciej Bellos, Dimitris Bakalis, Dimitris Nikolos: Scan Cell Ordering for Low Power BIST. ISVLSI 2004: 281-284
72EEXrysovalantis Kavousianos, Dimitris Bakalis, Maciej Bellos, Dimitris Nikolos: An Efficient Test Vector Ordering Method for Low Power Testing. ISVLSI 2004: 285-288
71EEGiorgos Dimitrakopoulos, P. Kolovos, P. Kalogerakis, Dimitris Nikolos: Design of High-Speed Low-Power Parallel-Prefix VLSI Adders. PATMOS 2004: 248-257
70EECostas Efstathiou, Haridimos T. Vergos, Dimitris Nikolos: Modified Booth Modulo 2n-1 Multipliers. IEEE Trans. Computers 53(3): 370-374 (2004)
69EECostas Efstathiou, Haridimos T. Vergos, Dimitris Nikolos: Fast Parallel-Prefix Modulo 2^n+1 Adders. IEEE Trans. Computers 53(9): 1211-1216 (2004)
68EEEmmanouil Kalligeros, Xrysovalantis Kavousianos, Dimitris Nikolos: Multiphase BIST: a new reseeding technique for high test-data compression. IEEE Trans. on CAD of Integrated Circuits and Systems 23(10): 1429-1446 (2004)
2003
67EEEmmanouil Kalligeros, Xrysovalantis Kavousianos, Dimitris Nikolos: A highly regular multi-phase reseeding technique for scan-based BIST. ACM Great Lakes Symposium on VLSI 2003: 295-298
66EEGiorgos Dimitrakopoulos, Haridimos T. Vergos, Dimitris Nikolos, Costas Efstathiou: A Family of Parallel-Pre.x Modulo 2n - 1 Adders. ASAP 2003: 326-336
65EED. G. Nikolos, Dimitris Nikolos, Haridimos T. Vergos, Costas Efstathiou: An Efficient BIST scheme for High-Speed Adders. IOLTS 2003: 89-93
64EEGiorgos Dimitrakopoulos, Haridimos T. Vergos, Dimitris Nikolos, Costas Efstathiou: A systematic methodology for designing area-time efficient parallel-prefix modulo 2/sup n/ - 1 adders. ISCAS (5) 2003: 225-228
63EEGiorgos Dimitrakopoulos, Xrysovalantis Kavousianos, Dimitris Nikolos: Virtual-scan: a novel approach for software-based self-testing of microprocessors. ISCAS (5) 2003: 237-240
62EED. G. Nikolos, Dimitris Nikolos, Haridimos T. Vergos, Costas Efstathiou: Efficient BIST schemes for RNS datapaths. ISCAS (5) 2003: 573-576
61EEMaciej Bellos, Dimitri Kagaris, Dimitris Nikolos: Low Power Test Set Embedding Based on Phase Shifters. ISVLSI 2003: 155-160
60 Maciej Bellos, Xrysovalantis Kavousianos, Dimitris Nikolos, Dimitri Kagaris: DV-TSE: Difference Vector Based Test Set Embedding. VLSI-SOC 2003: 343-
59EECostas Efstathiou, Haridimos T. Vergos, Dimitris Nikolos: Modulo 2n±1 Adder Design Using Select-Prefix Blocks. IEEE Trans. Computers 52(11): 1399-1406 (2003)
58EEHaridimos T. Vergos, Dimitris Nikolos, Maciej Bellos, Costas Efstathiou: Deterministic BIST for RNS Adders. IEEE Trans. Computers 52(7): 896-906 (2003)
2002
57EEEmmanouil Kalligeros, Xrysovalantis Kavousianos, Dimitris Nikolos: A ROMless LFSR Reseeding Scheme for Scan-based BIST. Asian Test Symposium 2002: 206-
56EEMaciej Bellos, Dimitrios Kagaris, Dimitris Nikolos: Test Set Embedding Based on Phase Shifters. EDCC 2002: 90-101
55EEGiorgos Dimitrakopoulos, Dimitris Nikolos, Dimitris Bakalis: Bit-Serial Test Pattern Generation by an Accumulator Behaving as a Non-Linear Feedback Shift Register. IOLTW 2002: 152-157
54EEY. Tsiatouhas, Angela Arapoyanni, Dimitris Nikolos, Th. Haniotakis: A Hierarchical Architecture for Concurrent Soft Error Detection Based on Current Sensing. IOLTW 2002: 56-60
53EEY. Tsiatouhas, Th. Haniotakis, Dimitris Nikolos, Angela Arapoyanni: Extending the Viability of IDDQ Testing in the Deep Submicron Era. ISQED 2002: 100-105
52EEEmmanouil Kalligeros, Xrysovalantis Kavousianos, Dimitris Bakalis, Dimitris Nikolos: An Efficient Seeds Selection Method for LFSR-Based Test-per-Clock BIST. ISQED 2002: 261-266
51EEHaridimos T. Vergos, Costas Efstathiou, Dimitris Nikolos: Diminished-One Modulo 2n+1 Adder Design. IEEE Trans. Computers 51(12): 1389-1399 (2002)
50EEXrysovalantis Kavousianos, Dimitris Bakalis, Dimitris Nikolos, Spyros Tragoudas: A new built-in TPG method for circuits with random patternresistant faults. IEEE Trans. on CAD of Integrated Circuits and Systems 21(7): 859-866 (2002)
49EEY. Tsiatouhas, Yiannis Moisiadis, Th. Haniotakis, Dimitris Nikolos, Angela Arapoyanni: A new technique for IDDQ testing in nanometer technologies. Integration 31(2): 183-194 (2002)
48EEDimitris Nikolos, John P. Hayes, Michael Nicolaidis, Cecilia Metra: Guest Editorial. J. Electronic Testing 18(3): 259-260 (2002)
47EEEmmanouil Kalligeros, Xrysovalantis Kavousianos, Dimitris Bakalis, Dimitris Nikolos: On-the-Fly Reseeding: A New Reseeding Technique for Test-Per-Clock BIST. J. Electronic Testing 18(3): 315-332 (2002)
46EEDimitris Bakalis, Emmanouil Kalligeros, Dimitris Nikolos, Haridimos T. Vergos, George Alexiou: On the design of low power BIST for multipliers with Booth encoding and Wallace tree summation. Journal of Systems Architecture 48(4-5): 125-135 (2002)
2001
45EEXrysovalantis Kavousianos, Dimitris Bakalis, Dimitris Nikolos: A novel reseeding technique for accumulator-based test pattern generation. ACM Great Lakes Symposium on VLSI 2001: 7-12
44EEDimitris Bakalis, K. Adaos, George Alexiou, Dimitris Nikolos, D. Lymperopoulos: EUDOXUS: A WWW-based Generator of Reusable Arithmetic Cores. IEEE International Workshop on Rapid System Prototyping 2001: 182-187
43EEHaridimos T. Vergos, Dimitris Nikolos, Costas Efstathiou: High Speed Parallel-Prefix Modulo 2n+1 Adders for Diminished-One Operands. IEEE Symposium on Computer Arithmetic 2001: 211-217
42EEY. Tsiatouhas, Th. Haniotakis, Dimitris Nikolos, Costas Efstathiou: Concurrent Detection of Soft Errors Based on Current Monitoring. IOLTW 2001: 106-110
41EEEmmanouil Kalligeros, Xrysovalantis Kavousianos, Dimitris Bakalis, Dimitris Nikolos: A New Reseeding Technique for LFSR-Based Test Pattern Generation. IOLTW 2001: 80-86
40EEDimitris Bakalis, Dimitris Nikolos, Haridimos T. Vergos, Xrysovalantis Kavousianos: On Accumulator-Based Bit-Serial Test Response Compaction Schemes. ISQED 2001: 350-
2000
39EEY. Tsiatouhas, Th. Haniotakis, Angela Arapoyanni, Dimitris Nikolos: A Versatile Built-In Self-Test Scheme for Delay Fault Testing. DATE 2000: 756
38EEY. Tsiatouhas, Th. Haniotakis, Dimitris Nikolos: A Compact Built-In Current Sensor for IDDQ Testing. IOLTW 2000: 95-99
37EETh. Haniotakis, Y. Tsiatouhas, Dimitris Nikolos, Costas Efstathiou: On Testability of Multiple Precharged Domino Logic. ISQED 2000: 299-304
36EEDimitris Bakalis, Dimitris Nikolos, George Alexiou, Emmanouil Kalligeros, Haridimos T. Vergos: Low Power BIST for Wallace Tree-Based Fast Multipliers. ISQED 2000: 433-438
35 Xrysovalantis Kavousianos, Dimitris Bakalis, Dimitris Nikolos: Test response compaction by an accumulator behaving as a multiple input non-linear feedback shift register. ITC 2000: 804-811
34EELampros Kalampoukas, Dimitris Nikolos, Costas Efstathiou, Haridimos T. Vergos, John Kalamatianos: High-Speed Parallel-Prefix Modulo 2n-1 Adders. IEEE Trans. Computers 49(7): 673-680 (2000)
1999
33EEG. Sidiropoulos, Haridimos T. Vergos, Dimitris Nikolos: Easily Path Delay Fault Testable Non-Restoring Cellular Array Dividers. Asian Test Symposium 1999: 47-52
32EEDimitris Nikolos, Haridimos T. Vergos, Th. Haniotakis, Y. Tsiatouhas: Path Delay Fault Testing of ICs with Embedded Intellectual Property Blocks. DATE 1999: 112-116
31EEXrysovalantis Kavousianos, Dimitris Bakalis, Haridimos T. Vergos, Dimitris Nikolos, George Alexiou: Low Power Dissipation in BIST Schemes for Modified Booth Multipliers. DFT 1999: 121-129
30EEMaciej Bellos, Dimitris Nikolos, Haridimos T. Vergos: Path Delay Fault Testing of a Class of Circuit-Switched Multistage Interconnection Networks. EDCC 1999: 267-282
29EEHaridimos T. Vergos, Dimitris Nikolos, Y. Tsiatouhas, Th. Haniotakis, Michael Nicolaidis: On Path Delay Fault Testing of Multiplexer - Based Shifters. Great Lakes Symposium on VLSI 1999: 20-23
28EEA. Vasilliou, K. Gounaris, K. Adaos, D. Mitsainas, George Alexiou, Dimitris Nikolos: Development of a Reusable E1 Transceiver Suitable for Rapid Prototyping. IEEE International Workshop on Rapid System Prototyping 1999: 21-
27 C. Ninos, Haridimos T. Vergos, Dimitris Nikolos: Design and Analysis of On-Chip CPU Pipelined Caches. VLSI 1999: 161-172
26EEXrysovalantis Kavousianos, Dimitris Nikolos: Modular TSC Checkers for Bose-Lin and Bose Codes. VTS 1999: 354-360
25 Dimitris Nikolos, Haridimos T. Vergos: On the Yield of VLSI Processors with On-Chip CPU Cache. IEEE Trans. Computers 48(10): 1138-1144 (1999)
24EEXrysovalantis Kavousianos, Dimitris Nikolos, G. Foukarakis, T. Gnardellis: New efficient totally self-checking Berger code checkers. Integration 28(1): 101-118 (1999)
23EEIoannis Voyiatzis, Antonis M. Paschalis, Dimitris Nikolos, Constantin Halatsis: An Accumulator-Based BIST Approach for Two-Pattern Testing. J. Electronic Testing 15(3): 267-278 (1999)
1998
22EETh. Haniotakis, Dimitris Nikolos, Y. Tsiatouhas: C-Testable One-Dimensional ILAs with Respect to Path Delay Faults: Theory and Applications. DFT 1998: 155-163
21EEIoannis Voyiatzis, Antonis M. Paschalis, Dimitris Nikolos, Constantinos Halatsis: R-CBIST: an effective RAM-based input vector monitoring concurrent BIST technique. ITC 1998: 918-925
20EEXrysovalantis Kavousianos, Dimitris Nikolos: Novel Single and Double Output TSC Berger Code Checkers. VTS 1998: 348-353
19 Dimitris Nikolos: Optimal Self-Testing Embedded Parity Checkers. IEEE Trans. Computers 47(3): 313-321 (1998)
18EEDimitris Nikolos: Self-Testing Embedded Two-Rail Checkers. J. Electronic Testing 12(1-2): 69-79 (1998)
1997
17EEXrysovalantis Kavousianos, Dimitris Nikolos, G. Sidiropoulos: Design of Compact and High speed, Totally Self Checking CMOS Checkers for m-out-of-n Codes. DFT 1997: 128-136
16EEXrysovalantis Kavousianos, Dimitris Nikolos: Self-exercising self testing k-order comparators. VTS 1997: 216-221
1996
15 Dimitris Nikolos, Haridimos T. Vergos: On the Yield of VLSI Processors with on-chip CPU Cache. EDCC 1996: 214-230
14EEDimitris Gizopoulos, Dimitris Nikolos, Antonis M. Paschalis: Testing CMOS combinational iterative logic arrays for realistic faults. Integration 21(3): 209-228 (1996)
13EEIoannis Voyiatzis, Antonis M. Paschalis, Dimitris Nikolos, Constantin Halatsis: An efficient built-in self test method for robust path delay fault testing. J. Electronic Testing 8(2): 219-222 (1996)
12EEDimitris Gizopoulos, Dimitris Nikolos, Antonis M. Paschalis, Constantin Halatsis: C-Testable modified-Booth multipliers. J. Electronic Testing 8(3): 241-260 (1996)
1995
11EEIoannis Voyiatzis, Dimitris Nikolos, Antonis M. Paschalis, Constantinos Halatsis, Th. Haniotakis: An efficient comparative concurrent Built-In Self-Test technique. Asian Test Symposium 1995: 309-315
10EEDimitris Gizopoulos, Dimitris Nikolos, Antonis M. Paschalis: Testing combinational iterative logic arrays for realistic faults. VTS 1995: 35-41
9 Th. Haniotakis, Antonis M. Paschalis, Dimitris Nikolos: Efficient Totally Self-Checking Checkers for a Class of Borden Codes. IEEE Trans. Computers 44(11): 1318-1322 (1995)
8 Vassilios V. Dimakopoulos, G. Sourtziotis, Antonis M. Paschalis, Dimitris Nikolos: On TSC Checkers for m-out-n Codes. IEEE Trans. Computers 44(8): 1055-1059 (1995)
1992
7 Dimitris Nikolos, Alexandros Krokos: Theory and Design of t-Error Correcting, k-Error Detecting and d-Unidirectional Error Detecting Codes with d > k > t. IEEE Trans. Computers 41(4): 411-419 (1992)
1991
6 Dimitris Nikolos: Theory and Design of t-Error Correcting/d-Error Detecting (d>t) and All Unidirectional Error Detecting Codes. IEEE Trans. Computers 40(2): 132-142 (1991)
1988
5 Antonis M. Paschalis, Dimitris Nikolos, Constantine Halatsis: Efficient Modular Design of TSC Checkers for M-out-of-2M Codes. IEEE Trans. Computers 37(3): 301-309 (1988)
4 Dimitris Nikolos, Antonis M. Paschalis, George Philokyprou: Efficient Design of Totally Self-Checking Checkers for all Low-Cost Arithmetic Codes. IEEE Trans. Computers 37(7): 807-814 (1988)
1986
3 Antonis M. Paschalis, Dimitris Nikolos, Constantine Halatsis: Efficient Modular Design of TSC Checkers for M-out-of-2M Codes. Aegean Workshop on Computing 1986: 144-155
2 Dimitris Nikolos, Nikolaos Gaitanis, George Philokyprou: Systematic t-Error Correcting/All Unidirectional Error Detecting Codes. IEEE Trans. Computers 35(5): 394-402 (1986)
1984
1 Dimitris Nikolos, Nikolaos Gaitanis, George Philokyprou: Systematic t-error correcting all unidirectional error detecting codes. Fehlertolerierende Rechensysteme 1984: 177-188

Coauthor Index

1K. Adaos [28] [44] [82]
2George Alexiou (G. Ph. Alexiou) [28] [31] [36] [44] [46] [82]
3Angela Arapoyanni (Aggeliki Arapoyanni) [39] [49] [53] [54]
4Dimitris Bakalis [31] [35] [36] [40] [41] [44] [45] [46] [47] [50] [52] [55] [72] [73] [74] [82] [97]
5Maciej Bellos [30] [56] [58] [60] [61] [72] [73] [74] [81] [82]
6Vassilios V. Dimakopoulos [8]
7Giorgos Dimitrakopoulos [55] [63] [64] [66] [71] [77] [78] [79] [85] [88] [90] [95]
8Costas Efstathiou [34] [37] [42] [43] [51] [58] [59] [62] [64] [65] [66] [69] [70] [77] [91]
9G. Foukarakis [24]
10Nikolaos Gaitanis [1] [2]
11Costas Galanopoulos [85] [88] [90] [95]
12Spyros Gidaros [86] [96]
13Dimitris Gizopoulos [10] [12] [14]
14T. Gnardellis [24]
15K. Gounaris [28]
16Constantin Halatsis (Constantine Halatsis, Constantinos Halatsis) [3] [5] [11] [12] [13] [21] [23]
17Themistoklis Haniotakis (Th. Haniotakis) [9] [11] [22] [29] [32] [37] [38] [39] [42] [49] [53] [54] [91]
18John P. Hayes [48]
19Dimitrios Kagaris (Dimitri Kagaris) [56] [60] [61] [75] [83] [86] [96]
20John Kalamatianos [34]
21Lampros Kalampoukas [34]
22Emmanouil Kalligeros [36] [41] [46] [47] [52] [57] [67] [68] [80] [84] [87] [89] [92] [93] [94]
23P. Kalogerakis [71]
24P. Karpodinis [75] [83]
25D. Kaseridis [80]
26Xrysovalantis Kavousianos [16] [17] [20] [24] [26] [31] [35] [40] [41] [45] [47] [50] [52] [57] [60] [63] [67] [68] [72] [74] [80] [84] [87] [89] [92] [93] [94] [97]
27P. Kolovos [71]
28Alexandros Krokos [7]
29C. Laoudias [76]
30D. Lymperopoulos [44] [82]
31Christos Mavrokefalidis [85] [88] [90] [95]
32Cecilia Metra [48]
33D. Mitsainas [28]
34Yiannis Moisiadis [49]
35Michael Nicolaidis [29] [48]
36D. G. Nikolos [62] [65]
37C. Ninos [27]
38Antonis M. Paschalis [3] [4] [5] [8] [9] [10] [11] [12] [13] [14] [21] [23]
39George Philokyprou [1] [2] [4]
40G. Sidiropoulos [17] [33]
41G. Sourtziotis [8]
42Samara Sudireddy [96]
43Spyros Tragoudas [50]
44Yiorgos Tsiatouhas (Y. Tsiatouhas) [22] [29] [32] [37] [38] [39] [42] [49] [53] [54] [91]
45A. Vasilliou [28]
46Haridimos T. Vergos [15] [25] [27] [29] [30] [31] [32] [33] [34] [36] [40] [43] [46] [51] [58] [59] [62] [64] [65] [66] [69] [70] [77] [82]
47Ioannis Voyiatzis [11] [13] [21] [23]

Colors in the list of coauthors

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