Meinel, Christoph; Sack, Harald
Algorithmic considerations for [Mod2]-OBDD reorderingTrier: Univ., Mathematik/Informatik 1999 7 S. (Trierer Forschungsberichte ; Nr. 99-19)
Sack, Harald; Dubrova, Elena; Meinel, Christoph
Mod-p decision diagrams : a data structure for multiple-valued functionsTrier: Univ., Mathematik/Informatik 1999 13 S. (Trierer Forschungsberichte ; 99-27)
Meinel, Ch; Theobald, Th
On the influence of the state encoding on OBDD-representations of finite state machinesTheoretical informatics and applications. Bd. 33. H. 1. Cambridge, Mass.: EDP Sciences 1999 S. 21 - 32
Bern, Jochen; Meinel, Christoph
One step further : integrating electronic submission and the reviewing processTrier: Univ., Mathematik/Informatik 1999 5 S. (Trierer Forschungsberichte ; Nr. 99-16)
Meinel, Christoph; Stangier, Christian
Speeding up symbolic model checking by accelerating dynamic variable reorderingTrier: Univ., Mathematik/Informatik 1999 13 S. (Trierer Forschungsberichte ; 99-28)
Morvan, M.; Meinel, C.; Krob, D.
STACS ´98 - 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 1998, ProceedingsHeidelberg: Springer-Verlag 1999
Meinel, Christoph; Sack, Harald
[Mod2]-OBDDs : a BDD structure for probabilistic verificationTrier: Univ., Mathematik/Informatik 1998 11 S. (Trierer Forschungsberichte ; Nr. 98-28)
Meinel, Christoph; Slobodová, Anna
Accelerating OBDD-minimization by means of structural and semantical propertiesTrier: Univ., Mathematik/Informatik 1998 22 S. (Trierer Forschungsberichte ; Nr. 98-25)
Hudlov, S.; Engel, T.; Meinel, C.
Adaptive Compression of DICOM- Image DataProc. Int. Symposium of Electronic Image Capture and Publishing. 1998 S. 260 - 266
Hudlov, S.; Schröter, C.; Meinel, C.
Adaptive Compression of Image DataProc. SYBEN ´98 Broadband Networks. 1998 S. 520 - 527
Meinel, Christoph; Theobald, Thorsten
Algorithmen und Datenstrukturen im VLSI-Design : OBDD - Grundlagen und AnwendungenBerlin [u.a.]: Springer 1998 0 S.
Meinel, Christoph; Theobald, Thorsten
Algorithms and data structures in VLSI design : OBDD-foundations and applicationsBerlin [u.a.]: Springer 1998 0 S.
Meinel, Christoph; Schwettmann, Klaus; Slobodová, Anna
Application driven variable reordering and an example implementation in reachability analysisTrier: Univ., Mathematik/Informatik 1998 3 S. (Trierer Forschungsberichte ; 98-24)
Cabodi, Gianpiero; Meinel, Christoph
Binary decision diagrams and the multiple variable order problemTrier: Univ., Mathematik/Informatik 1998 9 S. (Trierer Forschungsberichte ; 98-22)
Slobodová, Anna; Meinel, Christoph
Contributed Papers - Sample Method for Minimization of OBDDsLecture notes in computer science. Bd. 1521. Berlin: Springer 1998 S. 419 - 428
Görg, H. - J.; Meinel, C.
Digitale Signaturen schaffen Sicherheit auf der Datenautobahn - Public-Key-Verfahren als Ausgangspunkt für gesetzgeberische InitiativenManagement und Krankenhaus. Bd. Management und Krankenhaus. 1998 S. 8 - 9
Görg, H. - J.; Meinel, C.
Digitale Signaturen schaffen Sicherheit auf der Datenautobahn - Sicherheitsaspekte im Organisationsablauf von Trust Center DienstleitungenManagement und Krankenhaus. Bd. Management und Krankenhaus. 1998 S. 77 - 78
Meinel, Christoph
Do we really need common variable orders for synthesizing OBDDs?Trier: Univ., Mathematik/Informatik 1998 6 S. (Trierer Forschungsberichte ; Nr. 98-29)
Siemonsen, K.; Heuer, A.; Engel, T. et al.
Ein Web-basiertes Navigationssystem für allgemeine, heterogene DatenbanksystemeProc. Hypermedia im Umweltschutz. 1998
Bern, J.; Meinel, C.; Sack, H.
Electronic Colloquia: Idea and PracticeProc. Int. Symposium of SIGDOC ´98. 1998 S. 113 - 119
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)