Computational Argumentation Quality Assessment in Natural Language. - Henning Wachsmuth; Nona Naderi; Yufang Hou 001; Yonatan Bilu; Vinodkumar Prabhakaran; Tim Alberdingk Thijm; Graeme Hirst; Benno Stein 001 (EACL (1), 2017)

Dagstuhl-15512-ArgQuality. - Henning Wachsmuth; Nona Naderi; Yufang Hou 001; Yonatan Bilu; Vinodkumar Prabhakaran; Tim Alberdingk Thijm; Graeme Hirst; Benno Stein 001 (Zenodo, 2017)

A Matter of Trust: Verification of Security and Performance for Network Platform as a Service. - Tim Alberdingk Thijm; Gary Atkinson; Lalita Jagadeesan; Marina Thottan (DSN (Supplements), 2021)

Modular Control Plane Verification via Temporal Invariants. - Timothy Alberdingk Thijm; Ryan Beckett; Aarti Gupta; David Walker 001 (Proc. ACM Program. Lang., 2023)

Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale. - James Larisch; Timothy Alberdingk Thijm; Suleman Ahmad; Peter Wu; Tom Arnfeld; Marwan Fayed (SIGCOMM, 2024)

Modular Control Plane Verification - Tim Alberdingk Thijm (2024)

Kirigami, the Verifiable Art of Network Cutting. - Timothy Alberdingk Thijm; Ryan Beckett; Aarti Gupta; David Walker 001 (IEEE/ACM Trans. Netw., 2024)