×

zbMATH — the first resource for mathematics

Vianu, Victor

Compute Distance To:
Author ID: vianu.victor Recent zbMATH articles by "Vianu, Victor"
Published as: Vianu, Victor; Vianu, V.; Vianu, Victor.
External Links: ORCID
Documents Indexed: 56 Publications since 1977, including 4 Books

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 495 times in 390 Documents Cited by Year
Foundations of databases. Zbl 0848.68031
Abiteboul, Serge; Hill, Richard; Vianu, Victor
130
1995
Datalog extensions for database queries and updates. Zbl 0764.68158
Abiteboul, Serge; Vianu, Victor
46
1991
Finite state machines for strings over infinite alphabets. Zbl 1367.68175
Neven, Frank; Schwentick, Thomas; Vianu, Victor
43
2004
Typechecking for XML transformers. Zbl 1026.68045
Milo, Tova; Suciu, Dan; Vianu, Victor
37
2003
Fixpoint extensions of first-order logic and datalog-like languages. Zbl 0716.68020
Abiteboul, Serge; Vianu, Victor
23
1989
Incremental validation of XML documents. Zbl 1022.68521
Papakonstantinou, Yannis; Vianu, Victor
20
2003
Procedural languages for database queries and updates. Zbl 0715.68019
Abiteboul, Serge; Vianu, Victor
20
1990
Regular path queries with constraints. Zbl 0939.68025
Abiteboul, Serge; Vianu, Victor
17
1999
Fixpoint logics, relational machines, and computational complexity. Zbl 0883.68070
Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor.
16
1997
Computing with first-order logic. Zbl 0827.68036
Abiteboul, Serge; Vianu, Victor
16
1995
Towards regular languages over infinite alphabets. Zbl 0999.68110
Neven, Frank; Schwentick, Thomas; Vianu, Victor
13
2001
XML with data values: Typechecking revisited. Zbl 1054.68035
Alon, Noga; Milo, Tova; Neven, Frank; Suciu, Dan; Vianu, Victor
11
2003
Relational transducers for electronic commerce. Zbl 0963.68057
Abiteboul, Serge; Vianu, Victor; Fordham, Brad; Yesha, Yelena
9
2000
Topological queries in spatial databases. Zbl 0943.68051
Papadimitriou, C. H.; Suciu, D.; Vianu, V.
8
1999
Equivalence and optimization of relational transactions. Zbl 0637.68110
Abiteboul, Serge; Vianu, Victor
8
1988
A transaction-based approach to relational database specification. Zbl 0698.68089
Abiteboul, Serge; Vianu, Victor
7
1989
Typechecking XML views of relational databases. Zbl 1365.68193
Alon, Noga; Milo, Tova; Neven, Frank; Suciu, Dan; Vianu, Victor
7
2003
Non-determinism in logic-based languages. Zbl 0875.68586
Abiteboul, Serge; Vianu, Victor
6
1991
On the unusual effectiveness of logic in computer science. Zbl 0979.03033
Halpern, Joseph Y.; Harper, Robert; Immerman, Neil; Kolaitis, Phokion G.; Vardi, Moshe Y.; Vianu, Victor
6
2001
Computing with infinitary logic. Zbl 0874.68274
Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor
6
1995
Querying spatial databases via topological invariants. Zbl 0963.68058
Segoufin, Luc; Vianu, Victor
5
2000
Tractable query languages for complex object databases. Zbl 0831.68038
Grumbach, Stéphane; Vianu, Victor
5
1995
Expressive power of query languages. Zbl 0766.68026
Abiteboul, Serge; Vianu, Victor
5
1992
PTIME queries revisited. Zbl 1112.68374
Nash, Alan; Remmel, Jeff; Vianu, Victor
4
2005
Semantics and expressiveness issues in active databases. Zbl 0917.68055
Picouet, Philippe; Vianu, Victor
4
1998
Specification and verification of data-driven Web applications. Zbl 1111.68488
Deutsch, Alin; Sui, Liying; Vianu, Victor
4
2007
Reflective relational machines. Zbl 0918.68017
Abiteboul, Serge; Papadimitriou, Christos H.; Vianu, V.
3
1998
Highly expressive query languages for unordered data trees. Zbl 1352.68075
Abiteboul, Serge; Bourhis, Pierre; Vianu, Victor
3
2015
A probabilistic view of Datalog parallelization. Zbl 0893.68051
Lifschitz, Sérgio; Vianu, Victor
2
1998
Rule-based languages. Zbl 0880.68076
Vianu, Victor
2
1997
Conceptual level concurrency control of relational update transactions. Zbl 0760.68026
Vianu, Victor; Vossen, Gottfried
2
1992
Playing games with objects. Zbl 0774.03013
Grumbach, Stéphane; Vianu, Victor
2
1990
Queries and computation on the web. Zbl 0945.68046
Abiteboul, Serge; Vianu, V.
1
2000
Database survivability under dynamic constraints. Zbl 0611.68060
Vianu, Victor
1
1988
Parallel update transactions. Zbl 0702.68046
Karabeg, Dino; Vianu, Victor
1
1990
Computing on structures. Zbl 1418.68087
Abiteboul, Serge; Vianu, Victor
1
1993
Process-centric views of data-driven business artifacts. Zbl 1365.68212
Koutsos, Adrien; Vianu, Victor
1
2015
Highly expressive query languages for unordered data trees. Zbl 1352.68075
Abiteboul, Serge; Bourhis, Pierre; Vianu, Victor
3
2015
Process-centric views of data-driven business artifacts. Zbl 1365.68212
Koutsos, Adrien; Vianu, Victor
1
2015
Specification and verification of data-driven Web applications. Zbl 1111.68488
Deutsch, Alin; Sui, Liying; Vianu, Victor
4
2007
PTIME queries revisited. Zbl 1112.68374
Nash, Alan; Remmel, Jeff; Vianu, Victor
4
2005
Finite state machines for strings over infinite alphabets. Zbl 1367.68175
Neven, Frank; Schwentick, Thomas; Vianu, Victor
43
2004
Typechecking for XML transformers. Zbl 1026.68045
Milo, Tova; Suciu, Dan; Vianu, Victor
37
2003
Incremental validation of XML documents. Zbl 1022.68521
Papakonstantinou, Yannis; Vianu, Victor
20
2003
XML with data values: Typechecking revisited. Zbl 1054.68035
Alon, Noga; Milo, Tova; Neven, Frank; Suciu, Dan; Vianu, Victor
11
2003
Typechecking XML views of relational databases. Zbl 1365.68193
Alon, Noga; Milo, Tova; Neven, Frank; Suciu, Dan; Vianu, Victor
7
2003
Towards regular languages over infinite alphabets. Zbl 0999.68110
Neven, Frank; Schwentick, Thomas; Vianu, Victor
13
2001
On the unusual effectiveness of logic in computer science. Zbl 0979.03033
Halpern, Joseph Y.; Harper, Robert; Immerman, Neil; Kolaitis, Phokion G.; Vardi, Moshe Y.; Vianu, Victor
6
2001
Relational transducers for electronic commerce. Zbl 0963.68057
Abiteboul, Serge; Vianu, Victor; Fordham, Brad; Yesha, Yelena
9
2000
Querying spatial databases via topological invariants. Zbl 0963.68058
Segoufin, Luc; Vianu, Victor
5
2000
Queries and computation on the web. Zbl 0945.68046
Abiteboul, Serge; Vianu, V.
1
2000
Regular path queries with constraints. Zbl 0939.68025
Abiteboul, Serge; Vianu, Victor
17
1999
Topological queries in spatial databases. Zbl 0943.68051
Papadimitriou, C. H.; Suciu, D.; Vianu, V.
8
1999
Semantics and expressiveness issues in active databases. Zbl 0917.68055
Picouet, Philippe; Vianu, Victor
4
1998
Reflective relational machines. Zbl 0918.68017
Abiteboul, Serge; Papadimitriou, Christos H.; Vianu, V.
3
1998
A probabilistic view of Datalog parallelization. Zbl 0893.68051
Lifschitz, Sérgio; Vianu, Victor
2
1998
Fixpoint logics, relational machines, and computational complexity. Zbl 0883.68070
Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor.
16
1997
Rule-based languages. Zbl 0880.68076
Vianu, Victor
2
1997
Foundations of databases. Zbl 0848.68031
Abiteboul, Serge; Hill, Richard; Vianu, Victor
130
1995
Computing with first-order logic. Zbl 0827.68036
Abiteboul, Serge; Vianu, Victor
16
1995
Computing with infinitary logic. Zbl 0874.68274
Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor
6
1995
Tractable query languages for complex object databases. Zbl 0831.68038
Grumbach, Stéphane; Vianu, Victor
5
1995
Computing on structures. Zbl 1418.68087
Abiteboul, Serge; Vianu, Victor
1
1993
Expressive power of query languages. Zbl 0766.68026
Abiteboul, Serge; Vianu, Victor
5
1992
Conceptual level concurrency control of relational update transactions. Zbl 0760.68026
Vianu, Victor; Vossen, Gottfried
2
1992
Datalog extensions for database queries and updates. Zbl 0764.68158
Abiteboul, Serge; Vianu, Victor
46
1991
Non-determinism in logic-based languages. Zbl 0875.68586
Abiteboul, Serge; Vianu, Victor
6
1991
Procedural languages for database queries and updates. Zbl 0715.68019
Abiteboul, Serge; Vianu, Victor
20
1990
Playing games with objects. Zbl 0774.03013
Grumbach, Stéphane; Vianu, Victor
2
1990
Parallel update transactions. Zbl 0702.68046
Karabeg, Dino; Vianu, Victor
1
1990
Fixpoint extensions of first-order logic and datalog-like languages. Zbl 0716.68020
Abiteboul, Serge; Vianu, Victor
23
1989
A transaction-based approach to relational database specification. Zbl 0698.68089
Abiteboul, Serge; Vianu, Victor
7
1989
Equivalence and optimization of relational transactions. Zbl 0637.68110
Abiteboul, Serge; Vianu, Victor
8
1988
Database survivability under dynamic constraints. Zbl 0611.68060
Vianu, Victor
1
1988
all top 5

