Vytautas Tumas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2016–2023
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ISCC | Federated Byzantine Agreement Protocol Robustness to Targeted Network Attacks. | Vytautas Tumas, Sean Rivera, Damien Magoni, Radu State |
| 2023 | SAC | Topology Analysis of the XRP Ledger. | Vytautas Tumas, Sean Rivera, Damien Magoni, Radu State |
| 2022 | GLOBECOM | Probabilistic Edge Multicast Routing for the XRP Network. | Vytautas Tumas, Sean Rivera, Damien Magoni, Radu State |
| 2016 | FM | Mechanised Verification Patterns for Dafny. | Gudmund Grov, Yuhui Lin, Vytautas Tumas |
| 2016 | TACAS | Tactics for the Dafny Program Verifier. | Gudmund Grov, Vytautas Tumas |