The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Victor Vianu" ( http://dblp.L3S.de/Authors/Victor_Vianu )

URL (Homepage):  http://www-cse.ucsd.edu/users/vianu  Author page on DBLP  Author page in RDF  Community of Victor Vianu in ASPL-2

Publication years (Num. hits)
1977-1988 (19) 1989-1991 (15) 1992-1995 (17) 1996-1998 (16) 1999-2000 (18) 2001-2003 (15) 2004-2006 (15) 2007-2009 (15) 2010-2012 (20) 2013-2014 (15) 2015-2017 (16) 2018-2019 (6)
Publication types (Num. hits)
article(93) book(1) incollection(4) inproceedings(82) proceedings(7)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 30 occurrences of 24 keywords

Results
Found 188 publication records. Showing 187 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alin Deutsch, Yuliang Li 0001, Victor Vianu Verification of Hierarchical Artifact Systems. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jianwen Su, Dirk Van Gucht, Victor Vianu 2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award. Search on Bibsonomy PODS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Victor Vianu, Dirk Van Gucht Computationally Complete Relational Query Languages. Search on Bibsonomy Encyclopedia of Database Systems (2nd ed.) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alin Deutsch, Richard Hull 0001, Yuliang Li 0001, Victor Vianu Automatic verification of database-centric systems. Search on Bibsonomy SIGLOG News The full citation details ... 2018 DBLP  BibTeX  RDF
1Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull 0001, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi 0001 Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Search on Bibsonomy Dagstuhl Manifestos The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Pierre Bourhis, Victor Vianu Explanations and Transparency in Collaborative Workflows. Search on Bibsonomy PODS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adrien Koutsos, Victor Vianu Process-centric views of data-driven business artifacts. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull 0001, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi 0001 Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Yuliang Li 0001, Alin Deutsch, Victor Vianu A Spin-based Verifier for Artifact Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alin Deutsch, Yuliang Li 0001, Victor Vianu VERIFAS: A Practical Verifier for Artifact Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Yuliang Li 0001, Alin Deutsch, Victor Vianu VERIFAS: A Practical Verifier for Artifact Systems. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull 0001, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi 0001 Research Directions for Principles of Data Management (Abridged). Search on Bibsonomy SIGMOD Record The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alin Deutsch, Yuliang Li 0001, Victor Vianu Verification of Hierarchical Artifact Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Richard Hull 0001, Vishal S. Batra, Yi-Min Chen, Alin Deutsch, Fenno F. Terry Heath III, Victor Vianu Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes. Search on Bibsonomy ICSOC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alin Deutsch, Yuliang Li 0001, Victor Vianu Verification of Hierarchical Artifact Systems. Search on Bibsonomy PODS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Pierre Bourhis, Victor Vianu A Formal Study of Collaborative Access Control in Distributed Datalog. Search on Bibsonomy ICDT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited Article Foreword. Search on Bibsonomy J. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited Article Foreword. Search on Bibsonomy J. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited Articles Foreword. Search on Bibsonomy J. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Pierre Bourhis, Victor Vianu Highly Expressive Query Languages for Unordered Data Trees. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adrien Koutsos, Victor Vianu Process-Centric Views of Data-Driven Business Artifacts. Search on Bibsonomy ICDT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Victor Vianu Analysis of Data-Centric Workfows. Search on Bibsonomy AMW The full citation details ... 2015 DBLP  BibTeX  RDF
1Alin Deutsch, Richard Hull 0001, Victor Vianu Automatic Verification of Database-Centric Systems. Search on Bibsonomy SIGMOD Record The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited article foreword. Search on Bibsonomy J. ACM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Victor Vianu Foreword to Invited Articles Section. Search on Bibsonomy J. ACM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited Articles Foreword. Search on Bibsonomy J. ACM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited Article Foreword. Search on Bibsonomy J. ACM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Daniel Deutch, Victor Vianu Deduction with Contradictions in Datalog. Search on Bibsonomy ICDT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited Article Foreword. Search on Bibsonomy J. ACM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited article foreword. Search on Bibsonomy J. ACM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited article foreword. Search on Bibsonomy J. ACM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited Article Foreword. Search on Bibsonomy J. ACM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Victor Vianu Editorial: JACM redux. Search on Bibsonomy J. ACM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited articles foreword. Search on Bibsonomy J. ACM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi, Victor Vianu What is a flagship publication? Search on Bibsonomy Commun. ACM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Victor Vianu Models for Data-Centric Workflows. Search on Bibsonomy In Search of Elegance in the Theory and Practice of Computation The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Victor Vianu Collaborative data-driven workflows: think global, act local. Search on Bibsonomy PODS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited article foreword. Search on Bibsonomy J. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited Article Foreword. Search on Bibsonomy J. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited Article Foreword. Search on Bibsonomy J. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited article foreword. Search on Bibsonomy J. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited article foreword. Search on Bibsonomy J. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Pierre Bourhis, Victor Vianu Comparing workflow specification languages: A matter of views. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elio Damaggio, Alin Deutsch, Victor Vianu Artifact systems with data dependencies and arithmetic. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Pierre Senellart, Victor Vianu The ERC webdam on foundations of web data management. Search on Bibsonomy WWW (Companion Volume) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Pierre Bourhis, Victor Vianu Highly expressive query languages for unordered data trees. Search on Bibsonomy ICDT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited articles foreword. Search on Bibsonomy J. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited Articles Foreword. Search on Bibsonomy J. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Victor Vianu Introduction to JACM invited article. Search on Bibsonomy J. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited Article Foreword. Search on Bibsonomy J. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elio Damaggio, Alin Deutsch, Richard Hull 0001, Victor Vianu Automatic Verification of Data-Centric Business Processes. Search on Bibsonomy BPM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elio Damaggio, Alin Deutsch, Victor Vianu Artifact systems with data dependencies and arithmetic. Search on Bibsonomy ICDT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Pierre Bourhis, Victor Vianu Comparing workflow specification languages: a matter of views. Search on Bibsonomy ICDT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Victor Vianu Editorial: JACM at the start of a new decade. Search on Bibsonomy J. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Victor Vianu Invited articles section foreword. Search on Bibsonomy J. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Victor Vianu JACM at the start of a new decade. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alan Nash, Luc Segoufin, Victor Vianu Views and queries: Determinacy and rewriting. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Victor Vianu, Dirk Van Gucht Computationally Complete Relational Query Languages. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Luc Segoufin, Victor Vianu Modeling and Verifying Active XML Artifacts. Search on Bibsonomy IEEE Data Eng. Bull. The full citation details ... 2009 DBLP  BibTeX  RDF
1Leonid Libkin, Victor Vianu Introduction to PODS 2007 special section. Search on Bibsonomy J. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Victor Vianu, Jan Van den Bussche Introduction to PODS 2006 special section. Search on Bibsonomy J. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Luc Segoufin, Victor Vianu Static analysis of active XML systems. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alin Deutsch, Richard Hull 0001, Fabio Patrizi, Victor Vianu Automatic verification of data-centric business processes. Search on Bibsonomy ICDT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Victor Vianu Automatic verification of database-driven systems: a new frontier. Search on Bibsonomy ICDT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alin Deutsch, Victor Vianu WAVE: Automatic Verification of Data-Driven Web Services. Search on Bibsonomy IEEE Data Eng. Bull. The full citation details ... 2008 DBLP  BibTeX  RDF
1Victor Vianu Database theory column. Search on Bibsonomy SIGACT News The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu 08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data. Search on Bibsonomy Beyond the Finite: New Challenges in Verification and Semistructured Data The full citation details ... 2008 DBLP  BibTeX  RDF
1Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu 08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data. Search on Bibsonomy Beyond the Finite: New Challenges in Verification and Semistructured Data The full citation details ... 2008 DBLP  BibTeX  RDF
1Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu (eds.) Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008 Search on Bibsonomy Beyond the Finite: New Challenges in Verification and Semistructured Data The full citation details ... 2008 DBLP  BibTeX  RDF
1Serge Abiteboul, Luc Segoufin, Victor Vianu Static analysis of active XML systems. Search on Bibsonomy PODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF active xml, automatic verification, temporal properties
1Alin Deutsch, Liying Sui, Victor Vianu Specification and verification of data-driven Web applications. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alan Nash, Luc Segoufin, Victor Vianu Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. Search on Bibsonomy ICDT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dan Suciu, Victor Vianu Introduction. Search on Bibsonomy J. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Luc Segoufin, Victor Vianu Representing and querying XML with incomplete information. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF XML, Incomplete information
1Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou A system for specification and verification of interactive, data-driven web applications. Search on Bibsonomy SIGMOD Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF database-driven, interactive, specification, web application, automatic verification
1Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou Verification of communicating data-driven web services. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Richard Hull 0001, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi In memory of Seymour Ginsburg 1928 - 2004. Search on Bibsonomy SIGMOD Record The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tova Milo, Victor Vianu Introduction. Search on Bibsonomy J. ACM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou A Verifier for Interactive, Data-Driven Web Applications. Search on Bibsonomy SIGMOD Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Luc Segoufin, Victor Vianu Views and queries: determinacy and rewriting. Search on Bibsonomy PODS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stéphane Grumbach, Liying Sui, Victor Vianu (eds.) Advances in Computer Science - ASIAN 2005, Data Management on the Web, 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings Search on Bibsonomy ASIAN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Brambilla 0001, Alin Deutsch, Liying Sui, Victor Vianu The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae. Search on Bibsonomy ICWE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alan Nash, Jeffrey B. Remmel, Victor Vianu PTIME Queries Revisited. Search on Bibsonomy ICDT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Frank Neven, Thomas Schwentick, Victor Vianu Finite state machines for strings over infinite alphabets. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF infinite alphabets, XML, Automata, first-order logic, expressiveness, pebbles, monadic second-order logic, registers
1Phokion G. Kolaitis, Victor Vianu Foreword. Search on Bibsonomy J. ACM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Andrey Balmin, Yannis Papakonstantinou, Victor Vianu Incremental validation of XML documents. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF XML, validation, Update
1Alin Deutsch, Liying Sui, Victor Vianu Specification and Verification of Data-driven Web Services. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu Typechecking XML views of relational databases. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF typechecking, XML, Complexity, relational databases, logic
1Victor Vianu A Web odyssey: from codd to XML. Search on Bibsonomy SIGMOD Record The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu XML with data values: typechecking revisited. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Tova Milo, Dan Suciu, Victor Vianu Typechecking for XML transformers. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Victor Vianu XML: From Practice to Theory. Search on Bibsonomy SBBD The full citation details ... 2003 DBLP  BibTeX  RDF
1Victor Vianu Logic as a Query Language: From Frege to XML. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yannis Papakonstantinou, Victor Vianu Incremental Validation of XML Documents. Search on Bibsonomy ICDT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Luc Segoufin, Victor Vianu Validating Streaming XML Documents. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF XML
1Joseph Y. Halpern, Robert Harper 0001, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu On the unusual effectiveness of logic in computer science. Search on Bibsonomy Bulletin of Symbolic Logic The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu Typechecking XML Views of Relational Databases. Search on Bibsonomy LICS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Frank Neven, Thomas Schwentick, Victor Vianu Towards Regular Languages over Infinite Alphabets. Search on Bibsonomy MFCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Luc Segoufin, Victor Vianu Representing and Querying XML with Incomplete Information. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu XML with Data Values: Typechecking Revisited. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 187 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license