Cited by 598 Authors

21 Van den Bussche, Jan
19 Vianu, Victor
12 Abiteboul, Serge
10 Suciu, Dan Mircea
10 Van Gucht, Dirk
8 Gottlob, Georg
7 Grohe, Martin
7 Gyssens, Marc
7 Vardi, Moshe Y.
6 Calvanese, Diego
6 Fan, Wenfei
6 Kolaitis, Phokion G.
6 Maneth, Sebastian
6 Milo, Tova
6 Neven, Frank
6 Pieris, Andreas
5 Benedikt, Michael A.
5 Biskup, Joachim
5 De Giacomo, Giuseppe
5 Engelfriet, Joost
5 Gurevich, Yuri
5 Libkin, Leonid O.
5 Rosati, Riccardo
5 Su, Jianwen
5 Tan, Tony
5 Turull Torres, Jose Maria
4 Eiter, Thomas
4 Greco, Gianluigi
4 Greco, Sergio
4 Hegner, Stephen J.
4 Link, Sebastian
4 Martens, Wim
4 Otto, Martin
4 Reutter, Juan L.
4 Salomaa, Kai T.
4 Tzevelekos, Nikos
4 Vansummeren, Stijn
3 Ameloot, Tom J.
3 Arenas, Marcelo
3 Barceló, Pablo
3 Dawar, Anuj
3 Demri, Stéphane P.
3 Deutsch, Alin
3 Faber, Wolfgang
3 Figueira, Diego
3 Filiot, Emmanuel
3 Flesca, Sergio
3 Flum, Jörg
3 Jacquemard, Florent
3 Kaminsky, Michael
3 Koubarakis, Manolis
3 Leinders, Dirk
3 Lembo, Domenico
3 Lenzerini, Maurizio
3 Lisitsa, Alexei
3 Lobo, Jorge
3 Manuel, Amaldev
3 Marx, Maarten
3 Murawski, Andrzej S.
3 Ortiz, Magdalena
3 Papadimitriou, Christos Harilaos
3 Paredaens, Jan
3 Piao, Xiaoxue
3 Reynier, Pierre-Alain
3 Schewe, Klaus-Dieter
3 Schwentick, Thomas
3 Segoufin, Luc
3 Šimkus, Mantas
3 Tannen, Val
3 ten Cate, Balder David
3 Tyszkiewicz, Jerzy
3 Vrgoč, Domagoj
3 Zaniolo, Carlo
2 Alur, Rajeev
2 Babari, Parvaneh
2 Basin, David A.
2 Becerra-Terón, Antonio
2 Benczúr, András A.
2 Bidoit, Nicole
2 Blass, Andreas Raphael
2 Bogaerts, Bart
2 Bollig, Benedikt
2 Bonatti, Piero Andrea
2 Bourhis, Pierre
2 Brijder, Robert
2 Calimeri, Francesco
2 Cautis, Bogdan
2 Chen, Hubie
2 Chen, Yijia
2 Chomicki, Jan
2 Crary, Karl
2 Deng, Ting
2 Droste, Manfred
2 Ferrarotti, Flavio Antonio
2 Fontaine, Gaëlle
2 Forssell, Henrik
2 Gebser, Martin
2 Gil, Joseph
2 Gillis, Joris J. M.
2 Gorelov, S. S.
...and 498 more Authors
all top 5

