Vasilis Papavasileiou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2011–2015
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CAV | The Inez Mathematical Programming Modulo Theories Framework. | Panagiotis Manolios, Jorge Pais, Vasilis Papavasileiou |
| 2014 | FMCAD | ILP Modulo Data. | Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald |
| 2013 | CAV | ILP Modulo Theories. | Panagiotis Manolios, Vasilis Papavasileiou |
| 2011 | CAV | Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints. | Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou |
| 2011 | FMCAD | Pseudo-Boolean Solving by incremental translation to SAT. | Panagiotis Manolios, Vasilis Papavasileiou |