Elaine Li - RankMe

14 papers B 2Journal 8Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Competing subclones and fitness diversity shape tumor evolution across cancer types. Bioinform. Hai Chen, Jingmin Shu, Rekha Mudappathi, Elaine Li, Panwen Wang, Leif Bergsagel, Ping Yang, Zhifu Sun, Logan Zhao, Changxin Shi, Jeffrey P. Townsend, Carlo Maley, Li Liu
2026	J	`jnl`	Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking. CoRR Elaine Li, Felix Stutz
2026	J	`jnl`	Implementability of Global Distributed Protocols modulo Network Architectures. CoRR Elaine Li, Thomas Wies
2025	B	`conf`	Certified Implementability of Global Multiparty Protocols. ITP Elaine Li, Thomas Wies
2025	J	`jnl`	Characterizing Implementability of Global Protocols with Infinite States and Data. Proc. ACM Program. Lang. Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2025	—	`conf`	Sprout: A Verifier for Symbolic Multiparty Protocols. CAV (3) Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2024	J	`jnl`	Characterizing Implementability of Global Protocols with Infinite States and Data. CoRR Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2024	—	`conf`	Deciding Subtyping for Asynchronous Multiparty Sessions. ESOP (1) Elaine Li, Felix Stutz, Thomas Wies
2024	J	`jnl`	Deciding Subtyping for Asynchronous Multiparty Sessions. CoRR Elaine Li, Felix Stutz, Thomas Wies
2023	—	`conf`	Complete Multiparty Session Type Projection with Automata. CAV (3) Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2023	J	`jnl`	Complete Multiparty Session Type Projection with Automata. CoRR Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2020	—	`conf`	Formalizing Correct-by-Construction Casper in Coq. IEEE ICBC Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, Grigore Rosu
2020	J	`jnl`	Specification of the Giskard Consensus Protocol. CoRR Elaine Li, Karl Palmskog, Mircea Sebe, Grigore Rosu
2019	B	`conf`	Pumping, with or Without Choice. APLAS Aquinas Hobor, Elaine Li, Frank Stephan

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski