dblp.uni-trier.dewww.uni-trier.de

Victor Vianu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
120EEVictor Vianu: Automatic verification of database-driven systems: a new frontier. ICDT 2009: 1-13
119EEAlin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu: Automatic verification of data-centric business processes. ICDT 2009: 252-267
118EEVictor Vianu, Jan Van den Bussche: Introduction to PODS 2006 special section. J. ACM 56(3): (2009)
117EELeonid Libkin, Victor Vianu: Introduction to PODS 2007 special section. J. ACM 56(6): (2009)
2008
116EESerge Abiteboul, Luc Segoufin, Victor Vianu: Static analysis of active XML systems. PODS 2008: 221-230
115EEAlin Deutsch, Victor Vianu: WAVE: Automatic Verification of Data-Driven Web Services. IEEE Data Eng. Bull. 31(3): 35-39 (2008)
114EEVictor Vianu: Database theory column. SIGACT News 39(1): 77-79 (2008)
2007
113EEAlan Nash, Luc Segoufin, Victor Vianu: Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. ICDT 2007: 59-73
112EEAlin Deutsch, Liying Sui, Victor Vianu: Specification and verification of data-driven Web applications. J. Comput. Syst. Sci. 73(3): 442-474 (2007)
2006
111EEAlin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou: Verification of communicating data-driven web services. PODS 2006: 90-99
110EEAlin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou: A system for specification and verification of interactive, data-driven web applications. SIGMOD Conference 2006: 772-774
109EESerge Abiteboul, Luc Segoufin, Victor Vianu: Representing and querying XML with incomplete information. ACM Trans. Database Syst. 31(1): 208-254 (2006)
108EEDan Suciu, Victor Vianu: Introduction. J. ACM 53(2): 207 (2006)
2005
107 Stéphane Grumbach, Liying Sui, Victor Vianu: Advances in Computer Science - ASIAN 2005, Data Management on the Web, 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings Springer 2005
106EEAlan Nash, Jeffrey B. Remmel, Victor Vianu: PTIME Queries Revisited. ICDT 2005: 274-288
105EEMarco Brambilla, Alin Deutsch, Liying Sui, Victor Vianu: The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae. ICWE 2005: 557-568
104EELuc Segoufin, Victor Vianu: Views and queries: determinacy and rewriting. PODS 2005: 49-60
103EEAlin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou: A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference 2005: 539-550
102EETova Milo, Victor Vianu: Introduction. J. ACM 52(2): 245 (2005)
101EESerge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi: In memory of Seymour Ginsburg 1928 - 2004. SIGMOD Record 34(1): 5-12 (2005)
2004
100EEAlin Deutsch, Liying Sui, Victor Vianu: Specification and Verification of Data-driven Web Services. PODS 2004: 71-82
99EEFrank Neven, Thomas Schwentick, Victor Vianu: Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Log. 5(3): 403-435 (2004)
98EEAndrey Balmin, Yannis Papakonstantinou, Victor Vianu: Incremental validation of XML documents. ACM Trans. Database Syst. 29(4): 710-751 (2004)
97EEPhokion G. Kolaitis, Victor Vianu: Foreword. J. ACM 51(1): 1 (2004)
2003
96EEYannis Papakonstantinou, Victor Vianu: Incremental Validation of XML Documents. ICDT 2003: 47-63
95 Victor Vianu: XML: From Practice to Theory. SBBD 2003: 11-25
94EEVictor Vianu: Logic as a Query Language: From Frege to XML. STACS 2003: 1-12
93EENoga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu: Typechecking XML views of relational databases. ACM Trans. Comput. Log. 4(3): 315-354 (2003)
92EETova Milo, Dan Suciu, Victor Vianu: Typechecking for XML transformers. J. Comput. Syst. Sci. 66(1): 66-97 (2003)
91EENoga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu: XML with data values: typechecking revisited. J. Comput. Syst. Sci. 66(4): 688-727 (2003)
90EEVictor Vianu: A Web odyssey: from codd to XML. SIGMOD Record 32(2): 68-77 (2003)
2002
89EELuc Segoufin, Victor Vianu: Validating Streaming XML Documents. PODS 2002: 53-64
2001
88 Jan Van den Bussche, Victor Vianu: Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings. Springer 2001
87 Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu: Typechecking XML Views of Relational Databases. LICS 2001: 421-430
86EEFrank Neven, Thomas Schwentick, Victor Vianu: Towards Regular Languages over Infinite Alphabets. MFCS 2001: 560-572
85EEVictor Vianu: A Web Odyssey: From Codd to XML. PODS 2001
84EESerge Abiteboul, Luc Segoufin, Victor Vianu: Representing and Querying XML with Incomplete Information. PODS 2001
83EENoga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu: XML with Data Values: Typechecking Revisited. PODS 2001
82EEJoseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu: On the unusual effectiveness of logic in computer science. Bulletin of Symbolic Logic 7(2): 213-236 (2001)
2000
81 Bart Kuijpers, Victor Vianu: Topological Queries. Constraint Databases 2000: 231-273
80EETova Milo, Dan Suciu, Victor Vianu: Typechecking for XML Transformers. PODS 2000: 11-22
79EEYannis Papakonstantinou, Victor Vianu: DTD Inference for Views of XML Data. PODS 2000: 35-46
78EEVictor Vianu: Review - Computable Queries for Relational Data Bases. ACM SIGMOD Digital Review 2: (2000)
77EEVictor Vianu: Review - Exact and Approximate Aggregation in Constraint Query. ACM SIGMOD Digital Review 2: (2000)
76EEVictor Vianu: Review - Hypothetical Datalog: Complexity and Expressibility. ACM SIGMOD Digital Review 2: (2000)
75EEVictor Vianu: Review - On Instance-Completeness for Database Query Languages involving Object Creation. ACM SIGMOD Digital Review 2: (2000)
74 Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha: Relational Transducers for Electronic Commerce. J. Comput. Syst. Sci. 61(2): 236-269 (2000)
73 Luc Segoufin, Victor Vianu: Querying Spatial Databases via Topological Invariants. J. Comput. Syst. Sci. 61(2): 270-301 (2000)
72EEStefano Ceri, Leonid A. Kalinichenko, Masaru Kitsuregawa, Hongjun Lu, Z. Meral Özsoyoglu, Richard T. Snodgrass, Victor Vianu: SIGMOD Sister Societies. SIGMOD Record 29(1): 4-15 (2000)
71EEKenneth A. Ross, Christos Faloutsos, Alon Y. Levy, Patrick E. O'Neil, Eric Simon, Divesh Srivastava, Victor Vianu, Gerhard Weikum: Reminiscences on Influential Papers. SIGMOD Record 29(1): 52-65 (2000)
70EESerge Abiteboul, Victor Vianu: Queries and computation on the web. Theor. Comput. Sci. 239(2): 231-255 (2000)
1999
69EEVictor Vianu: Topological Queries in Spatial Databases. CSL 1999: 1
68 Christos H. Papadimitriou, Dan Suciu, Victor Vianu: Topological Queries in Spatial Databases. J. Comput. Syst. Sci. 58(1): 29-53 (1999)
67 Serge Abiteboul, Victor Vianu: Regular Path Queries with Constraints. J. Comput. Syst. Sci. 58(3): 428-452 (1999)
1998
66 Serge Abiteboul, Bernd Amann, Sophie Cluet, Tova Milo, Victor Vianu: Active Views for Electronic Commerce. BDA 1998: 405-424
65EESerge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha: Relational Transducers for Electronic Commerce. PODS 1998: 179-187
64EELuc Segoufin, Victor Vianu: Querying Spatial Databases via Topological Invariants. PODS 1998: 89-98
63EEChaitanya K. Baru, Bertram Ludäscher, Yannis Papakonstantinou, Pavel Velikhov, Victor Vianu: Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation. QL 1998
62 Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu: Reflective Relational Machines. Inf. Comput. 143(2): 110-136 (1998)
61 Philippe Picouet, Victor Vianu: Semantics and Expressiveness Issues in Active Databases. J. Comput. Syst. Sci. 57(3): 325-355 (1998)
60EESérgio Lifschitz, Victor Vianu: A Probabilistic View of Datalog Parallelization. Theor. Comput. Sci. 190(2): 211-239 (1998)
1997
59 Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace: Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers Springer 1997
58EEPhilippe Picouet, Victor Vianu: Expressiveness and Complexity of Active Databases. ICDT 1997: 155-172
57EESerge Abiteboul, Victor Vianu: Queries and Computation on the Web. ICDT 1997: 262-275
56EESerge Abiteboul, Victor Vianu: Regular Path Queries with Constraints. PODS 1997: 122-133
55 Victor Vianu: Rule-Based Languages. Ann. Math. Artif. Intell. 19(1-2): 215-259 (1997)
54EESerge Abiteboul, Moshe Y. Vardi, Victor Vianu: Fixpoint logics, relational machines, and computational complexity. J. ACM 44(1): 30-56 (1997)
1996
53 Philippe Picouet, Victor Vianu: Modélisation Formelle des Bases de Données Actives. BDA 1996: 311-330
52 Victor Vianu: Databases and Finite-Model Theory. Descriptive Complexity and Finite Models 1996: 97-148
51EEChristos H. Papadimitriou, Dan Suciu, Victor Vianu: Topological Queries in Spatial Databases. PODS 1996: 81-92
1995
50 Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995
49EESérgio Lifschitz, Victor Vianu: A Probabilistic View of Datalog Parallelization. ICDT 1995: 294-307
48EEPhilippe Picouet, Victor Vianu: Semantics and Expressiveness Issues in Active Databases. PODS 1995: 126-138
47 Serge Abiteboul, Victor Vianu: Computing with First-Order Logic. J. Comput. Syst. Sci. 50(2): 309-335 (1995)
46 Stéphane Grumbach, Victor Vianu: Tractable Query Languages for Complex Object Databases. J. Comput. Syst. Sci. 51(2): 149-167 (1995)
45EESerge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. Theor. Comput. Sci. 149(1): 101-128 (1995)
1994
44 Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu: The Power of Reflective Relational Machines LICS 1994: 230-240
1993
43 Serge Abiteboul, Victor Vianu: Expressive Power of Query Languages. GULP 1993: 441-468
42EESerge Abiteboul, Victor Vianu: Computing on Structures. ICALP 1993: 606-620
41EEKarl Denninghoff, Victor Vianu: Database Method Schemas and Object Creation. PODS 1993: 265-275
40 Victor Vianu, Gottfried Vossen: Static and Dynamic Aspects of Goal-Oriented Concurrency Control. Ann. Math. Artif. Intell. 7(1-4): 257-287 (1993)
1992
39EESerge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. ICDT 1992: 113-123
38EESerge Abiteboul, Kevin J. Compton, Victor Vianu: Queries Are Easier Than You Thought (Probably). PODS 1992: 23-32
37 Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Fixpoint Logics, Relational Machines, and Computational Complexity. Structure in Complexity Theory Conference 1992: 156-168
36 Serge Abiteboul, Victor Vianu: Expressive Power of Query Languages. Theoretical Studies in Computer Science 1992: 207-251
35 Victor Vianu, Gottfried Vossen: Conceptual Level Concurrency Control of Relational Update Transactions. Theor. Comput. Sci. 95(1): 1-42 (1992)
1991
34EEStéphane Grumbach, Victor Vianu: Expressiveness and Complexity of Restricted Languages for Complex Objects. DBPL 1991: 111-122
33EEStéphane Grumbach, Victor Vianu: Tractable Query Languages for Complex Object Databases. PODS 1991: 315-327
32 Serge Abiteboul, Victor Vianu: Generic Computation and Its Complexity STOC 1991: 209-219
31EEKarl Denninghoff, Victor Vianu: The Power of Methods With Parallel Semantics. VLDB 1991: 221-232
30EEDino Karabeg, Victor Vianu: Simplification Rules and Complete Axiomatization for Relational Update Transactions. ACM Trans. Database Syst. 16(3): 439-475 (1991)
29 Serge Abiteboul, Victor Vianu: Non-Determinism in Logic-Based Languages. Ann. Math. Artif. Intell. 3(2-4): 151-186 (1991)
28 Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124 (1991)
1990
27EEStéphane Grumbach, Victor Vianu: Playing Games with Objects. ICDT 1990: 25-38
26EESerge Abiteboul, Eric Simon, Victor Vianu: Non-Deterministic Languages to Express Deterministic Transformations. PODS 1990: 218-229
25 Serge Abiteboul, Victor Vianu: Procedural Languages for Database Queries and Updates. J. Comput. Syst. Sci. 41(2): 181-229 (1990)
24EESerge Abiteboul, Peter Buneman, Claude Delobel, Richard Hull, Paris C. Kanellakis, Victor Vianu: New Hope on Data Models and Types: Report of an NSF-INRIA Workshop. SIGMOD Record 19(4): 41-48 (1990)
23 Dino Karabeg, Victor Vianu: Parallel Update Transactions. Theor. Comput. Sci. 76(1): 93-114 (1990)
1989
22 Serge Abiteboul, Victor Vianu: Fixpoint Extensions of First-Order Logic and Datalog-Like Languages LICS 1989: 71-79
21EEVictor Vianu, Gottfried Vossen: Goal-Oriented Concurrency Control. MFDBS 1989: 398-414
20EESerge Abiteboul, Victor Vianu: A transaction-based approach to relational database specification. J. ACM 36(4): 758-789 (1989)
1988
19EEDino Karabeg, Victor Vianu: Parallel Update Transactions (Extended Abstract). ICDT 1988: 307-321
18EEVictor Vianu, Gottfried Vossen: Conceptual Level Concurrency Control of Relational Update Transactions. ICDT 1988: 353-367
17 Serge Abiteboul, Victor Vianu: The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. JCDKB 1988: 324-334
16EESerge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250
15EEVictor Vianu: A Dynamic Framework for Object Projection Views. ACM Trans. Database Syst. 13(1): 1-22 (1988)
14EEPeter Lyngbæk, Victor Vianu: Relational Translations of Semantic Models: A Case Study Based on Iris. IEEE Data Eng. Bull. 11(2): 13-22 (1988)
13EESerge Abiteboul, Victor Vianu: Equivalence and optimization of relational transactions. J. ACM 35(1): 70-120 (1988)
1987
12EEAlmira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu: Axiomatization and Simplification Rules for Relational Transactions. PODS 1987: 254-259
11EESerge Abiteboul, Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268
10EEPeter Lyngbæk, Victor Vianu: Mapping a Semantic Database Model to the Relational Model. SIGMOD Conference 1987: 132-142
9 Victor Vianu: Database Survivability Under Dynamic Constraints. Acta Inf. 25(1): 55-84 (1987)
8EEVictor Vianu: Dynamic functional dependencies and database aging. J. ACM 34(1): 28-59 (1987)
1986
7EESerge Abiteboul, Victor Vianu: Deciding Properties of Transactional Schemas. PODS 1986: 235-239
1985
6EESerge Abiteboul, Victor Vianu: Transactions and Integrity Constraints. PODS 1985: 193-204
1984
5EEVictor Vianu: Object Projection Views in the Dynamic Relational Model. PODS 1984: 214-220
4EESerge Abiteboul, Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984: 46-56
1983
3EEVictor Vianu: Dynamic Constraints and Database Evolution. PODS 1983: 389-399
1981
2EETim Connors, Victor Vianu: Tableaux which Define Expression Mappings. XP2 Workshop on Relational Database Theory 1981
1977
1EEVictor Vianu: The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space. MFCS 1977: 537-542

