 |
 |
|
|
||
|---|---|---|
|
inria-00330565v1
Rapport
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation [Research Report] RR-6664, INRIA. 2008, pp.102 |
||
|
inria-00486800v1
Communication dans un congrès
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; Proceedings of the 20th International Conference on Concurrency Theory (CONCUR 2009) |
||
|
inria-00488856v1
Communication dans un congrès
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; Proceedings of the 11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE). <10.1007/978-3-642-02138-1_11> |
||
|
hal-00189123v1
Communication dans un congrès
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> |
||
|
inria-00490810v1
Communication dans un congrès
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; Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009). <10.1007/978-3-642-00596-1_19> |
||
|
inria-00305302v3
Rapport
Pierre Genevès, Nabil Layaïda, Alan Schmitt. Efficient Static Analysis of XML Paths and Types [Research Report] RR-6590, INRIA. 2008 |
||
|
inria-00484971v1
Article dans une revue
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-00483199v1
Article dans une revue
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-00502789v1
Communication dans un congrès
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-00473160v2
Rapport
Everardo Barcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt. On the Count of Trees [Research Report] RR-7251, INRIA. 2010 |
||
|
inria-00609556v1
Communication dans un congrès
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-00514912v1
Communication dans un congrès
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-00362717v1
Ouvrage (y compris édition critique et traduction)
Alan Schmitt. Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs) INRIA. INRIA, pp.174, 2009 |
||
|
hal-00189131v1
Communication dans un congrès
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 |
||
|
inria-00496456v1
Communication dans un congrès
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> |
||
|
tel-00637917v1
HDR
Alan Schmitt. Static Analyses for Manipulations of Hierarchically Structured Data Software Engineering [cs.SE]. Université de Grenoble, 2011 |
||
|
hal-00310126v1
Communication dans un congrès
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> |
||
|
inria-00347137v2
Rapport
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Howe's Method for Early Bisimilarities [Research Report] RR-6773, INRIA. 2008, pp.69 |
||
|
hal-00903877v1
Article dans une revue
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> |
||
|
inria-00492749v1
Communication dans un congrès
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-00494584v1
Communication dans un congrès
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-00498413v1
Communication dans un congrès
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> |
||
|
hal-00714353v2
Rapport
Pierre Genevès, Nabil Layaïda, Alan Schmitt. Logical Combinators for Rich Type Systems [Research Report] RR-8010, INRIA. 2012, pp.18 |
||
|
hal-00868724v4
Communication dans un congrès
Pierre Genevès, Alan Schmitt. Expressive Logical Combinators for Free International Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina |
||
|
hal-00868722v5
Article dans une revue
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> |
||
|
|
||
