Conferences in DBLP

(planX)
2007 (conf/planX/2007)

1. Christoph Koch
   XPath Leashed. [Citation Graph (0, 0)][DBLP]
   PLAN-X, 2007, pp:0-1 [Conf]
   
2. Alain Frisch, Keisuke Nakano
   Streaming XML Transformation Using Term Rewriting. [Citation Graph (0, 0)][DBLP]
   PLAN-X, 2007, pp:2-13 [Conf]
   
3. Jan Hidders, Philippe Michiels, Jérôme Siméon, Roel Vercammen
   How to Recognise Different Kinds of Tree Patterns From Quite a Long Way Away. [Citation Graph (0, 0)][DBLP]
   PLAN-X, 2007, pp:14-24 [Conf]
   
4. James Cheney
   Lux: A Lightweight, Statically Typed XML Update Language. [Citation Graph (0, 0)][DBLP]
   PLAN-X, 2007, pp:25-36 [Conf]
   
5. Giuseppe Castagna, Nils Gesbert, Luca Padovani
   A Theory of Contracts for Web Services. [Citation Graph (0, 0)][DBLP]
   PLAN-X, 2007, pp:37-48 [Conf]
   
6. Kazuhiro Inaba, Haruo Hosoya
   XML Transformation Language Based on Monadic Second Order Logic. [Citation Graph (0, 0)][DBLP]
   PLAN-X, 2007, pp:49-60 [Conf]
   
7. Pierre Genevès, Nabil Layaïda, Alan Schmitt
   XPath Typing Using a Modal Logic with Converse for Finite Trees. [Citation Graph (0, 0)][DBLP]
   PLAN-X, 2007, pp:61-72 [Conf]
   
8. Sebastian Maneth, Helmut Seidl
   Deciding Equivalence of Top-Down XML Transformations in Polynomial Time. [Citation Graph (0, 0)][DBLP]
   PLAN-X, 2007, pp:73-79 [Conf]
   
9. J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt
   A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. [Citation Graph (0, 0)][DBLP]
   PLAN-X, 2007, pp:80-90 [Conf]
   
10. Kazuhiro Inaba, Haruo Hosoya
    MTran: An XML Transformation Language Based on Monadic Second Order Logic. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2007, pp:91-92 [Conf]
    
11. Jorge Coelho, Mário Florido
    XCentric: A Logic-Programming Language for XML Processing. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2007, pp:93-94 [Conf]
    
12. Ralf Lämmel
    LINQ to XSD. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2007, pp:95-96 [Conf]
    
13. Benoît Pin, Georges-André Silber
    GeLaBa (A Framework to Define Classes of XML Documents and to Automatically Derive Specialized Infrastructures). [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2007, pp:97-98 [Conf]