Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils Gesbert. Efficiently Deciding µ-calculus with Converse over Finite Trees. ACM Transactions on Computational Logic, Association for Computing Machinery, 2015, 16 (2), pp.41. 〈http://tocl.acm.org/〉. 〈10.1145/2724712〉. 〈hal-00868722v5〉

Ivan Lanese, Jorge Perez, Davide Sangiorgi, Alan Schmitt. On the Expressiveness and Decidability of Higher-Order Process Calculi. Journal of Information and Computation, Elsevier, 2011, 209 (2), pp.29. 〈10.1016/j.ic.2010.10.001〉. 〈hal-01112294〉

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Characterizing contextual equivalence in calculi with passivation. Information and Computation, Elsevier, 2011, 209 (11), pp.1390-1433. 〈10.1016/j.ic.2011.08.002〉. 〈hal-00903877〉

J. Foster, Michael Greenwald, Jonathan Moore, Benjamin Pierce, Alan Schmitt. Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2007, ACM Transactions on Programming Languages and Systems, 29 (3), pp.17. 〈10.1145/1232420.1232424〉. 〈inria-00484971〉

J. Foster, Michael Greenwald, Christian Kirkegaard, Benjamin Pierce, Alan Schmitt. Exploiting Schemas in Data Synchronization. Journal of Computer and System Sciences, Elsevier, 2007, 73 (4), pp.669-689. 〈10.1016/j.jcss.2006.10.024〉. 〈inria-00483199〉

Sergueï Lenglet, Alan Schmitt. HOπ in Coq. CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, 2018, 〈10.1145/3167083〉. 〈hal-01614987v3〉

Arthur Charguéraud, Alan Schmitt, Thomas Wood. JSExplain: A Double Debugger for JavaScript. The Web Conference 2018, Apr 2018, Lyon, France. pp.1-9, 〈10.1145/3184558.3185969〉. 〈hal-01745792〉

Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, et al.. Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines. LICS 2017, Jun 2017, Reykjavik, Iceland. Proceedings of LICS 2017. 〈hal-01479035〉

Gurvan Cabon, Alan Schmitt. Annotated multisemantics to prove Non-Interference analyses. PLAS 2017 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security, Oct 2017, Dallas, United States. ACM, pp.49-62, PLAS '17 Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security. 〈http://plas2017.cse.buffalo.edu/〉. 〈10.1145/3139337.3139344〉. 〈hal-01656404〉

Martin Bodin, Thomas Jensen, Alan Schmitt. An Abstract Separation Logic for Interlinked Extensible Records. Julien Signoles. Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France. 27es Journées Francophones des Langages Applicatifs, 2016. 〈hal-01333600〉

Sergueï Lenglet, Alan Schmitt. Howe's Method for Contextual Semantics . CONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. 〈10.4230/LIPIcs.CONCUR.2015.212〉. 〈hal-01192699〉

Petar Maksimovic, Alan Schmitt. HOCore in Coq. Interactive Theorem Proving, Aug 2015, Nanjing, China. Springer, Proceedings of the 6th conference on Interactive Theorem Proving (ITP 2015), 9236, 2015, Proceedings of the 6th conference on Interactive Theorem Proving (ITP 2015). 〈10.1007/978-3-319-22102-1_19〉. 〈hal-01243017〉

José Fragoso Santos, Thomas Jensen, Tamara Rezk, Alan Schmitt. Hybrid Typing of Secure Information Flow in a JavaScript-like Language. International Symposium on Trustworthy Global Computing, Aug 2015, Madrid, Spain. Proceedings of the 10th International Symposium on Trustworthy Global Computing (TGC 2015). 〈hal-01243029〉

Martin Bodin, Thomas Jensen, Alan Schmitt. Certified Abstract Interpretation with Pretty-Big-Step Semantics. Certified Programs and Proofs (CPP 2015), Jan 2015, Mumbai, India. Proceedings of the 2015 Conference on Certified Programs and Proofs. 〈10.1145/2676724.2693174〉. 〈hal-01111588〉

Pierre Genevès, Alan Schmitt. Expressive Logical Combinators for Free. International Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina. 〈hal-00868724v4〉

Martín Escarrá, Petar Maksimović, Alan Schmitt. HOCore in Coq. David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 〈http://jfla.inria.fr/2015〉. 〈hal-01099130〉

Damien Pous, Alan Schmitt. De la KAM avec un Processus d'Ordre Supérieur. JFLAs 2014, Jan 2014, Fréjus, France. pp.1-12, 2014, Actes des 25èmes Journées Francophones des Langages Applicatifs. 〈hal-00966097v2〉

Martin Bodin, Thomas Jensen, Alan Schmitt. Pretty-big-step-semantics-based Certified Abstract Interpretation. JFLA - 25ème Journées Francophones des Langages Applicatifs - 2014, Jan 2014, Fréjus, France. 2014. 〈hal-00927400〉

Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, et al.. A Trusted Mechanised JavaScript Specification. POPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. 2014. 〈hal-00910135〉

Martin Bodin, Alan Schmitt. A Certified JavaScript Interpreter. Damien Pous and Christine Tasson. JFLA - Journées francophones des langages applicatifs, Feb 2013, Aussois, France. 2013. 〈hal-00779459〉

Ivan Lanese, Michaël Lienhardt, Claudio Mezzina, Alan Schmitt, Jean-Bernard Stefani. Concurrent Flexible Reversibility. Matthias Felleisen and Philippa Gardner. 22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. Springer, 7792, pp.370-390, 2013, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-37036-6_21〉. 〈hal-00811629〉

