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

Jordan Gergov

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

1999
17EEJordan 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)

Coauthor Index

1Jochen Bern [5] [13]
2Jürgen Dedorath [14]
3Torben Hagerup [14]
4Christoph Meinel [1] [2] [3] [4] [5] [6] [7] [8] [10] [11] [12] [13] [15]
5Anna Slobodová [5] [13]

Colors in the list of coauthors

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