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