Jörn Ossowski

According to our database, Jörn Ossowski authored at least 5 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

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

Proceedings of the 4th IFIP International Conference on New Technologies, 2011

2010

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

2009

JINC: a multi-threaded library for higher-order weighted decision diagram manipulation.

Jörn Ossowski

PhD thesis, 2009

2008

A uniform framework for weighted decision diagrams and its implementation.

Jörn Ossowski, Christel Baier

Int. J. Softw. Tools Technol. Transf., 2008

2005

Symbolic Reasoning with Weighted and Normalized Decision Diagrams.

Jörn Ossowski, Christel Baier

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005