TY - CHAP A1 - Brosenne, H. A1 - Damm, C. A1 - Homeister, Matthias T1 - On Approximation Properties of Parity-OBDDs T2 - Proceedings of RM2005 Y1 - 2005 ER - TY - CHAP A1 - Löper, Stefanie A1 - Schmidt, Gabriele ED - Liggesmeyer, Peter T1 - Softwareprozessmetriken und agile Methoden – eine industrielle Fallstudie T2 - Software Engineering 2005 : Fachtagung des GI-Fachbereichs Softwaretechnik, 8. - 11.3.2005 in Essen Y1 - 2005 SN - 978-3-88579-393-9 SP - 193 EP - 204 PB - Ges. für Informatik CY - Bonn ER - TY - CHAP A1 - Brosenne, Henrik A1 - Homeister, Matthias A1 - Waack, Stephan ED - Rovan, Branislav T1 - Lower Bounds for General Graph–Driven Read–Once Parity Branching Programs T2 - Mathematical foundations of computer science 2003 : 28th international symposium ; proceedings / MFCS 2003, Bratislava, Slovakia, August 25 - 29, 2003 T3 - Lecture notes in computer science - 2747 Y1 - 2003 SN - 978-3-540-40671-6 (Print) SN - 978-3-540-45138-9 (Online) U6 - https://doi.org/10.1007/978-3-540-45138-9_23 SP - 290 EP - 299 PB - Springer CY - Berlin ; Heidelberg ER - TY - CHAP A1 - Brosenne, Henrik A1 - Homeister, Matthias A1 - Waack, Stephan ED - Sgall, Jiří T1 - Graph-Driven Free Parity BDDs: Algorithms and Lower Bounds T2 - Mathematical foundations of computer science 2001 : 26th international symposium ; proceedings / MFCS 2001, Mariánské Lázně, Czech Republic, August 27 - 31, 2001 T3 - Lecture notes in computer science - 2136 Y1 - 2001 SN - 978-3-540-44683-5 (Online) U6 - https://doi.org/10.1007/3-540-44683-4_19 SP - 212 EP - 223 PB - Springer CY - Berlin [u.a.] ER -