• Publications


  •  

     

    Show all

    120 entries « 1 of 3 »

    2016

    A Formal Study of Collaborative Access Control in Distributed Datalog (Conference)

    Abiteboul, Serge; Bourhis, Pierre; Vianu, Victor

    19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016.

    (Links | BibTeX)

    Verification of Hierarchical Artifact Systems (Conference)

    Deutsch, Alin; Li, Yuliang; Vianu, Victor

    PODS 2016, San Francisco, CA, USA, June 26 - July 01, 2016.

    (Links | BibTeX)

    Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes (Conference)

    Hull, Richard; Batra, Vishal; Chen, Yi-Min; Deutsch, Alin; III, Fenno Terry Heath; Vianu, Victor

    Service-Oriented Computing - 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016.

    (Links | BibTeX)

    2015

    Process-Centric Views of Data-Driven Business Artifacts (Conference)

    Koutsos, Adrien; Vianu, Victor

    ICDT, 2015, (International Conference on Database Theory).

    (Links | BibTeX)

    Highly Expressive Query Languages for Unordered Data Trees (Journal Article)

    Abiteboul, Serge; Bourhis, Pierre; Vianu, Victor

    Theory Comput. Syst., 57 (4), pp. 927–966, 2015.

    (Links | BibTeX)

    2014

    Automatic Verification of Database-Centric Systems (Miscellaneous)

    Deutsch, Alin; Hull, Richard; Vianu, Victor

    2014.

    (Links | BibTeX)

    Deduction with Contradictions in Datalog (Conference)

    Abiteboul, Serge; Deutch, Daniel; Vianu, Victor

    ICDT, 2014.

    (Links | BibTeX)

    2013

    Collaborative Data-Driven Workflows: Think Global, Act Local (Conference)

    Abiteboul, Serge; Vianu, Victor

    PODS, 2013.

    (Links | BibTeX)

    2012

    Artifact Systems with Data Dependencies and Arithmetic (Journal Article)

    Damaggio, Elio; Deutsch, Alin; Vianu, Victor

    TODS, 37 (2), 2012.

    (Links | BibTeX)

    Comparing Workflow Specification Languages: A Matter of Views (Journal Article)

    Abiteboul, Serge; Bourhis, Pierre; Vianu, Victor

    TODS, 37 (2), 2012.

    (Links | BibTeX)

    Highly Expressive Query Languages for Unordered Data Trees (Conference)

    Abiteboul, Serge; Bourhis, Pierre; Vianu, Victor

    ICDT, 2012.

    (Links | BibTeX)

    2011

    Automatic Verification of Data-Centric Business Processes (Conference)

    Damaggio, Elio; Deutsch, Alin; Hull, Richard; Vianu, Victor

    BPM, Springer, 2011, (Business Process Management).

    (Links | BibTeX)

    Artifact systems with data dependencies and arithmetic (Conference)

    Damaggio, Elio; Deutsch, Alin; Vianu, Victor

    ICDT, ACM, 2011, (International Conference on Database Theory).

    (Links | BibTeX)

    Comparing workflow specification languages: a matter of views (Conference)

    Abiteboul, Serge; Bourhis, Pierre; Vianu, Victor

    ICDT 2011, 2011.

    (Links | BibTeX)

    2010

    Views and Queries: Determinacy and Rewriting (Journal Article)

    Nash, Alan; Segoufin, Luc; Vianu, Victor

    TODS, 35 (3), 2010.

    (Links | BibTeX)

    2009

    Automatic Verification of Data-centric Business Processes (Conference)

    Deutsch, Alin; Hull, Richard; Patrizi, Fabio; Vianu, Victor

    ICDT, Springer, 2009, (International Conference on Database Theory).

    (Links | BibTeX)

    Computationally Complete Relational Query Languages (Book)

    Gucht, Dirk Van; Vianu, Victor

    Encyclopedia of Database Systems 2009, 2009.

    (BibTeX)

    Automatic verification of database-driven systems: a new frontier (Conference)

    Vianu, Victor

    ICDT, 2009, (International Conference on Database Theory).

    (Links | BibTeX)

    Static analysis of active XML systems (Journal Article)

    Abiteboul, Serge; Segoufin, Luc; Vianu, Victor

    TODS, 34 (4), 2009, (ACM Transactions on Database Systems).

    (Links | BibTeX)

    Modeling and Verifying Active XML Artifacts (Journal Article)

    Abiteboul, Serge; Segoufin, Luc; Vianu, Victor

    IEEE Data Engineering Bulletin, 32 (3), 2009.

    (Links | BibTeX)

    2008

    WAVE: Automatic Verification of Data-Driven Web Services (Journal Article)

    Deutsch, Alin; Vianu, Victor

    IEEE Data Engineering Bulletin, 31 (3), 2008.

    (Links | BibTeX)

    Static Analysis of Active XML Systems (Inproceeding)

    Abiteboul, Serge; Segoufin, Luc; Vianu, Victor

    PODS, 2008, (Symposium on Principles of Database Systems).

    (Links | BibTeX)

    2007

    Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report (Inproceeding)

    Segoufin, Luc; Nash, Alan; Vianu, Victor

    ICDT, 2007, (International Conference on Database Theory).

    (Links | BibTeX)

    Specification and Verification of Data-driven Web Applications (Journal Article)

    Deutsch, Alin; Sui, Liying; Vianu, Victor

    JCSS, 73 (3), 2007, (Journal of Computer and System Sciences).

    (Links | BibTeX)

    2006

    Representing and querying XML with incomplete information (Journal Article)

    Vianu, Victor; Abiteboul, Serge; Segoufin, Luc

    TODS, 31 (1), pp. 208-254, 2006, (ACM Transactions on Database Systems).

    (Links | BibTeX)

    Verification of Communicating Data-driven Web Services (Conference)

    Deutsch, Alin; Vianu, Victor; Sui, Liying; Zhou, Dayou

    PODS, 2006, (Symposium on Principles of Database Systems).

    (Links | BibTeX)

    A System for Specification and Verification of Interactive, Data-driven Web Applications (Miscellaneous)

    Deutsch, Alin; Vianu, Victor; Sui, Liying; Zhou, Dayou

    2006.

    (Links | BibTeX)

    2005

    The Role of Visual Tools in a Web Application Design and Verification Framework: a Visual Notation for LTL Formulae (Conference)

    Deutsch, Alin; Vianu, Victor; Sui, Liying; Brambilla, Marco

    ICWE, 2005, (International Conference on Web Engineering).

    (Links | BibTeX)

    A Verifier for Interactive, Data-driven Web Applications (Conference)

    Deutsch, Alin; Vianu, Victor; Sui, Liying; Zhou, Dayou; Marcus, Monica

    SIGMOD, 2005, (International Conference on Management of Data).

    (Links | BibTeX)

    Views and Queries: Determinacy and Rewriting (Conference)

    Vianu, Victor; Segoufin, Luc

    PODS, 2005, (Symposium on Principles of Database Systems).

    (Links | BibTeX)

    PTIME Queries Revisited (Conference)

    Vianu, Victor; Nash, Alan; Remmel, Jeff

    ICDT, 2005, (International Conference on Database Theory).

    (Links | BibTeX)

    2004

    Incremental Validation of XML Documents (Journal Article)

    Vianu, Victor; Papakonstantinou, Yannis; Balmin, Andrey

    TODS, 2004, (ACM Transactions on Database Systems).

    (Links | BibTeX)

    Specification and Verification of Data-Driven Web Services (Conference)

    Deutsch, Alin; Vianu, Victor; Sui, Liying

    PODS, 2004, (Symposium on Principles of Database Systems).

    (Links | BibTeX)

    Finite state machines for strings over infinite alphabets (Journal Article)

    Vianu, Victor; Neven, Frank; Schwentick, Thomas

    TOCL, 15 (3), pp. 403-435, 2004, (ACM Transactions on Computational Logic).

    (Links | BibTeX)

    2003

    XML: From Practice to Theory (Conference)

    Vianu, Victor

    SBBD, 2003, (Simposio Brasileiro de Bancos de Dados).

    (Links | BibTeX)

    Logic as a Query Language: From Frege to XML (Conference)

    Vianu, Victor

    STACS, 2003, (Symposium on Theoretical Aspects of Computer Science).

    (Links | BibTeX)

    Incremental Validation of XML Documents (Conference)

    Vianu, Victor; Papakonstantinou, Yannis

    ICDT, 2003, (International Conference on Database Theory).

    (Links | BibTeX)

    Typechecking for XML transformers (Journal Article)

    Suciu, Dan; Vianu, Victor; Milo, Tova

    JCSS, 66 (1), pp. 66-97, 2003, (Journal of Computer and System Sciences).

    (Links | BibTeX)

    Typechecking XML views of relational databases (Journal Article)

    Suciu, Dan; Vianu, Victor; Milo, Tova; Alon, Noga; Neven, Frank

    TOCL, 4 (3), pp. 315-354, 2003, (ACM Transactions on Computational Logic).

    (Links | BibTeX)

    XML with data values: typechecking revisited (Journal Article)

    Suciu, Dan; Vianu, Victor; Milo, Tova; Alon, Noga; Neven, Frank

    JCSS, 66 (4), pp. 688-727, 2003, (Journal of Computer and System Sciences).

    (Links | BibTeX)

    2002

    Validating Streaming XML Documents (Conference)

    Vianu, Victor; Segoufin, Luc

    PODS, 2002, (Symposium on Principles of Database Systems).

    (Links | BibTeX)

    2001

    Typechecking XML Views of Relational Databases (Conference)

    Suciu, Dan; Vianu, Victor; Milo, Tova; Alon, Noga; Neven, Frank

    LICS, 2001, (Logic in Computer Science).

    (BibTeX)

    XML with Data Values: Typechecking Revisited (Conference)

    Suciu, Dan; Vianu, Victor; Milo, Tova; Alon, Noga; Neven, Frank

    PODS, 2001, (Symposium on Principles of Database Systems).

    (BibTeX)

    A Web Odyssey: From Codd to XML (Conference)

    Vianu, Victor

    PODS, 2001, (Symposium on Principles of Database Systems).

    (Links | BibTeX)

    Towards Regular Languages over Infinite Alphabets (Conference)

    Vianu, Victor; Neven, Frank; Schwentick, Thomas

    MFCS, 2001, (Mathematical Foundations of Computer Science).

    (BibTeX)

    Representing and Querying XML with Incomplete Information (Conference)

    Vianu, Victor; Abiteboul, Serge; Segoufin, Luc

    PODS, 2001, (Symposium on Principles of Database Systems).

    (BibTeX)

    2000

    Querying Spatial Databases via Topological Invariants (Journal Article)

    Vianu, Victor; Segoufin, Luc

    JCSS, 61 (2), pp. 270-301, 2000, (Journal of Computer and System Sciences).

    (BibTeX)

    Queries and computation on the web (Journal Article)

    Vianu, Victor; Abiteboul, Serge

    TCS, 239 (2), pp. 231-255, 2000, (Theoretical Computer Science).

    (BibTeX)

    Relational Transducers for Electronic Commerce (Journal Article)

    Vianu, Victor; Abiteboul, Serge; Fordham, Brad; Yesha, Yelena

    JCSS, 61 (2), pp. 236-269, 2000, (Journal of Computer and System Sciences).

    (BibTeX)

    SIGMOD Sister Societies (Journal Article)

    Vianu, Victor; Ceri, Stefano; Kalinichenko, Leonid; Kitsuregawa, Masaru; Lu, Hongjun; Ozsoyoglu, Zehra; Snodgrass, Richard

    SIGMOD Record, 29 (1), pp. 4-15, 2000.

    (BibTeX)

    120 entries « 1 of 3 »