Ban3

Informations sur l'auteur

Alan Schmitt

http://pistou.imag.fr/site/author/384

  
Équipe(s) :
SARDES Du 01/09/2008 au 31/12/2099 		 

Publications de l'auteur

La liste contient 30 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
2011
1
Serguei Lenglet, Alan Schmitt, Jean-Bernard Stefani.
Characterizing Contextual Equivalence in Calculi with Passivation.
Information and Computation, 209(11):1390--1433, nov 2011.
bibtex/ html
2
Ivan Lanese, Jorge A Pérez, Davide Sangiorgi, Alan Schmitt.
On the Expressiveness and Decidability of Higher-Order Process Calculi.
Information and Computation, 209(2):198--226, feb 2011.
bibtex/ html
2007
3
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.
bibtex/ html
4
J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt.
Exploiting schemas in data synchronization.
J. Comput. Syst. Sci., 73(4), 2007.
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2011
5
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt.
Query reasoning on trees with types, interleaving and counting.
IJCAI'11 : Proceedings of the 22nd International Joint Conference on Artificial Intelligence, :718-723, Barcelona, Spain, jul 2011.
bibtex/ html
6
Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani.
Controlling Reversibility in Higher-Order Pi.
Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR 2011), 6901:297--311, Lecture Notes in Computer Science, Aachen, Germany, sep 2011.
bibtex/ html
2010
7
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt.
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.
37th International Colloquium on Automata, Languages and Programming (ICALP), Part II, 6199, Lecture Notes in Computer Science, 2010.
bibtex/ html
2009
8
Serguei Lenglet, Alan Schmitt, Jean-Bernard Stefani.
Normal bisimulations in process calculi with passivation.
12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), 5504, Lecture Notes in Computer Science, 2009.
bibtex/ html
9
Michaël Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani.
Typing Component-Based Communication Systems.
11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 29th Formal Techniques for Networked and Distributed Systems (FORTE), Lecture Notes in Computer Science, 2009.
bibtex/ html
10
Serguei Lenglet, Alan Schmitt, Jean-Bernard Stefani.
Howe's method for calculi with passivation.
20th International Conference on Concurrency Theory (CONCUR 2009), Lecture Notes in Computer Science, 2009.
bibtex/ html
2008
11
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt.
Boomerang: resourceful lenses for string data.
35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (POPL), 2008.
bibtex/ html
12
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt.
On the Expressiveness and Decidability of Higher-Order Process Calculi.
23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), 2008.
bibtex/ html
13
Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani.
Typing Communicating Component Assemblages.
Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE'08), 2008.
bibtex/ html
2007
14
Pierre Genevès, Nabil Layaïda, Alan Schmitt.
Efficient Static Analysis of XML Paths and Types.
PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, :342--351, jun 2007.
Www-128x128 Www-128x128 [ abstract ]
bibtex/ html
15
Pierre Genevès, Nabil Layaïda, Alan Schmitt.
XPath Typing Using a Modal Logic with Converse for Finite Trees.
PLAN-X 2007, Programming Languages Technologies for XML, :61-72, jan 2007.
Www-128x128 [ abstract ]
bibtex/ html
16
J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt.
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.
ACM SIGPLAN Workshop Programming Language Technologies for XML (PLAN-X), 2007.
bibtex/ html
17
Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani.
Oz/K: A Kernel Language for Component-Based Open Programming.
6th ACM International Conference on Generative Programming and Component Engineering (GPCE), 2007.
bibtex/ html
2006
18
Michael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, Alan Schmitt.
Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data.
20th International Symposium on Distributed Computing (DISC), 4167, Lecture Notes in Computer Science, 2006.
bibtex/ html
19
Alan Schmitt, Jean-Bernard Stefani.
Towards a Calculus for Distributed Components.
5th International Symposium on Formal Methods for Components and Objects (FMCO 2006), 2006.
bibtex/ html
2005
20
Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani.
An Abstract Machine for the Kell Calculus..
7th IFIP International Conference Formal Methods for Open Object-Based Distributed Systems (FMOODS), 3535, Lecture Notes in Computer Science, 2005. Note: Best Paper Award.
bibtex/ html
21
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.
4th Workshop on Specification and Verification of Component-Based Systems (SAVCBS'05), in association with ESEC/FSE'05, 2005.
bibtex/ html
22
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.
32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 2005.
bibtex/ html
23
Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani.
Component-Oriented Programming with Sharing: Containment is Not Ownership..
Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, 3676, Lecture Notes in Computer Science, 2005.
bibtex/ html
24
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt.
XML Goes Native: Run-time Representations for Xtatic.
14th International Conference on Compiler Construction, 2005.
bibtex/ html
25
J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt.
Exploiting Schemas in Data Synchronization.
10th Int. Symp. on Database Programming Languages (DBPL), 2005.
bibtex/ html
Scientific books and chapter [OS]
2005
26
Alan Schmitt, Jean-Bernard Stefani.
C. Priami, P. Quaglia.
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.
Global Computing, 3267, Lecture Notes in Computer Science, Springer, 2005.
bibtex/ html
Doctoral Dissertations and Habilitations Theses [TH]
2011
27
Alan Schmitt.
Static Analyses for Manipulations of Hierarchically Structured Data.
Habilitation à Diriger les Recherches, Université de Grenoble, may 2011.
bibtex/ html
Other Publications [AP]
2010
28
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt.
A Tree Logic with Graded Paths and Nominals.
Research Report, (7251), INRIA, apr 2010.
Www-128x128 [ abstract ]
bibtex/ html
29
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt.
On the Count of Trees.
Rapport de recherche, (RR-7251), INRIA, aug 2010. Note: RR-7251.
bibtex/ html
2008
30
Pierre Genevès, Nabil Layaïda, Alan Schmitt.
Efficient Static Analysis of XML Paths and Types.
Research Report, (6590), INRIA, jul 2008.
Www-128x128 [ abstract ]
bibtex/ html