Matthias Homeister

Publication Activity (10 Years)

Years Active: 2001-2007
Publications (10 Years): 0

University of Göttingen (PHD)

Education History

University of Göttingen

PHD

Publications

Henrik Brosenne, Carsten Damm, Matthias Homeister, Stephan Waack
On approximation by XOR-OBDDs. Inf. Process. Lett. 102 (1) (2007)
Henrik Brosenne, Matthias Homeister, Stephan Waack
Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance. Inf. Process. Lett. 98 (1) (2006)
Matthias Homeister
Lower bounds for restricted read-once parity branching programs. Theor. Comput. Sci. 359 (1-3) (2006)
Henrik Brosenne, Matthias Homeister, Stephan Waack
Lower Bounds for General Graph-Driven Read-Once Parity Branching Programs. MFCS (2003)
Matthias Homeister
Lower Bounds for the Sum of Graph--driven Read--Once Parity Branching Programs Electron. Colloquium Comput. Complex. (068) (2003)
Henrik Brosenne, Matthias Homeister, Stephan Waack
Characterizing the Complexity of Boolean Functions represented by Well-Structured Graph-Driven Parity-FBDDs. RAIRO Theor. Informatics Appl. 36 (3) (2002)
Henrik Brosenne, Matthias Homeister, Stephan Waack
Graph-Driven Free Parity BDDs: Algorithms and Lower Bounds. MFCS (2001)