Search    Browse

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-2010 (16) 2011-2012 (10)
Publication types (Num. hits)
article(62) book(1) incollection(1) inproceedings(70) proceedings(7)
Venues (Conferences, Journals, ...)
PODS(26) J. ACM(17) ICDT(15) J. Comput. Syst. Sci.(12) ACM Trans. Database Syst.(6) SIGMOD Record(5) Theor. Comput. Sci.(5) ACM SIGMOD Digital Review(4) Ann. Math. Artif. Intell.(3) IEEE Data Eng. Bull.(3) LICS(3) SIGMOD Conference(3) ACM Trans. Comput. Log.(2) BDA(2) MFCS(2) VLDB(2) More (+10 of total 42)
Authors
Victor Vianu(141) Serge Abiteboul(42) Luc Segoufin(11) Alin Deutsch(10) Dan Suciu(9) Tova Milo(8) Liying Sui(7) Frank Neven(6) Moshe Y. Vardi(6) Christos H. Papadimitriou(5) Richard Hull(5) Stéphane Grumbach(5) Dino Karabeg(4) Gottfried Vossen(4) Noga Alon(4) Philippe Picouet(4) More (+10 of total 76)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 30 occurrences of 24 keywords
Results
Found 141 publication records. Showing 141 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
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 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
1Victor Vianu Invited Article 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 articles foreword. Search on Bibsonomy J. ACM 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
1Elio Damaggio, Alin Deutsch, Richard Hull, Victor Vianu Automatic Verification of Data-Centric Business Processes. Search on Bibsonomy BPM The full citation details ... 2011 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 JACM at the start of a new decade. Search on Bibsonomy Commun. ACM The full citation details ... 2010 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
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
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
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
1Alin Deutsch, Richard Hull, 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
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
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
1Dan Suciu, Victor Vianu Introduction. Search on Bibsonomy J. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
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, 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
1Marco Brambilla, 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
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  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
1Alan Nash, Jeffrey B. Remmel, Victor Vianu PTIME Queries Revisited. Search on Bibsonomy ICDT 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
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
1Phokion G. Kolaitis, Victor Vianu Foreword. Search on Bibsonomy J. ACM The full citation details ... 2004 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
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
1Victor Vianu A Web odyssey: from codd to XML. Search on Bibsonomy SIGMOD Record 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
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
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 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
1Victor Vianu XML: From Practice to Theory. Search on Bibsonomy SBBD The full citation details ... 2003 DBLP  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, 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  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
1Jan Van den Bussche, Victor Vianu (eds.) Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings. Search on Bibsonomy ICDT The full citation details ... 2001 DBLP  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
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
1Victor Vianu A Web Odyssey: From Codd to XML. (PDF / PS) Search on Bibsonomy PODS 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
1Serge Abiteboul, Victor Vianu Queries and computation on the web. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Stefano Ceri, Leonid A. Kalinichenko, Masaru Kitsuregawa, Hongjun Lu, Z. Meral Özsoyoglu, Richard T. Snodgrass, Victor Vianu SIGMOD Sister Societies. Search on Bibsonomy SIGMOD Record The full citation details ... 2000 DBLP  BibTeX  RDF
1Kenneth A. Ross, Christos Faloutsos, Alon Y. Levy, Patrick E. O'Neil, Eric Simon, Divesh Srivastava, Victor Vianu, Gerhard Weikum Reminiscences on Influential Papers. Search on Bibsonomy SIGMOD Record The full citation details ... 2000 DBLP  BibTeX  RDF
1Victor Vianu Review - On Instance-Completeness for Database Query Languages involving Object Creation. Search on Bibsonomy ACM SIGMOD Digital Review The full citation details ... 2000 DBLP  BibTeX  RDF
1Victor Vianu Review - Computable Queries for Relational Data Bases. Search on Bibsonomy ACM SIGMOD Digital Review The full citation details ... 2000 DBLP  BibTeX  RDF
1Victor Vianu Review - Exact and Approximate Aggregation in Constraint Query. Search on Bibsonomy ACM SIGMOD Digital Review The full citation details ... 2000 DBLP  BibTeX  RDF
1Victor Vianu Review - Hypothetical Datalog: Complexity and Expressibility. Search on Bibsonomy ACM SIGMOD Digital Review The full citation details ... 2000 DBLP  BibTeX  RDF
1Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha Relational Transducers for Electronic Commerce. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Luc Segoufin, Victor Vianu Querying Spatial Databases via Topological Invariants. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Bart Kuijpers, Victor Vianu Topological Queries. Search on Bibsonomy Constraint Databases The full citation details ... 2000 DBLP  BibTeX  RDF
1Tova Milo, Dan Suciu, Victor Vianu Typechecking for XML Transformers. Search on Bibsonomy PODS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Victor Vianu, Georg Gottlob (eds.) Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA Search on Bibsonomy 2000 DBLP  BibTeX  RDF
1Yannis Papakonstantinou, Victor Vianu DTD Inference for Views of XML Data. Search on Bibsonomy PODS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Victor Vianu, Georg Gottlob (eds.) Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA Search on Bibsonomy 2000 DBLP  BibTeX  RDF
1Christos H. Papadimitriou, Dan Suciu, Victor Vianu Topological Queries in Spatial Databases. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Victor Vianu Regular Path Queries with Constraints. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Victor Vianu Topological Queries in Spatial Databases. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Victor Vianu, Christos H. Papadimitriou (eds.) Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia, Pennsylvania, USA Search on Bibsonomy 1999 DBLP  BibTeX  RDF
1Sérgio Lifschitz, Victor Vianu A Probabilistic View of Datalog Parallelization. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu Reflective Relational Machines. Search on Bibsonomy Inf. Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Philippe Picouet, Victor Vianu Semantics and Expressiveness Issues in Active Databases. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Chaitanya K. Baru, Bertram Ludäscher, Yannis Papakonstantinou, Pavel Velikhov, Victor Vianu Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation. Search on Bibsonomy QL The full citation details ... 1998 DBLP  BibTeX  RDF
1Serge Abiteboul, Bernd Amann, Sophie Cluet, Tova Milo, Victor Vianu Active Views for Electronic Commerce. Search on Bibsonomy BDA The full citation details ... 1998 DBLP  BibTeX  RDF
1Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha Relational Transducers for Electronic Commerce. Search on Bibsonomy PODS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Luc Segoufin, Victor Vianu Querying Spatial Databases via Topological Invariants. Search on Bibsonomy PODS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Moshe Y. Vardi, Victor Vianu Fixpoint logics, relational machines, and computational complexity. Search on Bibsonomy J. ACM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF fixpoint logic, relational complexity, computational complexity, complexity classes
1Victor Vianu Rule-Based Languages. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace (eds.) Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers Search on Bibsonomy CDB The full citation details ... 1997 DBLP  BibTeX  RDF
1Philippe Picouet, Victor Vianu Expressiveness and Complexity of Active Databases. Search on Bibsonomy ICDT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Victor Vianu Queries and Computation on the Web. Search on Bibsonomy ICDT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Victor Vianu Regular Path Queries with Constraints. Search on Bibsonomy PODS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Datalog
1Philippe Picouet, Victor Vianu Modélisation Formelle des Bases de Données Actives. Search on Bibsonomy BDA The full citation details ... 1996 DBLP  BibTeX  RDF
1Victor Vianu Databases and Finite-Model Theory. Search on Bibsonomy Descriptive Complexity and Finite Models The full citation details ... 1996 DBLP  BibTeX  RDF
1Christos H. Papadimitriou, Dan Suciu, Victor Vianu Topological Queries in Spatial Databases. Search on Bibsonomy PODS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Moshe Y. Vardi, Victor Vianu Computing with Infinitary Logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Victor Vianu Computing with First-Order Logic. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Stéphane Grumbach, Victor Vianu Tractable Query Languages for Complex Object Databases. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Richard Hull, Victor Vianu Foundations of Databases. Search on Bibsonomy 1995 DBLP  BibTeX  RDF
1Sérgio Lifschitz, Victor Vianu A Probabilistic View of Datalog Parallelization. Search on Bibsonomy ICDT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Philippe Picouet, Victor Vianu Semantics and Expressiveness Issues in Active Databases. Search on Bibsonomy PODS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Datalog
1Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu The Power of Reflective Relational Machines Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Victor Vianu (eds.) Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA Search on Bibsonomy 1994 DBLP  BibTeX  RDF
1Victor Vianu, Gottfried Vossen Static and Dynamic Aspects of Goal-Oriented Concurrency Control. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Victor Vianu Computing on Structures. Search on Bibsonomy ICALP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 141 (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.