Boolean Manipulation with Free BDD's - First Experimental Results - Jochen Bern; Jordan Gergov; Christoph Meinel; Anna Slobodová (Universität Trier, Mathematik/Informatik, Forschungsbericht, 1993)

Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits - Jochen Bern; Christoph Meinel; Anna Slobodová (Universität Trier, Mathematik/Informatik, Forschungsbericht, 1994)

Global rebuilding of OBDDs Avoiding Memory Requirement Maxima. - Jochen Bern; Christoph Meinel; Anna Slobodová (CAV, 1995)

Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima - Jochen Bern; Christoph Meinel; Anna Slobodová (Universität Trier, Mathematik/Informatik, Forschungsbericht, 1995)

Some heuristics for generating tree-like FBDD types. - Jochen Bern; Christoph Meinel; Anna Slobodová (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996)

Global rebuilding of OBDD's avoiding memory requirement maxima. - Jochen Bern; Christoph Meinel; Anna Slobodová (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996)

The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use. - Jochen Bern; Carsten Damm; Christoph Meinel (ECDL, 1997)

The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use - Jochen Bern; Christoph Meinel (Universität Trier, Mathematik/Informatik, Forschungsbericht, 1997)

The STACS Electronic Submission Service. - Jochen Bern; Christoph Meinel; Harald Sack (ECDL, 1998)

Electronic Colloquia: Idea and Practice. - Jochen Bern; Christoph Meinel; Harald Sack (SIGDOC, 1998)

One step further: extending electronic submission into the reviewing process. - Jochen Bern; Christoph Meinel (SIGDOC, 1999)

One Step Further: Integrating Electronic Submission and the Reviewing Process - Jochen Bern; Christoph Meinel (Universität Trier, Mathematik/Informatik, Forschungsbericht, 1999)

The DualGate Lock-Keeper: A Highly Efficient, Flexible and Applicable Network Security Solution. - Feng Cheng 002; Paul Ferring; Christoph Meinel; Gerhard Müllenheim; Jochen Bern (SNPD, 2003)