Vasilis Papavasileiou

According to our database, Vasilis Papavasileiou authored at least 6 papers between 2011 and 2016.

Collaborative distances:

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

2016

Eliom: tierless Web programming from the ground up.

Gabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, Vincent Balat

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

2015

The Inez Mathematical Programming Modulo Theories Framework.

Panagiotis Manolios, Jorge Pais, Vasilis Papavasileiou

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

ILP Modulo Data.

Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

ILP Modulo Theories.

Panagiotis Manolios, Vasilis Papavasileiou

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2011

Pseudo-Boolean Solving by incremental translation to SAT.

Panagiotis Manolios, Vasilis Papavasileiou

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints.

Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011