EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1S. Abiteboul, I. Manolescu, P. Rigaux, M.-C. Rousset, P. Senellart.

    Web Data Management, Cambridge University Press, 2012, 456 p.

    http://hal.inria.fr/hal-00677720
  • 2S. Abiteboul, L. Segoufin, V. Vianu.

    Static Analysis of Active XML Systems, in: ACM Transactions on Database Systems, 2009, vol. 34, no 4.
  • 3P. Barceló, L. Libkin, A. Poggi, C. Sirangelo.

    XML with incomplete information, in: J. ACM, 2010, vol. 58, no 1.
  • 4M. Bojanczyk, L. Segoufin, H. Straubing.

    Piecewise testable tree languages, in: Logical Methods in Computer Science (LMCS), 2012, vol. 8, no 3.
  • 5M. Bojańczyk, C. David, A. Muscholl, T. Schwentick, L. Segoufin.

    Two-variable logic on words with data, in: ACM Trans. on Computational Logic (ToCL), 2011, vol. 12, no 4.
  • 6M. Bojańczyk, A. Muscholl, Th. Schwentick, L. Segoufin.

    Two-variable logic on data trees and applications to XML reasoning, in: Journal of the ACM, 2009, vol. 56, no 3.
  • 7Balder ten. Cate, L. Segoufin.

    Transitive Closure Logic, Nested Tree Walking Automata, and XPath, in: Journal of the ACM, 2010, vol. 57, no 3.
  • 8B. Cautis, S. Abiteboul, T. Milo.

    Reasoning about XML update constraints, in: Journal of Computer and System Sciences, 2009, vol. 75, no 6, p. 336-358.
  • 9L. Libkin, C. Sirangelo.

    Reasoning about XML with temporal logics and automata, in: Journal of Applied Logic, 2010, vol. 8, no 2, p. 210-232.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/LS-jal10.pdf
  • 10L. Libkin, C. Sirangelo.

    Data exchange and schema mappings in open and closed worlds, in: Journal of Computer System Sciences (JCSS), 2011.
Publications of the year

Articles in International Peer-Reviewed Journals

  • 11S. Abiteboul, P. Bourhis, V. Vianu.

    Comparing workflow specification languages: A matter of views, in: ACM Trans. on Database systems (ToDS), 2012, vol. 37, no 2, 10 p.
  • 12M. Bojanczyk, L. Segoufin, H. Straubing.

    Piecewise testable tree languages, in: Logical Methods in Computer Science (LMCS), 2012, vol. 8, no 3.

International Conferences with Proceedings

  • 13S. Abiteboul.

    Sharing Distributed Knowledge on the Web (Invited Talk), in: Proc. of Computer Science Logic (CSL), 2012, p. 6-8.
  • 14S. Abiteboul.

    Viewing the Web as a Distributed Knowledge Base, in: Description Logics, 2012.
  • 15S. Abiteboul, Y. Amsterdamer, D. Deutch, T. Milo, P. Senellart.

    Finding optimal probabilistic generators for XML collections, in: Proc. of Intl. Conf. on Database Theory (ICDT), 2012, p. 127-139.
  • 16S. Abiteboul, E. Antoine, J. Stoyanovich.

    Viewing the Web as a Distributed Knowledge Base, in: Proc. of Intl. Conf. on Database Engineering (ICDE), 2012, p. 1-4.
  • 17S. Abiteboul, M. Bienvenu, D. Deutch.

    Deduction in the Presence of Distribution and Contradictions, in: WebDB, 2012, p. 31-36.
  • 18S. Abiteboul, P. Bourhis, V. Vianu.

    Highly expressive query languages for unordered data trees, in: Proc. of Intl. Conf. on Database Theory (ICDT), 2012, p. 46-60.
  • 19S. Abiteboul, P. Senellart, V. Vianu.

    The ERC webdam on foundations of web data management, in: WWW (Companion Volume), 2012, p. 211-214.
  • 20R. Bonnet, A. Finkel, M. Praveen.

    Extending the Rackoff technique to Affine nets, in: Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FST-TCS), Schloss Dagstuhl –Leibniz Center for Informatics, 2012.

Scientific Books (or Scientific Book chapters)



previous Previous | up Home