Yasmine Sharoda

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 7

Top Topics

Recursive Functions

Theoretical Framework

Complex Software Systems

Top Venues

Publications

Jacques Carette, William M. Farmer, Yasmine Sharoda
Leveraging the Information Contained in Theory Presentations. CoRR (2020)
Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda
The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. CoRR (2020)
Jacques Carette, William M. Farmer, Yasmine Sharoda
Leveraging the Information Contained in Theory Presentations. CICM (2020)
Yasmine Sharoda
Leveraging Information Contained in Theory Presentations. CICM Workshops (2019)
Florian Rabe, Yasmine Sharoda
Diagram Combinators in MMT. CICM (2019)
Jacques Carette, William M. Farmer, Yasmine Sharoda
Biform Theories: Project Description. CICM (2018)
Jacques Carette, William M. Farmer, Yasmine Sharoda
Biform Theories: Project Description. CoRR (2018)