Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Save this search Download search results Subscribe to news feed Your filters: cql: parent exact "Leibniz International Proceedings in Informatics (LIPIcs)" Add to list Conference Paper open access Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper) Carmen Torres Lopez, Robbert Gurdeep Singh (UGent) , Stefan Marr, Elisa Gonzalez Boix and Christophe Scholliers (UGent) (2019) 33rd European Conference on Object-Oriented Programming (ECOOP 2019). In Leibniz International Proceedings in Informatics (LIPIcs) 134. Add to list Conference Paper C1 A decidable intuitionistic temporal logic Joseph Boudou, Martín Diéguez and David Fernández-Duque (UGent) (2017) Leibniz International Proceedings in Informatics (LIPIcs). 82.