Panagiotis Manolios
Publication Activity (10 Years)
Years Active: 1999-2024
Publications (10 Years): 28
Publications (10 Years): 28
Publications
- Zixuan Chen, Panagiotis Manolios, Mirek Riedewald
- Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru
- Ruben Gamboa, Panagiotis Manolios, Eric Whitman Smith, Kyle Thompson
- Max von Hippel, Panagiotis Manolios, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck
- Ankit Kumar, Andrew T. Walter, Panagiotis Manolios
- Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
- Zixuan Chen, Panagiotis Manolios, Mirek Riedewald
- Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
- Andrew T. Walter, David A. Greve, Panagiotis Manolios
- Andrew T. Walter, Panagiotis Manolios
- Ankit Kumar, Panagiotis Manolios
- Andrew Walter, Seth Cooper, Panagiotis Manolios
- Benjamin Quiring, Panagiotis Manolios
- Andrew T. Walter, Benjamin Boskin, Seth Cooper, Panagiotis Manolios
- Mitesh Jain, Panagiotis Manolios
- Justin Slepak, Olin Shivers, Panagiotis Manolios
- Olin Shivers, Justin Slepak, Panagiotis Manolios
- Abha Moitra, Kit Siu, Andrew W. Crapo, Michael Durling, Meng Li, Panagiotis Manolios, Michael Meiners, Craig McMillan
- Justin Slepak, Olin Shivers, Panagiotis Manolios
- Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners
- Justin Slepak, Panagiotis Manolios, Olin Shivers
- Mitesh Jain, Panagiotis Manolios
- Greg Eakman, Howard Reubenstein, Tom Hawkins, Mitesh Jain, Panagiotis Manolios
- Panagiotis Manolios, Jorge Pais, Vasilis Papavasileiou
- Mitesh Jain, Panagiotis Manolios
- Mitesh Jain, Panagiotis ManoliosSkipping Refinement. CoRR (2015)
- Mitesh Jain, Panagiotis Manolios
- Eugene Goldberg, Panagiotis Manolios
- Justin Slepak, Olin Shivers, Panagiotis Manolios
- Eugene Goldberg, Panagiotis Manolios
- Panagiotis Manolios, Vasilis Papavasileiou, Mirek RiedewaldILP Modulo Data. CoRR (2014)
- Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald
- Eugene Goldberg, Panagiotis Manolios
- Eugene Goldberg, Panagiotis Manolios
- Eugene Goldberg, Panagiotis Manolios
- Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios
- Eugene Goldberg, Panagiotis Manolios
- Eugene Goldberg, Mitesh Jain, Panagiotis Manolios
- Panagiotis Manolios, Vasilis Papavasileiou
- Panagiotis Manolios
- Eugene Goldberg, Panagiotis Manolios
- Eugene Goldberg, Panagiotis Manolios
- Eugene Goldberg, Panagiotis Manolios
- Eugene Goldberg, Panagiotis Manolios
- Panagiotis Manolios, Vasilis PapavasileiouILP Modulo Theories CoRR (2012)
- Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon
- Harsh Raju Chamarthi, Panagiotis Manolios
- Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou
- Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann, Panagiotis Manolios
- Panagiotis Manolios, Vasilis Papavasileiou
- Eugene Goldberg, Panagiotis Manolios
- Panagiotis Manolios, Daron Vroon
- Eugene Goldberg, Panagiotis Manolios
- Panagiotis Manolios, Aaron Turon
- Peter C. Dillinger, Panagiotis Manolios
- Matthew Might, Panagiotis Manolios
- Benjamin Chambers, Panagiotis Manolios, Daron Vroon
- David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding
- Panagiotis Manolios, Daron Vroon, Gayatri Subramanian
- Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore
- Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore
- Panagiotis Manolios, Marc Galceran Oms, Sergi Oliva Valls
- Panagiotis Manolios, Sudarshan K. Srinivasan, Daron Vroon
- Panagiotis Manolios, Daron Vroon
- Panagiotis Manolios, Sudarshan K. Srinivasan, Daron Vroon
- Panagiotis Manolios, Daron Vroon
- Roma Kane, Panagiotis Manolios, Sudarshan K. Srinivasan
- Panagiotis Manolios, Daron Vroon
- Panagiotis Manolios, Sudarshan K. Srinivasan
- Panagiotis Manolios, Yimin Zhang
- Panagiotis Manolios
- Panagiotis Manolios, Daron Vroon
- Panagiotis Manolios, Sudarshan K. Srinivasan
- Peter C. Dillinger, Panagiotis Manolios
- Panagiotis Manolios
- Panagiotis Manolios, Sudarshan K. Srinivasan
- Panagiotis Manolios, Sudarshan K. Srinivasan
- Peter C. Dillinger, Panagiotis Manolios
- Panagiotis Manolios, Daron Vroon
- Peter C. Dillinger, Panagiotis Manolios
- Panagiotis Manolios, Richard J. Trefler
- Panagiotis Manolios, Daron Vroon
- Panagiotis Manolios
- Panagiotis Manolios, J Strother Moore
- Panagiotis Manolios
- Panagiotis Manolios, J Strother Moore
- Panagiotis Manolios, Richard J. Trefler
- Panagiotis Manolios
- Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers
- Yuan Yu, Panagiotis Manolios, Leslie Lamport