1. Nicolas Tabareau, Jean-Jacques Slotine, and Quang-Cuong Pham. How synchronization protects from noise.. Plos Computational Biology, 6(1):e1000637, 2010.

1. Ismael Figueroa, Éric Tanter, and Nicolas Tabareau. A Practical Monadic Aspect Weaver. In Foundations of Aspect-Oriented Languages, Potsdam, Germany, March 2012.



2. Guilhem Jaber, Nicolas Tabareau, and Matthieu Sozeau. Extending Type Theory with Forcing. In LICS 2012 : Logic In Computer Science, Dubrovnik, Croatia, pages _, June 2012.



3. Nicolas Tabareau. A Monadic Interpretation of Execution Levels and Exceptions for AOP. In Modularity: AOSD'12, Postdam, Germany, March 2012. ACM Press.



4. Éric Tanter, Nicolas Tabareau, and Rémi Douence. Taming Aspects with Membranes. In Foundations of Aspect-Oriented Languages, Potsdam, Germany, March 2012.



5. Guilhem Jaber and Nicolas Tabareau. The Journey of Biorthogonal Logical Relations to the Realm of Assembly Code. In Workshop LOLA 2011, Syntax and Semantics of Low Level Languages, Toronto, Canada, June 2011. Keyword(s): Logical Relation, Biorthogonality, Low Level Language, Polymorphism.



6. Nicolas Tabareau. Aspect oriented programming: a language for 2-categories. In Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, Porto de Galinhas, Brazil, pages 13--17, 2011. ACM. Keyword(s): 2-category, AOP.



7. Guilhem Jaber and Nicolas Tabareau. Krivine realizability for compiler correctness. In Workshop LOLA 2010, Syntax and Semantics of Low Level Languages, Edinburgh, United Kingdom, July 2010. Keyword(s): compiler correctness, realizability, secd.



8. Nicolas Tabareau. A theory of distributed aspects. In ACM, editor, 9th International Conference on Aspect-Oriented Software Development (AOSD '10), Rennes, Saint-Malo, France, pages 133--144, 2010.



9. Paul-André Melliès, Nicolas Tabareau, and Christine Tasson. An explicit formula for the free exponential modality of linear logic. In Automata, Languages and Programming 36th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, Rhodes Grèce, pages 247-260, July 2009. Springer.

1. Nicolas Tabareau. Aspect Oriented Programming: a language for 2-categories. Research Report RR-7527, INRIA, February 2011. Keyword(s): Languages, Theory, design.



2. Éric Tanter, Nicolas Tabareau, and Rémi Douence. Exploring Membranes for Controlling Aspects. Research Report RR-7739, INRIA, September 2011.

1. Guilhem Jaber and Nicolas Tabareau. Decomposing Logical Relations with Forcing. , 2011.



2. Hervé Grall and Nicolas Tabareau. Linear logic as a foundation for service-oriented computing. , 2010.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html