Symbolic Reasoning with Weighted and Normalized Decision Diagrams. - Jörn Ossowski; Christel Baier (Calculemus, 2005)

A uniform framework for weighted decision diagrams and its implementation. - Jörn Ossowski; Christel Baier (Int. J. Softw. Tools Technol. Transf., 2008)

JINC: a multi-threaded library for higher-order weighted decision diagram manipulation. - Jörn Ossowski (2009)

Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. - Kai Lampka; Markus Siegle; Jörn Ossowski; Christel Baier (Formal Methods Syst. Des., 2010)

Towards Usable Client-Centric Privacy Advisory for Mobile Collaborative Applications Based on BDDs. - Mohamed Bourimi; Jörn Ossowski; Dhiah el Diehn I. Abou-Tair; Stefan Berlik; Dirar Abu-Saymeh (NTMS, 2011)