The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alan Schmitt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


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