Concepedia

Victor Vianu

VV

87

Publications

5.7K

Citations

43

H-Index

1983

Active since

Affiliations

University of California San Diego(Current)

Institut national de recherche en sciences et technologies du numérique

University of San Diego

University of Washington

Tel Aviv University

Victor Vianu is an author at University of California San Diego specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningData ScienceData ManagementFormal VerificationData IntegrationManagementSemantic Web

Publications per year

1983–2019

87

Publications

87

Invited articles section foreword

Victor Vianu · Journal of the ACM · 2010 · 381 citations

Articles Section Foreword, Abstract Object Theory, Journalism +1

Finite state machines for strings over infinite alphabets

Frank Neven, Thomas Schwentick, Victor Vianu · ACM Transactions on Computational Logic · 2004 · 266 citations

Combinatorics On Word, Logical Automaton, Engineering +14

Datalog extensions for database queries and updates

Serge Abiteboul, Victor Vianu · Journal of Computer and System Sciences · 1991 · 254 citations

Database Theory, Engineering, Database System +6

DTD inference for views of XML data

Yannis Papakonstantinou, Victor Vianu · 2000 · 219 citations

Engineering, Semantic Web, Semantics +22

Automatic verification of data-centric business processes

Alin Deutsch, Richard Hull, Fabio Patrizi et al. · 2009 · 217 citations · Full text

Software Maintenance, Business Process Integration, Engineering +23

Rows per page

1–5 of 87