Author:Tobias Nießen

Publications
Reasoning About Hyperproperties with Automated Theorem Provers Tobias Nießen, Ana Oliveira da Costa, Johannes Schoisswohl, Thomas A. Henzinger and Laura Kovács In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
SAT Modulo Well-Founded Semantics: Extended Abstract Thomas Eiter, Tobias Nießen and Davide Soldà EasyChair Preprint 16031
Reasoning About Hyperproperties with Automated Theorem Provers (extended version) Tobias Nießen, Ana Oliveira da Costa, Johannes Schoisswohl, Thomas A. Henzinger and Laura Kovács EasyChair Preprint 16030