Siegel und Leitseite der Universität zu KölnSiegel und Leitseite der Mathematisch-Naturwissenschaftlichen Fakultät
Valid HTML 4.01!

Publikationen

Bitte wählen Sie ein Jahr aus
20072006200520042003
20022001200019991998
19971996199519941993
19921991199019891988
19871986198519841983
198219801979
Liste aller Publikationen
Publikationen des Jahres 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)