Elizabeth Polgreen
ORCIDPublication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 28
Publications (10 Years): 28
Publications
- Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia
- Yixuan Li, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia
- Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman, Andrew Reynolds, Abhishek Udupa
- Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia
- Julian Parsert, Elizabeth Polgreen
- José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle
- Alessandro Abate, Haniel Barbosa, Clark W. Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli
- Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia
- Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia
- Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia
- Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. SeshiaSynthesis in Uclid5. CoRR (2020)
- Elizabeth Polgreen, Sanjit A. Seshia
- Elizabeth Polgreen, Ralph Abboud, Daniel Kroening
- Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
- Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia
- Elizabeth Polgreen, Martin Brain, Martin Fränzle, Alessandro Abate
- Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
- Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate