Omar S. Navarro Leija
According to our database1,
Omar S. Navarro Leija
authored at least 6 papers
between 2017 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
0
1
2
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Formal Methods Syst. Des., February, 2022
2021
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021
2020
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020
2019
2017
Proc. ACM Program. Lang., 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017