Stephanie Weirich

66 papers and 795 indexed citations i.

Stephanie Weirich has authored 66 papers that have received a total of 795 indexed citations. This includes 64 papers in Artificial Intelligence, 31 papers in Computational Theory and Mathematics and 21 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (63 papers), Formal Methods in Verification (31 papers) and Software Engineering Research (21 papers). Stephanie Weirich is often cited by papers focused on Logic, programming, and type systems (63 papers), Formal Methods in Verification (31 papers) and Software Engineering Research (21 papers) and collaborates with scholars based in United States, United Kingdom and France. Stephanie Weirich's co-authors include Simon Peyton Jones, Dimitrios Vytiniotis, Richard A. Eisenberg, Benjamin C. Pierce and Vilhelm Sjöberg and has published in prestigious journals such as Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems.