The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luc Segoufin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin
    The DEDALE System for Complex Spatial Queries. [Citation Graph (8, 27)][DBLP]
    SIGMOD Conference, 1998, pp:213-224 [Conf]
  2. Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin
    DEDALE, A Spatial Constraint Database. [Citation Graph (6, 21)][DBLP]
    DBPL, 1997, pp:38-59 [Conf]
  3. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin
    Spatio-Temporal Data Handling with Constraints. [Citation Graph (4, 0)][DBLP]
    ACM-GIS, 1998, pp:106-111 [Conf]
  4. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin
    On the Orthographic Dimension of Constraint Databases. [Citation Graph (3, 13)][DBLP]
    ICDT, 1999, pp:199-216 [Conf]
  5. Luc Segoufin, Victor Vianu
    Querying Spatial Databases via Topological Invariants. [Citation Graph (2, 21)][DBLP]
    PODS, 1998, pp:89-98 [Conf]
  6. Martin Grohe, Luc Segoufin
    On First-Order Topological Queries. [Citation Graph (1, 0)][DBLP]
    LICS, 2000, pp:349-360 [Conf]
  7. Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin
    Reachability and Connectivity Queries in Constraint Databases. [Citation Graph (1, 18)][DBLP]
    PODS, 2000, pp:104-115 [Conf]
  8. Nicole Bidoit, Sandra de Amo, Luc Segoufin
    Propriétés temporelles indépendantes de l'ordre. [Citation Graph (0, 0)][DBLP]
    BDA, 2001, pp:- [Conf]
  9. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin
    Modeling and Querying Interpolated Spatial Data. [Citation Graph (0, 0)][DBLP]
    Proc. 15èmes Journées Bases de Données Avancées, BDA, 1999, pp:469-487 [Conf]
  10. Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin
    DEDALE, A Spatial Constraint Database. [Citation Graph (0, 0)][DBLP]
    BDA, 1997, pp:- [Conf]
  11. Stéphane Grumbach, Luc Segoufin, Philippe Rigaux
    Efficient multi-dimensional data handling in constraint databases. [Citation Graph (0, 0)][DBLP]
    BDA, 1998, pp:- [Conf]
  12. Stéphane Grumbach, Zoé Lacroix, Philippe Rigaux, Luc Segoufin
    Optimization Techniques. [Citation Graph (0, 0)][DBLP]
    Constraint Databases, 2000, pp:319-334 [Conf]
  13. Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin
    The DEDALE Prototype. [Citation Graph (0, 0)][DBLP]
    Constraint Databases, 2000, pp:365-382 [Conf]
  14. Michael Benedikt, Luc Segoufin
    Towards a Characterization of Order-Invariant Queries over Tame Structures. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:276-291 [Conf]
  15. Luc Segoufin
    Automata and Logics for Words and Trees over an Infinite Alphabet. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:41-57 [Conf]
  16. Mikolaj Bojanczyk, Mathias Samuelides, Thomas Schwentick, Luc Segoufin
    Expressive Power of Pebble Automata. [Citation Graph (0, 0)][DBLP]
    ICALP (1), 2006, pp:157-168 [Conf]
  17. 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]
  18. Luc Segoufin, Cristina Sirangelo
    Constant-Memory Validation of Streaming XML Documents Against DTDs. [Citation Graph (0, 0)][DBLP]
    ICDT, 2007, pp:299-313 [Conf]
  19. Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin
    A Model-Theoretic Approach to Regular String Relations. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:431-0 [Conf]
  20. Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David
    Two-Variable Logic on Words with Data. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:7-16 [Conf]
  21. Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin
    String Operations in Query Languages. [Citation Graph (0, 0)][DBLP]
    PODS, 2001, pp:- [Conf]
  22. Serge Abiteboul, Luc Segoufin, Victor Vianu
    Representing and Querying XML with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    PODS, 2001, pp:- [Conf]
  23. Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
    Two-variable logic on data trees and XML reasoning. [Citation Graph (0, 0)][DBLP]
    PODS, 2006, pp:10-19 [Conf]
  24. Luc Segoufin
    Typing and querying XML documents: some complexity bounds. [Citation Graph (0, 0)][DBLP]
    PODS, 2003, pp:167-178 [Conf]
  25. Luc Segoufin, Victor Vianu
    Validating Streaming XML Documents. [Citation Graph (0, 0)][DBLP]
    PODS, 2002, pp:53-64 [Conf]
  26. Luc Segoufin, Victor Vianu
    Views and queries: determinacy and rewriting. [Citation Graph (0, 0)][DBLP]
    PODS, 2005, pp:49-60 [Conf]
  27. Michael Benedikt, Luc Segoufin
    Regular Tree Languages Definable in FO. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:327-339 [Conf]
  28. Anca Muscholl, Thomas Schwentick, Luc Segoufin
    Active Context-Free Games. [Citation Graph (0, 0)][DBLP]
    STACS, 2004, pp:452-464 [Conf]
  29. Martin Grohe, Thomas Schwentick, Luc Segoufin
    When is the evaluation of conjunctive queries tractable? [Citation Graph (0, 0)][DBLP]
    STOC, 2001, pp:657-666 [Conf]
  30. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin
    Manipulating Interpolated Data is Easier than You Thought. [Citation Graph (0, 16)][DBLP]
    VLDB, 2000, pp:156-165 [Conf]
  31. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin
    Handling Interpolated Data. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2003, v:46, n:6, pp:664-679 [Journal]
  32. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin
    Spatio-Temporal Data Handling with Constraints. [Citation Graph (0, 0)][DBLP]
    GeoInformatica, 2001, v:5, n:1, pp:95-115 [Journal]
  33. Anca Muscholl, Mathias Samuelides, Luc Segoufin
    Complementing deterministic tree-walking automata. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:99, n:1, pp:33-39 [Journal]
  34. Philippe Rigaux, Michel Scholl, Luc Segoufin, Stéphane Grumbach
    Building a constraint-based spatial database system: model, languages, and implementation. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 2003, v:28, n:6, pp:563-595 [Journal]
  35. Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin
    Definable relations and first-order query languages over strings. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2003, v:50, n:5, pp:694-751 [Journal]
  36. Georg Gottlob, Christoph Koch, Reinhard Pichler, Luc Segoufin
    The complexity of XPath query evaluation and XML typing. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2005, v:52, n:2, pp:284-335 [Journal]
  37. Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin
    Reachability and connectivity queries in constraint databases. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2003, v:66, n:1, pp:169-206 [Journal]
  38. 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]
  39. Nicole Bidoit, Sandra de Amo, Luc Segoufin
    Order Independent Temporal Properties. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:2, pp:277-298 [Journal]
  40. Anca Muscholl, Thomas Schwentick, Luc Segoufin
    Active Context-Free Games. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2006, v:39, n:1, pp:237-276 [Journal]
  41. Martin Grohe, Luc Segoufin
    On first-order topological queries. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2002, v:3, n:3, pp:336-358 [Journal]
  42. 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]
  43. Mathias Samuelides, Luc Segoufin
    Complexity of Pebble Tree-Walking Automata. [Citation Graph (0, 0)][DBLP]
    FCT, 2007, pp:458-469 [Conf]
  44. Luc Segoufin
    Static analysis of XML processing with data values. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2007, v:36, n:1, pp:31-38 [Journal]

  45. Tree Languages Defined in First-Order Logic with One Quantifier Alternation. [Citation Graph (, )][DBLP]


  46. A Decidable Characterization of Locally Testable Tree Languages. [Citation Graph (, )][DBLP]


  47. Piecewise Testable Tree Languages. [Citation Graph (, )][DBLP]


  48. Deciding Definability in FO2(<) (or XPath) on Trees. [Citation Graph (, )][DBLP]


  49. Addition-Invariant FO and Regularity. [Citation Graph (, )][DBLP]


  50. Future-Looking Logics on Data Words and Trees. [Citation Graph (, )][DBLP]


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


  52. XPath, transitive closure logic, and nested tree walking automata. [Citation Graph (, )][DBLP]


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


Search in 0.004secs, Finished in 0.006secs
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