Name Card

Full name Familienname, Vorname
Yu, Emily
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Froleyks-2023-BIG Backbones-vor.pdf.jpgFroleyks, Nils ; Yu, Emily ; Biere, Armin BIG BackbonesInproceedings Konferenzbeitrag Oct-2023
2Yu-2023-Towards Compositional Hardware Model Checking Certification-vor.pdf.jpgYu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo Towards Compositional Hardware Model Checking CertificationInproceedings Konferenzbeitrag Oct-2023
3Yu-2022-Stratified Certification for k-Induction-vor.pdf.jpgYu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo Stratified Certification for k-InductionKonferenzbeitrag Inproceedings Oct-2022