Meinel, C.
Elektronisches Publizieren im World Wide Web - Eine neue Dimension in der wissenschaftlichen KommunikationForschung und Lehre, Nr. 3. Bd. Forschung und Lehre, Nr. 3. 1998 S. 122 - 125
Meinel, Christoph; Stangier, Christian
Increasing efficiency of symbolic model checking by accelerating dynamic variable reorderingTrier: Univ., Mathematik/Informatik 1998 9 S. (Trierer Forschungsberichte ; Nr. 98-23)
Meinel, C.; Engel, T.
Institut für Telematik (Trier) - angewandte Forschung nach Fraunhofer IdealIntensive care medicine. Bd. 24. H. 6. Berlin: Springer 1998 S. 539 - 541
Engel, T.; Heuer, A.; Meinel, C. et al.
Interface for Navigation and Database-Querying via WWWProc. ISI ´98. 1998
Meinel, Christoph; Theobald, Thorsten
Ordered binary decision diagrams and their significance in computer-aided design of VLSI circuitsTrier: Univ., Fachbereich Mathematik, Informatik 1998 17 S. (Forschungsbericht ; 98-01)
Haffner, E. - G.; Engel, Th.; Meinel, C.
The Flood-Gate Principle-a Hybrid Approach to a High Security SolutionProc. ICISI ´98. 1998
Meinel, Christoph; Wagner, Arno
The WWW meets EDA : usability evaluation of OBDD-heuristics via the internetTrier: Univ., Mathematik/Informatik 1998 6 S. (Trierer Forschungsberichte ; Nr. 98-27)
Meinel, C.; Slobodová, A.
A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision DiagramsLecture notes in computer science. Bd. 1200. Berlin: Springer 1997 S. 213 - 224
Meinel, Christoph; Slobodová, Anna
A Unifying Theoretical Background for Some BDD-Based Data StructuresFormal methods in system design. an international journal. Bd. 11. H. 3. Dordrecht [u.a.]: Springer 1997 S. 223 - 238
Meinel, Christoph; Sack, Harald
Case-study : manipulating -OBDDs by means of signaturesTrier: Univ., Fachbereich Mathematik, Informatik 1997 12 S. (Forschungsbericht ; 97-15)