| Fixing non-determinism A Vandenbroucke, T Schrijvers, F Piessens Proceedings of the 27th Symposium on the Implementation and Application of …, 2015 | 18 | 2015 |
| Tabling as a library with delimited control B Desouter, M Van Dooren, T Schrijvers Theory and Practice of Logic Programming 15 (4-5), 419-433, 2015 | 13 | 2015 |
| Tabling with sound answer subsumption A Vandenbroucke, M Piróg, B Desouter, T Schrijvers Theory and Practice of Logic Programming 16 (5-6), 933-949, 2016 | 9 | 2016 |
| PλωNK: functional probabilistic NetKAT. A Vandenbroucke, T Schrijvers Proc. ACM Program. Lang. 4 (POPL), 39:1-39:27, 2020 | 6* | 2020 |
| From PRISM to ProbLog and back again A Vandenbroucke, T Schrijvers Proceedings of the Workshop on Probabilistic Logic Programming 2017 1916 (4 …, 2017 | 1 | 2017 |
| The table monad in Haskell A Vandenbroucke, T Schrijvers, F Piessens IFL 2015, 157-198, 2015 | 1 | 2015 |
| Forward-or Reverse-Mode Automatic Differentiation: What's the Difference? B Berg, T Schrijvers, J McKinna, A Vandenbroucke arXiv preprint arXiv:2212.11088, 2022 | | 2022 |
| Forward-or Reverse-Mode Automatic Differentiation: What's the Difference? B van den Berg, T Schrijvers, J McKinna, A Vandenbroucke arXiv e-prints, arXiv: 2212.11088, 2022 | | 2022 |
| Disjunctive Delimited Control A Vandenbroucke, T Schrijvers Logic-Based Program Synthesis and Transformation: 31st International …, 2022 | | 2022 |
| Advanced Semantics for Non-deterministic and Probabilistic Programming A Vandenbroucke, T Schrijvers | | 2020 |
| Towards Lambda Abstractions for Probabilistic NetKAT Alexander Vandenbroucke (KU Leuven)*, Tom Schrijvers (KU Leuven) A Vandenbroucke, T Schrijvers PROBPROG 2018, Date: 2018/10/05-2018/10/07, Location: MIT, Boston, MA …, 2018 | | 2018 |
| ProbLog and applicative probabilistic programming A Vandenbroucke, T Schrijvers Workshop on Probabilistic Programming Semantics (PPS), Date: 2017/01/17-2017 …, 2017 | | 2017 |
| Tabling as a library with delimited control B Desouter, M Van Dooren, T Schrijvers, A Vandenbroucke Proceedings of the 25th International joint conference on Artificial …, 2016 | | 2016 |
| The functional perspective on advanced logic programming A Vandenbroucke Technical Communications of the 32nd International Conference on Logic …, 2016 | | 2016 |
| Complexity of Algorithms: Geometric Complexity Theory A Vandenbroucke | | 2014 |
| De Tabulatie Monad in Haskell A Vandenbroucke | | |
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
