Search the dblp DataBase

Publications of Author

1. Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt
   JoCaml: A Language for Concurrent Distributed and Mobile Programming. [Citation Graph (0, 0)][DBLP]
   Advanced Functional Programming, 2002, pp:129-158 [Conf]
   
2. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
   XML Goes Native: Run-Time Representations for Xtatic. [Citation Graph (0, 0)][DBLP]
   CC, 2005, pp:43-58 [Conf]
   
3. J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt
   Exploiting Schemas in Data Synchronization. [Citation Graph (0, 0)][DBLP]
   DBPL, 2005, pp:42-57 [Conf]
   
4. Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani
   An Abstract Machine for the Kell Calculus. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2005, pp:31-46 [Conf]
   
5. Alan Schmitt, Jean-Bernard Stefani
   The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. [Citation Graph (0, 0)][DBLP]
   Global Computing, 2004, pp:146-178 [Conf]
   
6. Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani
   Component-Oriented Programming with Sharing: Containment is Not Ownership. [Citation Graph (0, 0)][DBLP]
   GPCE, 2005, pp:389-404 [Conf]
   
7. Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt
   An Asynchronous, Distributed Implementation of Mobile Ambients. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2000, pp:348-364 [Conf]
   
8. Alan Schmitt
   Safe Dynamic Binding in the Join Calculus. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2002, pp:563-575 [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. 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]
    
11. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
    XTATIC. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2006, pp:88- [Conf]
    
12. J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
    Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:233-246 [Conf]
    
13. Alan Schmitt, Jean-Bernard Stefani
    The m-calculus: a higher-order distributed process calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:50-61 [Conf]
    
14. Michael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, Alan Schmitt
    Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. [Citation Graph (0, 0)][DBLP]
    DISC, 2006, pp:269-283 [Conf]
    
15. J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt
    Exploiting schemas in data synchronization. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2007, v:73, n:4, pp:669-689 [Journal]
    
16. Pierre Genevès, Nabil Layaïda, Alan Schmitt
    Efficient static analysis of XML paths and types. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:342-351 [Conf]
    
17. J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
    Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:3, pp:- [Journal]
    
18. 
    Howe's Method for Calculi with Passivation. [Citation Graph (, )][DBLP]
    
    
19. 
    Typing Component-Based Communication Systems. [Citation Graph (, )][DBLP]
    
    
20. 
    Normal Bisimulations in Calculi with Passivation. [Citation Graph (, )][DBLP]
    
    
21. 
    Oz/K: a kernel language for component-based open programming. [Citation Graph (, )][DBLP]
    
    
22. 
    Typing communicating component assemblages. [Citation Graph (, )][DBLP]
    
    
23. 
    On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. [Citation Graph (, )][DBLP]
    
    
24. 
    On the Expressiveness and Decidability of Higher-Order Process Calculi. [Citation Graph (, )][DBLP]
    
    
25. 
    Boomerang: resourceful lenses for string data. [Citation Graph (, )][DBLP]
    
    
26. 
    A component-based approach to distributed system management: a use case with self-manageable J2EE clusters. [Citation Graph (, )][DBLP]
    
    
27. 
    A Tree Logic with Graded Paths and Nominals [Citation Graph (, )][DBLP]
    
    
28. 
    On the Count of Trees [Citation Graph (, )][DBLP]