Ioannis Eleftheriadis : Publications

Click here to download all publications in a single bibtex file

@article{eleftheriadis2023algebraically,
  title = "Algebraically universal categories of relational structures",
  author = "Ioannis Eleftheriadis",
  year = "2025",
  issn = "0022-4049",
  journal = "Journal of Pure and Applied Algebra",
  keywords = "Algebraically universal categories, Relational structures, Model theory, Nowhere density",
  number = "6",
  pages = "107984",
  url = "https://www.sciencedirect.com/science/article/pii/S0022404925001239",
  volume = "229",
  doi = "https://doi.org/10.1016/j.jpaa.2025.107984",
}

@inproceedings{eleCSL,
  title = "{Extension Preservation on Dense Graph Classes}",
  author = "Eleftheriadis, Ioannis",
  year = "2025",
  address = "Dagstuhl, Germany",
  annote = "Keywords: Extension preservation, finite model theory, dense graphs, cliquewidth",
  booktitle = "33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)",
  editor = "Endrullis, J\"{o}rg and Schmitz, Sylvain",
  isbn = "978-3-95977-362-1",
  issn = "1868-8969",
  pages = "7:1--7:21",
  publisher = "Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.7",
  volume = "326",
  doi = "10.4230/LIPIcs.CSL.2025.7",
}

@inproceedings{separability,
  title = "{Separability Properties of Monadically Dependent Graph Classes}",
  author = "Bonnet, \'{E}douard and Braunfeld, Samuel and Eleftheriadis, Ioannis and Geniet, Colin and M\"{a}hlmann, Nikolas and Pilipczuk, Micha{\l} and Przybyszewski, Wojciech and Toru\'{n}czyk, Szymon",
  year = "2025",
  address = "Dagstuhl, Germany",
  annote = "Keywords: Structural graph theory, Monadic dependence",
  booktitle = "52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025)",
  editor = "Censor-Hillel, Keren and Grandoni, Fabrizio and Ouaknine, Jo\"{e}l and Puppis, Gabriele",
  isbn = "978-3-95977-372-0",
  issn = "1868-8969",
  pages = "147:1--147:19",
  publisher = "Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2025.147",
  volume = "334",
  doi = "10.4230/LIPIcs.ICALP.2025.147",
}

@inproceedings{dreier2023firstorder,
  title = "{ First-Order Model Checking on Monadically Stable Graph Classes }",
  author = "Dreier, Jan and Eleftheriadis, Ioannis and Mahlmann, Nikolas and McCarty, Rose and Pilipczuk, Michal and Torunczyk, Szymon",
  year = "2024",
  address = "Los Alamitos, CA, USA",
  booktitle = " 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS) ",
  keywords = "Computer science;Games;Model checking;Stability analysis;Complexity theory;Logic",
  month = "Oct",
  pages = "21-30",
  publisher = "IEEE Computer Society",
  url = "https://doi.ieeecomputersociety.org/10.1109/FOCS61266.2024.00012",
  doi = "10.1109/FOCS61266.2024.00012",
}

@article{eleftheriadis2024universal,
  title = "Universal slices of the category of graphs",
  author = "Eleftheriadis, Ioannis",
  year = "2024",
  journal = "Algebra universalis",
  number = "4",
  pages = "42",
  publisher = "Springer",
  volume = "85",
}

@inproceedings{dawar2024preservation,
  title = "{Preservation Theorems on Sparse Classes Revisited}",
  author = "Dawar, Anuj and Eleftheriadis, Ioannis",
  year = "2024",
  address = "Dagstuhl, Germany",
  annote = "Keywords: Homomorphism preservation, sparsity, finite model theory, planar graphs",
  booktitle = "49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024)",
  editor = "Kr\'{a}lovi\v{c}, Rastislav and Ku\v{c}era, Anton{\'\i}n",
  isbn = "978-3-95977-335-5",
  issn = "1868-8969",
  pages = "47:1--47:16",
  publisher = "Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2024.47",
  volume = "306",
  doi = "10.4230/LIPIcs.MFCS.2024.47",
}

@inproceedings{monotoneNIP,
  title = "Monadic \text{NIP} in Monotone Classes of Relational Structures",
  author = "Braunfeld, Samuel and Dawar, Anuj and Eleftheriadis, Ioannis and Papadopoulos, Aris",
  year = "2023",
  booktitle = "50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)",
  organization = "Schloss Dagstuhl-Leibniz-Zentrum f{\"u}r Informatik",
}