2007 Informatics Research Papers

James Cheney, A Ahmed, and U. A. Acar. "Provenance as Dependency Analysis". The Databases Programming Languages Conference (DBPL), 2007.

Loreto Bravo, James Cheney, and Irini Fundulaki. "Repairing Inconsistent XML Write-Access Control Policies". The Databases Programming Languages Conference (DBPL), 2007.

Leopoldo Bertossi and Loreto Bravo. "The Semantics of Consistency and Trust in Peer Data Exchange Systems". The 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2007.

Wenfei Fan. "XML Publishing: Bridging Theory and Practice". 11th International Symposium on Database Programming Languages (DBPL), Vienna, Austria, 2007 (invited talk).

Yu Zhang, Wenfei Fan, et al. "Extending Online Travel Agency with Adaptive Reservations". 15th International Conference on Cooperative Information Systems (CoopIS), Vilamoura, Algarve, Portugal, 2007.

James Cheney and Alberto Momigliano. "Mechanized Metatheory Model-Checking". In Proceedings of the 9th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Wroclaw, Poland, 2007, pp.75-86. Download paper.

Michael Benedikt, Leonid Libkin, and Frank Neven. "Logical Definability and Query Languages Over Ranked and Unranked Trees". In ACM Transactions on Computational Logic, vol. 8, iss. 2, April 2007. Download paper.

Wenfei Fan, Floris Geerts, and Frank Neven. "Expressiveness and Complexity of XML Publishing Transducers". In Proceedings of the 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS), Beijing, China, 2007, pp. 83-92. Download paper.

Wenfei Fan, Gao Cong, and Philip Bohannon. "Querying XML with Update Syntax". In Proceedings of the 2007 ACM SIGMOD International Conference on Management of Data, Beijing, China, 2007, pp. 293-304. Download paper.

Gao Cong, Wenfei Fan, Floris Geerts, Xibei Jia, and Shuai Ma. "Improving Data Quality: Consistency and Accuracy". 33rd International Conference on Very Large Data Bases (VLDB), University of Vienna, Austria, 2007.

Loreto Bravo, Wenfei Fan, and Shuai Ma. "Extending Dependencies with Conditions". 33rd International Conference on Very Large Data Bases (VLDB), University of Vienna, Austria, 2007.

Susan Davidson, Wenfei Fan, and Carmem Hara. "Propagating XML Constraints to Relations". In Journal of Computer and System Sciences (JCSS), vol. 73, iss. 3, 2007, pp. 316-361. Download paper.

Marcelo Arenas, Pablo Barcelo, and Leonid Libkin. "Combining Temporal Logics for Querying XML Documents". 11th International Conference on Database Theory (ICDT 2007), Barcelona, Spain. Download paper.

Peter Buneman, James Cheney, and Stijn Vansummeren. "On the expressiveness of implicit provenance in query and update languages". 11th International Conference on Database Theory (ICDT 2007), Barcelona, Spain. Download paper.

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, and Scott Weinstein. "Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)". S. 2007, XIII, 437 p., 35 illus., Hardcover ISBN: 978-3-540-00428-8. Buy from Springer.

Gao Cong, Wenfei Fan, and Anastasios Kementsietsidis. "Distributed Query Evaluation with Performance Guarantees". In Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, 2007, pp. 509-520. Download paper.

Philip Bohannon, Wenfei Fan, Floris Geerts, Xibei Jia, and Anastasios Kementsietsidis. "Conditional Functional Dependencies for Data Cleaning". Best paper award at 23rd International Conference on Database Engineering (ICDE), Istanbul, Turkey, 2007. Download paper.

Wenfei Fan, Floris Geerts, Xibei Jia, and Anastasios Kementsietsidis. "Rewriting Regular XPath Queries on XML Views". 23rd International Conference on Database Engineering (ICDE), Istanbul, Turkey, 2007. Download paper.

Byron Choi, Gao Cong, Wenfei Fan, and Stratis D. Viglas. "Updating Recursive XML Views of Relations". 23rd International Conference on Database Engineering (ICDE), Istanbul, Turkey, 2007. Download paper.

Stratis D. Viglas. "Distributed File Structures in a Peer-to-Peer Environment". 23rd International Conference on Database Engineering (ICDE), Istanbul, Turkey, 2007. Download paper.

Sihem Amer-Yahia, Irini Fundulaki, and Laks Lakshmanan. "Personalizing XML Search in PIMENTO". 23rd International Conference on Database Engineering (ICDE), Istanbul, Turkey, 2007. Download paper.