Alan Schmitt

	2009
27		Alan Schmitt: JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31 - February 3, 2009. Proceedings JFLA 2009
26		Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani: Howe's Method for Calculi with Passivation. CONCUR 2009: 448-462
25		Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani: Typing Component-Based Communication Systems. FMOODS/FORTE 2009: 167-181
24		Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani: Normal Bisimulations in Calculi with Passivation. FOSSACS 2009: 257-271
	2008
23		Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani: Typing communicating component assemblages. GPCE 2008: 125-136
22		Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the Expressiveness and Decidability of Higher-Order Process Calculi. LICS 2008: 145-155
21		Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt: Boomerang: resourceful lenses for string data. POPL 2008: 407-419
	2007
20		Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani: Oz/K: a kernel language for component-based open programming. GPCE 2007: 43-52
19		Pierre Genevès, Nabil Layaïda, Alan Schmitt: XPath Typing Using a Modal Logic with Converse for Finite Trees. PLAN-X 2007: 61-72
18		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
17		Pierre Genevès, Nabil Layaïda, Alan Schmitt: Efficient static analysis of XML paths and types. PLDI 2007: 342-351
16		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)
15		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)
	2006
14		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
13		Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt: XTATIC. PLAN-X 2006: 88
12		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)
	2005
11		Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt: XML Goes Native: Run-Time Representations for Xtatic. CC 2005: 43-58
10		J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt: Exploiting Schemas in Data Synchronization. DBPL 2005: 42-57
9		Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani: An Abstract Machine for the Kell Calculus. FMOODS 2005: 31-46
8		Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani: Component-Oriented Programming with Sharing: Containment is Not Ownership. GPCE 2005: 389-404
7		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
6		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
5		Alan Schmitt, Jean-Bernard Stefani: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. Global Computing 2004: 146-178
	2003
4		Alan Schmitt, Jean-Bernard Stefani: The m-calculus: a higher-order distributed process calculus. POPL 2003: 50-61
	2002
3		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
2		Alan Schmitt: Safe Dynamic Binding in the Join Calculus. IFIP TCS 2002: 563-575
	2000
1		Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt: An Asynchronous, Distributed Implementation of Mobile Ambients. IFIP TCS 2000: 348-364

Coauthor Index

1	Philippe Bidinger	[9] [12]
2	Aaron Bohannon	[21]
3	Sara Bouchenak	[6]
4	Fabienne Boyer	[6]
5	Emmanuel Cecchet	[6]
6	Fabrice Le Fessant	[3]
7	J. Nathan Foster	[7] [10] [15] [16] [18] [21]
8	Cédric Fournet	[1] [3]
9	Vladimir Gapeyev	[11] [13]
10	Pierre Genevès	[17] [19]
11	Michael B. Greenwald (Michael Greenwald)	[7] [10] [14] [15] [16]
12	Daniel Hirschkoff	[8]
13	Tom Hirschowitz	[8]
14	Sébastien Jean	[6]
15	Sanjeev Khanna	[14]
16	Christian Kirkegaard	[10] [15]
17	Keshav Kunal	[14]
18	Ivan Lanese	[22]
19	Nabil Layaïda	[17] [19]
20	Matthieu Leclercq	[12]
21	Sergueï Lenglet	[24] [26]
22	Michael Y. Levin	[11] [13]
23	Jean-Jacques Lévy	[1]
24	Michael Lienhardt	[20] [23] [25]
25	Luc Maranget	[3]
26	Claudio Antares Mezzina	[25]
27	Jonathan T. Moore	[7] [16]
28	Jorge A. Pérez (Jorge Andrés Pérez)	[22]
29	Benjamin C. Pierce	[7] [10] [11] [13] [14] [15] [16] [18] [21]
30	Alexandre Pilkiewicz	[21]
31	Damien Pous	[8]
32	Vivien Quéma	[12]
33	Davide Sangiorgi	[22]
34	Jean-Bernard Stefani	[4] [5] [6] [8] [9] [12] [20] [23] [24] [25] [26]

Colors in the list of coauthors