Cited in 55 Serials

48 Theoretical Computer Science
47 Journal of Computer and System Sciences
26 Annals of Mathematics and Artificial Intelligence
22 Information and Computation
21 Theory of Computing Systems
15 Acta Informatica
7 Artificial Intelligence
7 Annals of Pure and Applied Logic
7 Theory and Practice of Logic Programming
6 Information Processing Letters
5 The Journal of Symbolic Logic
5 Journal of Applied Non-Classical Logics
5 ACM Transactions on Computational Logic
5 Logical Methods in Computer Science
4 New Generation Computing
4 Journal of Automated Reasoning
4 RAIRO. Theoretical Informatics and Applications
3 Programming and Computer Software
3 International Journal of Foundations of Computer Science
3 The Bulletin of Symbolic Logic
2 Computers & Mathematics with Applications
2 ACM Transactions on Database Systems
2 Information Sciences
2 Journal of Symbolic Computation
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 MSCS. Mathematical Structures in Computer Science
2 Journal of Logic, Language and Information
2 Higher-Order and Symbolic Computation
2 Journal of Applied Logic
1 International Journal of General Systems
1 Journal of Philosophical Logic
1 Kybernetika
1 Notre Dame Journal of Formal Logic
1 SIAM Journal on Computing
1 Studia Logica
1 Synthese
1 Transactions of the American Mathematical Society
1 Science of Computer Programming
1 Journal of Computer Science and Technology
1 Formal Methods in System Design
1 Journal of Mathematical Sciences (New York)
1 Mathematical Logic Quarterly (MLQ)
1 The Journal of Artificial Intelligence Research (JAIR)
1 Theory and Applications of Categories
1 Journal of the ACM
1 Data Mining and Knowledge Discovery
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Natural Computing
1 Computer Languages, Systems & Structures
1 Central European Journal of Mathematics
1 Quantum Information Processing
1 Proceedings of the Steklov Institute of Mathematics
1 International Journal of Semantic Computing
1 Science China. Information Sciences
1 Frontiers of Computer Science

Citations by Year