Author of the publication

Adapted Variable Reordering for Parity-OBDDs

, and . Proc. of 6 th Int. Symposium on Representations and Methodology of Future Computing Technologies(Reed-Muller 2003), page pp. 135-144. (2003)

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

Collaborative Web-Publishing with a Semantik Wiki, and . in Proc. of SABRE Conference on Social Semantic Web (CSSW 2007),, volume P-113 of GI-Edition - Lecture Notes in Informatics (LNI), (2007)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)Automated Annotations of Synchronized Multimedia Presentations, and . In Proceedings of the ESWC 2006 Workshop on Mastering the Gap: From Information Extraction to Semantic Representation, CEUR Workshop Proceedings, (Jun 12, 2006)hamzapc, , , , , and . (2000)location=Osnabrück, date=2007.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)A Reactive Architecture for Ambient E-Learning, , , , , and . in Proc. of Towards Ambient Intelligence: Methods for Cooperating Ensembles in Ubiquitous Environments(AIM-CU 2007), (2007)location=Osnabrück, date=2007.