Victor Vianu | Academic Influence

Victor Vianu's AcademicInfluence.com Rankings

Victor Vianu

Computer Science

#1638

World Rank

#1693

Historical Rank

Information Technology

#52

World Rank

#53

Historical Rank

Programming

#72

World Rank

#75

Historical Rank

Database

#544

World Rank

#571

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Victor Vianu's Degrees

PhD Computer Science University of Pennsylvania
Masters Computer Science University of Pennsylvania
Bachelors Mathematics University of Bucharest

Similar Degrees You Can Earn

Why Is Victor Vianu Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Victor Vianu is a computer scientist, a professor of computer science and engineering at the University of California, San Diego. He served as editor-in-chief of the Journal of the ACM from 2009 to 2015.

(See a Problem?)

Victor Vianu's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Foundations of Databases (1994) (4425)
Journal of the ACM (2006) (891)
Foundations of Databases: The Logical Level (1995) (359)
Invited articles section foreword (2010) (356)
Typechecking for XML transformers (2000) (313)
Datalog Extensions for Database Queries and Updates (1991) (307)
Regular path queries with constraints (1997) (289)
Finite state machines for strings over infinite alphabets (2004) (283)
Automatic verification of data-centric business processes (2009) (273)
DTD inference for views of XML data (2000) (245)
Generic Computation and its complexity (1991) (209)
Edinburgh Why and Where: A Characterization of Data Provenance (2017) (176)
Validating streaming XML documents (2002) (172)
Views and queries: determinacy and rewriting (2005) (168)
Incremental validation of XML documents (2003) (167)
Relational transducers for electronic commerce (1998) (167)
Queries and computation on the web (1997) (143)
Procedural and declarative database update languages (1988) (119)
Specification and verification of data-driven Web applications (2007) (118)
Fixpoint extensions of first-order logic and datalog-like languages (1989) (118)
Topological queries in spatial databases (1996) (115)
XML with data values: typechecking revisited (2001) (113)
Representing and querying XML with incomplete information (2006) (110)
On the Unusual Effectiveness of Logic in Computer Science (2001) (103)
Active Views for Electronic Commerce (1999) (101)
Procedural Languages for Database Queries and Updates (1990) (97)
Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes (2016) (97)
Specification and verification of data-driven web services (2004) (95)
A Web odyssey: from codd to XML (2003) (95)
Fixpoint logics, relational machines, and computational complexity (1992) (93)
Verification of communicating data-driven web services (2006) (92)
Computing with First-Order Logic (1995) (86)
Non-deterministic languages to express deterministic transformations (1990) (82)
Artifact systems with data dependencies and arithmetic (2012) (78)
Towards Regular Languages over Infinite Alphabets (2001) (74)
Mapping a semantic database model to the relational model (1987) (73)
A Web Odyssey: from Codd to XML (2001) (72)
Dynamic functional dependencies and database aging (1987) (71)
A verifier for interactive, data-driven web applications (2005) (66)
Tractable query languages for complex object databases (1991) (65)
Automatic verification of database-driven systems: a new frontier (2009) (59)
Equivalence and optimization of relational transactions (1988) (55)
Representing and querying XML with incomplete information (2001) (54)
Static analysis of active XML systems (2009) (53)
A translation language complete for database update and specification (1987) (53)
Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report (2007) (50)
Semantics and Expressiveness Issues in Active Databases (1998) (48)
Typechecking XML views of relational databases (2001) (47)
View Definition and DTD Inference for XML (1999) (46)
Transactions and integrity constraints (1985) (43)
Querying spatial databases via topological invariants (1998) (39)
VERIFAS: A Practical Verifier for Artifact Systems (2017) (37)
Artifact systems with data dependencies and arithmetic (2011) (37)
A transaction-based approach to relational database specification (1989) (37)
Automatic Verification of Database-Centric Systems (2018) (34)
Verification of Hierarchical Artifact Systems (2016) (33)
Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation (1998) (33)
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae (2005) (32)
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151) (2017) (29)
Computing with Infinitary Logic (1995) (28)
Dynamic constraints and database evolution (1983) (28)
Rule-based languages (2004) (28)
Semantics and expressiveness issues in active databases (extended abstract) (1995) (25)
Expressive Power of Query Languages (1991) (23)
Highly Expressive Query Languages for Unordered Data Trees (2012) (22)
Connectionist Model (2009) (22)
Research Directions for Principles of Data Management (Abridged) (2017) (21)
Modeling and Verifying Active XML Artifacts (2009) (21)
Queries are easier than you thought (probably) (1992) (20)
Automatic verification of database-centric systems (2014) (20)
PTIME Queries Revisited (2005) (19)
Constraint Databases and Application (1995) (18)
Transactions in Relational Databases (Preliminary Report) (1984) (18)
Correlation Clustering (2009) (17)
Deduction with Contradictions in Datalog (2014) (17)
WAVE: Automatic Verification of Data-Driven Web Services (2008) (17)
The power of reflective relational machines (1994) (17)
Comparing workflow specification languages: A matter of views (2012) (16)
The Power of Methods With Parallel Semantics (1991) (15)
Simplification rules and complete axiomatization for relational update transactions (1991) (15)
Collaborative data-driven workflows: think global, act local (2013) (15)
Conditional Routing (2009) (14)
Databases and Finite-Model Theory (1996) (14)
Expressiveness and Complexity of Active Databases (1997) (14)
Playing Games with Objects (1990) (14)
Reflective Relational Machines (1998) (13)
Database method schemas and object creation (1993) (13)
Conceptual Level Concurrency Control of Relational Update Transactions (1988) (13)
Non-determinism in logic-based languages (1991) (12)
Deciding properties of transactional schemas (1985) (10)
Verification of Hierarchical Artifact Systems (2019) (9)
The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications (1988) (9)
Research Directions for Principles of Data Management (2018) (8)
A dynamic framework for object projection views (1988) (8)
Static analysis of active XML systems (2008) (8)
A Formal Study of Collaborative Access Control in Distributed Datalog (2016) (7)
Expressiveness and Complexity of Restricted Languages for Complex Objects (1992) (7)
A Probabilistic View of Datalog Parallelization (1995) (7)
Axiomatization and simplification rules for relational transactions (1987) (7)
Process-centric views of data-driven business artifacts (2017) (6)
The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space (1977) (6)
Comparing workflow specification languages: a matter of views (2011) (6)
Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (1999) (6)
Goal-Oriented Concurrency Control (1989) (5)
Parallel Update Transactions (1990) (5)
The ERC webdam on foundations of web data management (2012) (5)
Content-based Retrieval (2009) (5)
Computing on Structures (1993) (4)
Object projection views in the dynamic relational model (1984) (4)
Database Theory — ICDT 2001 (2001) (4)
Static and dynamic aspects of goal-oriented concurrency control (1993) (4)
New hope on data models and types: report of an NSF-INRIA workshop (1990) (4)
Conceptual Data Model (2009) (4)
Topological Queries (2000) (4)
Computationally Complete Relational Query Languages (2009) (3)
XML: From Practice to Theory (2003) (3)
Datalog Unchained (2021) (3)
In memory of Seymour Ginsburg 1928 - 2004 (2005) (3)
Proceedings of the 8th International Conference on Database Theory (2001) (3)
Logic as a Query Language: From Frege to XML (2003) (3)
SIGMOD Sister Societies (2000) (3)
A Spin-based Verifier for Artifact Systems (2017) (2)
Tableaux which Define Expression Mappings (1981) (2)
Computer Human Interaction (CHI) (2009) (2)
Expressiveness and Complexity of Concurrent Constraint Programming: a Finite Model Theoretic Approach Frann Cois Fages (1998) (2)
The Power of Re ective Relational MachinesS (1994) (1)
SpinArt: A Spin-based Verifier for Artifact Systems (2017) (1)
Second International Workshop on Constraint Database Systems, Constraint Databases and Their Applications (1997) (1)
Cache Performance (2009) (1)
Queries and Computa t ion on the Web * (1)
Explanations and Transparency in Collaborative Workflows (2018) (1)
Relational Translations of Semantic Models: A Case Study Based on Iris (1988) (1)
Review - Computable Queries for Relational Data Bases (2000) (1)
08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data (2008) (1)
Projection Views of Register Automata (2020) (1)
What is a flagship publication? (2013) (1)
Models for Data-Centric Workflows (2013) (1)
Invited Articles Foreword (2015) (1)
Parallel Update Transactions (Extended Abstract) (1988) (1)
Database Theory - ICDT 2001: 8th International Conference London, UK, January 4-6, 2001 Proceedings (2001) (1)
Editorial: JACM at the start of a new decade (2010) (0)
Computer-based Provider Order Entry (2009) (0)
Review - Hypothetical Datalog: Complexity and Expressibility (2000) (0)
Clinical Data Management Systems (2009) (0)
Invited article foreword (2012) (0)
Introduction to PODS 2007 special section (2009) (0)
Invited article foreword (2013) (0)
Invited article foreword (2013) (0)
Invited article foreword (2012) (0)
Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the web (2005) (0)
Classification Tree (2009) (0)
Cross-media Information Retrieval (2009) (0)
Invited Articles Foreword (2011) (0)
Data-driven web applications (2005) (0)
Management of Data and Knowledge Distributed Over the Web (2005) (0)
Introduction to PODS 2006 special section (2009) (0)
Database survivability under dynamic constraints (2004) (0)
Analysis of Data-Centric Workfows (2015) (0)
PODS 30th Anniversary Colloquium (2011) (0)
Database Theory Column Database Metatheory: Asking the Big Queries (1995) (0)
Invited Articles Foreword (2014) (0)
Finite Model Theory, Databases, and Computer-Aided Verification (Dagstuhl Seminar 99401) (2021) (0)
Editorial (2010) (0)
Conflict Serializability (2009) (0)
Invited Article Foreword (2015) (0)
New Hope on Types and Data Models: report of an NSF-INRIA workshop (1990) (0)
Invited Article Foreword (2015) (0)
Reminiscences on influential papers (2003) (0)
JACM at the start of a new decade (2010) (0)
Principles of Data Management (Abridged) (2017) (0)
Invited Article Foreword (2013) (0)
DTD Inference for Views of XML Data (AMERICA251) (1999) (0)
Invited Articles Foreword (2015) (0)
Collection Beyond the Finite : New Challenges in Veri cation and Semistructured Data Dagstuhl Seminar (2008) (0)
2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award (2019) (0)
Invited Article Foreword (2012) (0)
Conceptual Modeling (1999) (0)
Manifesto from Dagstuhl Perspectives Workshop 16151 Research Directions for Principles of Data Management (2018) (0)
Current Time (2009) (0)
Invited articles foreword (2011) (0)
Database theory column (2008) (0)
Invited article foreword (2012) (0)
Cooperative Content Distribution (2009) (0)
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA (1999) (0)
Highly Expressive Query Languages for Unordered Data Trees (2015) (0)
Invited articles foreword (2013) (0)
Foreword to Invited Articles Section (2014) (0)
Introduction to JACM invited article (2011) (0)
New Results - Theoretical foundations (2006) (0)
Review - Exact and Approximate Aggregation in Constraint Query (2000) (0)
Invited article foreword (2014) (0)
Finite and Infinite in Logic (2000) (0)
Invited Article Foreword (2013) (0)
A decomposition theorem for dynamic mappings (1988) (0)
University of California, San Diego, March 20–23, 1999 (1999) (0)
Invited Article Foreword (2012) (0)
Dagstuhl Workshop on Finite Model Theory, Databases, and Computer Aided Verification (2008) (0)
Computational Ontology (2009) (0)
Data-driven Web services : specification and verification Summary and bibliography (0)
Database Education at UC San Diego (2022) (0)
Cross-lingual Text Mining (2009) (0)
Review - On Instance-Completeness for Database Query Languages involving Object Creation (2000) (0)
Invited Article Foreword (2014) (0)
Invited Article Foreword (2012) (0)
08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data (2008) (0)
A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in Computer Science (2000) (0)
Database method schemas: a model for object based and parallel database computation (1996) (0)
Database survivability under dynamic constraints (1988) (0)
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA (1994) (0)
Advances in Computer Science - ASIAN 2005, Data Management on the Web, 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings (2005) (0)

This paper list is powered by the following services:

Other Resources About Victor Vianu

en.wikipedia.org

What Schools Are Affiliated With Victor Vianu?

Victor Vianu is affiliated with the following schools: