2025
Title Name Advisor Date
Bottom-Up Evaluation of Second-Order Datalog with Negation Antonis Gkanios
  • Angelos Charalambidis
  • Panagiotis Rondogiannis
 02/04/2025
Two proofs of Peano Arithmetic’s Consistency Nikoleta Sevastou
  • Costas D. Koutras
  • Nikolaos Rigas
 19/03/2025
Pricing Games in Heterogeneous Parallel Networks Thomas Pappas
  • Thanasis Lianeas
 10/02/2025
Almost Envy-Free allocations in multigraphs Minas Marios Sotiriou
  • Evangelos Markakis
  • Alkmini Sgouritsa
 04/02/2025