Tim Alberdingk Thijm

According to our database, Tim Alberdingk Thijm authored at least 4 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Modular Control Plane Verification via Temporal Invariants.

Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker

Proc. ACM Program. Lang., 2023

2022

Kirigami, the Verifiable Art of Network Cutting.

Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker

Proceedings of the 30th IEEE International Conference on Network Protocols, 2022

2021

A Matter of Trust: Verification of Security and Performance for Network Platform as a Service.

Tim Alberdingk Thijm, Gary Atkinson, Lalita Jagadeesan, Marina Thottan

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2017

Computational Argumentation Quality Assessment in Natural Language.

Henning Wachsmuth, Nona Naderi, Yufang Hou, Yonatan Bilu, Vinodkumar Prabhakaran, Tim Alberdingk Thijm, Graeme Hirst, Benno Stein

Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, 2017