Cited By
View all- Attinagaramu KAlapati P(2024)CAA: A Concurrent AA Tree via Logical ordering2024 23rd International Symposium on Parallel and Distributed Computing (ISPDC)10.1109/ISPDC62236.2024.10705402(1-8)Online publication date: 8-Jul-2024
- Groote JLaveaux Mvan Spaendonck P(2022)A Thread-Safe Term LibraryLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles10.1007/978-3-031-19849-6_25(422-459)Online publication date: 17-Oct-2022
- Yin CRiedy J(2019)Concurrent Katz Centrality for Streaming Graphs2019 IEEE High Performance Extreme Computing Conference (HPEC)10.1109/HPEC.2019.8916572(1-6)Online publication date: Sep-2019