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