... published by the Hasso-Plattner-Institut at the University of Potsdam
Technical Reports 2009
... published by the Hasso-Plattner-Institut at the University of Potsdam
- No. 31. Christoph Meinel, Andreas Polze, Mathias Weske, Jürgen Döllner, Robert Hirschfeld, Felix Naumann, Holger Giese, Hasso Plattner
Proc. of the 4th PhD Retreat of the HPI Research School
- No. 27. Christoph Meinel, Andreas Polze, Mathias Weske, Jürgen Döllner, Robert Hirschfeld, Felix Naumann, Holger Giese, Hasso Plattner
Proc. of the 3rd PhD Retreat of the HPI Research School
Technical Reports 2008
... published by the Hasso-Plattner-Institut at the University of Potsdam
Technical Reports 2006
... published by the Hasso-Plattner-Institut at the University of Potsdam
Technical Reports 2004
... published by the University of Trier
Technical Reports 2003
... published by the University of Trier
Technical Reports 2002
... published by the University of Trier
... published by the Institute for Telematics
- 02-09. Lutz Gollan, Christoph Meinel
Digitale Signaturen in der Verwaltung - 02-08. Christoph Meinel, Frank Rudolf
Trierer Symposium Sichere Telemedizin, Proceedings - 02-07. Lutz Vorwerk, Chanjun Jiang, Christoph Meinel
Generieren von diagnostischen 3D-Objekten aus deformierten 2D-DICOM Bildern - 02-06. Dusemund, Christoph Meinel
Patientenreminder - 02-05. Lutz Gollan, Andreas Heuer, Christoph Meinel, Thomas Engel
Secure E-Document Container - 02-04. Lutz Gollan, Christoph Meinel
Digitale Signaturen für Kraftfahrzeuge - 02-03. Volker Schillings, Christoph Meinel
tele-TASK-Teleteaching Anywhere Solution Kit - 02-02. Christoph Meinel, Frank Rudolf
Trierer Symposium Digitales Geld, Proceedings - 02-01. Lutz Gollan, Christoph Meinel
Digital Signatures for Automobiles?!
Technical Reports 2001:
... published by the University of Trier
- 01-21. Christoph Meinel / Sack / Schillings
VisBDD - A Webbased Visualization Framework for OBDD Algorithms - 01-16. Christoph Meinel / Stangier
Modular Partitioning for Improvement of Image Computation - 01-15. Christoph Meinel /Sack / Schillings
IDDS: An Interactive Decentralized Documentation System - 01-09. Christoph Meinel / Sack
WWW.BDD-PORTAL.ORG: An Experimentation Platform For BDD Algorithms - 01-07. Christoph Meinel / Sack
Improving XOR-Node Placement for (+)-OBDDs - 01-06. Christoph Meinel / Sack
A Heuristic for (+)-OBDD Minimization - 01-04. Christoph Meinel / Mundhenk
6. Berlin-München-Trierer Workshop zur Algorithmischen Diskreten Mathematik und Mathematischen Optimierung (ADiMMO 2001)
... published by the Institute for Telematics
- 01-11. Gollan / Christoph Meinel
Trierer Symposien Digitale Signaturen Proceedings - 01-10. Roth / Losemann / Engel / Christoph Meinel
Anforderungsprofil für den "sicheren"Betrieb eines WLAN - 01-09. Gollan / Christoph Meinel
Trierer Symposium Digitale Signaturen Abstracts - 01-08. Roth / Christohp Meinel
SDS in der öffentlichen Verwaltung - 01-07. Gollan / Vorwerk / Birkel / Christoph Meinel
Studie Teleradiologie: Umfrage unter Akut-Krankenhäusern Baden-Württemberg 2000/2001 - 01-06. Vorwerk / Christoph Meinel
Die Bedeutung des DICOM Standards für das europäische Gesundheitswesen - 01-05. Becker / Engel / Christoph Meinel
IT-Sicherheitszertifikate - 01-04. Dusemund / Christoph Meinel
Trierer Symposium Mobile Commerce Proceedings - 01-03. Haffner / Engel / Christoph Meinel
Schleusentechnologie "Lock-Keeper" und ihre Integration in moderne Sicherheitsarchitekturen - 01-02. Dusemund / Christoph Meinel
Trierer Symposium Mobile Commerce Abstracts - 01-01. Ferring / Engel / Christoph Meinel
Computer-Telefonie-Integration und Packet-based multimedia communication systems
Technical Reports 2000:
... published by the Institute for Telematics
- 00-15. Dusemund / Becker / Gollan / Engel / Christoph Meinel
Security in Open Networks: The Functionality of a Public Key Infrastructure - 00-14. Haffner / Engel / Christoph Meinel
Integration der Schleusen-technologie Lock-Keeper in moderne Sicherheitsarchitekturen - 00-13. Podestá / Christoph Meinel
The Necessity of a Public Key Infrastracture for a Virtual University - 00-12. Christoph Meinel / Gollan
Trierer Symposium Smart Cards, Proceedings - 00-11. Hludov / Christoph Meinel / Gevantmakher
Das Patienten CD-System - 00-10. Gollan / Mabrouk / Christoph Meinel / Engel
Mobile Commerce - 00-09. Vorwerk / Losemann / Christoph Meinel
Modell für den Einsatz von Java Cards im Gesundheitswesen - 00-08. Gollan / Christoph Meinel
Electronic Signatures. - An American and European Perspective - - 00-07. Christoph Meinel / Gollan
Trierer Symposium Smart Cards, Abstracts - 00-06. Christoph Meinel / Düro
Trierer Symposium Virtuelle Hochschule, Abstracts - 00-05. Christoph Meinel / Düro
Trierer Symposium Virtuelle Hochschule, Proceedings - 00-04. Roth / Christoph Meinel
Was Sie noch nie über Spam wissen wollten, aber gezwungen waren zu erfahren - 00-03. Haffner / Engel / Christoph Meinel
Techniques for Securing Networks against Criminal Attacks - 00-02. Haffner / Engel / Christoph Meinel
Die Lock-Keeper Architektur. Sicherer Schutz gegen Online-Attacken aus dem Internet - 00-01. Zhang / Heuer / Zuo / Engel / Christoph Meinel
Redaktionssystem DAPHNE
Technical Reports 1999:
... published by the University of Trier
- 99-28. Christoph Meinel / Stangier
Speeding up Symbolic Model Checking by Accelerating Dynamic Variable Reordering - 99-27. Sack / Dubrova / Christoph Meinel
Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions - 99-19. Christoph Meinel / Sack
Algorithmic Considerations for
-OBDD Reordering - 99-16. Bern / Christoph Meinel
One Step Further: Integrating Electronic Submission and the Reviewing Process
... published by the Institute for Telematics
- 99-14. Hastenteufel / Christoph Meinel
Digitale Zertifikate - Standards and Anwendungen - 99-05. Roth / Haffner / Heuer / Engel / Christoph Meinel
Hyperlinkmanagment HLM - 99-04. Christoph Meinel / Wagner
Ein Decision Diagram Portal im World Wide Web - 99-03. Zhang / Heuer / Engel / Christoph Meinel
DAPHNE - A Tool for Distributed Web-Authoring and Publishing - 99-02. Haffner / Roth / Engel / Christoph Meinel
Vorhersage von Benutzeranlagen im Internet
Technical Reports 1998
... published by the University of Trier
- 98-29 Meinel / Sack / Stangier / Wagner Do We Really Need Common Variable Orders for Synthesizing OBDDs?
- 98-28 Meinel / Sack
-OBDDs - a BDD Structure for Probabilistic Verification - 98-27 Meinel / Wagner The WWW meets EDA: Usability Evaluation of OBDD-Heuristics Via the Internet
- 98-25 Meinel / Slobodová Accelerating OBDD-Minimization by Means of Structural and Semantical Properties
- 98-24 Meinel / Schwettmann / SlobodováApplication Driven Variable Reordering and an Example in Reachability Analysis
- 98-23 Meinel / Stangier Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering
- 98-22 Cabodi / Quer / Meinel / Sack / Slobodová / Stangier Binary Decision Diagrams and the Multiple Variable Order Problem
- 98-01 Meinel / Theobald Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits
... published by the Institute for Telematics
Technical Reports 1997:
... published by the University of Trier
... published by the ITWM-Trier (later Institute for Telematics)
Technical Reports 1996:
... published by the University of Trier
- 96-42 Meinel / Somenzi / Theobald Linear Sifting of Decision Diagrams
- 96-40 Meinel / Slobodová Speeding up Variable Reordering of OBDDs
- 96-23 Meinel / Theobald Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines
- 96-04 Theobald / Meinel State Encoding and OBDD-Sizes
- 96-02 Meinel / Slobodová An Adequate Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams
... published by the ITWM-Trier (laterInstitute for Telematics)
- 96-04 Meinel / Slobodová Speeding up Variable Reordering of OBDDs
- 96-03 Meinel / Theobald OBDD's im CAD-Prozeß - Geordnete binäre Entscheidungsgraphen / Ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise
- 96-02 Becker / Grünwoldt / Meinel TeleMedizin - Neue Informations- und Kommunikationstechnologien im Gesundheitswesen
Technical Reports 1995:
... published by the University of Trier
Technical Reports 1994:
... published by the University of Trier
- 94-17 Meinel / Slobodová A Unifying Theoretical Background for Some OBDD-Based Data Structures
- 94-16 Bern / Meinel / Slobodová Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits
- 94-05 Meinel / Slobodová On the Complexity of Constructing Optimal OBDD's
- 94-04 Meinel / Waack The Möbius Function, Variations Ranks, and Theta(n)-Bounds on the Modular Communicxation Complexity of the Undirected Graph Connectivity Problem
- 94-03 Bern / Meinel / Slobodová Some Heuristics for Generating Tree-like FBDD Types
Technical Reports 1993:
... published by the University of Trier
- 93-21 Gergov / Meinel Mod-2-OBDD's; A Generalization of OBDD's and EXOR-Sum-of-Products
- 93-20 Bern / Gergov / Meinel / SlobodováBoolean Manipulation with Free BDD's - First Experimental Results
- 93-12 Gergov / Meinel Efficient Boolean Manipulation with OBDD's can be Extended to FBDD's
- 93-09 Slobodová / Meinel Efficient Manipulation of FBDDs by Means of a Modified OBDD-Package
- 93-08 Gergov / Meinel Combinational Logic Verification with FBDDs
Technical Reports 1992:
... published by the University of Trier
- 92-07 Gergov / Meinel Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs
- 92-05 Meinel A Note on Möbius Functions and the Communication Complexity of the Graph-Accessability-Problem
- 92-04 Meinel / Waack Upper and Lower Bounds for Certain Graph-Accessability-Problems on Bounded Alternating (omega)-Branching Programs