Stream processing of healthcare sensor data: studying user traces to identify challenges from a big data perspective R Cortés, X Bonnaire, O Marin, P Sens Procedia Computer Science 52, 1004-1009, 2015 | 111 | 2015 |
A scalable architecture for spatio-temporal range queries over big location data R Cortés, O Marin, X Bonnaire, L Arantes, P Sens 2015 IEEE 14th International Symposium on Network Computing and Applications …, 2015 | 8 | 2015 |
A scalable architecture for highly reliable certification X Bonnaire, R Cortés, F Kordon, O Marin 2013 12th IEEE International Conference on Trust, Security and Privacy in …, 2013 | 8 | 2013 |
GeoTrie: A scalable architecture for location-temporal range queries over massive geotagged data sets R Cortés, X Bonnaire, O Marin, L Arantes, P Sens 2016 IEEE 15th International Symposium on Network Computing and Applications …, 2016 | 2 | 2016 |
Free Split: A Write-Ahead Protocol to Improve Latency in Distributed Prefix Tree Indexing Structures R Cortés, X Bonnaire, O Marin, P Sens 2015 IEEE 29th International Conference on Advanced Information Networking …, 2015 | 1 | 2015 |
ASCENT: A Provably Terminating Decentralized Logging Service X Bonnaire, R Cortés, F Kordon, O Marin The Computer Journal 60 (12), 1889-1911, 2017 | | 2017 |
Scalable location-temporal range query processing for structured peer-to-peer networks R Cortés Université Pierre et Marie Curie-Paris VI, 2017 | | 2017 |
Verification of a Quasi certification Protocol over a DHT F Kordon, X Bonnaire, R Cortes, O Marin Dagstuhl Seminar" Formal Verification of Distributed Algorithms", 2013 | | 2013 |
ASCENT: a Formally Verified Decentralized Quasi-Certification Authority X Bonnaire, R Cortés, F Kordon, O Marin | | |