Author of the publication

Case Study: Manipulating Mod 2 OBDDs by Means of Signatures

, and . Proc. of the 3 rd Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design(Reed-Muller ' 97), (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Retrieval Optimization of Pertinent Answers for NL Questions with the E-Librarian Service,in a more explicit version the paper also appears at Service Matchmaking and Resource Retrieval(, , and . in Proc. Workshop on Service Matchmaking and Resource Retrieval (SMR 2007) at the 6 th International Semantic Web Conference (ISWC + ASWC 2007), (November 2007)A Simple Heuristic for Mod 2-OBDD Minimization, and . of IEEE / ACM Int. Workshop of Logic and Synthesis (IWLS 2001), page pp. 304-309. (2001)Functional Extensions of OBDDs in Practice, and . 4 th Workshop on Tools for System Design and Verification (FM-Tools), page pp. 195-196. (2000)Overcoming Ordering Restrictions for Synthesizing Binary Decision Diagrams, , and . Proc of 17 th NORCHIP ' 99 Conference, page pp. 52-60. (1999)Mod 2 OBDDs-a BDD Structure for Probabilistic Verification, and . Proc. of the 1998 IEEE / ACM Int. Workshop on Logic Synthesis(IWLS 98), page pp. 19--24. (1998)Case Study: Manipulating Mod 2 OBDDs by Means of Signatures, and . Proc. of the 3 rd Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design(Reed-Muller ' 97), (1997)Research on the Lock-Keeper Technology: Architectures, Advancements and Applications,, and . International Journal of Computer and Information Science (IJCIS), 5 (3): 236--245 (2004)Representation of Multiple-Valued Functions with Mod-p-Decsion Diagrams, , and . Proc. of IEEE / ACM Int. Workshop of Logic Synthesis (IWLS 2000), page pp. 341-348. (2000)Algorithmic Considerations for Parity-OBDD Reordering, and . Proc. of 4 th Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design(Reed-Muller ' 99), page pp. 179-184. (1999)Metadatenerfassung -- Innovationsforum CineArchiv digital, Digitalisieren, Erschließen und Nutzen audiovisueller Daten, , , and . Hasso-Plattner-Institut für IT-System Engineering, Universität Potsdam, (2008)