Login / Signup
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)