Jordan Gergov

Publication Activity (10 Years)

Years Active: 1992-1999
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Jordan Gergov
Algorithms for Compile-Time Memory Optimization. SODA (1999)
Jordan Gergov
Approximation Algorithms for Dynamic Storage Allocations. ESA (1996)
Jordan Gergov, Christoph Meinel
Mod-2-OBDDs - A Data Structure that Generalizes EXOR-Sum-of-Products and Ordered Binary Decision Diagrams. Formal Methods Syst. Des. 8 (3) (1996)
Jürgen Dedorath, Jordan Gergov, Torben Hagerup
More Efficient Parallel Flow Algorithms. ISAAC (1995)
Jochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová
Boolean Manipulation with Free BDD's. First Experimental Results. EDAC-ETC-EUROASIC (1994)
Jordan Gergov, Christoph Meinel
Boolean Manipulation with Free BDDs: An Application in Combinational Logic Verification. IFIP Congress (1) (1994)
Jordan Gergov, Christoph Meinel
On the Complexity of Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs. Inf. Process. Lett. 50 (6) (1994)
Jordan Gergov
Time-Space Tradeoffs for Integer Multiplication on Various Types of Input Oblivious Sequential Machines. Inf. Process. Lett. 51 (5) (1994)
Jordan Gergov, Christoph Meinel
Efficient Boolean Manipulation With OBDD's can be Extended to FBDD's. IEEE Trans. Computers 43 (10) (1994)
Jordan Gergov, Christoph Meinel
Combinational Logic Verification with FBDDs Universität Trier, Mathematik/Informatik, Forschungsbericht (1993)
Jordan Gergov, Christoph Meinel
Efficient Boolean Manipulation with OBDD's can be Extended to FBDD's Universität Trier, Mathematik/Informatik, Forschungsbericht (1993)
Jochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová
Boolean Manipulation with Free BDD's - First Experimental Results Universität Trier, Mathematik/Informatik, Forschungsbericht (1993)
Jordan Gergov, Christoph Meinel
Frontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs. STACS (1993)
Jordan Gergov, Christoph Meinel
Mod-2-OBDD's: A Generalization of OBDD's and EXOR-Sum-of-Products Universität Trier, Mathematik/Informatik, Forschungsbericht (1993)
Jordan Gergov, Christoph Meinel
Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs Universität Trier, Mathematik/Informatik, Forschungsbericht (1992)
Jordan Gergov, Christoph Meinel
Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs. WG (1992)
Jordan Gergov, Christoph Meinel
Efficient Analysis and Manipulation of OBDDs can be Extended to Read-once-only Branching Programs Universität Trier, Mathematik/Informatik, Forschungsbericht (1992)

Jordan Gergov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Jordan Gergov