Alan Schmitt

2009
24	EE	Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani: Normal Bisimulations in Calculi with Passivation. FOSSACS 2009: 257-271
2008
23	EE	Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani: Typing communicating component assemblages. GPCE 2008: 125-136
22	EE	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	EE	Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt: Boomerang: resourceful lenses for string data. POPL 2008: 407-419
2007
20	EE	Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani: Oz/K: a kernel language for component-based open programming. GPCE 2007: 43-52
19	EE	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	EE	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	EE	Pierre Genevès, Nabil Layaïda, Alan Schmitt: Efficient static analysis of XML paths and types. PLDI 2007: 342-351
16	EE	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	EE	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	EE	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	EE	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	EE	Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt: XML Goes Native: Run-Time Representations for Xtatic. CC 2005: 43-58
10	EE	J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt: Exploiting Schemas in Data Synchronization. DBPL 2005: 42-57
9	EE	Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani: An Abstract Machine for the Kell Calculus. FMOODS 2005: 31-46
8	EE	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	EE	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	EE	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	EE	Alan Schmitt, Jean-Bernard Stefani: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. Global Computing 2004: 146-178
2003
4	EE	Alan Schmitt, Jean-Bernard Stefani: The m-calculus: a higher-order distributed process calculus. POPL 2003: 50-61
2002
3	EE	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	EE	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]
22	Michael Y. Levin	[11] [13]
23	Jean-Jacques Lévy	[1]
24	Michael Lienhardt	[20] [23]
25	Luc Maranget	[3]
26	Jonathan T. Moore	[7] [16]
27	Jorge A. Pérez (Jorge Andrés Pérez)	[22]
28	Benjamin C. Pierce	[7] [10] [11] [13] [14] [15] [16] [18] [21]
29	Alexandre Pilkiewicz	[21]
30	Damien Pous	[8]
31	Vivien Quéma	[12]
32	Davide Sangiorgi	[22]
33	Jean-Bernard Stefani	[4] [5] [6] [8] [9] [12] [20] [23] [24]

Colors in the list of coauthors