Volume 8,
Number 1,
January 1989
- S. S.-S. Chung:
A charge-based capacitance model of short-channel MOSFETs.
1-7
Electronic Edition (link) BibTeX
- Young Hwan Kim, Seung Ho Hwang, A. Richard Newton:
Electrical-logic simulation and its applications.
8-22
Electronic Edition (link) BibTeX
- Kenji Nishi, Kouichi Sakamoto, Shigeki Kuroda, Jun Ueda, Tatsurou Miyoshi, Shintaro Ushio:
A general-purpose two-dimensional process simulator-OPUS for arbitrary structures.
23-32
Electronic Edition (link) BibTeX
- Pramod V. Argade:
Sizing an inverter with a precise delay: generation of complementary signals with minimal skew and pulsewidth distortion in CMOS.
33-40
Electronic Edition (link) BibTeX
- John Horan, Colin Lyden, Alan Mathewson, Ciaran G. Cahill, W. A. Lane:
Analysis of distributed resistance effects in MOS transistors.
41-45
Electronic Edition (link) BibTeX
- Andrzej Krasniewski, Slawomir Pilarski:
Circular self-test path: a low-cost BIST technique for VLSI circuits.
46-55
Electronic Edition (link) BibTeX
- Wing Ning Li, Sudhakar M. Reddy, Sartaj K. Sahni:
On path selection in combinational logic circuits.
56-63
Electronic Edition (link) BibTeX
- Gary D. Hachtel, Christopher R. Morrison:
Linear complexity algorithms for hierarchical routing.
64-80
Electronic Edition (link) BibTeX
- Fadi J. Kurdahi, Alice C. Parker:
Techniques for area estimation of VLSI layouts.
81-92
Electronic Edition (link) BibTeX
- Susheel J. Chandra, Janak H. Patel:
Experimental evaluation of testability measures for test generation (logic circuits).
93-97
Electronic Edition (link) BibTeX
Volume 8,
Number 2,
February 1989
- Gerhard Tröster, Peter Tomaszewski:
Mismatch simulation for layout sensitive parameters of IC components and devices.
101-107
Electronic Edition (link) BibTeX
- Eddie van Schie, Jan Middelhoek:
Two methods to improve the performance of Monte Carlo simulations of ion implantation in amorphous targets.
108-113
Electronic Edition (link) BibTeX
- Linda S. Milor, V. Visvanathan:
Detection of catastrophic faults in analog integrated circuits.
114-130
Electronic Edition (link) BibTeX
- Vishwani D. Agrawal, Kwang-Ting Cheng, Prathima Agrawal:
A directed search method for test generation using a concurrent simulator.
131-138
Electronic Edition (link) BibTeX
- Shmuel Wimer, Israel Koren, Israel Cederbaum:
Optimal aspect ratios of building blocks in VLSI.
139-145
Electronic Edition (link) BibTeX
- Gopalakrishnan Vijayan, H. H. Chen, Chak-Kuen Wong:
On VHV-routing in channels with irregular boundaries.
146-152
Electronic Edition (link) BibTeX
- Rainer Amann, Utz G. Baitinger:
Optimal state chains and state codes in finite state machines.
153-170
Electronic Edition (link) BibTeX
- Raul Camposano, Wolfgang Rosenstiel:
Synthesizing circuits from behavioural descriptions.
171-180
Electronic Edition (link) BibTeX
- Hi-Keung Tony Ma, Srinivas Devadas, Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli:
Logic verification algorithms and their parallel implementation.
181-189
Electronic Edition (link) BibTeX
Volume 8,
Number 3,
March 1989
- M. Sytrzycki:
Modeling of gate oxide shorts in MOS transistors.
193-202
Electronic Edition (link) BibTeX
- Michael Nicolaidis:
Self-exercising checkers for unified built-in self-test (UBIST).
203-218
Electronic Edition (link) BibTeX
- Teofilo F. Gonzalez, Shashishekhar Kurki-Gowdara:
An approximation algorithm for the via placement problem.
219-228
Electronic Edition (link) BibTeX
- Ludo Weyten, Wim De Pauw:
Quad list quad trees: a geometrical data structure with improved performance for large region queries.
229-233
Electronic Edition (link) BibTeX
- Peter Ramyalal Suaris, Gershon Kedem:
A quadrisection-based combined place and route scheme for standard cells.
234-244
Electronic Edition (link) BibTeX
- Ralph-Michael Kling, Prithviraj Banerjee:
ESp: Placement by simulated evolution.
245-256
Electronic Edition (link) BibTeX
- R. Jayakumar, Krishnaiyan Thulasiraman, M. N. S. Swamy:
O(n2) algorithms for graph planarization.
257-267
Electronic Edition (link) BibTeX
- Michel Dagenais, Nicholas C. Rumin:
On the calculation of optimal clocking parameters in synchronous circuits with level-sensitive latches.
268-278
Electronic Edition (link) BibTeX
- Michael L. Bushnell, Stephen W. Director:
Automated design tool execution in the Ulysses design environment.
279-287
Electronic Edition (link) BibTeX
- Wayne Wolf:
How to build a hardware description and measurement system on an object-oriented programming language.
288-301
Electronic Edition (link) BibTeX
- Evangelos Simoudis:
A knowledge-based system for the evaluation and redesign of digital circuit networks.
302-315
Electronic Edition (link) BibTeX
- El-Sayed A. Talkhan, Aly M. H. Ahmed, Aly E. Salama:
Microprocessors functional testing techniques.
316-318
Electronic Edition (link) BibTeX
Volume 8,
Number 4,
April 1989
- Scott H. Goodwin-Johansson, Ravi Subrahmanyan, Carey E. Floyd, Hisham Z. Massoud:
Two-dimensional impurity profiling with emission computed tomography techniques.
323-335
Electronic Edition (link) BibTeX
- Brian J. Mulvaney, Walter B. Richardson, Timothy L. Crandle:
PEPPER-a process simulator for VLSI.
336-349
Electronic Edition (link) BibTeX
- Robert Anholt, Thomas W. Sigmon:
A process and device model for GaAs MESFET technology: GATES.
350-359
Electronic Edition (link) BibTeX
- Franco Venturi, R. Kent Smith, Enrico Sangiorgi, Mark R. Pinto, Bruno Riccò:
A general purpose device simulator coupling Poisson and Monte Carlo transport with applications to deep submicron MOSFETs.
360-369
Electronic Edition (link) BibTeX
- Chang G. Hwang, Robert W. Dutton:
Improved physical modeling of submicron MOSFETs based on parameter extraction using 2-D simulation.
370-379
Electronic Edition (link) BibTeX
- William M. Coughran Jr., Wolfgang Fichtner, Eric Grosse:
Extracting transistor changes from device simulations by gradient fitting.
380-394
Electronic Edition (link) BibTeX
- Walter R. Curtice:
Intrinsic GaAs MESFET equivalent circuit models generated from two-dimensional simulations.
395-402
Electronic Edition (link) BibTeX
- Chang-Sheng Ying, Joshua Sook-Leung Wong:
An analytical approach to floorplanning for hierarchical building blocks layout [VLSI].
403-412
Electronic Edition (link) BibTeX
- Mandalagiri S. Chandrasekhar, Melvin A. Breuer:
Optimal routing of two rectangular blocks.
413-430
Electronic Edition (link) BibTeX
- Baher Haroun, Mohamed I. Elmasry:
Architectural synthesis for DSP silicon compilers.
431-447
Electronic Edition (link) BibTeX
- David N. Deutsch:
Two new and 'more difficult' channel routing problems.
448
Electronic Edition (link) BibTeX
Volume 8,
Number 5,
May 1989
- Gerhard Hobler, Siegfried Selberherr:
Monte Carlo simulation of ion implantation into two- and three-dimensional structures.
450-459
Electronic Edition (link) BibTeX
- Martin D. Giles:
Defect-coupled diffusion at high concentrations.
460-467
Electronic Edition (link) BibTeX
- Gen-Lin Tan, Xiao-Li Yuan, Qi-Ming Zhang, Walter H. Ku, An-Jui Shey:
Two-dimensional semiconductor device analysis based on new finite-element discretization employing the S-G scheme.
468-478
Electronic Edition (link) BibTeX
- Josef F. Burgler, Randolph E. Bank, Wolfgang Fichtner, R. Kent Smith:
A new discretization scheme for the semiconductor current continuity equations.
479-489
Electronic Edition (link) BibTeX
- Paolo Ciampolini, Alessandro Forghieri, Anna Pierantoni, Antonio Gnudi, Massimo Rudan, Giorgio Baccarani:
Adaptive mesh generation preserving the quality of the initial grid.
490-500
Electronic Edition (link) BibTeX
- Carl L. Gardner, Joseph W. Jerome, Donald J. Rose:
Numerical methods for the hydrodynamic device model: subsonic flow.
501-507
Electronic Edition (link) BibTeX
- Thomas D. Linton Jr., P. A. Blakey:
A fast, general three-dimensional device simulator and its application in a submicron EPROM design study.
508-515
Electronic Edition (link) BibTeX
- Jue-Hsien Chern, John T. Maeda, Lawrence A. Arledge Jr., Ping Yang:
SIERRA: a 3-D device simulator for reliability modeling.
516-527
Electronic Edition (link) BibTeX
- Ke-Chi Wu, Robert F. Lucas, Ze-Yi Wang, Robert W. Dutton:
New approaches in a 3-D one-carrier device solver.
528-537
Electronic Edition (link) BibTeX
- Hal R. Yeager, Robert W. Dutton:
Improvement in norm-reducing Newton methods for circuit simulation.
538-546
Electronic Edition (link) BibTeX
- Youn-Sik Hong, Kyu Ho Park, Myunghwan Kim:
A heuristic algorithm for ordering the columns in one-dimensional logica arrays.
547-562
Electronic Edition (link) BibTeX
- Joseph JáJá, S. Alice Wu:
On routing two-terminal nets in the presence of obstacles.
563-570
Electronic Edition (link) BibTeX
- Niraj K. Jha:
Separable codes for detecting unidirectional errors.
571-574
Electronic Edition (link) BibTeX
- J. T. Mowchenko:
A lower bound on channel density after global routing.
574-577
Electronic Edition (link) BibTeX
Volume 8,
Number 6,
June 1989
- Pak K. Chan, Martine D. F. Schlag:
Bounds on signal delay in RC mesh networks.
581-589
Electronic Edition (link) BibTeX
- Mahesh Sharma, Graham F. Carey:
Semiconductor device simulation using adaptive refinement and flux upwinding.
590-598
Electronic Edition (link) BibTeX
- Hiroyuki Umimoto, Shinji Odanaka, Ichiro Nakao, Hideya Esaki:
Numerical modeling of nonplanar oxidation coupled with stress effects.
599-607
Electronic Edition (link) BibTeX
- Guang-Wen Pan, Kenneth S. Olson, Barry K. Gilbert:
Improved algorithmic methods for the prediction of wavefront propagation behavior in multiconductor transmission lines for high frequency digital signal processors.
608-621
Electronic Edition (link) BibTeX
- Shoichiro Yamada, Hirokai Okude, Tamotsu Kasai:
A hierarchical algorithm for one-dimensional gate assignment based on contraction of nets.
622-629
Electronic Edition (link) BibTeX
- S. Chowdhury:
Analytical approaches to the combinatorial optimization in linear placement problems.
630-639
Electronic Edition (link) BibTeX
- Kuang-Wei Chiang, Surendra Nahar, Chi-Yuan Lo:
Time-efficient VLSI artwork analysis algorithms in GOALIE2.
640-648
Electronic Edition (link) BibTeX
- Toshiaki Tanaka, Tsutomu Kobayashi, Osamu Karatsu:
HARP: FORTRAN to silicon [compilation system].
649-660
Electronic Edition (link) BibTeX
- Pierre G. Paulin, John P. Knight:
Force-directed scheduling for the behavioral synthesis of ASICs.
661-679
Electronic Edition (link) BibTeX
- Fathey M. El-Turky, Elizabeth E. Perry:
BLADES: an artificial intelligence approach to analog circuit design.
680-692
Electronic Edition (link) BibTeX
- Per Andersson, Lars H. Philipson:
Movie-an interactive environment for silicon compilation tools.
693-701
Electronic Edition (link) BibTeX
- Maciej J. Ciesielski:
Layer assignment for VLSI interconnect delay minimization.
702-707
Electronic Edition (link) BibTeX
Volume 8,
Number 7,
July 1989
- Paul J. V. Vandeloo, Willy M. C. Sansen:
Modeling of the MOS transistor for high frequency analog design.
713-723
Electronic Edition (link) BibTeX
- Shiuh-Wuu Lee:
Universality of mobility-gate field characteristics of electrons in the inversion charge layer and its application in MOSFET modeling.
724-730
Electronic Edition (link) BibTeX
- Niraj K. Jha:
A totally self-checking checker for Borden's code.
731-736
Electronic Edition (link) BibTeX
- Reuven Bar-Yehuda, Jack A. Feldman, Ron Y. Pinter, Shmuel Wimer:
Depth-first-search and dynamic programming algorithms for efficient CMOS cell generation.
737-743
Electronic Edition (link) BibTeX
- Charles J. Poirier:
Excellerator: custom CMOS leaf cell layout generator.
744-755
Electronic Edition (link) BibTeX
- Shuo Huang, Omar Wing:
Gate matrix partitioning.
756-767
Electronic Edition (link) BibTeX
- Srinivas Devadas, A. Richard Newton:
Algorithms for hardware allocation in data path synthesis.
768-781
Electronic Edition (link) BibTeX
- Min-You Wu, Ibrahim N. Hajj:
Switching network logic approach to sequential MOS circuit design.
782-794
Electronic Edition (link) BibTeX
- H. Cai:
On empty rooms in floorplan graphics: comments on a deficiency in two papers.
795-797
Electronic Edition (link) BibTeX
- Doron Drusinsky, David Harel:
Using statecharts for hardware description and synthesis.
798-807
Electronic Edition (link) BibTeX
- Rochit Rajsuman, Yashwant K. Malaiya, Anura P. Jayasumana:
Limitations of switch level analysis for bridging faults.
807-811
Electronic Edition (link) BibTeX
- Michael H. Schulz, Elisabeth Auth:
Improved deterministic test pattern generation with applications to redundancy identification.
811-816
Electronic Edition (link) BibTeX
- H. L. Kwok:
Threshold voltage for GaAs MESFET with a recoil-implanted channel profile.
817-820
Electronic Edition (link) BibTeX
Volume 8,
Number 8,
August 1989
- John R. F. McMacken, Savvas G. Chamberlain:
CHORD: a modular semiconductor device simulation development tool incorporating external network models.
826-836
Electronic Edition (link) BibTeX
- Rex E. Lowther:
A discretization scheme that allows coarse grid-spacing in finite-difference process simulation.
837-841
Electronic Edition (link) BibTeX
- Peter D. Hortensius, Robert D. McLeod, Werner Pries, D. M. Miller, Howard C. Card:
Cellular automata-based pseudorandom number generators for built-in self-test.
842-859
Electronic Edition (link) BibTeX
- Ravi Nair, C. Leonard Berman, Peter S. Hauge, Ellen J. Yoffa:
Generation of performance constraints for layout.
860-874
Electronic Edition (link) BibTeX
- Shuo Huang, Omar Wing:
Improved gate matrix layout.
875-889
Electronic Edition (link) BibTeX
- Majid Sarrafzadeh, D. T. Lee:
A new approach to topological via minimization.
890-900
Electronic Edition (link) BibTeX
- Devadas Varma, E. A. Trachtenberg:
Design automation tools for efficient implementation of logic functions by decomposition.
901-916
Electronic Edition (link) BibTeX
- Jitender S. Deogun, Bhargab B. Bhattacharya:
Via minimization in VLSI routing with movable terminals.
917-920
Electronic Edition (link) BibTeX
- José Pineda de Gyvez, Jochen A. G. Jess:
On the design and implementation of a wafer yield editor.
920-925
Electronic Edition (link) BibTeX
- Wayne Wolf, Kurt Keutzer, Janaki Akella:
Addendum to 'A kernel-finding state assignment algorithm for multi-level logic'.
925-927
Electronic Edition (link) BibTeX
- George W. Rhyne, Michael Steer, K. S. Kundent, Alberto L. Sangiovanni-Vincentelli:
Comments on 'Simulation of nonlinear circuits in the frequency domain' [with reply].
927-929
Electronic Edition (link) BibTeX
- James B. Kuo, G. P. Rosseel, Robert W. Dutton:
Two-dimensional analysis of a merged BiPMOS device.
929-932
Electronic Edition (link) BibTeX
Volume 8,
Number 9,
September 1989
- Bharat L. Bhuva, John J. Paulos, Ronald S. Gyurcsik, Sherra E. Kerns:
Switch-level simulation of total dose effects on CMOS VLSI circuits.
933-938
Electronic Edition (link) BibTeX
- Michael D. Deal, S. E. Hansen, Thomas W. Sigmon:
SUPREM 3.5-process modeling of GaAs integrated circuit technology.
939-951
Electronic Edition (link) BibTeX
- Fabrizio Lombardi, Mariagiovanna Sami, Renato Stefanelli:
Reconfiguration of VLSI arrays by covering.
952-965
Electronic Edition (link) BibTeX
- Yuzo Takamatsu, Kozo Kinoshita:
CONT: a concurrent test generation system.
966-972
Electronic Edition (link) BibTeX
- Sreejit Chakravarty:
On the complexity of computing tests for CMOS gates.
973-980
Electronic Edition (link) BibTeX
- Hong Cai, Ralph H. J. M. Otten:
Conflict-free channel definition in building-block layout.
981-988
Electronic Edition (link) BibTeX
- I. Vandeweerd, Kris Croes, Luc Rijnders, Paul Six, Hugo De Man:
REDUSA: module generation by automatic elimination of superfluous blocks in regular structures.
989-998
Electronic Edition (link) BibTeX
- Xianjin Yao, Masaaki Yamada, C. L. Liu:
A new approach to the pin assignment problem.
999-1006
Electronic Edition (link) BibTeX
- B. Gurunath, Nripendra N. Biswas:
An algorithm for multiple output minimization.
1007-1013
Electronic Edition (link) BibTeX
- J. E. (Ned) Lecky, O. J. Murphy, Richard Absher:
Graph theoretic algorithms for the PLA folding problem.
1014-1021
Electronic Edition (link) BibTeX
- Hideo Fujiwara:
Enhancing random-pattern coverage of programmable logic arrays via masking technique.
1022-1025
Electronic Edition (link) BibTeX
- Çetin Kaya Koç, P. F. Ordung:
Schwarz-Christoffel transformation for the simulation of two-dimensional capacitance [VLSI circuits].
1025-1027
Electronic Edition (link) BibTeX
- Young-Hyun Jun, Ki Jun, Song-Bai Park:
An accurate and efficient delay time modeling for MOS logic circuits using polynomial approximation.
1027-1032
Electronic Edition (link) BibTeX
Volume 8,
Number 10,
October 1989
- Mehmet A. Cirit:
The Meyer model revisited: why is charge not conserved? [MOS transistor].
1033-1037
Electronic Edition (link) BibTeX
- James B. Kuo, Tsen-Shau Yang, Robert W. Dutton, Bruce A. Wooley:
Two-dimensional transient analysis of a collector-up ECL inverter.
1038-1045
Electronic Edition (link) BibTeX
- Naoyuki Shigyo, T. Wada, Seiji Yasuda:
Discretization problem for multidimensional current flow.
1046-1050
Electronic Edition (link) BibTeX
- Paul F. Cox, Richard Burch, Ping Yang, Dale E. Hocevar:
New implicit integration method for efficient latency exploitation in circuit simulation.
1051-1064
Electronic Edition (link) BibTeX
- C.-P. Wan, B. J. Sheu:
Temperature dependence modeling for MOS VLSI circuit simulation.
1065-1073
Electronic Edition (link) BibTeX
- André Ivanov, Vinod K. Agarwal:
An analysis of the probabilistic behavior of linear feedback signature registers.
1074-1088
Electronic Edition (link) BibTeX
- James L. Olivier, Füsun Özgüner:
Design of concurrent error-detecting systolic arrays using |g 3N|M codes.
1089-1099
Electronic Edition (link) BibTeX
- Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli:
A synthesis and optimization procedure for fully and easily testable sequential machines.
1100-1107
Electronic Edition (link) BibTeX
- Youn-Long Lin, Yu-Chin Hsu, Fur-Shing Tsai:
SILK: a simulated evolution router.
1108-1114
Electronic Edition (link) BibTeX
- Robert A. Walker, Donald E. Thomas:
Behavioral transformation for algorithmic level IC design.
1115-1128
Electronic Edition (link) BibTeX
Volume 8,
Number 11,
November 1989
- Maurizio Damiani, Piero Olivo, Michele Favalli, Bruno Riccò:
An analytical model for the aliasing probability in signature analysis testing.
1133-1144
Electronic Edition (link) BibTeX
- Chantal Robach, Daniel Lutoff, Nouar Garcia:
Knowledge-based functional specification of test and maintenance programs.
1145-1156
Electronic Edition (link) BibTeX
- Anucha Pitaksanonkul, Suchai Thanawastien, Chidchanok Lursinsap:
Comparisons of quad trees and 4-D trees: new results [VLSI layout].
1157-1164
Electronic Edition (link) BibTeX
- Chong S. Rim, Toshinobu Kashiwabara, Kazuo Nakajima:
Exact algorithms for multilayer topological via minimization.
1165-1173
Electronic Edition (link) BibTeX
- Sanjeev Rao Maddila, Dian Zhou:
Routing in general junctions.
1174-1184
Electronic Edition (link) BibTeX
- Teresa H. Y. Meng, Robert W. Brodersen, David G. Messerschmitt:
Automatic synthesis of asynchronous circuits from high-level specifications.
1185-1205
Electronic Edition (link) BibTeX
- Srinivas Devadas, A. Richard Newton:
Decomposition and factorization of sequential finite state machines.
1206-1217
Electronic Edition (link) BibTeX
- Ludo Weyten, Wim De Pauw:
Performance prediction for adaptive quad tree graphical data structures.
1218-1222
Electronic Edition (link) BibTeX
- Sandip Kundu:
Design of multioutput CMOS combinational logic circuits for robust testability.
1222-1226
Electronic Edition (link) BibTeX
- Takashi Nanya, Hendrik A. Goosen:
The Byzantine hardware fault model.
1226-1231
Electronic Edition (link) BibTeX
Volume 8,
Number 12,
December 1989
- Miriam Leeser:
Reasoning about the function and timing of integrated circuits with interval temporal logic.
1233-1246
Electronic Edition (link) BibTeX
- Ramesh Harjani, Rob A. Rutenbar, L. Richard Carley:
OASYS: a framework for analog circuit synthesis.
1247-1266
Electronic Edition (link) BibTeX
- Richard W. Linderman, Paul C. Rossbach, David M. Gallagher:
Design and application of an optimizing XROM silicon compiler.
1267-1275
Electronic Edition (link) BibTeX
- P. Sadayappan, V. Visvanathan:
Efficient sparse matrix factorization for circuit simulation on vector supercomputers.
1276-1285
Electronic Edition (link) BibTeX
- Resve A. Saleh, A. Richard Newton:
The exploitation of latency and multirate behavior using nonlinear relaxation for circuit simulation.
1286-1298
Electronic Edition (link) BibTeX
- K. K. Low, Stephen W. Director:
An efficient methodology for building macromodels of IC fabrication processes.
1299-1313
Electronic Edition (link) BibTeX
- Charles H. Stapper:
Simulation of spatial fault distributions for integrated circuit yield estimations.
1314-1318
Electronic Edition (link) BibTeX
- Armen H. Zemanian, Reginald P. Tewarson, Chi Ping Ju, Juif Frank Jen:
Three-dimensional capacitance computations for VLSI/ULSI interconnections.
1319-1326
Electronic Edition (link) BibTeX
- Noriyoshi Itazaki, Kozo Kinoshita:
Test pattern generation for circuits with tri-state modules by Z-algorithm.
1327-1334
Electronic Edition (link) BibTeX
- Wayne Wei-Ming Dai:
Hierarchical placement and floorplanning in BEAR.
1335-1349
Electronic Edition (link) BibTeX
- Sabih H. Gerez, Otto E. Herrmann:
Switchbox routing by stepwise reshaping.
1350-1361
Electronic Edition (link) BibTeX
- Raja Daoud, Füsun Özgüner:
Highly vectorizable fault simulation on the Cray X-MP supercomputer.
1362-1365
Electronic Edition (link) BibTeX
- Lee-Sup Kim, Robert W. Dutton:
Modeling of the distributed gate RC effect in MOSFET's.
1365-1367
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:23:09 2009
by Michael Ley (ley@uni-trier.de)