2003 |
16 | | 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: 152-159 |
1999 |
15 | EE | Jochen Bern,
Christoph Meinel:
One step further: extending electronic submission into the reviewing process.
SIGDOC 1999: 65-69 |
14 | | Jochen Bern,
Christoph Meinel:
One Step Further: Integrating Electronic Submission and the Reviewing Process
Universität Trier, Mathematik/Informatik, Forschungsbericht 99-16: (1999) |
1998 |
13 | EE | Jochen Bern,
Christoph Meinel,
Harald Sack:
The STACS Electronic Submission Service.
ECDL 1998: 639-640 |
12 | EE | Jochen Bern,
Christoph Meinel,
Harald Sack:
Electronic Colloquia: Idea and Practice.
SIGDOC 1998: 113-119 |
1997 |
11 | | Jochen Bern,
Carsten Damm,
Christoph Meinel:
The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use.
ECDL 1997: 405-421 |
10 | | Jochen Bern,
Christoph Meinel:
The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use
Universität Trier, Mathematik/Informatik, Forschungsbericht 97-16: (1997) |
1996 |
9 | EE | Jochen Bern,
Christoph Meinel,
Anna Slobodová:
Some heuristics for generating tree-like FBDD types.
IEEE Trans. on CAD of Integrated Circuits and Systems 15(1): 127-130 (1996) |
8 | EE | Jochen Bern,
Christoph Meinel,
Anna Slobodová:
Global rebuilding of OBDD's avoiding memory requirement maxima.
IEEE Trans. on CAD of Integrated Circuits and Systems 15(1): 131-134 (1996) |
1995 |
7 | | Jochen Bern,
Christoph Meinel,
Anna Slobodová:
Global rebuilding of OBDDs Avoiding Memory Requirement Maxima.
CAV 1995: 4-15 |
6 | EE | Jochen Bern,
Christoph Meinel,
Anna Slobodová:
Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits.
DAC 1995: 408-413 |
5 | | Jochen Bern,
Christoph Meinel,
Anna Slobodová:
Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima
Universität Trier, Mathematik/Informatik, Forschungsbericht 95-03: (1995) |
1994 |
4 | | Jochen Bern,
Jordan Gergov,
Christoph Meinel,
Anna Slobodová:
Boolean Manipulation with Free BDD's. First Experimental Results.
EDAC-ETC-EUROASIC 1994: 200-207 |
3 | | Jochen Bern,
Christoph Meinel,
Anna Slobodová:
Some Heuristics for Generating Tree-like FBDD Types
Universität Trier, Mathematik/Informatik, Forschungsbericht 94-03: (1994) |
2 | | Jochen Bern,
Christoph Meinel,
Anna Slobodová:
Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits
Universität Trier, Mathematik/Informatik, Forschungsbericht 94-16: (1994) |
1993 |
1 | | Jochen Bern,
Jordan Gergov,
Christoph Meinel,
Anna Slobodová:
Boolean Manipulation with Free BDD's - First Experimental Results
Universität Trier, Mathematik/Informatik, Forschungsbericht 93-20: (1993) |