publication venue for
- A polynomial algorithm for deciding the validity of an electrical distribution tree. 176:106249-106249. 2022
- On the correctness of Egalitarian Paxos. 156:105901-105901. 2019
- The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. 127:49-53. 2017