Follow
Tim Alberdingk Thijm
Tim Alberdingk Thijm
Graduate Student, Princeton University
Verified email at cs.princeton.edu - Homepage
Title
Cited by
Cited by
Year
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
2232017
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
782017
Kirigami, the verifiable art of network cutting
TA Thijm, R Beckett, A Gupta, D Walker
IEEE/ACM Transactions on Networking, 2024
62024
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
62023
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
The system can't perform the operation now. Try again later.
Articles 1–7