Reports & Studies


This page lists studies and technical reports of the chair of Prof. Dr. Christoph Meinel.

The technical reports are published in the report series of Hasso-Plattner-Institut an der Universität Potsdam(ISBN 978-3-86956), Math and CS Department of the University of Trier (1991-2004), Institute for Telematics in Trier (1996-2002), or Electronic Colloquium ECCC, ECCC Reports.

The Annual Reports "Jahresberichte" of the Chair of Prof. Dr. Christoph Meinel can be found here: Annual Reports.

Studies

As a consulting service for govermental institutions and companies we persue studies on recent and future information technologies and their practical applications that are closely relation to our research. 

Technical Reports ab 2018

...published by the Hasso-Plattner-Institut at the University of Potsdam

Technical Reports 2011-2017

...published by the Hasso-Plattner-Institut at the University of Potsdam

Technical Reports 2010

...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

Technical Reports 2008

...published by the 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

...published by the 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 

...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

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

...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