Elaine Li

Orcid: 0000-0003-0173-4498

According to our database1, Elaine Li authored at least 6 papers between 2019 and 2024.

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

Timeline

2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Characterizing Implementability of Global Protocols with Infinite States and Data.
CoRR, 2024

Deciding Subtyping for Asynchronous Multiparty Sessions.
Proceedings of the Programming Languages and Systems, 2024

2023
Complete Multiparty Session Type Projection with Automata.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2020
Specification of the Giskard Consensus Protocol.
CoRR, 2020

Formalizing Correct-by-Construction Casper in Coq.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

2019
Pumping, with or Without Choice.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019


  Loading...