dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jochen Bern Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2003
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel: One step further: extending electronic submission into the reviewing process. SIGDOC 1999: 65-69
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel: One Step Further: Integrating Electronic Submission and the Reviewing Process Universität Trier, Mathematik/Informatik, Forschungsbericht 99-16: (1999)
1998
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Harald Sack: The STACS Electronic Submission Service. ECDL 1998: 639-640
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Harald Sack: Electronic Colloquia: Idea and Practice. SIGDOC 1998: 113-119
1997
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Carsten Damm, Christoph Meinel: The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use. ECDL 1997: 405-421
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen 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)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Global rebuilding of OBDDs Avoiding Memory Requirement Maxima. CAV 1995: 4-15
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits. DAC 1995: 408-413
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima Universität Trier, Mathematik/Informatik, Forschungsbericht 95-03: (1995)
1994
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová: Boolean Manipulation with Free BDD's. First Experimental Results. EDAC-ETC-EUROASIC 1994: 200-207
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Some Heuristics for Generating Tree-like FBDD Types Universität Trier, Mathematik/Informatik, Forschungsbericht 94-03: (1994)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen 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)

Coauthor Index

1Feng Cheng [16]
2Carsten Damm [11]
3Paul Ferring [16]
4Jordan Gergov [1] [4]
5Christoph Meinel [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
6Gerhard Müllenheim [16]
7Harald Sack [12] [13]
8Anna Slobodová [1] [2] [3] [4] [5] [6] [7] [8] [9]

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page