| 2024 |
J |
jnl |
Log. Methods Comput. Sci.
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
|
| 2023 |
J |
jnl |
ACM Trans. Comput. Log.
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
|
| 2023 |
— |
conf |
ESORICS Workshops (2)
Davy Preuveneers, Javier Martínez Llamas, Irfan Bulut, Enrique Argones-Rúa, Pieter Verfaillie, Vince Demortier, Dimitri Surinx, Wouter Joosen
|
| 2022 |
J |
jnl |
CoRR
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
|
| 2022 |
J |
jnl |
CoRR
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
|
| 2020 |
A |
conf |
ICDT
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
|
| 2020 |
A* |
conf |
KR
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
|
| 2019 |
J |
jnl |
Ann. Math. Artif. Intell.
Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht
|
| 2019 |
J |
jnl |
Inf. Process. Lett.
Dimitri Surinx, Jan Van den Bussche
|
| 2019 |
A |
conf |
ICDT
Gerald Berger, Martin Otto, Andreas Pieris, Dimitri Surinx, Jan Van den Bussche
|
| 2019 |
C |
conf |
MEDI
Dimitri Surinx, Jan Van den Bussche, Jonni Virtema
|
| 2018 |
— |
conf |
FoIKS
Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht
|
| 2018 |
J |
jnl |
CoRR
Dimitri Surinx, Jan Van den Bussche
|
| 2017 |
— |
— |
Dimitri Surinx
|
| 2017 |
A* |
conf |
LICS
Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht
|
| 2015 |
J |
jnl |
Log. J. IGPL
Dimitri Surinx, George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
|
| 2015 |
J |
jnl |
Inf. Sci.
George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
|
| 2014 |
J |
jnl |
CoRR
George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
|