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)
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)
Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
Function decomposition and synthesis using linear siftingTrier: Univ., FB Mathematik Informatik 1997 13 S. (Trierer Forschungsberichte ; 97-14)
Meinel, C.; Theobald, T.
Geordnete binaere Entscheidungsgraphen und ihre Bedeutung im rechnergestuetzten Entwurf hochintegrierter Schaltkreise.Informatik-Spektrum. Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. Bd. 20. H. 5. Berlin: Springer 1997 S. 268 - 275
Meinel, C.; Slobodová, A.
Speeding up Variable Ordering of OBDDsProc. Of IEEE ICCD ´97. 1997 S. 338 - 343
Günwoldth, L.; Meinel, C.
Telematik im Gesundheitswesen der Bundesrepublik - eine Studie des ITWM-Trier zur TelemedizinHandelsblatt. Bd. Handelsblatt. 1997
Becker, A.; Günwoldt, L.; Meinel, C.
Telemedizin - Neue Informations- und Kommunikationstechnologien im GesundheitswesenArzt und Krankenhaus. Bd. Arzt und Krankenhaus. 1997 S. 22 - 24
Bern, Jochen; Damm, Carsten; Meinel, Christoph
The electronic colloquium on computational complexity (ECCC) : a digital library in useTrier: Fachbereich IV, Mathematik, Informatik, Univ. 1997 11 S. (Trierer Forschungsberichte ; 97-16)
Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
Linear sifting of decision diagramsTrier: Univ., Mathematik/Informatik 1996 10 S. (Trierer Forschungsberichte ; 96-42)
Meinel, Christoph; Slobodová, Anna
Speeding up variable reordering of OBDDsTrier: Univ., Mathematik/Informatik 1996 10 S. (Trierer Forschungsberichte ; 96-40)
Meinel, C.; Hludov, S.; C., Schröter
Adaptive Komprimierung von DICOM-Bildern
Meinel, C.; Müller, S.; Görg, H. - J. et al.
CryptoPay-Sicheres Bezahlen im InternetTechnical Reports 1998. Institute for Telematics
Meinel, C.; Zhang, Z.; Heuer, A. et al.
Daphne - A Tool for Distributed Web Authoring and PublishingTechnical Reports 1999. Institut for Telematics
Meinel, C.; Hastenteufel, M.
Digitale Zertifikate - Standards und AnwendungenTechnical Reports 1999. Institut for Telematics
Meinel, C.; Wagner, A.
Ein Decision Diagram Portal im World Wide WebTechnical Reports 1999. Institut for Telematics
Meinel, C.; Bern, J.
Electronic Colloquia in the WWW - a New Form of Scientific PublicationsProc. of SCI/ISAS`99, Orlando.
Meinel, C.; Haffner, E. G.; Engel, Th.
Flood-Gates statt Firewall - eine "High-Society"-Lösung zum sicheren Datenaustausch zwischen Internet und IntranetTechnical Reports 1998. Institut for Telematics
Meinel, C.; Roth, U.; Haffner, E. - G. et al.
Hyperlink Management System - HLMTechnical Reports 1999.
Meinel, C.; Schröter, C.; Engel, Th.
Internetbasiertes ArztbriefsystemTechnical Reports 1998. Institut for Telematics
Meinel, C.; Hludov, S.
JAVA-DICOM-ViewerTechnical Reports 1998. Institute for Telematics
Meinel, C.; Sack, H.; Stangier, C.
Overcoming Ordering Restrictions for Synthesizing Binary Decision DiagramsIn Proc. of NORCHIP`99, Oslo, Norway 1999.
Meinel, C.; Hludov, S.; Köhler, L. et al.
PACS für RadiologieTechnical Reports 1998. Institut for Telematics
Meinel, C.; Roth, U.; Haffner, E. G. et al.
Smart Data Server (SDS) Modularer Aufbau und verteilte FunktionalitätTechnical Reports 1998. Institut for Telematics
Meinel, C.; Görg, H. - J.; Engel, Th.
TI-Trust Center - Eröffnung einer Zertifizierungsstelle in Anlehnung an das Signaturgesetz und die SignaturverordnungTechnical Reports 1998. Institut for Telematics
Meinel, C.; Müller, S.
Trierer Telemedien Symposium - Internet-Technologie inder MedizinInstitut for Telematics
Meinel, C.; Haffner, E. G.; Roth, U. et al.
Vorhersage von Benutzeranforderungen im InternetTechnical Reports 1999. Institut for Telematics
Meinel, C.; Losemann, F.
Warum Zertifikate?Technical Reports 1998. Institut for Telematics
Meinel, C.; Heuer, A.; Siemonsen, K. et al.
Web-basierte Navigationssysteme für Datenbanken