Hasso-Plattner-Institut
 
    • de
 

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

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 / SackMod-2-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

Other Links

... to our Research
              Security Engineering - Learning & Knowledge Tech - Design Thinking - former
... to our Teaching
              Tele-Lectures - MOOCs - Labs - Systems 
... to our Publications
              Books - Journals - Conference-Papers - Patents
... and to our Annual Reports.