Federico Mora
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 22
Publications (10 Years): 22
Publications
- Amar Shah, Federico Mora, Sanjit A. Seshia
- Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia
- Amar Shah, Federico Mora, Sanjit A. Seshia
- Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
- Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik
- Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia
- Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. SeshiaSynthesis in Uclid5. CoRR (2020)
- Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
- Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh
- Federico Mora, Yi Li, Julia Rubin, Marsha Chechik
- Boris Katz, Gary C. Borchardt, Sue Felshin, Federico Mora