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

Jochen Bern

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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
15EEJochen 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
13EEJochen Bern, Christoph Meinel, Harald Sack: The STACS Electronic Submission Service. ECDL 1998: 639-640
12EEJochen 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
9EEJochen 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)
8EEJochen 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
6EEJochen 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)

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]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)