Victor Vianu

Citée par

	Toutes	Depuis 2018
Citations	14527	2481
indice h	48	18
indice i10	86	30

680

340

170

510

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202362 41 78 101 135 142 156 260 183 384 363 360 341 409 441 498 486 525 507 661 495 572 540 586 673 625 572 559 543 488 484 509 381 383 442 282

Accès public

Tout afficher

6 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Serge AbiteboulINRIA SaclayAdresse e-mail validée de inria.fr
Richard HullVisiting Scholar, University of California, DavisAdresse e-mail validée de ucdavis.edu
Dan SuciuUniversity of WashingtonAdresse e-mail validée de cs.washington.edu
Frank NevenProfessor of Computer Science, Hasselt UniversityAdresse e-mail validée de uhasselt.be
Tova MiloProfessor of Computer Science, Tel Aviv UniversityAdresse e-mail validée de cs.tau.ac.il
Thomas SchwentickProfessor of Computer Science, TU Dortmund UniversityAdresse e-mail validée de udo.edu
Yannis PapakonstantinouUCSDAdresse e-mail validée de eng.ucsd.edu
Moshe Y. VardiRice UniversityAdresse e-mail validée de cs.rice.edu
Stéphane GrumbachINRIA & ENS Lyon -- IXXIAdresse e-mail validée de inria.fr
Pierre BourhisResearcher, CNRSAdresse e-mail validée de univ-lille.fr
Christos H PAPADIMITRIOUColumbia UniversityAdresse e-mail validée de columbia.edu
Noga AlonPrinceton University and Tel Aviv UniversityAdresse e-mail validée de tau.ac.il
Elio DamaggioUniversity of California, San DiegoAdresse e-mail validée de cs.ucsd.edu
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeAdresse e-mail validée de dis.uniroma1.it
Andrey BalminIBM Research - AlmadenAdresse e-mail validée de us.ibm.com
Sérgio LifschitzPontifícia Universidade Católica do Rio de JaneiroAdresse e-mail validée de inf.puc-rio.br

Suivre

Victor Vianu

Professor of Computer Science, UC San Diego

Adresse e-mail validée de cs.ucsd.edu

Database systems and theory automatic verification computational logic


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Foundations of databases S Abiteboul, R Hull, V Vianu Addison-Wesley, 1995	6630	1995
Typechecking for XML transformers T Milo, D Suciu, V Vianu Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on …, 2000	405	2000
Datalog extensions for database queries and updates S Abiteboul, V Vianu Journal of Computer and System Sciences 43 (1), 62-124, 1991	365	1991
Regular path queries with constraints S Abiteboul, V Vianu Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1997	354	1997
Finite state machines for strings over infinite alphabets F Neven, T Schwentick, V Vianu ACM Transactions on Computational Logic (TOCL) 5 (3), 403-435, 2004	345	2004
Automatic verification of data-centric business processes A Deutsch, R Hull, F Patrizi, V Vianu Proceedings of the 12th international Conference on Database Theory, 252-267, 2009	311	2009
DTD inference for views of XML data Y Papakonstantinou, V Vianu Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on …, 2000	310	2000
Generic computation and its complexity S Abiteboul, V Vianu Proceedings of the twenty-third annual ACM symposium on Theory of Computing …, 1991	257	1991
A Web odyssey: from Codd to XML V Vianu Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on …, 2001	211	2001
Validating streaming XML documents L Segoufin, V Vianu Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on …, 2002	208	2002
Representing and querying XML with incomplete information S Abiteboul, L Segoufin, V Vianu ACM Transactions on Database Systems (TODS) 31 (1), 208-254, 2006	205	2006
Relational transducers for electronic commerce S Abiteboul, V Vianu, B Fordham, Y Yesha Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998	199	1998
On the unusual effectiveness of logic in computer science JY Halpern, R Harper, N Immerman, PG Kolaitis, MY Vardi, V Vianu Bulletin of Symbolic Logic 7 (2), 213-236, 2001	165	2001
Procedural and declarative database update languages S Abiteboul, V Vianu Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles …, 1988	161	1988
Queries and computation on the Web S Abiteboul, V Vianu Database Theory—ICDT'97: 6th International Conference Delphi, Greece …, 1997	154	1997
Fixpoint extensions of first-order logic and Datalog-like languages S Abiteboul, V Vianu Proceedings. Fourth Annual Symposium on Logic in Computer Science, 71, 72 …, 1989	147	1989
Specification and verification of data-driven web applications A Deutsch, L Sui, V Vianu Journal of Computer and System Sciences 73 (3), 442-474, 2007	141	2007
Incremental validation of XML documents A Balmin, Y Papakonstantinou, V Vianu ACM Transactions on Database Systems (TODS) 29 (4), 710-751, 2004	135	2004
Fixpoint logics, relational machines, and computational complexity S Abiteboul, MY Vardi, V Vianu Journal of the ACM (JACM) 44 (1), 30-56, 1997	134	1997
Specification and verification of data-driven web services A Deutsch, L Sui, V Vianu Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004	131	2004

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs