| Homotopy theoretic models of identity types S Awodey, MA Warren Mathematical proceedings of the cambridge philosophical society 146 (1), 45-55, 2009 | 367 | 2009 |
| Homotopy theoretic aspects of constructive type theory MA Warren PhD thesis, Carnegie Mellon University, 2008 | 114 | 2008 |
| The local universes model: an overlooked coherence construction for dependent type theories PLF Lumsdaine, MA Warren ACM Transactions on Computational Logic (TOCL) 16 (3), 1-31, 2015 | 106 | 2015 |
| Homotopy type theory and Voevodsky’s univalent foundations Á Pelayo, M Warren Bulletin of the American Mathematical Society 51 (4), 597-648, 2014 | 55 | 2014 |
| Voevodsky’s univalence axiom in homotopy type theory S Awodey, Á Pelayo, MA Warren Notices of the AMS 60 (9), 1164-1167, 2013 | 50 | 2013 |
| Predicative algebraic set theory S Awodey, MA Warren Theory and applications of categories 15 (1), 1-39, 2005 | 33 | 2005 |
| The strict ω-groupoid interpretation of type theory MA Warren Models, logics, and higher-dimensional categories 53, 291-340, 2011 | 23 | 2011 |
| Bicategorical fibration structures and stacks DA Pronk, MA Warren arXiv preprint arXiv:1303.0340, 2013 | 19 | 2013 |
| A univalent formalization of the p-adic numbers Á Pelayo, V Voevodsky, MA Warren Mathematical Structures in Computer Science 25 (5), 1147-1171, 2015 | 17 | 2015 |
| Combinatorial realizability models of type theory P Hofstra, MA Warren Annals of Pure and Applied Logic 164 (10), 957-988, 2013 | 15 | 2013 |
| Coalgebras in a category of classes MA Warren Annals of Pure and Applied Logic 146 (1), 60-71, 2007 | 10 | 2007 |
| Dynamic mode decomposition for interconnected control systems B Heersink, MA Warren, H Hoffmann arXiv preprint arXiv:1709.02883, 2017 | 9 | 2017 |
| Lawvere–Tierney sheaves in algebraic set theory S Awodey, N Gambino, PL Lumsdaine, MA Warren The Journal of Symbolic Logic 74 (3), 861-890, 2009 | 8 | 2009 |
| Predicative categories of classes MA Warren Master’s thesis, Carnegie Mellon University, 2004 | 8 | 2004 |
| The local universe model of type theory PL Lumsdaine, MA Warren preparation, 2012 | 7 | 2012 |
| A preliminary univalent formalization of the p-adic numbers A Pelayo, V Voevodsky, MA Warren arXiv preprint arXiv:1302.1207, 2013 | 5 | 2013 |
| Algebraic models of sets and classes in categories of ideals S Awodey, H Forssell, MA Warren Carnegie Mellon University, 2006 | 5 | 2006 |
| A characterization of representable intervals MA Warren arXiv preprint arXiv:0903.3743, 2009 | 4 | 2009 |
| Homotopy models of intensional type theory MA Warren Ph. D. thesis prospectus, Carnegie Mellon University, 2006 | 4 | 2006 |
| Generate and verify: Semantically meaningful formal analysis of neural network perception systems CR Serrano, PM Sylla, MA Warren arXiv preprint arXiv:2012.09313, 2020 | 3 | 2020 |
