zum Inhalt springen

Publikationen zwischen 1990 und 1999

1999

  • Genç, Zülfükar: Ein Aspekt der Fahrplanoptimierung im ÖPNV: Maximierung minimaler Sicherheitsabstände. Diplomarbeit, Univ. Köln, 1999.
  • Meisgen, Frank; Speckenmeyer, Ewald: Dynamic Load Balancing on Heterogeneous Networks. In: Proceedings of JIM'99, Journée de l'Informatique Messine, Metz France, Margenstern, M.; Singer, D. (Ed.), 1999, pp. 191-206.
  • Randerath, B.; Volkmann, L.: Characterization of Graphs with Equal Domination and Matching Number. In: Utilitas Mathematica, Volume 55, 1999, pp. 65-72.
  • Randerath, B.; Schiermeyer, I.; Wang, H.: On Quadrilaterals in a Graph. In: Discrete Mathematics, Volume 203, 1999, pp. 229-237.
  • Randerath, B.; Vestergaard, P.D.: A Note on Well-Covered Graphs with Odd Girth. Technical Report R-99-2019, 1999, Aalborg University.
  • Franco, J.; Goldsmith, J.; Schlipf, J.; Speckenmeyer, E.; Swaminathan, R. P.: An Algorithm for the Class of Pure Implicational Formulas. In: Discrete Applied Mathematics, Volume 96-97, 1999, pp. 89-106.

1998

  • Meisgen, Frank; Speckenmeyer, Ewald: The PLB-Library: Dynamic Load Balancing on NOWs. In: Anwendungsbezogene Lastverteilung ALV'98, SFB-342 TU München, Bode, A.; Ganz, A.; et al (Ed.), 1998, pp. 89-99. 
  • Holland-Moritz, A.: Simulation von Schienenverkehr im ÖPNV. Diplomarbeit, Univ. Köln, 1998.
  • Meisgen, Frank: Dynamische Lastausgleichsverfahren in heterogenen Netzwerken - Entwurf und Implementierung einer Klassenbibliothek zur Lastbalancierung paralleler Programme. Doktorarbeit, Univ. Köln, 1998.
  • Niessen, T.; Randerath, B.: Regular Factors of Simple Regular Graphs, and Factor Spectra. In: Discrete Mathematics, Volume 185, 1998, pp. 89-103.
  • Randerath, B.; Volkmann, L.: Characterization of Graphs with equal Domination and Covering Number. In: Discrete Mathematics, Volume 191, pp. 159-169.
  • Randerath, Bert: The Vizing Bound for the Chromatic Number based on Forbidden Pairs. Doktorarbeit, Shaker Verlag, RWTH Aachen, 1998.
  • Randerath, B.; Schiermeyer, I.: Colouring Graphs with Prescribed Induced Cycle Lengths. Technical Report 98.341, Univ. Köln, 1998.
  • Franco, J.; Gallo, G.; Kleine Büning, H.; Speckenmeyer, E.: 2nd Workshop on the Satisfiability Problem. Technical Report tr-ri-98-196, Universität-GH Paderborn, 1998.

1997

  • Franco, J.; Goldsmith, J.; Schlipf, J.; Speckenmeyer, E.; Swaminathan, R. P.: An Algorithm for the Class of Pure Implicational Formulas. Technical Report 97.270, Univ. Köln, to appear in: Discrete Applied Mathematics, 1997.
  • Heusch, Peter; Meisgen, Frank; Speckenmeyer, Ewald: CATS - Computer Aided Tram Scheduling. Technical Report 97.262, Univ. Köln, 1997.
  • Meisgen, Frank; Speckenmeyer, Ewald: Dynamic Load Balancing on Heterogenous Workstation Clusters. Technical Report 97.261, Univ. Köln, 1997.
  • Meisgen, Frank: Dynamic Load Balancing for Simulations of Biological Aging. In: International Journal of Modern Physics C, Volume 8, Number 3, 1997, pp. 575-582.
  • Schwikowski, B.; Speckenmeyer, E.: On Computing all Minimal Solutions for Feedback Problems. Technical Report 97.287, Univ. Köln, 1997.
  • Seifert, Thomas: Routingprobleme und die gruppenspezifische Simulation von Shared Memory auf verteilten Systemen. Doktorarbeit, Univ. Köln, 1997.
  • Randerath, B.; Volkmann, L.: Simplicial Graphs and Relationships to Different Graph Invariants. In: Ars Combinatoria, Volume 46, 1997, pp. 211-217.
  • Böhm, M.; Speckenmeyer, E.: Precomputation-Based Load Balancing. In: Proceedings of the 4th PASA Workshop, World Scientific, Hoßfeld, D; Maehle, E.; Mayer, E. W. (Ed.), 1997, pp. 177-194.

