Jörn Ossowski

List of publications from the DBLP Bibliography Server - FAQ

2008

2 EE Jörn Ossowski, Christel Baier: A uniform framework for weighted decision diagrams and its implementation. STTT 10(5): 425-441 (2008)

2006

1 EE Jörn Ossowski, Christel Baier: Symbolic Reasoning with Weighted and Normalized Decision Diagrams. Electr. Notes Theor. Comput. Sci. 151(1): 39-56 (2006)

2008
2	EE	Jörn Ossowski, Christel Baier: A uniform framework for weighted decision diagrams and its implementation. STTT 10(5): 425-441 (2008)
2006
1	EE	Jörn Ossowski, Christel Baier: Symbolic Reasoning with Weighted and Normalized Decision Diagrams. Electr. Notes Theor. Comput. Sci. 151(1): 39-56 (2006)

Coauthor Index