作　　者：Bas Ketsman ;Christoph Koch

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;155:19:1-19:18.doi:10.4230/LIPIcs.ICDT.2020.19

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：255823532

作　　者：Bas Ketsman ;Aws Albarghouthi ;Paraschos Koutris

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;98:17:1-17:22.doi:10.4230/LIPIcs.ICDT.2018.17

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：220015231

作　　者：Bas Ketsman ;Frank Neven ;Brecht Vandevoort

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;98:18:1-18:16.doi:10.4230/LIPIcs.ICDT.2018.18

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：220015232

作　　者：Bas Ketsman ;Frank Neven

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;31:291-307.doi:10.4230/LIPIcs.ICDT.2015.291

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846724

作　　者：Tom J. Ameloot ;Bas Ketsman ;Frank Neven 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;31:308-323.doi:10.4230/LIPIcs.ICDT.2015.308

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846725

作　　者：Gaetano Geck ;Bas Ketsman ;Frank Neven 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;48:9:1-9:17.doi:10.4230/LIPIcs.ICDT.2016.9

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186847296

作　　者：Bas Ketsman ;Dan Suciu ;Yufei Tao

出　　处：Logical Methods in Computer Science. 2022 ;18(2):1-22.doi:10.46298/lmcs-18(2:6)2022

出 版 社：Technical University of Braunschweig

文 章 ID：1038046977