Jochen Bern

According to our database1, Jochen Bern authored at least 16 papers between 1993 and 2003.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2003
The DualGate Lock-Keeper: A Highly Efficient, Flexible and Applicable Network Security Solution.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

1999
One Step Further: Integrating Electronic Submission and the Reviewing Process
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1999

One step further: extending electronic submission into the reviewing process.
Proceedings of the 17th annual international conference on Documentation, 1999

1998
Electronic Colloquia: Idea and Practice.
Proceedings of the Sixteenth Annual International Conference of Computer Documentation, 1998

The STACS Electronic Submission Service.
Proceedings of the Research and Advanced Technology for Digital Libraries, 1998

1997
The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1997

The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use.
Proceedings of the Research and Advanced Technology for Digital Libraries. First European Conference, 1997

1996
Global rebuilding of OBDD's avoiding memory requirement maxima.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1996

Some heuristics for generating tree-like FBDD types.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1996

1995
Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1995

Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits.
Proceedings of the 32st Conference on Design Automation, 1995

Global rebuilding of OBDDs Avoiding Memory Requirement Maxima.
Proceedings of the Computer Aided Verification, 1995

1994
Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1994

Some Heuristics for Generating Tree-like FBDD Types
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1994

Boolean Manipulation with Free BDD's. First Experimental Results.
Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

1993
Boolean Manipulation with Free BDD's - First Experimental Results
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1993


  Loading...