Simon Boulier, Alan Schmitt. Formalisation de HOCore en Coq. JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France. 2012. 〈hal-00665945〉

Everardo Barcenas-Patino, Pierre Genevès, Nabil Layaïda, Alan Schmitt. Query Reasoning on Trees with Types, Interleaving, and Counting. 22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain. 2011. 〈inria-00609556〉

Ivan Lanese, Jorge Peréz, Davide Sangiorgi, Alan Schmitt. On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis. 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Jul 2010, Bordeaux, France. Springer, 6199, pp.442--453, 2010, Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP 2010). 〈inria-00514912〉

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Howe's Method for Calculi with Passivation. Mario Bravetti and Gianluigi Zavattaro. 20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. Springer, 5710, pp.448--462, 2009, Lecture Notes in Computer Science. 〈inria-00486800〉

Michaël Lienhardt, Claudio Mezzina, Alan Schmitt, Jean-Bernard Stefani. Typing Component-Based Communication Systems. 11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2009, Lisbonne, Portugal. Springer-Verlag, 5522, pp.167--181, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-02138-1_11〉. 〈inria-00488856〉

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation. Luca de Alfaro. 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Mar 2009, York, United Kingdom. Springer, 5504, pp.257--271, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-00596-1_19〉. 〈inria-00490810〉

Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani. Typing Communicating Component Assemblages. 7th International Conference on Generative Programming and Component Engineering (GPCE'08), Oct 2008, Nashville, United States. ACM, pp.125--136, 2008, Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE'08). 〈10.1145/1449913.1449933〉. 〈inria-00492749〉

Ivan Lanese, Jorge Peréz, 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), Jun 2008, Pittsburgh, Pennsylvania, United States. pp.145--155, 2008, Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008). 〈10.1109/LICS.2008.8〉. 〈inria-00494584〉

Aaron Bohannon, J. Foster, Benjamin Pierce, Alexandre Pilkiewicz, Alan Schmitt. Boomerang: Resourceful Lenses for String Data. ACM SIGPLAN--SIGACT Symposium on Principles of Programming Languages (POPL'08), Jan 2008, San Francisco, California, United States. pp.407--419, 2008, 〈10.1145/1328897.1328487〉. 〈inria-00496456〉

Pierre Genevès, Nabil Layaïda, Alan Schmitt. Efficient Static Analysis of XML Paths and Types. Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, San Diego, United States. pp.342--351, 2007, 〈10.1145/1250734.1250773〉. 〈hal-00189123〉

Pierre Genevès, Nabil Layaïda, Alan Schmitt. XPath Typing Using a Modal Logic with Converse for Finite Trees. Proceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp.1, 2007. 〈hal-00189131〉

Pierre Genevès, Nabil Layaïda, Alan Schmitt. Efficient Static Analysis of XML Paths and Types. 2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, New York, NY, United States. ACM Press, pp.342--351, 2007, PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation. 〈10.1145/1250734.1250773〉. 〈inria-00502789〉

Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani. Oz/K: A Kernel Language for Component-Based Open Programming. ACM. 6th International Conference on Generative Programming and Component Engineering (GPCE'07), Oct 2007, Salzburg, Austria. pp.43--52, 2007, Proceedings of the 6th International Conference on Generative Programming and Component Engineering (GPCE'07). 〈10.1145/1289971.1289980〉. 〈inria-00498413〉

Michael Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin Pierce, Alan Schmitt. Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. 20th International Symposium on Distributed Computing (DISC), Sep 2006, Stockholm, Sweden. 4167, pp.269--283, 2006, Lecture Notes in Computer Science. 〈10.1007/11864219_19〉. 〈inria-00535653〉

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 (GPCE), 2005, Tallinn, Estonia. Springer, 3676, pp.389-404, 2005, Lecture Notes in Computer Science. 〈10.1007/11561347_26〉. 〈hal-00310126〉

Alan Schmitt. Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs). INRIA. INRIA, pp.174, 2009. 〈inria-00362717〉

Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, et al.. Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines. [Research Report] RR-9052, Inria. 2017. 〈hal-01507625〉

Sergueï Lenglet, Alan Schmitt. Howe's Method for Contextual Semantics. [Research Report] RR-8750, Inria. 2015, pp.31. 〈hal-01168865〉

Pierre Genevès, Nabil Layaïda, Alan Schmitt. Logical Combinators for Rich Type Systems. [Research Report] RR-8010, INRIA. 2012, pp.18. 〈hal-00714353v2〉

Everardo Barcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt. On the Count of Trees. [Research Report] RR-7251, INRIA. 2010. 〈inria-00473160v2〉

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation. [Research Report] RR-6664, INRIA. 2008, pp.102. 〈inria-00330565〉

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Howe's Method for Early Bisimilarities. [Research Report] RR-6773, INRIA. 2008, pp.69. 〈inria-00347137v2〉

Pierre Genevès, Nabil Layaïda, Alan Schmitt. Efficient Static Analysis of XML Paths and Types. [Research Report] RR-6590, INRIA. 2008. 〈inria-00305302v3〉

Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani. Oz/K: A kernel language for component-based open programming. [Research Report] RR-6202, INRIA. 2007. 〈inria-00149612v2〉

Alan Schmitt, Jean-Bernard Stefani. The M-calculus: a Higher-Order Distributed Process Calculus. [Research Report] RR-4361, INRIA. 2002. 〈inria-00072227〉

Alan Schmitt. Static Analyses for Manipulations of Hierarchically Structured Data. Software Engineering [cs.SE]. Université de Grenoble, 2011. 〈tel-00637917〉