Coauthor Index

1Serge Abiteboul [4] [6] [7] [11] [13] [16] [17] [20] [22] [24] [25] [26] [28] [29] [32] [36] [37] [38] [39] [42] [43] [44] [45] [47] [50] [54] [56] [57] [62] [65] [66] [67] [70] [74] [84] [101] [109] [116]
2Noga Alon [83] [87] [91] [93]
3Bernd Amann [66]
4Andrey Balmin [98]
5Chaitanya K. Baru (Chaitan Baru) [63]
6Marco Brambilla [105]
7Alexander Brodsky [59]
8Peter Buneman [24]
9Jan Van den Bussche [88] [118]
10Stefano Ceri [72]
11Sophie Cluet [66]
12Kevin J. Compton [38]
13Tim Connors [2]
14Claude Delobel [24]
15Karl Denninghoff [31] [41]
16Alin Deutsch [100] [103] [105] [110] [111] [112] [115] [119]
17Christos Faloutsos [71]
18Bradley S. Fordham [65] [74]
19Volker Gaede [59]
20Sheila A. Greibach [101]
21Stéphane Grumbach [27] [33] [34] [46] [107]
22Oliver Günther [59]
23Alon Y. Halevy (Alon Y. Levy) [71]
24Joseph Y. Halpern [82]
25Robert Harper [82]
26Michael A. Harrison [101]
27Ellis Horowitz [101]
28Richard Hull [24] [50] [101] [119]
29Neil Immerman [82]
30Leonid A. Kalinichenko [72]
31Paris C. Kanellakis [24]
32Almira Karabeg [12]
33Dino Karabeg [12] [19] [23] [30]
34Masaru Kitsuregawa [72]
35Phokion G. Kolaitis [82] [97]
36Bart Kuijpers [81]
37Leonid Libkin [117]
38Sérgio Lifschitz [49] [60]
39Hongjun Lu [72]
40Bertram Ludäscher [63]
41Peter Lyngbæk [10] [14]
42Monica Marcus [103]
43Tova Milo [66] [80] [83] [87] [91] [92] [93] [102]
44Alan Nash [106] [113]
45Frank Neven [83] [86] [87] [91] [93] [99]
46Patrick E. O'Neil [71]
47Z. Meral Özsoyoglu [72]
48Christos H. Papadimitriou [44] [51] [62] [68]
49Kostoula Papakonstantinou [12]
50Yannis Papakonstantinou [63] [79] [96] [98]
51Fabio Patrizi [119]
52Philippe Picouet [48] [53] [58] [61]
53Jeffrey B. Remmel [106]
54Daniel J. Rosenkrantz [101]
55Kenneth A. Ross [71]
56Thomas Schwentick [86] [99]
57Luc Segoufin [64] [73] [84] [89] [104] [109] [113] [116]
58Eric Simon [26] [71]
59Richard T. Snodgrass [72]
60Divesh Srivastava [59] [71]
61Dan Suciu [51] [68] [80] [83] [87] [91] [92] [93] [108]
62Liying Sui [100] [103] [105] [107] [110] [111] [112]
63Jeffrey D. Ullman [101]
64Moshe Y. Vardi [37] [39] [45] [54] [82] [101]
65Pavel Velikhov [63]
66Gottfried Vossen [18] [21] [35] [40]
67Mark Wallace [59]
68Gerhard Weikum [71]
69Yelena Yesha [65] [74]
70Dayou Zhou [103] [110] [111]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)