Detlef Sieling Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: Poker per E-Mail. Taschenbuch der Algorithmen 2008: 181-192
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: Minimization of decision trees is hard to approximate. J. Comput. Syst. Sci. 74(3): 394-403 (2008)
2005
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Sauerhoff, Detlef Sieling: Quantum branching programs and space-bounded nonuniform quantum complexity. Theor. Comput. Sci. 334(1-3): 177-225 (2005)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetr Savický, Detlef Sieling: A hierarchy result for read-once branching programs with restricted parity nondeterminism. Theor. Comput. Sci. 340(3): 594-605 (2005)
2003
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: Minimization of Decision Trees Is Hard to Approximate. IEEE Conference on Computational Complexity 2003: 84-92
2002
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: The complexity of minimizing and learning OBDDs and FBDDs. Discrete Applied Mathematics 122(1-3): 263-282 (2002)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: Minimization of Decision Trees is Hard to Approximate Electronic Colloquium on Computational Complexity (ECCC)(054): (2002)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: The Nonapproximability of OBDD Minimization. Inf. Comput. 172(2): 103-138 (2002)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: Lower Bounds for Linearly Transformed OBDDs and FBDDs. J. Comput. Syst. Sci. 64(2): 419-438 (2002)
2001
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetr Savický, Detlef Sieling: A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism Electronic Colloquium on Computational Complexity (ECCC) 8(17): (2001)
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling, Ingo Wegener: A Comparison of Free BDDs and Transformed BDDs. Formal Methods in System Design 19(3): 223-236 (2001)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Detlef Sieling: Binary decision diagrams in theory and practice. STTT 3(2): 112-136 (2001)
2000
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: Restricted Branching Programs with Parity-Type Augmentations-Lower Bounds and Algorithms. ICALP Satellite Workshops 2000: 259-262
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetr Savický, Detlef Sieling: A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism. MFCS 2000: 650-659
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: A separation of syntactic and nonsyntactic (1, +k)-branching programs. Computational Complexity 9(3-4): 247-263 (2000)
1999
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: Lower Bounds for Linear Transformed OBDDs and FBDDs (Extende Abstract). FSTTCS 1999: 356-368
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: The Complexity of Minimizing FBDDs. MFCS 1999: 251-261
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: The Complexity of Minimizing FBDDs Electronic Colloquium on Computational Complexity (ECCC) 6(1): (1999)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: Lower Bounds for Linear Transformed OBDDs and FBDDs Electronic Colloquium on Computational Complexity (ECCC) 6(19): (1999)
1998
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: On the Existence of Polynomial Time Approximation Schemes for OBDD Minimization (Extended Abstract). STACS 1998: 205-215
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: On the Existence of Polynomial Time Approximation Schemes for OBDD Minimization Electronic Colloquium on Computational Complexity (ECCC) 5(1): (1998)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: A Separation of Syntactic and Nonsyntactic (1,+k)-Branching Programs Electronic Colloquium on Computational Complexity (ECCC) 5(45): (1998)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Martin Sauerhoff, Detlef Sieling: The complexity of the inclusion operation on OFDD's. IEEE Trans. on CAD of Integrated Circuits and Systems 17(5): 457-459 (1998)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Löbbing, Detlef Sieling, Ingo Wegener: Parity OBDDs Cannot be Handled Efficiently Enough. Inf. Process. Lett. 67(4): 163-168 (1998)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: Variable orderings and the size of OBDDs for random partially symmetric Boolean functions. Random Struct. Algorithms 13(1): 49-70 (1998)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBeate Bollig, Martin Sauerhoff, Detlef Sieling, Ingo Wegener: Hierarchy Theorems for kOBDDs and kIBDDs. Theor. Comput. Sci. 205(1-2): 45-60 (1998)
1997
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: Derandomization. Lectures on Proof Verification and Approximation Algorithms 1997: 41-62
1996
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: New Lower Bounds and Hierarchy Results for Restricted Branching Programs. J. Comput. Syst. Sci. 53(1): 79-87 (1996)
1995
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling: New Lower Bounds and Hierarchy Results for Restricted Branching Programs Electronic Colloquium on Computational Complexity (ECCC) 2(2): (1995)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling, Ingo Wegener: Graph Driven BDDs - A New Data Structure for Boolean Functions. Theor. Comput. Sci. 141(1&2): 283-310 (1995)
1994
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling, Ingo Wegener: New Lower Bounds and Hierarchy Results for Restricted Branching Programs. WG 1994: 359-370
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBeate Bollig, Martin Sauerhoff, Detlef Sieling, Ingo Wegener: On the Power of Different Types of Restricted Branching Programs Electronic Colloquium on Computational Complexity (ECCC) 1(26): (1994)
1993
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling, Ingo Wegener: Reduction of OBDDs in Linear Time. Inf. Process. Lett. 48(3): 139-144 (1993)
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Sieling, Ingo Wegener: NC-Algorithms for Operations on Binary Decision Diagrams. Parallel Processing Letters 3: 3-12 (1993)

Coauthor Index

1Beate Bollig [3] [9]
2Rolf Drechsler [12] [23]
3Martin Löbbing [11]
4Martin Sauerhoff [3] [9] [12] [32]
5Petr Savický [21] [25] [31]
6Ingo Wegener [1] [2] [3] [4] [5] [9] [11] [24]

Copyright © Mon Nov 9 16:52:13 2009 by Michael Ley (ley@uni-trier.de)