Search Results - Trehane, A.
-
1
-
2
Specification of synchronous network flooding in temporal logic
Published 2020Get full text
Default Article -
3
Big data availability: Selective partial checkpointing for in-memory database queries
Published 2017Get full text
Default Conference proceeding -
4
-
5
-
6
Fully compact routing in low memory self-healing trees
Published 2020Get full text
Default Conference proceeding -
7