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