Lorenzo Theunissen

According to our database, Lorenzo Theunissen authored at least 3 papers between 2020 and 2026.

Collaborative distances:

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

2026

Approximate Dynamic Nearest Neighbor Searching in a Polygonal Domain.

Joost van der Laan, Frank Staals, Lorenzo Theunissen

Proceedings of the 42nd International Symposium on Computational Geometry, 2026

2025

LTL-based Specifications for P4 Program Synthesis.

Lorenzo Theunissen, Sebastijan Dumancic, Fernando Kuipers

Proceedings of the 2nd Workshop on Formal Methods Aided Network Operation, 2025

2020

Transformation of PDF Textbooks into Intelligent Educational Resources.

Isaac Alpizar Chacon, Max van der Hart, Zef S. Wiersma, Lorenzo Theunissen, Sergey A. Sosnovsky

Proceedings of the Second International Workshop on Intelligent Textbooks 2020 co-located with 21st International Conference on Artificial Intelligence in Education (AIED 2020), 2020