Timothy Alberdingk Thijm
Princeton University(US)
Publications by Year
Research Areas
Formal Methods in Verification, Computational Drug Discovery Methods, Security and Verification in Computing, Model-Driven Software Engineering Techniques, Topic Modeling
Most-Cited Works
- → Computational Argumentation Quality Assessment in Natural Language(2017)176 cited
- → Digitization of the Canadian Parliamentary Debates(2017)55 cited
- → Kirigami, the Verifiable Art of Network Cutting(2022)11 cited
- → Modular Control Plane Verification via Temporal Invariants(2023)10 cited
- → A Matter of Trust: Verification of Security and Performance for Network Platform as a Service(2021)1 cited
- → Dagstuhl-15512-ArgQuality(2017)1 cited
- → CJP volume 50 issue 3 Cover and Front matter(2017)