Ingo van Duijn

According to our database, Ingo van Duijn authored at least 11 papers between 2016 and 2023.

Collaborative distances:

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

2023

Self-adjusting grid networks.

Chen Avin, Ingo van Duijn, Maciej Pacut, Stefan Schmid

Inf. Comput., June, 2023

2022

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

Ingo van Duijn, Peter Gjøl Jensen, Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid, Jirí Srba, Marc Tom Thorgersen

IEEE/ACM Trans. Netw., 2022

2021

Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification".

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn

Dataset, June, 2021

Faster Pushdown Reachability Analysis with Applications in Network Verification.

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

A Lower Bound for Jumbled Indexing.

Peyman Afshani, Ingo van Duijn, Rasmus Killmann, Jesper Sindahl Nielsen

Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, 2020

2019

Self-adjusting Linear Networks.

Chen Avin, Ingo van Duijn, Stefan Schmid

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019

2017

Faster Algorithms for the Minimum Red-Blue-Purple Spanning Graph Problem.

Ahmad Biniaz, Prosenjit Bose, Ingo van Duijn, Anil Maheshwari, Michiel H. M. Smid

J. Graph Algorithms Appl., 2017

Permuting and Batched Geometric Lower Bounds in the I/O Model.

Peyman Afshani, Ingo van Duijn

Proceedings of the 25th Annual European Symposium on Algorithms, 2017

2016

Applications of Incidence Bounds in Point Covering Problems.

Peyman Afshani, Edvin Berglin, Ingo van Duijn, Jesper Sindahl Nielsen

Proceedings of the 32nd International Symposium on Computational Geometry, 2016

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

Ingo van Duijn, Irina Kostitsyna, Marc J. van Kreveld, Maarten Löffler

Proceedings of the 28th Canadian Conference on Computational Geometry, 2016

A Faster Algorithm for the Minimum Red-Blue-Purple Spanning Graph Problem for Points on a Circle.

Ahmad Biniaz, Prosenjit Bose, Ingo van Duijn, Anil Maheshwari, Michiel H. M. Smid

Proceedings of the 28th Canadian Conference on Computational Geometry, 2016