by VAN HERTUM, PIETER, DASSEVILLE, INGMAR, JANSSENS, GERDA, DENECKER, MARC
Published in Theory and practice of logic programming (01.01.2017)

by Cramer, Marcos, Van Hertum, Pieter, Lapauw, Ruben, Dasseville, Ingmar, Denecker, Marc
Published in 2016 IEEE 29th Computer Security Foundations Symposium (CSF) (01.06.2016)

by YPMA ALEXANDER, VAN HERTUM PIETER, DOUNAEV DIMITRIY, GKOROU DIMITRA, LIJFFIJT JEFREY, KAREVAN ZAHRA, VAN SCHOUBROECK JOACHIM KINLEY
Year of Publication 16.08.2024

by Pieter, Van Hertum, Dasseville, Ingmar, Janssens, Gerda, Denecker, Marc
Published in Practical Aspects of Declarative Languages (2016)

by Pieter Van Hertum, Dasseville, Ingmar, Janssens, Gerda, Denecker, Marc
Published in arXiv.org (06.05.2016)

by Cramer, Marcos, Van Hertum, Pieter, Bogaerts, Bart, Denecker, Marc
Year of Publication 05.06.2023

by Cramer, Marcos, Baniasadi, Zohreh, Van Hertum, Pieter
Year of Publication 29.08.2019

by Cramer, Marcos, Pieter Van Hertum, Bogaerts, Bart, Denecker, Marc
Published in arXiv.org (05.06.2023)

by VAN HERTUM, Pieter, GKOROU, Dimitra, KAREVAN, Zahra, VAN SCHOUBROECK, Joachim Kinley, YPMA, Alexander
Year of Publication 15.08.2024

by GKOROU, Dimitra, VAN HERTUM, Pieter, LIJFFIJT, Jefrey, KAREVAN, Zahra, VAN SCHOUBROECK, Joachim Kinley, DOUNAEV, Dimitriy, YPMA, Alexander
Year of Publication 23.10.2024

by GKOROU, Dimitra, VAN HERTUM, Pieter, LIJFFIJT, Jefrey, VAN SCHOUBROECK, Joachim, KAREVAN, Zahra, DOUNAEV, Dimitriy, YPMA, Alexander
Year of Publication 22.06.2023

by Marien, Michael, Evens, Sven, Chizi, Barak, Verstraete, Hans, D'Haen, Jeroen, Maheshwari, Rahul, Van Hertum, Pieter, Fripon, Frank
Year of Publication 30.04.2024

by HUBAUX, Arnaud, GONZALEZ HUESCA, Juan Manuel, DOU, Meng, VAN HERTUM, Pieter, AARDEN, Frans, Bernard, KOULIERAKIS, Eleftherios, RAVICHANDRAN, Arvind, SMAL, Pavel
Year of Publication 27.03.2024

by HUBAUX, Arnaud, GONZALEZ HUESCA, Juan Manuel, DOU, Meng, VAN HERTUM, Pieter, KOULIERAKIS, Eleftherios, AARDEN, Frans, RAVICHANDRAN, Arvind, SMAL, Pavel
Year of Publication 22.02.2024

by Cramer, Marcos, Baniasadi, Zohreh, Pieter Van Hertum
Published in arXiv.org (29.08.2019)

by VAN HERTUM, Pieter, GKOROU, Dimitra, VAN SCHOUBROECK, Joachim, KAREVAN, Zahra, YPMA, Alexander
Year of Publication 12.01.2023

by VAN HERTUM, Pieter, GKOROU, Dimitra, KAREVAN, Zahra, VAN SCHOUBROECK, Joachim, Kinley, YPMA, Alexander
Year of Publication 11.01.2023

by GKOROU, Dimitra, VAN HERTUM, Pieter, LIJFFIJT, Jefrey, KAREVAN, Zahra, VAN SHOUBROECK, Joachim Kinley, DOUNAEV, Dimitriy, YPMA, Alexander
Year of Publication 14.06.2023

by CHIZI, Barak, MARIEN, Michael, VAN HERTUM, Pieter, FRIPON, Frank, EVENS, Sven, D'HAEN, Jeroen, VERSTRAETE, Hans, MAHESHWARI, Rahul
Year of Publication 16.09.2021

by CHIZI, Barak, VAN HERTUM, Pieter, FRIPON, Frank, EVENS, Sven, D'HAEN, Jeroen, VERSTRAETE, Hans, MARIËN, Michaël, MAHESHWARI, Rahul
Year of Publication 26.05.2021