1999 |
17 | EE | Jordan Gergov:
Algorithms for Compile-Time Memory Optimization.
SODA 1999: 907-908 |
1996 |
16 | | Jordan Gergov:
Approximation Algorithms for Dynamic Storage Allocations.
ESA 1996: 52-61 |
15 | | Jordan Gergov,
Christoph Meinel:
Mod-2-OBDDs - A Data Structure that Generalizes EXOR-Sum-of-Products and Ordered Binary Decision Diagrams.
Formal Methods in System Design 8(3): 273-282 (1996) |
1995 |
14 | | Jürgen Dedorath,
Jordan Gergov,
Torben Hagerup:
More Efficient Parallel Flow Algorithms.
ISAAC 1995: 234-243 |
1994 |
13 | | Jochen Bern,
Jordan Gergov,
Christoph Meinel,
Anna Slobodová:
Boolean Manipulation with Free BDD's. First Experimental Results.
EDAC-ETC-EUROASIC 1994: 200-207 |
12 | | Jordan Gergov,
Christoph Meinel:
Boolean Manipulation with Free BDDs: An Application in Combinational Logic Verification.
IFIP Congress (1) 1994: 309-314 |
11 | | Jordan Gergov,
Christoph Meinel:
Efficient Boolean Manipulation With OBDD's can be Extended to FBDD's.
IEEE Trans. Computers 43(10): 1197-1209 (1994) |
10 | | Jordan Gergov,
Christoph Meinel:
On the Complexity of Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs.
Inf. Process. Lett. 50(6): 317-322 (1994) |
9 | | Jordan Gergov:
Time-Space Tradeoffs for Integer Multiplication on Various Types of Input Oblivious Sequential Machines.
Inf. Process. Lett. 51(5): 265-269 (1994) |
1993 |
8 | | Jordan Gergov,
Christoph Meinel:
Frontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs.
STACS 1993: 576-585 |
7 | | Jordan Gergov,
Christoph Meinel:
Combinational Logic Verification with FBDDs
Universität Trier, Mathematik/Informatik, Forschungsbericht 93-08: (1993) |
6 | | Jordan Gergov,
Christoph Meinel:
Efficient Boolean Manipulation with OBDD's can be Extended to FBDD's
Universität Trier, Mathematik/Informatik, Forschungsbericht 93-12: (1993) |
5 | | 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) |
4 | | Jordan Gergov,
Christoph Meinel:
Mod-2-OBDD's: A Generalization of OBDD's and EXOR-Sum-of-Products
Universität Trier, Mathematik/Informatik, Forschungsbericht 93-21: (1993) |
1992 |
3 | | Jordan Gergov,
Christoph Meinel:
Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs.
WG 1992: 310-320 |
2 | | Jordan Gergov,
Christoph Meinel:
Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs
Universität Trier, Mathematik/Informatik, Forschungsbericht 92-07: (1992) |
1 | | 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 92-10: (1992) |