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:  10

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