Travelled to:1 × Belgium
1 × France
1 × USA
Collaborated with:C.Meinel A.Slobodová H.Sack C.Damm J.Gergov
Talks about:electron (2) manipul (2) boolean (2) obdd (2) experiment (1) colloquium (1) submiss (1) rebuild (1) librari (1) current (1)
Person: Jochen Bern
DBLP: Bern:Jochen
Contributed to:
19981997
1995
1995
1994Wrote 5 papers:
- ECDL-1998-BernMS
- The STACS Electronic Submission Service (JB, CM, HS), pp. 639–640.
- ECDL-1997-BernDM #complexity #library
- The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use (JB, CD, CM), pp. 405–421.
- CAV-1995-BernMS #memory management
- Global rebuilding of OBDDs Avoiding Memory Requirement Maxima (JB, CM, AS), pp. 4–15.
- DAC-1995-BernMS #performance
- Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits (JB, CM, AS), pp. 408–413.
- EDAC-1994-BernGMS
- Boolean Manipulation with Free BDD’s. First Experimental Results (JB, JG, CM, AS), pp. 200–207.