138 citations
- Amazon (United States)US6 papers
- University of BristolGB3 papers
- University of OxfordGB3 papers
- Amazon (Germany)DE2 papers
- Universidad Politécnica de MadridES2 papers
- University of AmsterdamNL2 papers
- University of EdinburghGB2 papers
- University of SheffieldGB2 papers
- Aalto UniversityFI1 paper
- Allen InstituteUS1 paper
- Amsterdam University of the ArtsNL1 paper
- Bilkent UniversityTR1 paper
Showing cs.DBShow all
2 papers · 1 filter
cs.DB2024
Models for Storage in Database Backends
Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa +3
This paper describes ongoing work on developing a formal specification of a database backend. We present the formalisation of the expected behaviour of a basic transactional system…
cs.DB2020★ 1 cited
SLIM: Scalable Linkage of Mobility Data
Fuat Basık, Hakan Ferhatosmanoğlu, Buğra Gedik
We present a scalable solution to link entities across mobility datasets using their spatio-temporal information. This is a fundamental problem in many applications such as linking…