1. Foundations of Databases;Abiteboul,1995
2. Data exchange in the presence of arithmetic comparisons;Afrati,2008
3. Optimizing joins in a map-reduce environment;Afrati,2010
4. Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1–4, 2010. Proceedings, vol. 6418;Barringer,2010
5. Quantified event automata: towards expressive and efficient runtime monitors;Barringer,2012