1996

  • Böhm, M.; Speckenmeyer, E.: A Fast Parallel SAT-Solver - Efficient Workload Balancing. In: Annals of Mathematics and Artificial Intelligence, Volume 17, 1996, pp. 381-400.
  • Böhm, M.; Speckenmeyer, E.: Precomputation-Based Load Balancing. Technical Report 96.219, Univ. Köln, to appear in: Proceedings of the 4th PASA Workshop, 1996.
  • Böhm, M.: Verteilte Lösung harter Probleme: Schneller Lastausgleich. Doktorarbeit, Univ. Köln, Shaker Verlag, Aachen, 1996.
  • Franco, J.; Gallo, G.; Kleine Büning, H.; Speckenmeyer, E.; Spera, C.: Workshop on the Satisfiability Problem. Technical Report 96.230, Univ. Köln, 1996.
  • Meisgen, Frank; Speckenmeyer, Ewald: Precomputation-based Load Balancing zur Parallelisierung von Best-First Search Algorithmen. In: Paralleles und Verteiltes Rechnen. Beiträge zum 4. Workshop über Wissenschaftliches Rechnen, Shaker Verlag, Matthies, H.; Schüle, J. (Ed.), 1996, pp. 39-48.
  • Seifert, Thomas; Speckenmeyer, Ewald: Optimal Oblivious Permutation Routing in Small Hypercubes. In: Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware, Proc. 4. PASA Workshop, Jülich, 1996, pp. 53-66, also available as: Technical Report 96.218, Univ. Köln, 1996.
  • Speckenmeyer, E.; Böhm, M.; Heusch, P.: On the Imbalance of Distributions of Solutions of CNF-Formulas and its Impact on Satisfiability Solvers. In: Satisfiability Problem: Theory and Application, DIMACS Series in discrete mathematics and theoretical computer science, Volume 35, Du, D.; Gu, J.; Pardalos, P. M. (Ed.), 1996, pp. 669-676.

