Byron Cook
Publication Activity (10 Years)
Years Active: 1997-2023
Publications (10 Years): 20
Publications (10 Years): 20
Publications
- Byron Cook
- Byron Cook
- Byron Cook
- Byron Cook, Heidy Khlaaf, Nir Piterman
- Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
- Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary KincaidSpatial Interpolants. CoRR (2015)
- Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid
- Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
- Byron Cook, Heidy Khlaaf, Nir Piterman
- Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn
- Byron Cook, Heidy Khlaaf, Nir Piterman
- Hong Yi Chen, Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn
- Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
- Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric
- Byron Cook, Eric Koskinen
- Marc Brockschmidt, Byron Cook, Carsten Fuhs
- Byron Cook, Abigail See, Florian Zuleger
- Josh Berdine, Byron Cook, Samin Ishtiaq
- Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman
- Byron Cook
- Byron Cook, Andreas Podelski, Andrey Rybalchenko
- Byron Cook, Eric Koskinen, Moshe Y. Vardi
- Byron Cook, Eric Koskinen
- Byron Cook
- Byron Cook, Andreas Podelski, Andrey Rybalchenko
- Byron Cook
- Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria
- Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv
- Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang
- Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv
- Byron Cook, Daniel Kroening, Natasha Sharygina
- Shuvendu K. Lahiri, Thomas Ball, Byron Cook
- Byron Cook, Roberto Sebastiani
- Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook
- Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv
- Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv
- Byron Cook, Roberto Sebastiani
- Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook
- Byron Cook, Andreas Podelski, Andrey Rybalchenko
- Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn
- Byron Cook
- Byron Cook
- Byron Cook, Andreas Podelski, Andrey Rybalchenko
- Byron Cook, Andreas Podelski, Andrey Rybalchenko
- Byron Cook, Scott D. Stoller, Willem Visser
- Andreas Griesmayer, Roderick Bloem, Byron Cook
- Shuvendu K. Lahiri, Thomas Ball, Byron Cook
- Byron Cook, Andreas Podelski, Andrey Rybalchenko
- Shuvendu K. Lahiri, Thomas Ball, Byron Cook
- Byron Cook, Georges Gonthier
- Byron Cook, Daniel Kroening, Natasha Sharygina
- Byron Cook, Scott D. Stoller, Willem Visser
- Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook