Emily Yu

According to our database1, Emily Yu authored at least 9 papers between 2009 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Certifying Phase Abstraction.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023
Towards Compositional Hardware Model Checking Certification.
Proceedings of the Formal Methods in Computer-Aided Design, 2023

BIG Backbones.
Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications.
J. Artif. Intell. Res., 2022

Stratified Certification for k-Induction.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021
Progress in Certifying Hardware Model Checking Results.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
Model Checking Temporal Epistemic Logic under Bounded Recall.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

2009
Movement and Recovery Analysis of a Mouse-Replacement Interface for Users with Severe Disabilities.
Proceedings of the Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments, 2009


  Loading...