Biform Theories: Project Description. - Jacques Carette; William M. Farmer; Yasmine Sharoda (CICM, 2018)

Diagram Combinators in MMT. - Florian Rabe 001; Yasmine Sharoda (CICM, 2019)

Leveraging Information Contained in Theory Presentations. - Yasmine Sharoda (CICM Workshops, 2019)

Leveraging the Information Contained in Theory Presentations. - Jacques Carette; William M. Farmer; Yasmine Sharoda (CICM, 2020)

The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. - Katja Bercic; Jacques Carette; William M. Farmer; Michael Kohlhase; Dennis Müller 001; Florian Rabe 001; Yasmine Sharoda (CoRR, 2020)

Projective Model Counting for IP Addresses in Access Control Policies. - Loris D'Antoni; Andrew Gacek; Amit Goel; Dejan Jovanovic; Rami Gökhan Kici; Daniel Peebles; Neha Rungta; Yasmine Sharoda; Chungha Sung (FMCAD, 2024)