Computational argumentation quality assessment in natural language H Wachsmuth, N Naderi, Y Hou, Y Bilu, V Prabhakaran, TA Thijm, G Hirst, ... Proceedings of the 15th Conference of the European Chapter of the …, 2017 | 231 | 2017 |
Digitization of the Canadian parliamentary debates K Beelen, TA Thijm, C Cochrane, K Halvemaan, G Hirst, M Kimmins, ... Canadian Journal of Political Science/Revue canadienne de science politique …, 2017 | 79 | 2017 |
Kirigami, the verifiable art of network cutting TA Thijm, R Beckett, A Gupta, D Walker IEEE/ACM Transactions on Networking, 2024 | 6 | 2024 |
Modular control plane verification via temporal invariants T Alberdingk Thijm, R Beckett, A Gupta, D Walker Proceedings of the ACM on Programming Languages 7 (PLDI), 50-75, 2023 | 6 | 2023 |
Modular control plane verification via temporal invariants TA Thijm, R Beckett, A Gupta, D Walker arXiv preprint arXiv:2204.10303, 2022 | | 2022 |
Kirigami, the Verifiable Art of Network Cutting T Alberdingk Thijm, R Beckett, A Gupta, D Walker arXiv e-prints, arXiv: 2202.06098, 2022 | | 2022 |
A Matter of Trust: Verification of Security and Performance for Network Platform as a Service TA Thijm, G Atkinson, L Jagadeesan, M Thottan 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021 | | 2021 |