Deutsch, Alin; Sui, Liying; Vianu, Victor Specification and verification of data-driven Web applications. (English) Zbl 1111.68488 J. Comput. Syst. Sci. 73, No. 3, 442-474 (2007). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Deutsch} et al., J. Comput. Syst. Sci. 73, No. 3, 442--474 (2007; Zbl 1111.68488) Full Text: DOI
Alon, Noga; Milo, Tova; Neven, Frank; Suciu, Dan; Vianu, Victor XML with data values: Typechecking revisited. (English) Zbl 1054.68035 J. Comput. Syst. Sci. 66, No. 4, 688-727 (2003). MSC: 68P05 68P15 PDFBibTeX XMLCite \textit{N. Alon} et al., J. Comput. Syst. Sci. 66, No. 4, 688--727 (2003; Zbl 1054.68035) Full Text: DOI
Halpern, Joseph Y.; Harper, Robert; Immerman, Neil; Kolaitis, Phokion G.; Vardi, Moshe Y.; Vianu, Victor On the unusual effectiveness of logic in computer science. (English) Zbl 0979.03033 Bull. Symb. Log. 7, No. 2, 213-236 (2001). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 03B70 03-02 68-02 PDFBibTeX XMLCite \textit{J. Y. Halpern} et al., Bull. Symb. Log. 7, No. 2, 213--236 (2001; Zbl 0979.03033) Full Text: DOI Link Link
Segoufin, Luc; Vianu, Victor Querying spatial databases via topological invariants. (English) Zbl 0963.68058 J. Comput. Syst. Sci. 61, No. 2, 270-301 (2000). MSC: 68P15 PDFBibTeX XMLCite \textit{L. Segoufin} and \textit{V. Vianu}, J. Comput. Syst. Sci. 61, No. 2, 270--301 (2000; Zbl 0963.68058) Full Text: DOI
Abiteboul, Serge; Vianu, Victor; Fordham, Brad; Yesha, Yelena Relational transducers for electronic commerce. (English) Zbl 0963.68057 J. Comput. Syst. Sci. 61, No. 2, 236-269 (2000). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Abiteboul} et al., J. Comput. Syst. Sci. 61, No. 2, 236--269 (2000; Zbl 0963.68057) Full Text: DOI
Papadimitriou, C. H.; Suciu, D.; Vianu, V. Topological queries in spatial databases. (English) Zbl 0943.68051 J. Comput. Syst. Sci. 58, No. 1, 29-53 (1999). MSC: 68P15 PDFBibTeX XMLCite \textit{C. H. Papadimitriou} et al., J. Comput. Syst. Sci. 58, No. 1, 29--53 (1999; Zbl 0943.68051) Full Text: DOI
Abiteboul, Serge; Papadimitriou, Christos H.; Vianu, V. Reflective relational machines. (English) Zbl 0918.68017 Inf. Comput. 143, No. 2, 110-136 (1998). Reviewer: H.-D.Gerhardt (Rostock) MSC: 68P15 68Q05 PDFBibTeX XMLCite \textit{S. Abiteboul} et al., Inf. Comput. 143, No. 2, 110--136 (1998; Zbl 0918.68017) Full Text: DOI
Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor Computing with infinitary logic. (English) Zbl 0874.68274 Theor. Comput. Sci. 149, No. 1, 101-128 (1995). MSC: 68T27 68P15 PDFBibTeX XMLCite \textit{S. Abiteboul} et al., Theor. Comput. Sci. 149, No. 1, 101--128 (1995; Zbl 0874.68274) Full Text: DOI
Abiteboul, Serge; Vianu, Victor Computing on structures. (English) Zbl 1418.68087 Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 606-620 (1993). MSC: 68Q05 03B70 03D10 03D15 68P15 68Q15 68Q19 PDFBibTeX XMLCite \textit{S. Abiteboul} and \textit{V. Vianu}, Lect. Notes Comput. Sci. 700, 606--620 (1993; Zbl 1418.68087) Full Text: DOI
Vianu, Victor; Vossen, Gottfried Static and dynamic aspects of goal-oriented concurrency control. (English) Zbl 1004.68517 Ann. Math. Artif. Intell. 7, No. 1-4, 257-287 (1993). MSC: 68N19 68M20 PDFBibTeX XMLCite \textit{V. Vianu} and \textit{G. Vossen}, Ann. Math. Artif. Intell. 7, No. 1--4, 257--287 (1993; Zbl 1004.68517) Full Text: DOI
Abiteboul, Serge; Vianu, Victor Non-determinism in logic-based languages. (English) Zbl 0875.68586 Ann. Math. Artif. Intell. 3, No. 2-4, 151-186 (1991). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Abiteboul} and \textit{V. Vianu}, Ann. Math. Artif. Intell. 3, No. 2--4, 151--186 (1991; Zbl 0875.68586) Full Text: DOI