Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Alan Schmitt
2010 – today
- 2013
[c28]Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani: Concurrent Flexible Reversibility. ESOP 2013: 370-390- 2011
- [j5]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the expressiveness and decidability of higher-order process calculi. Inf. Comput. 209(2): 198-226 (2011)
- [j4]Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani: Characterizing contextual equivalence in calculi with passivation. Inf. Comput. 209(11): 1390-1433 (2011)
- [c27]Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani: Controlling Reversibility in Higher-Order Pi. CONCUR 2011: 297-311
- [c26]Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt: Query Reasoning on Trees with Types, Interleaving, and Counting. IJCAI 2011: 718-723
- 2010
- [c25]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. ICALP (2) 2010: 442-453
- [i2]Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt: A Tree Logic with Graded Paths and Nominals. CoRR abs/1005.5623 (2010)
- [i1]Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt: On the Count of Trees. CoRR abs/1008.5073 (2010)
2000 – 2009
- 2009
- [c24]Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani: Howe's Method for Calculi with Passivation. CONCUR 2009: 448-462
- [c23]Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani: Typing Component-Based Communication Systems. FMOODS/FORTE 2009: 167-181
- [c22]Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani: Normal Bisimulations in Calculi with Passivation. FOSSACS 2009: 257-271
- [c21]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the Expressiveness of Polyadicity in Higher-Order Process Calculi. ICTCS 2009: 143-149
- [e1]Alan Schmitt (Ed.): JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31 - February 3, 2009. Proceedings. Studia Informatica Universalis 7.2, 2009, ISBN 978-2-7056-6917-1
- 2008
- [c20]Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani: Typing communicating component assemblages. GPCE 2008: 125-136
- [c19]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the Expressiveness and Decidability of Higher-Order Process Calculi. LICS 2008: 145-155
- [c18]Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt: Boomerang: resourceful lenses for string data. POPL 2008: 407-419
- 2007
- [j3]J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt: Exploiting schemas in data synchronization. J. Comput. Syst. Sci. 73(4): 669-689 (2007)
- [j2]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. ACM Trans. Program. Lang. Syst. 29(3) (2007)
- [c17]Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani: Oz/K: a kernel language for component-based open programming. GPCE 2007: 43-52
- [c16]Pierre Genevès, Nabil Layaïda, Alan Schmitt: XPath Typing Using a Modal Logic with Converse for Finite Trees. PLAN-X 2007: 61-72
- [c15]J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt: A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. PLAN-X 2007: 80-90
- [c14]Pierre Genevès, Nabil Layaïda, Alan Schmitt: Efficient static analysis of XML paths and types. PLDI 2007: 342-351
- 2006
- [j1]Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani: Dream types: a domain specific type system for component-based message-oriented middleware. ACM SIGSOFT Software Engineering Notes 31(2) (2006)
- [c13]
- [c12]Michael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, Alan Schmitt: Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. DISC 2006: 269-283
- 2005
- [c11]Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt: XML Goes Native: Run-Time Representations for Xtatic. CC 2005: 43-58
- [c10]J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt: Exploiting Schemas in Data Synchronization. DBPL 2005: 42-57
- [c9]Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani: An Abstract Machine for the Kell Calculus. FMOODS 2005: 31-46
- [c8]Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani: Component-Oriented Programming with Sharing: Containment is Not Ownership. GPCE 2005: 389-404
- [c7]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. POPL 2005: 233-246
- 2004
- [c6]Alan Schmitt, Jean-Bernard Stefani: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. Global Computing 2004: 146-178
- [c5]Sara Bouchenak, Fabienne Boyer, Emmanuel Cecchet, Sébastien Jean, Alan Schmitt, Jean-Bernard Stefani: A component-based approach to distributed system management: a use case with self-manageable J2EE clusters. ACM SIGOPS European Workshop 2004: 26
- 2003
- [c4]Alan Schmitt, Jean-Bernard Stefani: The m-calculus: a higher-order distributed process calculus. POPL 2003: 50-61
- 2002
- [c3]Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt: JoCaml: A Language for Concurrent Distributed and Mobile Programming. Advanced Functional Programming 2002: 129-158
- [c2]
- 2000
- [c1]Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt: An Asynchronous, Distributed Implementation of Mobile Ambients. IFIP TCS 2000: 348-364
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-19 20:12 CET by the dblp team