Publications
|
 |
|
Please choose a year
|
|
| 2007 | 2006 | 2005 | 2004 | 2003 |
|
| 2002 | 2001 | 2000 | 1999 | 1998 |
|
| 1997 | 1996 | 1995 | 1994 | 1993 |
|
| 1992 | 1991 | 1990 | 1989 | 1988 |
|
| 1987 | 1986 | 1985 | 1984 | 1983 |
|
| 1982 | 1980 | 1979 | | |
|
|
|
| Complete list of publications |
|
|
|
| Publications of the year 1993 |
|
| Randerath, B. |
|
|
Well-Coverdness in Simplicial and Block-Cactus Graphs
|
|
|
1993, RWTH Aachen, Diplomarbeit (1993)
|
|
|
|
|
| Seifert, Th. |
|
| Das Library-Paket parC |
|
|
1993, Heinrich-Heine-Universität Düsseldorf (1993)
|
|
|
|
|
| Seifert, Th., Speckenmeyer, E. |
|
|
Zur Simulation von Shared-Memory auf Transputernetzwerken
|
|
|
Parallele Datenverarbeitung mit dem Transputer, Proc. 4. Transputer-Anwender-Treffen 1992, Aachen, Springer (Reihe Informatik aktuell), 51-60, 1993, Editors: R. Grebe and C. Ziemann (1993)
|
|
|
|
|
| Seifert, Th., Speckenmeyer, E. |
|
|
Simulation von Shared-Memory-Operationen auf verteilten Systemen
|
|
|
8. Symposium zur Simulationstechnik, Band 6, Vieweg, 421-424, 1993, Editor: Achim Sydow (1993)
|
|
|
|
|
| Seifert, Th., Speckenmeyer, E. |
|
|
A Simple Simulation of Concurrent Write Operations on Distributed Memory Machines
|
|
|
Transputer Applications and Systems '93, Vol. 2, IOS Press, 1076-1082, 1993, Editors: R. Grebe and C. Ziemann (1993)
|
|
|
|
|
| Heusch, P. |
|
| Implikationen der Implikation |
|
|
1993, Heinrich-Heine-Universität Düsseldorf, Doktorarbeit (1993)
|
|
|
|
|
| Böhm, M., Speckenmeyer, E. |
|
|
Ein Paralleler SAT-Solver auf Transputern
|
|
|
Parallele Datenverarbeitung mit dem Transputer, Proc. 4. Transputer-Anwender-Treffen 1992, Aachen, Springer Verlag (Reihe Informatik aktuell), 235-244, 1993, Editors: R. Grebe and C. Ziemann (1993)
|
|
|
|
|
| Böhm, M., Speckenmeyer, E. |
|
|
A Fast Parallel SAT-Solver -- Efficient Workload Balancing
|
|
|
1993, Heinrich-Heine-Universität Düsseldorf (1993)
|
|
|
|
| |
