Jörn Ossowski

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

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

2006

1 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		Jörn Ossowski, Christel Baier: A uniform framework for weighted decision diagrams and its implementation. STTT 10(5): 425-441 (2008)
	2006
1		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

1 Christel Baier [1] [2]