The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Victor Vianu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Serge Abiteboul, Victor Vianu
    Datalog Extensions for Database Queries and Updates. [Citation Graph (41, 0)][DBLP]
    J. Comput. Syst. Sci., 1991, v:43, n:1, pp:62-124 [Journal]
  2. Serge Abiteboul, Victor Vianu
    Procedural and Declarative Database Update Languages. [Citation Graph (33, 10)][DBLP]
    PODS, 1988, pp:240-250 [Conf]
  3. Serge Abiteboul, Victor Vianu
    Generic Computation and Its Complexity [Citation Graph (31, 0)][DBLP]
    STOC, 1991, pp:209-219 [Conf]
  4. Serge Abiteboul, Victor Vianu
    A Transcation Language Complete for Database Update and Specification. [Citation Graph (22, 13)][DBLP]
    PODS, 1987, pp:260-268 [Conf]
  5. Serge Abiteboul, Victor Vianu
    Procedural Languages for Database Queries and Updates. [Citation Graph (19, 0)][DBLP]
    J. Comput. Syst. Sci., 1990, v:41, n:2, pp:181-229 [Journal]
  6. Serge Abiteboul, Eric Simon, Victor Vianu
    Non-Deterministic Languages to Express Deterministic Transformations. [Citation Graph (17, 17)][DBLP]
    PODS, 1990, pp:218-229 [Conf]
  7. Serge Abiteboul, Victor Vianu
    Regular Path Queries with Constraints. [Citation Graph (17, 20)][DBLP]
    PODS, 1997, pp:122-133 [Conf]
  8. Peter Lyngbæk, Victor Vianu
    Mapping a Semantic Database Model to the Relational Model. [Citation Graph (17, 11)][DBLP]
    SIGMOD Conference, 1987, pp:132-142 [Conf]
  9. Serge Abiteboul, Victor Vianu
    Equivalence and optimization of relational transactions. [Citation Graph (16, 0)][DBLP]
    J. ACM, 1988, v:35, n:1, pp:70-120 [Journal]
  10. Serge Abiteboul, Victor Vianu
    Transactions and Integrity Constraints. [Citation Graph (15, 14)][DBLP]
    PODS, 1985, pp:193-204 [Conf]
  11. Victor Vianu
    Dynamic functional dependencies and database aging. [Citation Graph (14, 0)][DBLP]
    J. ACM, 1987, v:34, n:1, pp:28-59 [Journal]
  12. Serge Abiteboul, Victor Vianu
    Queries and Computation on the Web. [Citation Graph (13, 19)][DBLP]
    ICDT, 1997, pp:262-275 [Conf]
  13. Stéphane Grumbach, Victor Vianu
    Tractable Query Languages for Complex Object Databases. [Citation Graph (13, 24)][DBLP]
    PODS, 1991, pp:315-327 [Conf]
  14. Serge Abiteboul, Victor Vianu
    Fixpoint Extensions of First-Order Logic and Datalog-Like Languages [Citation Graph (12, 0)][DBLP]
    LICS, 1989, pp:71-79 [Conf]
  15. Victor Vianu
    Dynamic Constraints and Database Evolution. [Citation Graph (12, 10)][DBLP]
    PODS, 1983, pp:389-399 [Conf]
  16. Serge Abiteboul, Victor Vianu
    Transactions in Relational Databases (Preliminary Report). [Citation Graph (12, 13)][DBLP]
    VLDB, 1984, pp:46-56 [Conf]
  17. Philippe Picouet, Victor Vianu
    Semantics and Expressiveness Issues in Active Databases. [Citation Graph (9, 28)][DBLP]
    PODS, 1995, pp:126-138 [Conf]
  18. Christos H. Papadimitriou, Dan Suciu, Victor Vianu
    Topological Queries in Spatial Databases. [Citation Graph (8, 13)][DBLP]
    PODS, 1996, pp:81-92 [Conf]
  19. Stéphane Grumbach, Victor Vianu
    Playing Games with Objects. [Citation Graph (7, 9)][DBLP]
    ICDT, 1990, pp:25-38 [Conf]
  20. Serge Abiteboul, Victor Vianu
    A transaction-based approach to relational database specification. [Citation Graph (7, 0)][DBLP]
    J. ACM, 1989, v:36, n:4, pp:758-789 [Journal]
  21. Serge Abiteboul, Victor Vianu
    Computing with First-Order Logic. [Citation Graph (7, 0)][DBLP]
    J. Comput. Syst. Sci., 1995, v:50, n:2, pp:309-335 [Journal]
  22. Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu
    The Power of Reflective Relational Machines [Citation Graph (5, 0)][DBLP]
    LICS, 1994, pp:230-240 [Conf]
  23. Serge Abiteboul, Kevin J. Compton, Victor Vianu
    Queries Are Easier Than You Thought (Probably). [Citation Graph (5, 23)][DBLP]
    PODS, 1992, pp:23-32 [Conf]
  24. Serge Abiteboul, Victor Vianu
    Expressive Power of Query Languages. [Citation Graph (4, 0)][DBLP]
    Theoretical Studies in Computer Science, 1992, pp:207-251 [Conf]
  25. Victor Vianu, Gottfried Vossen
    Conceptual Level Concurrency Control of Relational Update Transactions. [Citation Graph (4, 19)][DBLP]
    ICDT, 1988, pp:353-367 [Conf]
  26. Serge Abiteboul, Victor Vianu
    The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. [Citation Graph (4, 0)][DBLP]
    JCDKB, 1988, pp:324-334 [Conf]
  27. Serge Abiteboul, Victor Vianu
    Deciding Properties of Transactional Schemas. [Citation Graph (4, 5)][DBLP]
    PODS, 1986, pp:235-239 [Conf]
  28. Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha
    Relational Transducers for Electronic Commerce. [Citation Graph (4, 6)][DBLP]
    PODS, 1998, pp:179-187 [Conf]
  29. Serge Abiteboul, Victor Vianu
    Non-Determinism in Logic-Based Languages. [Citation Graph (4, 0)][DBLP]
    Ann. Math. Artif. Intell., 1991, v:3, n:2-4, pp:151-186 [Journal]
  30. Stéphane Grumbach, Victor Vianu
    Expressiveness and Complexity of Restricted Languages for Complex Objects. [Citation Graph (3, 29)][DBLP]
    DBPL, 1991, pp:111-122 [Conf]
  31. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu
    Computing with Infinitary Logic. [Citation Graph (3, 15)][DBLP]
    ICDT, 1992, pp:113-123 [Conf]
  32. Dino Karabeg, Victor Vianu
    Parallel Update Transactions (Extended Abstract). [Citation Graph (3, 3)][DBLP]
    ICDT, 1988, pp:307-321 [Conf]
  33. Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu
    Axiomatization and Simplification Rules for Relational Transactions. [Citation Graph (3, 11)][DBLP]
    PODS, 1987, pp:254-259 [Conf]
  34. Yannis Papakonstantinou, Victor Vianu
    DTD Inference for Views of XML Data. [Citation Graph (3, 30)][DBLP]
    PODS, 2000, pp:35-46 [Conf]
  35. Karl Denninghoff, Victor Vianu
    The Power of Methods With Parallel Semantics. [Citation Graph (3, 16)][DBLP]
    VLDB, 1991, pp:221-232 [Conf]
  36. Victor Vianu
    Database Survivability Under Dynamic Constraints. [Citation Graph (3, 0)][DBLP]
    Acta Inf., 1987, v:25, n:1, pp:55-84 [Journal]
  37. Philippe Picouet, Victor Vianu
    Semantics and Expressiveness Issues in Active Databases. [Citation Graph (3, 0)][DBLP]
    J. Comput. Syst. Sci., 1998, v:57, n:3, pp:325-355 [Journal]
  38. Dino Karabeg, Victor Vianu
    Simplification Rules and Complete Axiomatization for Relational Update Transactions. [Citation Graph (3, 3)][DBLP]
    ACM Trans. Database Syst., 1991, v:16, n:3, pp:439-475 [Journal]
  39. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu
    Fixpoint Logics, Relational Machines, and Computational Complexity. [Citation Graph (2, 0)][DBLP]
    Structure in Complexity Theory Conference, 1992, pp:156-168 [Conf]
  40. Tova Milo, Dan Suciu, Victor Vianu
    Typechecking for XML Transformers. [Citation Graph (2, 16)][DBLP]
    PODS, 2000, pp:11-22 [Conf]
  41. Luc Segoufin, Victor Vianu
    Querying Spatial Databases via Topological Invariants. [Citation Graph (2, 21)][DBLP]
    PODS, 1998, pp:89-98 [Conf]
  42. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu
    Fixpoint logics, relational machines, and computational complexity. [Citation Graph (2, 0)][DBLP]
    J. ACM, 1997, v:44, n:1, pp:30-56 [Journal]
  43. Stéphane Grumbach, Victor Vianu
    Tractable Query Languages for Complex Object Databases. [Citation Graph (2, 0)][DBLP]
    J. Comput. Syst. Sci., 1995, v:51, n:2, pp:149-167 [Journal]
  44. Victor Vianu
    A Dynamic Framework for Object Projection Views. [Citation Graph (2, 11)][DBLP]
    ACM Trans. Database Syst., 1988, v:13, n:1, pp:1-22 [Journal]
  45. Serge Abiteboul, Bernd Amann, Sophie Cluet, Tova Milo, Victor Vianu
    Active Views for Electronic Commerce. [Citation Graph (1, 0)][DBLP]
    BDA, 1998, pp:405-424 [Conf]
  46. Bart Kuijpers, Victor Vianu
    Topological Queries. [Citation Graph (1, 0)][DBLP]
    Constraint Databases, 2000, pp:231-273 [Conf]
  47. Victor Vianu
    Object Projection Views in the Dynamic Relational Model. [Citation Graph (1, 10)][DBLP]
    PODS, 1984, pp:214-220 [Conf]
  48. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu
    Computing with Infinitary Logic. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:149, n:1, pp:101-128 [Journal]
  49. Victor Vianu, Gottfried Vossen
    Conceptual Level Concurrency Control of Relational Update Transactions. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:95, n:1, pp:1-42 [Journal]
  50. Serge Abiteboul, Victor Vianu
    Expressive Power of Query Languages. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:441-468 [Conf]
  51. Philippe Picouet, Victor Vianu
    Modélisation Formelle des Bases de Données Actives. [Citation Graph (0, 0)][DBLP]
    BDA, 1996, pp:311-330 [Conf]
  52. Victor Vianu
    Topological Queries in Spatial Databases. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:1- [Conf]
  53. Victor Vianu
    Databases and Finite-Model Theory. [Citation Graph (0, 0)][DBLP]
    Descriptive Complexity and Finite Models, 1996, pp:97-148 [Conf]
  54. Serge Abiteboul, Victor Vianu
    Computing on Structures. [Citation Graph (0, 0)][DBLP]
    ICALP, 1993, pp:606-620 [Conf]
  55. Alan Nash, Jeffrey B. Remmel, Victor Vianu
    PTIME Queries Revisited. [Citation Graph (0, 0)][DBLP]
    ICDT, 2005, pp:274-288 [Conf]
  56. Yannis Papakonstantinou, Victor Vianu
    Incremental Validation of XML Documents. [Citation Graph (0, 0)][DBLP]
    ICDT, 2003, pp:47-63 [Conf]
  57. Philippe Picouet, Victor Vianu
    Expressiveness and Complexity of Active Databases. [Citation Graph (0, 18)][DBLP]
    ICDT, 1997, pp:155-172 [Conf]
  58. Sérgio Lifschitz, Victor Vianu
    A Probabilistic View of Datalog Parallelization. [Citation Graph (0, 20)][DBLP]
    ICDT, 1995, pp:294-307 [Conf]
  59. Alan Nash, Luc Segoufin, Victor Vianu
    Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. [Citation Graph (0, 0)][DBLP]
    ICDT, 2007, pp:59-73 [Conf]
  60. Marco 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. [Citation Graph (0, 0)][DBLP]
    ICWE, 2005, pp:557-568 [Conf]
  61. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
    Typechecking XML Views of Relational Databases. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:421-430 [Conf]
  62. Frank Neven, Thomas Schwentick, Victor Vianu
    Towards Regular Languages over Infinite Alphabets. [Citation Graph (0, 0)][DBLP]
    MFCS, 2001, pp:560-572 [Conf]
  63. Victor Vianu
    The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space. [Citation Graph (0, 0)][DBLP]
    MFCS, 1977, pp:537-542 [Conf]
  64. Victor Vianu, Gottfried Vossen
    Goal-Oriented Concurrency Control. [Citation Graph (0, 17)][DBLP]
    MFDBS, 1989, pp:398-414 [Conf]
  65. Serge Abiteboul, Luc Segoufin, Victor Vianu
    Representing and Querying XML with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    PODS, 2001, pp:- [Conf]
  66. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
    XML with Data Values: Typechecking Revisited. [Citation Graph (0, 0)][DBLP]
    PODS, 2001, pp:- [Conf]
  67. Karl Denninghoff, Victor Vianu
    Database Method Schemas and Object Creation. [Citation Graph (0, 16)][DBLP]
    PODS, 1993, pp:265-275 [Conf]
  68. Alin Deutsch, Liying Sui, Victor Vianu
    Specification and Verification of Data-driven Web Services. [Citation Graph (0, 0)][DBLP]
    PODS, 2004, pp:71-82 [Conf]
  69. Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
    Verification of communicating data-driven web services. [Citation Graph (0, 0)][DBLP]
    PODS, 2006, pp:90-99 [Conf]
  70. Luc Segoufin, Victor Vianu
    Validating Streaming XML Documents. [Citation Graph (0, 0)][DBLP]
    PODS, 2002, pp:53-64 [Conf]
  71. Luc Segoufin, Victor Vianu
    Views and queries: determinacy and rewriting. [Citation Graph (0, 0)][DBLP]
    PODS, 2005, pp:49-60 [Conf]
  72. Victor Vianu
    A Web Odyssey: From Codd to XML. [Citation Graph (0, 0)][DBLP]
    PODS, 2001, pp:- [Conf]
  73. Victor Vianu
    XML: From Practice to Theory. [Citation Graph (0, 0)][DBLP]
    SBBD, 2003, pp:11-25 [Conf]
  74. Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou
    A Verifier for Interactive, Data-Driven Web Applications. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 2005, pp:539-550 [Conf]
  75. Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
    A system for specification and verification of interactive, data-driven web applications. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 2006, pp:772-774 [Conf]
  76. Victor Vianu
    Logic as a Query Language: From Frege to XML. [Citation Graph (0, 0)][DBLP]
    STACS, 2003, pp:1-12 [Conf]
  77. Chaitanya 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. [Citation Graph (0, 0)][DBLP]
    QL, 1998, pp:- [Conf]
  78. Tim Connors, Victor Vianu
    Tableaux which Define Expression Mappings. [Citation Graph (0, 0)][DBLP]
    XP2 Workshop on Relational Database Theory, 1981, pp:- [Conf]
  79. Victor Vianu
    Rule-Based Languages. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:19, n:1-2, pp:215-259 [Journal]
  80. Victor Vianu, Gottfried Vossen
    Static and Dynamic Aspects of Goal-Oriented Concurrency Control. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:7, n:1-4, pp:257-287 [Journal]
  81. Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
    On the unusual effectiveness of logic in computer science. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2001, v:7, n:2, pp:213-236 [Journal]
  82. Peter Lyngbæk, Victor Vianu
    Relational Translations of Semantic Models: A Case Study Based on Iris. [Citation Graph (0, 0)][DBLP]
    IEEE Data Eng. Bull., 1988, v:11, n:2, pp:13-22 [Journal]
  83. Victor Vianu
    Review - Computable Queries for Relational Data Bases. [Citation Graph (0, 1)][DBLP]
    ACM SIGMOD Digital Review, 2000, v:2, n:, pp:- [Journal]
  84. Victor Vianu
    Review - Hypothetical Datalog: Complexity and Expressibility. [Citation Graph (0, 1)][DBLP]
    ACM SIGMOD Digital Review, 2000, v:2, n:, pp:- [Journal]
  85. Victor Vianu
    Review - On Instance-Completeness for Database Query Languages involving Object Creation. [Citation Graph (0, 1)][DBLP]
    ACM SIGMOD Digital Review, 2000, v:2, n:, pp:- [Journal]
  86. Victor Vianu
    Review - Exact and Approximate Aggregation in Constraint Query. [Citation Graph (0, 1)][DBLP]
    ACM SIGMOD Digital Review, 2000, v:2, n:, pp:- [Journal]
  87. Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu
    Reflective Relational Machines. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:143, n:2, pp:110-136 [Journal]
  88. Phokion G. Kolaitis, Victor Vianu
    Foreword. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2004, v:51, n:1, pp:1- [Journal]
  89. Tova Milo, Victor Vianu
    Introduction. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2005, v:52, n:2, pp:245- [Journal]
  90. Dan Suciu, Victor Vianu
    Introduction. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2006, v:53, n:2, pp:207- [Journal]
  91. Serge Abiteboul, Victor Vianu
    Regular Path Queries with Constraints. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1999, v:58, n:3, pp:428-452 [Journal]
  92. Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha
    Relational Transducers for Electronic Commerce. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2000, v:61, n:2, pp:236-269 [Journal]
  93. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
    XML with data values: typechecking revisited. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2003, v:66, n:4, pp:688-727 [Journal]
  94. Tova Milo, Dan Suciu, Victor Vianu
    Typechecking for XML transformers. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2003, v:66, n:1, pp:66-97 [Journal]
  95. Christos H. Papadimitriou, Dan Suciu, Victor Vianu
    Topological Queries in Spatial Databases. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1999, v:58, n:1, pp:29-53 [Journal]
  96. Luc Segoufin, Victor Vianu
    Querying Spatial Databases via Topological Invariants. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2000, v:61, n:2, pp:270-301 [Journal]
  97. Alin Deutsch, Liying Sui, Victor Vianu
    Specification and verification of data-driven Web applications. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2007, v:73, n:3, pp:442-474 [Journal]
  98. Serge 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. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 1990, v:19, n:4, pp:41-48 [Journal]
  99. Serge 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. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2005, v:34, n:1, pp:5-12 [Journal]
  100. Stefano Ceri, Leonid A. Kalinichenko, Masaru Kitsuregawa, Hongjun Lu, Z. Meral Özsoyoglu, Richard T. Snodgrass, Victor Vianu
    SIGMOD Sister Societies. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2000, v:29, n:1, pp:4-15 [Journal]
  101. Kenneth A. Ross, Christos Faloutsos, Alon Y. Levy, Patrick E. O'Neil, Eric Simon, Divesh Srivastava, Victor Vianu, Gerhard Weikum
    Reminiscences on Influential Papers. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2000, v:29, n:1, pp:52-65 [Journal]
  102. Victor Vianu
    A Web odyssey: from codd to XML. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2003, v:32, n:2, pp:68-77 [Journal]
  103. Serge Abiteboul, Victor Vianu
    Queries and computation on the web. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:239, n:2, pp:231-255 [Journal]
  104. Dino Karabeg, Victor Vianu
    Parallel Update Transactions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:76, n:1, pp:93-114 [Journal]
  105. Sérgio Lifschitz, Victor Vianu
    A Probabilistic View of Datalog Parallelization. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:190, n:2, pp:211-239 [Journal]
  106. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
    Typechecking XML views of relational databases. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2003, v:4, n:3, pp:315-354 [Journal]
  107. Frank Neven, Thomas Schwentick, Victor Vianu
    Finite state machines for strings over infinite alphabets. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:3, pp:403-435 [Journal]
  108. Serge Abiteboul, Luc Segoufin, Victor Vianu
    Representing and querying XML with incomplete information. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Database Syst., 2006, v:31, n:1, pp:208-254 [Journal]
  109. Andrey Balmin, Yannis Papakonstantinou, Victor Vianu
    Incremental validation of XML documents. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Database Syst., 2004, v:29, n:4, pp:710-751 [Journal]

  110. Automatic verification of database-driven systems: a new frontier. [Citation Graph (, )][DBLP]


  111. Automatic verification of data-centric business processes. [Citation Graph (, )][DBLP]


  112. Static analysis of active XML systems. [Citation Graph (, )][DBLP]


  113. JACM at the start of a new decade. [Citation Graph (, )][DBLP]


  114. Modeling and Verifying Active XML Artifacts. [Citation Graph (, )][DBLP]


  115. WAVE: Automatic Verification of Data-Driven Web Services. [Citation Graph (, )][DBLP]


Search in 0.014secs, Finished in 0.021secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002