1995

  • Heusch, Peter: The Complexity of the Falsifiability Problem for Pure Implicational Formulas. In: Proceedings of the 20th Conference on Mathematical Foundations of Computer Science 1995 (MFCS '95), Springer Verlag (LNCS~969), 1995, pp. 221-227.
  • Seifert, Thomas; Speckenmeyer, Ewald: Simulation of Shared Memory Operations on Distributed Memory Machines. In: SAMS, Volume 17, 1995, pp. 45-66.

1994

  • Böhm, M.; Seifert, Th.; Speckenmeyer, E.: Workload Balancing on Trees, Grids, Hypercubes and Cliques. University of Düsseldorf, Germany, 1994.
  • Böhm, M.; Speckenmeyer, E.: Effiziente Lastausgleichsalgorithmen. In: Parallele Datenverarbeitung aktuell: TAT'94, IOS Press, Grebe, R.; Flieger, R. (Ed.), 1994, pp. 53-60.
  • Randerath, B.; Volkmann, L.: A Characterization of Well Coverd Block-Cactus Graphs. In: Australasian Journal of Combinatorics, Volume 9, 1994, pp. 307-314.

1993

  • Böhm, M.; Speckenmeyer, E.: Ein Paralleler SAT-Solver auf Transputern. In: Parallele Datenverarbeitung mit dem Transputer, Proceecings des 4. Transputer-Anwender-Treffen 1992, Aachen, Springer Verlag (Reihe Informatik aktuell), Grebe, R.; Ziemann, C. (Ed.), 1993, pp. 235-244.
  • Heusch, Peter: Implikationen der Implikation. Doktorarbeit, Heinrich-Heine-Universität Düsseldorf, 1993.
  • Seifert, Thomas; Speckenmeyer, Ewald: A Simple Simulation of Concurrent Write Operations on Distributed Memory Machines. In: Transputer Applications and Systems '93, Volume 2, IOS Press, Grebe, R.; Ziemann, C. (Ed.), 1993, pp. 1076-1082.
  • Seifert, Thomas; Speckenmeyer, Ewald: Simulation von Shared-Memory-Operationen auf verteilten Systemen. In: 8. Symposium zur Simulationstechnik, Band 6, Vieweg, Achim Sydow (Ed.), 1993, pp. 421-424.
  • Seifert, Thomas; Speckenmeyer, Ewald: Zur Simulation von Shared-Memory auf Transputernetzwerken. In: Parallele Datenverarbeitung mit dem Transputer, Proceedings des 4. Transputer-Anwender-Treffen 1992, Aachen, Springer (Reihe Informatik aktuell), Grebe, R.; Ziemann, C. (Ed.), 1993, pp. 51-60.
  • Seifert, Thomas: Das Library-Paket parC. Heinrich-Heine-Universität Düsseldorf, 1993.
  • Randerath, Bert: Well-Coverdness in Simplicial and Block-Cactus Graphs. Diplomarbeit, RWTH Aachen, 1993.
  • Böhm, M.; Speckenmeyer, E.: A Fast Parallel SAT-Solver - Efficient Workload Balancing. Heinrich-Heine-Universität Düsseldorf, 1993.

1992

  • Heusch, Peter; Speckenmeyer, Ewald: Some Aspects of the Probabilistic Behaviour of Variants of Resolution. In: Procceedings of Computer Science Logic 1991 (CSL '91), Springer Verlag (LNCS 626), 1992, pp. 164-172.
  • Rosenthal, J. W.; Speckenmeyer, E.; Kemp, R.: Exact-Satisfiability, a Natural Extension of Set Partitioning. In: Annals of Mathematics and Artificial Intelligence, Volume 6, 1992, pp. 185-200.
  • Seifert, Thomas: Syntax und Semantik der parallelen Programmiersprache PRAM. Heinrich-Heine-Universität Düsseldorf, 1992.

1991

  • Böhm, M.; Speckenmeyer, E.: Parallele Dynamische Spielbaumauswertung auf Transputern. In: Parallele Datenverarbeitung mit dem Transputer, Proceedings des 2. Transputer-Anwender-Treffen 1990, Aachen, Springer Verlag (Informatik Fachberichte 272), Grebe, R.; Ziemann, C. (Ed.), 1991, pp. 80-87.
  • Seifert, Thomas; Speckenmeyer, Ewald: Spezifikation einer Sprache zur Simulation von PRAM-Modellen und ihre Übersetzung nach OCCAM (Hauptvortrag). In: Parallele Datenverarbeitung mit dem Transputer, Proceedings des 2. Transputer-Anwender-Treffen 1990, Aachen, Springer (Informatik Fachberichte 272), Grebe, R.; Ziemann, C. (Ed.), 1991, pp. 103-110.

1990

  • Böhm, M.; Speckenmeyer, E.: A Dynamic Processor Tree for Solving Game Trees in Parallel. In: Methods of Operations Research, Volume 63, 1990, pp. 479-489.
  • Seifert, Thomas: Spezifikation einer Sprache zur Simulation von PRAM-Modellen und ihre Übersetzung nach OCCAM. Diplomarbeit, Univ. Dortmund, 1990.
  • Speckenmeyer, E.; Kemp, R.: On the Average Time Behavior of Set Partioning. In: Proceedings of Computer Science Logic 1989 (CSL '89), Springer Verlag (LNCS 440), 1990, pp. 369-381.
  • Speckenmeyer, E.; Siemon, H.-P.: Parallelisierung algorithmischer Paradigmen auf Transputernetzwerken. Abschlußbericht der Projektgruppe PAPT (SS 1989 und WS 1989/90), Univ. Dortmund, FB Informatik.