Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints. - Christine Hang; Panagiotis Manolios; Vasilis Papavasileiou (CAV, 2011)

Pseudo-Boolean Solving by incremental translation to SAT. - Panagiotis Manolios; Vasilis Papavasileiou (FMCAD, 2011)

ILP Modulo Theories. - Panagiotis Manolios; Vasilis Papavasileiou (CAV, 2013)

ILP Modulo Data. - Panagiotis Manolios; Vasilis Papavasileiou; Mirek Riedewald (FMCAD, 2014)

The Inez Mathematical Programming Modulo Theories Framework. - Panagiotis Manolios; Jorge Pais; Vasilis Papavasileiou (CAV (2), 2015)

Eliom: tierless Web programming from the ground up. - Gabriel Radanne; Vasilis Papavasileiou; Jérôme Vouillon; Vincent Balat (IFL, 2016)