Jochen Bern

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