( en | de | ru )

 

Disambiguierung von "Bern, Jochen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Boolean Manipulation with Free BDD's - First Experimental Results

, , , und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Erwin Bern

Arno Bern

Bern Ebel

Bern-Dietrich Buller

Bern-Ludwig Carrière

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits., , und . DAC, Seite 408-413. ACM Press, (1995)Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits, , und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1994)Some Heuristics for Generating Tree-like FBDD Types, , und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1994)Global rebuilding of OBDD's avoiding memory requirement maxima., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 15 (1): 131-134 (1996)One step further: extending electronic submission into the reviewing process., und . SIGDOC, Seite 65-69. ACM, (1999)Global rebuilding of OBDDs Avoiding Memory Requirement Maxima., , und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 4-15. Springer, (1995)The DualGate Lock-Keeper: A Highly Efficient, Flexible and Applicable Network Security Solution., , , , und . SNPD, Seite 152-159. ACIS, (2003)The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use., , und . ECDL, Volume 1324 von Lecture Notes in Computer Science, Seite 405-421. Springer, (1997)Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima, , und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1995)The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use, und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1997)