Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Prof. Dr. sc. nat. Christoph Meinel

Informatikwissenschaften, Universität Trier

Universitätsring 15

Publikationen
Ergebnisse pro Seite:  25

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