| 2008 |
|---|
| 38 | EE | Beate Bollig,
Niko Range,
Ingo Wegener:
Exact OBDD Bounds for Some Fundamental Functions.
SOFSEM 2008: 174-185 |
| 37 | EE | Beate Bollig:
On the OBDD Complexity of the Most Significant Bit of Integer Multiplication.
TAMC 2008: 306-317 |
| 36 | EE | Beate Bollig:
The optimal read-once branching program complexity for the direct storage access function.
Inf. Process. Lett. 106(4): 171-174 (2008) |
| 2006 |
|---|
| 35 | EE | Beate Bollig:
Testing Membership in Formal Languages Implicitly Represented by Boolean Functions.
J. UCS 12(6): 710-724 (2006) |
| 34 | EE | Beate Bollig,
Stephan Waack,
Philipp Woelfel:
Parity graph-driven read-once branching programs and an exponential lower bound for integer multiplication.
Theor. Comput. Sci. 362(1-3): 86-99 (2006) |
| 2005 |
|---|
| 33 | EE | Beate Bollig:
Property Testing and the Branching Program Size of Boolean Functions.
FCT 2005: 258-269 |
| 32 | EE | Beate Bollig:
A large lower bound on the query complexity of a simple boolean function.
Inf. Process. Lett. 95(4): 423-428 (2005) |
| 31 | EE | Beate Bollig,
Philipp Woelfel:
A Lower Bound Technique for Nondeterministic Graph-Driven Read-Once-Branching Programs and Its Applications.
Theory Comput. Syst. 38(6): 671-685 (2005) |
| 2003 |
|---|
| 30 | EE | Beate Bollig:
Complexity Theoretical Results on Nondeterministic Graph-Driven Read-Once Branching Programs.
STACS 2003: 295-306 |
| 29 | EE | Beate Bollig:
Complexity Theoretical Results on Nondeterministic Graph-driven Read-Once Branching Programs.
ITA 37(1): 51-66 (2003) |
| 28 | EE | Beate Bollig:
A very simple function that requires exponential size nondeterministic graph-driven read-once branching programs.
Inf. Process. Lett. 86(3): 143-148 (2003) |
| 27 | EE | Beate Bollig,
Ingo Wegener:
Functions that have read-once branching programs of quadratic size are not necessarily testable.
Inf. Process. Lett. 87(1): 25-29 (2003) |
| 2002 |
|---|
| 26 | | Beate Bollig,
Stephan Waack,
Philipp Woelfel:
Parity Graph-driven Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication.
IFIP TCS 2002: 83-94 |
| 25 | EE | Beate Bollig,
Philipp Woelfel:
A Lower Bound Technique for Nondeterministic Graph-Driven Read-Once-Branching Programs and Its Applications.
MFCS 2002: 131-142 |
| 24 | EE | Beate Bollig:
A very simple function that requires exponential size nondeterministic graph-driven read-once branching programs
Electronic Colloquium on Computational Complexity (ECCC)(033): (2002) |
| 23 | EE | Beate Bollig,
Martin Sauerhoff,
Ingo Wegener:
On the Nonapproximability of Boolean Functions by OBDDs and Read-k-Times Branching Programs.
Inf. Comput. 178(1): 263-278 (2002) |
| 2001 |
|---|
| 22 | EE | Beate Bollig,
Martin Sauerhoff,
Ingo Wegener:
On the Non-Approximability of Boolean Functions by OBDDs and Read-K-Times Branching Programs.
IEEE Conference on Computational Complexity 2001: 172-183 |
| 21 | EE | Beate Bollig,
Philipp Woelfel:
A read-once branching program lower bound of Omega(2n/4) for integer multiplication using universal.
STOC 2001: 419-424 |
| 20 | EE | Beate Bollig,
Philipp Woelfel,
Stephan Waack:
Parity Graph-driven Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication
Electronic Colloquium on Computational Complexity (ECCC) 8(073): (2001) |
| 19 | EE | Beate Bollig:
Restricted Nondeterministic Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication.
ITA 35(2): 149-162 (2001) |
| 2000 |
|---|
| 18 | EE | Beate Bollig,
Ingo Wegener:
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems.
ICALP 2000: 187-198 |
| 17 | EE | Beate Bollig:
Restricted Nondeterministic Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication.
MFCS 2000: 222-231 |
| 16 | EE | Beate Bollig:
Restricted Nondeterministic Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication
Electronic Colloquium on Computational Complexity (ECCC) 7(48): (2000) |
| 15 | EE | Beate Bollig,
Ingo Wegener:
Approximability and Nonapproximability by Binary Decision Diagrams
Electronic Colloquium on Computational Complexity (ECCC) 7(52): (2000) |
| 14 | | Beate Bollig,
Ingo Wegener:
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems.
J. Comput. Syst. Sci. 61(3): 558-579 (2000) |
| 1999 |
|---|
| 13 | EE | Beate Bollig,
Ingo Wegener:
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems
Electronic Colloquium on Computational Complexity (ECCC)(48): (1999) |
| 12 | | Beate Bollig,
Martin Löbbing,
Martin Sauerhoff,
Ingo Wegener:
On the complexity of the hidden weighted bit function for various BDD models.
ITA 33(2): 103-116 (1999) |
| 11 | EE | Beate Bollig,
Ingo Wegener:
Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams.
Theory Comput. Syst. 32(4): 487-503 (1999) |
| 1998 |
|---|
| 10 | | Beate Bollig,
Ingo Wegener:
Completeness and Non-Completeness Results with Respect to Read-Once Projections.
Inf. Comput. 143(1): 24-33 (1998) |
| 9 | EE | Beate Bollig,
Ingo Wegener:
A Very Simple Function that Requires Exponential Size Read-Once Branching Programs.
Inf. Process. Lett. 66(2): 53-57 (1998) |
| 8 | EE | Beate Bollig,
Martin Sauerhoff,
Detlef Sieling,
Ingo Wegener:
Hierarchy Theorems for kOBDDs and kIBDDs.
Theor. Comput. Sci. 205(1-2): 45-60 (1998) |
| 1997 |
|---|
| 7 | | Beate Bollig,
Ingo Wegener:
Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams.
MFCS 1997: 159-168 |
| 1996 |
|---|
| 6 | | Beate Bollig,
Ingo Wegener:
Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams.
STACS 1996: 491-502 |
| 5 | | Beate Bollig,
Ingo Wegener:
Improving the Variable Ordering of OBDDs Is NP-Complete.
IEEE Trans. Computers 45(9): 993-1002 (1996) |
| 4 | EE | Beate Bollig,
Martin Löbbing,
Ingo Wegener:
On the Effect of Local Changes in the Variable Ordering of Ordered Decision Diagrams.
Inf. Process. Lett. 59(5): 233-239 (1996) |
| 1995 |
|---|
| 3 | EE | Beate Bollig,
Ingo Wegener:
Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams
Electronic Colloquium on Computational Complexity (ECCC) 2(42): (1995) |
| 2 | | Beate Bollig,
Martin Hühne,
Stefan Pölt,
Petr Savický:
On the Average Case Circuit Delay of Disjunction.
Parallel Processing Letters 5: 275-280 (1995) |
| 1994 |
|---|
| 1 | EE | Beate 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) |
