Prof. Dr. sc. nat. Christoph Meinel - Publikationen

Meinel, Christoph; Sack, Harald
Algorithmic considerations for [Mod2]-OBDD reordering
Trier: 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 functions
Trier: 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 machines
Theoretical 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 process
Trier: Univ., Mathematik/Informatik 1999 5 S. (Trierer Forschungsberichte ; Nr. 99-16)

Meinel, Christoph; Stangier, Christian
Speeding up symbolic model checking by accelerating dynamic variable reordering
Trier: 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, Proceedings
Heidelberg: Springer-Verlag 1999

Meinel, Christoph; Sack, Harald
[Mod2]-OBDDs : a BDD structure for probabilistic verification
Trier: Univ., Mathematik/Informatik 1998 11 S. (Trierer Forschungsberichte ; Nr. 98-28)

Meinel, Christoph; Slobodová, Anna
Accelerating OBDD-minimization by means of structural and semantical properties
Trier: Univ., Mathematik/Informatik 1998 22 S. (Trierer Forschungsberichte ; Nr. 98-25)

Hudlov, S.; Engel, T.; Meinel, C.
Adaptive Compression of DICOM- Image Data
Proc. Int. Symposium of Electronic Image Capture and Publishing. 1998 S. 260 - 266

Hudlov, S.; Schröter, C.; Meinel, C.
Adaptive Compression of Image Data
Proc. SYBEN ´98 Broadband Networks. 1998 S. 520 - 527

Meinel, Christoph; Theobald, Thorsten
Algorithmen und Datenstrukturen im VLSI-Design : OBDD - Grundlagen und Anwendungen
Berlin [u.a.]: Springer 1998 0 S.

Meinel, Christoph; Theobald, Thorsten
Algorithms and data structures in VLSI design : OBDD-foundations and applications
Berlin [u.a.]: Springer 1998 0 S.

Meinel, Christoph; Schwettmann, Klaus; Slobodová, Anna
Application driven variable reordering and an example implementation in reachability analysis
Trier: Univ., Mathematik/Informatik 1998 3 S. (Trierer Forschungsberichte ; 98-24)

Cabodi, Gianpiero; Meinel, Christoph
Binary decision diagrams and the multiple variable order problem
Trier: Univ., Mathematik/Informatik 1998 9 S. (Trierer Forschungsberichte ; 98-22)

Slobodová, Anna; Meinel, Christoph
Contributed Papers - Sample Method for Minimization of OBDDs
Lecture 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 Initiativen
Management 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 Dienstleitungen
Management 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 Datenbanksysteme
Proc. Hypermedia im Umweltschutz. 1998

Bern, J.; Meinel, C.; Sack, H.
Electronic Colloquia: Idea and Practice
Proc. Int. Symposium of SIGDOC ´98. 1998 S. 113 - 119

Meinel, C.
Elektronisches Publizieren im World Wide Web - Eine neue Dimension in der wissenschaftlichen Kommunikation
Forschung 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 reordering
Trier: Univ., Mathematik/Informatik 1998 9 S. (Trierer Forschungsberichte ; Nr. 98-23)

Meinel, C.; Engel, T.
Institut für Telematik (Trier) - angewandte Forschung nach Fraunhofer Ideal
Intensive 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 WWW
Proc. ISI ´98. 1998

Meinel, Christoph; Theobald, Thorsten
Ordered binary decision diagrams and their significance in computer-aided design of VLSI circuits
Trier: 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 Solution
Proc. ICISI ´98. 1998

Meinel, Christoph; Wagner, Arno
The WWW meets EDA : usability evaluation of OBDD-heuristics via the internet
Trier: 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 Diagrams
Lecture 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 Structures
Formal 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 signatures
Trier: Univ., Fachbereich Mathematik, Informatik 1997 12 S. (Forschungsbericht ; 97-15)

Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
Function decomposition and synthesis using linear sifting
Trier: 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 OBDDs
Proc. Of IEEE ICCD ´97. 1997 S. 338 - 343

Günwoldth, L.; Meinel, C.
Telematik im Gesundheitswesen der Bundesrepublik - eine Studie des ITWM-Trier zur Telemedizin
Handelsblatt. Bd. Handelsblatt. 1997

Becker, A.; Günwoldt, L.; Meinel, C.
Telemedizin - Neue Informations- und Kommunikationstechnologien im Gesundheitswesen
Arzt 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 use
Trier: Fachbereich IV, Mathematik, Informatik, Univ. 1997 11 S. (Trierer Forschungsberichte ; 97-16)

Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
Linear sifting of decision diagrams
Trier: Univ., Mathematik/Informatik 1996 10 S. (Trierer Forschungsberichte ; 96-42)

Meinel, Christoph; Slobodová, Anna
Speeding up variable reordering of OBDDs
Trier: 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 Internet
Technical Reports 1998. Institute for Telematics

Meinel, C.; Zhang, Z.; Heuer, A. et al.
Daphne - A Tool for Distributed Web Authoring and Publishing
Technical Reports 1999. Institut for Telematics

Meinel, C.; Hastenteufel, M.
Digitale Zertifikate - Standards und Anwendungen
Technical Reports 1999. Institut for Telematics

Meinel, C.; Wagner, A.
Ein Decision Diagram Portal im World Wide Web
Technical Reports 1999. Institut for Telematics

Meinel, C.; Bern, J.
Electronic Colloquia in the WWW - a New Form of Scientific Publications
Proc. 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 Intranet
Technical Reports 1998. Institut for Telematics

Meinel, C.; Roth, U.; Haffner, E. - G. et al.
Hyperlink Management System - HLM
Technical Reports 1999.

Meinel, C.; Schröter, C.; Engel, Th.
Internetbasiertes Arztbriefsystem
Technical Reports 1998. Institut for Telematics

Meinel, C.; Hludov, S.
JAVA-DICOM-Viewer
Technical Reports 1998. Institute for Telematics

Meinel, C.; Sack, H.; Stangier, C.
Overcoming Ordering Restrictions for Synthesizing Binary Decision Diagrams
In Proc. of NORCHIP`99, Oslo, Norway 1999.

Meinel, C.; Hludov, S.; Köhler, L. et al.
PACS für Radiologie
Technical Reports 1998. Institut for Telematics

Meinel, C.; Roth, U.; Haffner, E. G. et al.
Smart Data Server (SDS) Modularer Aufbau und verteilte Funktionalität
Technical 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 Signaturverordnung
Technical Reports 1998. Institut for Telematics

Meinel, C.; Müller, S.
Trierer Telemedien Symposium - Internet-Technologie inder Medizin
Institut for Telematics

Meinel, C.; Haffner, E. G.; Roth, U. et al.
Vorhersage von Benutzeranforderungen im Internet
Technical 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