Yasmine Sharoda

Affiliations:
  • Amazon Web Services (AWS), Canada


According to our database1, Yasmine Sharoda authored at least 5 papers between 2018 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems.
CoRR, 2020

Leveraging the Information Contained in Theory Presentations.
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

2019
Leveraging Information Contained in Theory Presentations.
Proceedings of the Joint Proceedings of the FMM and LML Workshops, 2019

Diagram Combinators in MMT.
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

2018
Biform Theories: Project Description.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018


  Loading...