
Contact
Prof. Dr. Christoph Meinel
Hasso-Plattner-Institut
an der Universität Potsdam
Tel: +49 0331/5509-222
Fax: +49 0331/5509-325
Mobil: +49 176 10010727
meinel"at"hpi.uni-potsdam.de
Blogs
Reports
The list includes technical reports published in the series of technical reports of the
- Hasso-Plattner-Institut an der Universität Potsdam and
- Math and CS Department of the University of Trier.
More of our reports are published at the
- Institute for Telematics in Trier or
- Electronic Colloquium ECCC, ECCC Reports.
The Annual Reports "Jahresberichte" of the Chair of Prof. Dr. Christoph Meinel can be found here Annual Reports.
Technical Reports 2012
... of Hasso-Plattner-Institut at the University of Potsdam
Technical Reports 2011
... of Hasso-Plattner-Institut at the University of Potsdam
- No. 52 Wilhelm Boeddinghaus, Christoph Meinel, Harald Sack
Einführung von IPv6 in Unternehmensnetzen - ein Leitfaden - No. 46 Christoph Meinel, Hasso Plattner, Jürgen Döllner, Mathias Weske, Andreas Polze, Robert Hirschfeld, Felix Naumann, Holger Giese
Proceedings of the 5th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Technical Reports 2010
... of Hasso-Plattner-Institut at the University of Potsdam
- No. 44. Christoph Meinel, Christian Willems, Sebastian Roschke, Maxim Schnjakin
Virtualisierung und Cloud Computing - No. 43. Christoph Meinel, Ivonne Thomas, Robert Warschofsky
SOA-Security 2010: Symposium für Sicherheit in Service-orientierten Architekturen - No. 42. Christoph Meinel, Andreas Polze, Alexander Zeier, Gerhard Oswald, Dieter Herzog, Volker Smid, Doc D'Errico, Zahid Hussain
Proceedings of the Fall 2010 Future SOC Lab Day - No. 39. Christoph Meinel, Harald Sack
Dritter Deutscher IPv6 Gipfel 2010
Technical Reports 2009
... of 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
... of Hasso-Plattner-Institut at the University of Potsdam
- No. 24. Christoph Meinel / Harald Sack / Justus Bross
Erster Deutscher IPv6 Gipfel No. 23. Christoph Meinel, Andreas Polze, Mathias Weske, Jürgen Döllner, Robert Hirschfeld, Felix Naumann, Holger Giese, Hasso Plattner
Proc. of the 2nd PhD Retreat of the HPI Research School
Technical Reports 2006
... of Hasso-Plattner-Institut at the University of Potsdam
- No. 12. Serge Linckels, Christoph Meinel
An e-Librarian Service - Natural Language Interface for an Efficient Semantic Search within Multimedia Resources
- No. 13. Ji Hu, Dirk Cordel, Christoph Meinel
A Virtual Machine Architecture for Creating IT-Security Labs
Technical Reports 2004
... of University of Trier
- 04-05. Volker Klotz, Christoph Meinel
10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung - 04-04. Mikhail Gevantmakher, Christoph Meinel
TI-jPACS - eine frei verfügbare leistungsfähige Plattform zur medizinischen Bildverarbeitung und -visualisierung - 04-03. Mikhail Gevantmakher, Christoph Meinel
Medizinische Bildverarbeitung - eine Übersicht
Technical Reports 2003
... of University of Trier
- 03-06. Michael Schmitt, Ji Hu, Christoph Meinel
Design and Implementation of a PHP-based Web Server for the Tele-Lab IT Security - 03-05. Feng Cheng, Ferring, Christoph Meinel
Lock-Keeper Technology - A New Network Security Solution - 03-04. Christoph Meinel, Volker Schillings
tele-TASK - Teleteaching praxistauglich für den Universitätsalltag - 03-03. Wei Zhou, Christoph Meinel
Implement Role-Based Access Control with Attribute Certificates
Technical Reports 2002
... of University of Trier
- 02-21. Volker Schillings, Christoph Meinel
tele-TASK - Teleteaching Anywhere Solution Kit - 02-20. Randy Bryant, Christoph Meinel
Ordered Binary Decision Diagrams in Electronic Design Automation
... of 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:
... of 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)
... of 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:
... of 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:
... of 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
... of 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
... of 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
... of Institute for Telematics
- 98-15 Haffner / Engel / Meinel Flood-Gates statt Firewall - eine High Security Lösung zum sicheren Datenaustausch zwischen Internet und Intranet
- 98-14 Roth / Haffner / Engel / Meinel Smart Data Server (SDS) - Modularer Aufbau und verteilte Funktionalität
- 98-13 Meinel / Losemann Warum Zertifikate?
- 98-12 Meinel / Wagner The WWW meets EDA: Usability Evaluation of OBDD-Heuristics via the Internet
- 98-11 Meinel / Müller Trierer Telemedizin Symposium - Proceedings
- 98-10 Meinel / Müller Trierer Telemedizin Symposium
- 98-09 Görg / Engel / Meinel TI-Trust-Center-Eröffnung einer Zertifizierungsstelle in Anlehnung an die Signaturgesetzverordnung
- 98-08 Hludov / Köhler / Meinel / Engel PACS für Radiologie
- 98-07 Schröter / Engel / Meinel Internetbasiertes Arztbriefsystem
- 98-06 Müller / Görg / Engel / Meinel CryptoPay
- 98-05 Hludov / Meinel JAVA-DICOM-Viewer
- 98-04 Heuer / Siemonsen / Engel / Meinel Web-basierte Navigationssysteme f"ur Datenbanken
- 98-03 Hludow / Schröter / Meinel Adaptive Komprimierung DICOM Bilder
- 98-02 Bern / Damm / Meinel The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use
- 98-01 Meinel Elektronisches Publizieren im World Wide Web - Eine neue Dimension in der wissenschaftlichen Kommunikation
Technical Reports 1997:
... of University of Trier
- 97-28 Meinel / Stangier OBDD-based Verification of Communication Protocols - Methods for the Verification of Data Link Protocols
- 97-27 Meinel / Slobodová / Willems Block-restricted Reordering - Extended Experiments -
- 97-19 Meinel / Damm / Mundhenk (Hrsg.) 33. Workshop über Komplexitätstheorie, Datenstrukturen und effiziente Algorithmen
- 97-16 Bern / Damm / Meinel The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use
- 97-15 Meinel / Sack Case Study: Manipulating
-OBDDs by Means of Signatures - 97-14 Meinel / Somenzi / Theobald Function Decomposition and Synthesis Using Linear Sifting
... of ITWM-Trier (later Institute for Telematics)
- 97-05 Grünwoldt / Hludow / Meinel / Thiesse DICOM-Datenbank und -Viewer. Innovatives Bildmanagement in der Medizin
- 97-04 Görg / Engel / Meinel Trust Center - Konzeption einer Zertifizierungsstelle nach Signaturgesetz und Signaturverordnung
- 97-03 Grünwoldt / Meinel DICOM - Praktische Aspekte der Bildverarbeitung
- 97-02 Müller / Engel / Meinel Internet - Neues Medium für kommerzielle Aktivitäten
- 97-01 Meinel Wie das Internet funktioniert
Technical Reports 1996:
... of 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
... of 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:
... of University of Trier
- 95-21 Meinel Die Entwicklung der Informatik braucht Theorie und Praxis. EinFallbeispiel aus dem CAD-Schaltkreisentwurf
- 95-03 Bern / Meinel / Slobodová Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima
Technical Reports 1994:
... of 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:
... of 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:
... of 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










