[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by type, Ioannis Eleftheriadis"></meta><meta name="description" content="Publications, by type, Department of Computer Science, Oxford, Ioannis Eleftheriadis"></meta><title>Department of Computer Science, University of Oxford:  Ioannis Eleftheriadis : Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/research.html">Research</a></li><li><a href="/people/Ioannis.Eleftheriadis"><span itemprop="name"> Ioannis Eleftheriadis</span></a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1> Ioannis Eleftheriadis : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/Ioannis.Eleftheriadis.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/Ioannis.Eleftheriadis.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/people/publications/type/Ioannis.Eleftheriadis.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/Ioannis.Eleftheriadis.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><h2>
      Journal papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Algebraically universal categories of relational structures </strong> </p>
	    <p class="publicationAuthors"> <em> Ioannis Eleftheriadis  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Pure and Applied Algebra</em>.
        
            Vol. 229.
        
            No. 6.
        
                Pages 107984.
            2025.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16728-abstract.html">
			Details <span class="sr-only" > about <em> Algebraically universal categories of relational structures  </em></span> </a> |
			<a href="/publications/publication16728.bib">
			BibTeX  <span class="sr-only" > data for <em> Algebraically universal categories of relational structures  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/https://doi.org/10.1016/j.jpaa.2025.107984">
		DOI (https://doi.org/10.1016/j.jpaa.2025.107984)
		</a> 
					| <a href="https://www.sciencedirect.com/science/article/pii/S0022404925001239"> Link <span class="sr-only" > to <em> Algebraically universal categories of relational structures  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Universal slices of the category of graphs </strong> </p>
	    <p class="publicationAuthors"> <em> Ioannis Eleftheriadis  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Algebra universalis</em>.
        
            Vol. 85.
        
            No. 4.
        
                Pages 42.
            2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16727-abstract.html">
			Details <span class="sr-only" > about <em> Universal slices of the category of graphs  </em></span> </a> |
			<a href="/publications/publication16727.bib">
			BibTeX  <span class="sr-only" > data for <em> Universal slices of the category of graphs  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Conference papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Extension Preservation on Dense Graph Classes </strong> </p>
	    <p class="publicationAuthors"> <em> Ioannis Eleftheriadis  </em> </p>
	
	<p class="publicationDetails"> 
            In J&#xf6;rg Endrullis and Sylvain Schmitz, editors,
             
            <em>
            33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)</em>.
        
            Vol. 326
                of Leibniz International Proceedings in Informatics (LIPIcs).
        
                Pages 7:1&#x2013;7:21.
            Dagstuhl&#x201a; Germany.
        2025.
        Schloss Dagstuhl &#x2013; Leibniz&#x2212;Zentrum f&#xfc;r Informatik.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16726-abstract.html">
			Details <span class="sr-only" > about <em> Extension Preservation on Dense Graph Classes  </em></span> </a> |
			<a href="/publications/publication16726.bib">
			BibTeX  <span class="sr-only" > data for <em> Extension Preservation on Dense Graph Classes  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4230/LIPIcs.CSL.2025.7">
		DOI (10.4230/LIPIcs.CSL.2025.7)
		</a> 
					| <a href="https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.7"> Link <span class="sr-only" > to <em> Extension Preservation on Dense Graph Classes  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Separability Properties of Monadically Dependent Graph Classes </strong> </p>
	    <p class="publicationAuthors"> <em> &#x0388;douard Bonnet&#x201a; Samuel Braunfeld&#x201a; Ioannis Eleftheriadis&#x201a; Colin Geniet&#x201a; Nikolas M&#xe4;hlmann&#x201a; Micha&#x0142; Pilipczuk&#x201a; Wojciech Przybyszewski and Szymon Toru&#x0144;czyk  </em> </p>
	
	<p class="publicationDetails"> 
            In Keren Censor&#x2212;Hillel&#x201a; Fabrizio Grandoni&#x201a; Jo&#xeb;l Ouaknine and Gabriele Puppis, editors,
             
            <em>
            52nd International Colloquium on Automata&#x201a; Languages&#x201a; and Programming (ICALP 2025)</em>.
        
            Vol. 334
                of Leibniz International Proceedings in Informatics (LIPIcs).
        
                Pages 147:1&#x2013;147:19.
            Dagstuhl&#x201a; Germany.
        2025.
        Schloss Dagstuhl &#x2013; Leibniz&#x2212;Zentrum f&#xfc;r Informatik.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16725-abstract.html">
			Details <span class="sr-only" > about <em> Separability Properties of Monadically Dependent Graph Classes  </em></span> </a> |
			<a href="/publications/publication16725.bib">
			BibTeX  <span class="sr-only" > data for <em> Separability Properties of Monadically Dependent Graph Classes  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4230/LIPIcs.ICALP.2025.147">
		DOI (10.4230/LIPIcs.ICALP.2025.147)
		</a> 
					| <a href="https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2025.147"> Link <span class="sr-only" > to <em> Separability Properties of Monadically Dependent Graph Classes  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Preservation Theorems on Sparse Classes Revisited </strong> </p>
	    <p class="publicationAuthors"> <em> Anuj Dawar and Ioannis Eleftheriadis  </em> </p>
	
	<p class="publicationDetails"> 
            In Rastislav Kr&#xe1;lovi&#x010d; and Anton&#x0301;&#x0131;n Ku&#x010d;era, editors,
             
            <em>
            49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024)</em>.
        
            Vol. 306
                of Leibniz International Proceedings in Informatics (LIPIcs).
        
                Pages 47:1&#x2013;47:16.
            Dagstuhl&#x201a; Germany.
        2024.
        Schloss Dagstuhl &#x2013; Leibniz&#x2212;Zentrum f&#xfc;r Informatik.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16731-abstract.html">
			Details <span class="sr-only" > about <em> Preservation Theorems on Sparse Classes Revisited  </em></span> </a> |
			<a href="/publications/publication16731.bib">
			BibTeX  <span class="sr-only" > data for <em> Preservation Theorems on Sparse Classes Revisited  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4230/LIPIcs.MFCS.2024.47">
		DOI (10.4230/LIPIcs.MFCS.2024.47)
		</a> 
					| <a href="https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2024.47"> Link <span class="sr-only" > to <em> Preservation Theorems on Sparse Classes Revisited  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
             First&#x2212;Order Model Checking on Monadically Stable Graph Classes  </strong> </p>
	    <p class="publicationAuthors"> <em> Jan Dreier&#x201a; Ioannis Eleftheriadis&#x201a; Nikolas Mahlmann&#x201a; Rose McCarty&#x201a; Michal Pilipczuk and Szymon Torunczyk  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS)</em>.
        
                Pages 21&#x2212;30.
            Los Alamitos&#x201a; CA&#x201a; USA.
        October,
            2024.
        IEEE Computer Society.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16729-abstract.html">
			Details <span class="sr-only" > about <em>  First&#x2212;Order Model Checking on Monadically Stable Graph Classes   </em></span> </a> |
			<a href="/publications/publication16729.bib">
			BibTeX  <span class="sr-only" > data for <em>  First&#x2212;Order Model Checking on Monadically Stable Graph Classes   </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/FOCS61266.2024.00012">
		DOI (10.1109/FOCS61266.2024.00012)
		</a> 
					| <a href="https://doi.ieeecomputersociety.org/10.1109/FOCS61266.2024.00012"> Link <span class="sr-only" > to <em>  First&#x2212;Order Model Checking on Monadically Stable Graph Classes   </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Monadic NIP in Monotone Classes of Relational Structures </strong> </p>
	    <p class="publicationAuthors"> <em> Samuel Braunfeld&#x201a; Anuj Dawar&#x201a; Ioannis Eleftheriadis and Aris Papadopoulos  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            50th International Colloquium on Automata&#x201a; Languages&#x201a; and Programming (ICALP 2023)</em>.
        Schloss Dagstuhl&#x2212;Leibniz&#x2212;Zentrum f&#xfc;r Informatik.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16730-abstract.html">
			Details <span class="sr-only" > about <em> Monadic NIP in Monotone Classes of Relational Structures  </em></span> </a> |
			<a href="/publications/publication16730.bib">
			BibTeX  <span class="sr-only" > data for <em> Monadic NIP in Monotone Classes of Relational Structures  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li><a href="/people/faculty.html">Faculty</a></li><li class="active"><a href="/people/research.html">Research</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women in the department</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">Our History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]