BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bern:Jochen

Contributed to:

ECDL 19981998
ECDL 19971997
CAV 19951995
DAC 19951995

Wrote 5 papers:

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.
Boolean Manipulation with Free BDD’s. First Experimental Results (JB, JG, CM, AS), pp. 200–207.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.