I. Duijn

Pattern extraction in trajectories and its use in enriching visualisations

I. van Duijn, I. Duijn, 2014 .

Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures

Jesper Stenbjerg Jensen, Troels Beck Krøgh, Marc Tom Thorgersen, 2022, IEEE/ACM Transactions on Networking.

Self-Adjusting Linear Networks

Stefan Schmid, Chen Avin, Ingo van Duijn, 2019, SIROCCO.

Faster Pushdown Reachability Analysis with Applications in Network Verification

Jirí Srba, Peter Gjøl Jensen, Juan Vanerio, 2021, ATVA.

Critical Placements of a Square or Circle amidst Trajectories for Junction Detection

Maarten Löffler, Marc J. van Kreveld, Irina Kostitsyna, 2016, CCCG.