Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Yasmine Sharoda

> Home > Persons

Person information

affiliation: Amazon Web Services (AWS), Canada

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CaretteFS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CaretteFS20
Jacques Carette, William M. Farmer, Yasmine Sharoda:
Leveraging the Information Contained in Theory Presentations. CICM 2020: 55-70
2019
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/RabeS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/RabeS19
Florian Rabe, Yasmine Sharoda:
Diagram Combinators in MMT. CICM 2019: 211-226
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/mkm/Sharoda19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Sharoda19
Yasmine Sharoda:
Leveraging Information Contained in Theory Presentations. CICM Workshops 2019
2018
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CaretteFS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CaretteFS18
Jacques Carette, William M. Farmer, Yasmine Sharoda:
Biform Theories: Project Description. CICM 2018: 76-86

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e1]
- view
- export record
  dblp key:
  - conf/mkm/2021w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2021w
Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller, Yasmine Sharoda, Claudio Sacerdoti Coen:
Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021. CEUR Workshop Proceedings 3377, CEUR-WS.org 2023 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2020
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-04955
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-04955
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 abs/2002.04955 (2020)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-09292
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-09292
Jacques Carette, William M. Farmer, Yasmine Sharoda:
Leveraging the Information Contained in Theory Presentations. CoRR abs/2006.09292 (2020)
2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-02709
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-02709
Jacques Carette, William M. Farmer, Yasmine Sharoda:
Biform Theories: Project Description. CoRR abs/1805.02709 (2018)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.