Jochen Bern

Publication Activity (10 Years)

Years Active: 1993-2003
Publications (10 Years): 0

Publications

Feng Cheng, Paul Ferring, Christoph Meinel, Gerhard Müllenheim, Jochen Bern
The DualGate Lock-Keeper: A Highly Efficient, Flexible and Applicable Network Security Solution. SNPD (2003)
Jochen Bern, Christoph Meinel
One step further: extending electronic submission into the reviewing process. SIGDOC (1999)
Jochen Bern, Christoph Meinel
One Step Further: Integrating Electronic Submission and the Reviewing Process Universität Trier, Mathematik/Informatik, Forschungsbericht (1999)
Jochen Bern, Christoph Meinel, Harald Sack
The STACS Electronic Submission Service. ECDL (1998)
Jochen Bern, Christoph Meinel, Harald Sack
Electronic Colloquia: Idea and Practice. SIGDOC (1998)
Jochen Bern, Carsten Damm, Christoph Meinel
The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use. ECDL (1997)
Jochen Bern, Christoph Meinel
The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use Universität Trier, Mathematik/Informatik, Forschungsbericht (1997)
Jochen Bern, Christoph Meinel, Anna Slobodová
Global rebuilding of OBDD's avoiding memory requirement maxima. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15 (1) (1996)
Jochen Bern, Christoph Meinel, Anna Slobodová
Some heuristics for generating tree-like FBDD types. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15 (1) (1996)
Jochen Bern, Christoph Meinel, Anna Slobodová
Global rebuilding of OBDDs Avoiding Memory Requirement Maxima. CAV (1995)
Jochen Bern, Christoph Meinel, Anna Slobodová
Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima Universität Trier, Mathematik/Informatik, Forschungsbericht (1995)
Jochen Bern, Christoph Meinel, Anna Slobodová
Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits. DAC (1995)
Jochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová
Boolean Manipulation with Free BDD's. First Experimental Results. EDAC-ETC-EUROASIC (1994)
Jochen Bern, Christoph Meinel, Anna Slobodová
Some Heuristics for Generating Tree-like FBDD Types Universität Trier, Mathematik/Informatik, Forschungsbericht (1994)
Jochen Bern, Christoph Meinel, Anna Slobodová
Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits Universität Trier, Mathematik/Informatik, Forschungsbericht (1994)
Jochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová
Boolean Manipulation with Free BDD's - First Experimental Results Universität Trier, Mathematik/Informatik, Forschungsbericht (1993)