Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Maier
S-Store
Proceedings of the VLDB Endowment
Computer Science
Confluence Analysis for Distributed Programs: A Model-Theoretic Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Finding Haystacks With Needles: Ranked Search for Data Using Geospatial and Temporal Characteristics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic and Lattices for Distributed Programming
Optimizing Object Queries Using an Effective Calculus
ACM Transactions on Database Systems
Information Systems
Improving Travel Information Products via Robust Estimation Techniques
Travel Time Estimation Using NiagaraST and Latte
An Algebraic Framework for Physical OODB Design
