Elaine Li

Orcid: 0000-0003-0173-4498

According to our database¹, Elaine Li authored at least 5 papers between 2019 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Deciding Subtyping for Asynchronous Multiparty Sessions.

[BibT_eX]

[DOI]

Elaine Li

Felix Stutz

Thomas Wies

Proceedings of the Programming Languages and Systems, 2024

2023

Complete Multiparty Session Type Projection with Automata.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2020

Specification of the Giskard Consensus Protocol.

[BibT_eX]

[DOI]

CoRR, 2020

Formalizing Correct-by-Construction Casper in Coq.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

2019

Pumping, with or Without Choice.

[BibT_eX]

[DOI]

Aquinas Hobor

Elaine Li

Frank Stephan

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

Elaine Li

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...