Ingo van Duijn

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 14

Top Topics

Junction Detection

Delaunay Triangulation

Reachability Analysis

Top Venues

Publications

Chen Avin, Ingo van Duijn, Maciej Pacut, Stefan Schmid
Self-adjusting grid networks. Inf. Comput. 292 (2023)
Ingo van Duijn, Peter Gjøl Jensen, Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid, Jirí Srba, Marc Tom Thorgersen
Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures. IEEE/ACM Trans. Netw. 30 (2) (2022)
Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn
Faster Pushdown Reachability Analysis with Applications in Network Verification. ATVA (2021)
Peyman Afshani, Ingo van Duijn, Rasmus Killmann, Jesper Sindahl Nielsen
A Lower Bound for Jumbled Indexing. SODA (2020)
Chen Avin, Ingo van Duijn, Stefan Schmid
Self-Adjusting Linear Networks. CoRR (2019)
Chen Avin, Ingo van Duijn, Stefan Schmid
Self-adjusting Linear Networks. SSS (2019)
Chen Avin, Ingo van Duijn, Stefan Schmid
Self-adjusting Linear Networks. SIROCCO (2019)
Peyman Afshani, Ingo van Duijn
Permuting and Batched Geometric Lower Bounds in the I/O Model. ESA (2017)
Ahmad Biniaz, Prosenjit Bose, Ingo van Duijn, Anil Maheshwari, Michiel H. M. Smid
Faster Algorithms for the Minimum Red-Blue-Purple Spanning Graph Problem. J. Graph Algorithms Appl. 21 (4) (2017)
Peyman Afshani, Edvin Berglin, Ingo van Duijn, Jesper Sindahl Nielsen
Applications of Incidence Bounds in Point Covering Problems. SoCG (2016)
Ahmad Biniaz, Prosenjit Bose, Ingo van Duijn, Anil Maheshwari, Michiel H. M. Smid
A Faster Algorithm for the Minimum Red-Blue-Purple Spanning Graph Problem for Points on a Circle. CCCG (2016)
Ingo van Duijn, Irina Kostitsyna, Marc J. van Kreveld, Maarten Löffler
Critical Placements of a Square or Circle amidst Trajectories for Junction Detection. CoRR (2016)
Ingo van Duijn, Irina Kostitsyna, Marc J. van Kreveld, Maarten Löffler
Critical Placements of a Square or Circle amidst Trajectories for Junction Detection. CCCG (2016)
Peyman Afshani, Edvin Berglin, Ingo van Duijn, Jesper Sindahl Nielsen
Applications of incidence bounds in point covering problems. CoRR (2016)