Ioannis Eleftheriadis

According to our database, Ioannis Eleftheriadis authored at least 4 papers between 2023 and 2025.

Collaborative distances:

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

2025

Extension Preservation on Dense Graph Classes.

Ioannis Eleftheriadis

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Preservation Theorems on Sparse Classes Revisited.

Anuj Dawar, Ioannis Eleftheriadis

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

First-Order Model Checking on Monadically Stable Graph Classes.

Jan Dreier, Ioannis Eleftheriadis, Nikolas Mählmann, Rose McCarty, Michal Pilipczuk, Szymon Torunczyk

Proceedings of the 65th IEEE Annual Symposium on Foundations of Computer Science, 2024

2023

Monadic NIP in Monotone Classes of Relational Structures.

Samuel Braunfeld, Anuj Dawar, Ioannis Eleftheriadis, Aris Papadopoulos

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023