 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00200912v1
Communication dans un congrès
Yuxin Deng, Catuscia Palamidessi, Jun Pang. Weak Probabilistic Anonymity Michael Backes and Andre Scedrov. 3rd International Workshop on Security Issues in Concurrency (SecCo), Aug 2005, San Francisco, United States. Elsevier Science B.V., 180 (1), pp.55-76, 2007, Electronic Notes in Theoretical Computer Science; Proceedings of the 3rd International Workshop on Security Issues in Concurrency (SecCo). <10.1016/j.entcs.2005.05.043> |
||
|
hal-00150806v1
Communication dans un congrès
Pascal Berthomé, Sylvain Lebresne, Kim Nguyen. Computation of Chromatic Polynomials Using Triangulations and Clique Trees Kratsch, Dieter. WG 2005, Dec 2006, Metz, France. Springer, pp.362-373, 2006 |
||
|
hal-00800554v1
Communication dans un congrès
Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel. Specifying Imperative ML-Like Programs Using Dynamic Logic Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Jun 2010, Paris, France. Springer, 6528, pp.122-137, 2010, Lecture Notes in Computer Science |
||
|
hal-00350299v1
Chapitre d'ouvrage
Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer, Jean Krivine. Rule-based modelling and model perturbations Corrado Priami ; Ralph-Johan Back ; Ion Petre. Transactions on Computational Systems Biology XI, Springer, pp.116-137, 2008, Lecture Notes in Computer Science, 978-3-642-04186-0. <10.1007/978-3-642-04186-0_6> |
||
|
hal-00650341v1
Communication dans un congrès
Matthias Puech, Yann Régis-Gianas. Safe Incremental Type Checking TLDI 2012 - Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation, Jan 2012, Philadelphia, United States |
||
|
hal-00150978v1
Communication dans un congrès
Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon. A very modal model of a modern, major, general type system Annual Symposium on Principles of Programming Languages, 2007, Nice, France. ACM Press, pp.109-122, 2007, <10.1145/1190216.1190235> |
||
|
inria-00201087v1
Communication dans un congrès
Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang. Metrics for Action-labelled Quantitative Transition Systems Antonio Cerone and Herbert Wiklicky. Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Apr 2005, Edinburgh, United Kingdom. Elsevier, 153 (2), pp.79-96, 2006, Electronic Notes in Theoretical Computer Science; Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages. <10.1016/j.entcs.2005.10.033> |
||
|
inria-00201100v1
Chapitre d'ouvrage
Yuxin Deng, Catuscia Palamidessi, Jun Pang. Compositional Reasoning for Probabilistic Finite-State Behaviors Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, 3838, Springer, pp.309-337, 2005, Lecture Notes in Computer Science, <10.1007/11601548_17> |
||
|
hal-00156389v1
Communication dans un congrès
Vincent Danos, Jean Krivine, Pawel Sobocinski. General Reversibility Jun 2007, Elsevier, pp.75-86, 2007, Electronic Notes in Theoretical Computer Science volume 175 |
||
|
inria-00424248v1
Rapport
Germain Faure, Alexandre Miquel. A Categorical Semantics for The Parallel Lambda-Calculus [Research Report] RR-7063, INRIA. 2009, pp.22 |
||
|
inria-00524942v1
Pré-publication, Document de travail
Hugo Herbelin, Alexis Saurin. λμ-calculus and Λμ-calculus: a Capital Difference 2009 |
||
|
hal-01275289v1
Pré-publication, Document de travail
Amina Doumane, David Baelde, Lucca Hirschi, Alexis Saurin. Towards Completeness via Proof Search in the Linear Time mu-Calculus 2016 |
||
|
hal-00527916v1
Communication dans un congrès
Michele Basaldella, Alexis Saurin, Kazushige Terui. From Focalization of Logic to the Logic of Focalization Twenty-Sixth Conference on the Mathematical Foundations of Programming Semantics - MFPS XXVI, May 2010, Ottawa, Canada. pp.161-176, 2010, Electronic Notes Theoretical Computer Science. <10.1016/j.entcs.2010.08.010> |
||
|
hal-00527881v1
Communication dans un congrès
Alexis Saurin, Dale Miller. A game semantics for proof search, preliminary results Twenty-first Conference on the Mathematical Foundations of Programming Semantics - MFPS XXI, May 2005, Birmingham, United Kingdom. 155, pp.543-563, 2006, <10.1016/j.entcs.2005.11.072> |
||
|
hal-00527893v1
Communication dans un congrès
Alexis Saurin, Kaustuv Chaudhuri, Dale Miller. Canonical Sequent Proofs via Multi-Focusing Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, Sep 2008, Milano, Italy. pp.383-396, 2008, <10.1007/978-0-387-09680-3_26> |
||
|
hal-00527888v1
Communication dans un congrès
Alexis Saurin, Dale Miller. From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic 16th EACSL Annual Conference on Computer Science and Logic - CSL 2007, Sep 2007, Lausanne, Switzerland. Springer, pp.405-419, 2007, Lecture notes in computer science. <10.1007/978-3-540-74915-8_31> |
||
|
hal-00527897v1
Communication dans un congrès
Alexis Saurin. Towards Ludics Programming: Interactive Proof Search 24th International Conference on Logic Programming - ICLP 2008, Dec 2008, Udine, Italy. Springer, pp.253-268, 2008, Lecture notes in computer science. <10.1007/978-3-540-89982-2_27> |
||
|
inria-00528352v1
Communication dans un congrès
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine. Abstract Interpretation of Cellular Signalling Networks Logozzo, F. and Peled, D.A. and Zuck, L.D. the 9th International Conference on Verification, Model Checking and Abstract Interpretation - VMCAI'08, Jan 2008, San Francisco, United States. Springer, 4905, pp.83-97, 2008, Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation. <10.1007/978-3-540-78163-9_11> |
||
|
hal-00625760v1
Communication dans un congrès
Roberto M. Amadio, Patrick Baillot, Antoine Madet. An affine-intuitionistic system of types and effects: confluence and termination Workshop LOLA "Syntax and Semantics of Low Level Languages", Jul 2010, Edimbourg, United Kingdom |
||
|
inria-00481815v1
Communication dans un congrès
Hugo Herbelin. An intuitionistic logic that proves Markov's principle Logic In Computer Science, Jul 2010, Edinburgh, United Kingdom. IEEE Computer Society, pp.50-56, 2010, Proceedings, 25th Annual IEEE Symposium on Logic in Computer Science (LICS '10), Edinburgh, UK, 11-14 July 2010 |
||
|
inria-00525874v1
Communication dans un congrès
Matthias Puech, Yann Regis-Gianas. Towards typed repositories of proofs Mathematically Intelligent Proof Search - MIPS 2010, Jul 2010, Paris, France. 2010 |
||
|
hal-01152588v4
Pré-publication, Document de travail
Théo Zimmermann, Hugo Herbelin. Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant 2015 |
||
|
hal-00527245v1
Communication dans un congrès
Thomas Ehrhard, Antonio Bucciarelli, Giulio Manzonetto. A Relational Model of a Parallel and Non-deterministic lambda-Calculus Sergei N. Artemov and Anil Nerode. Logical Foundations of Computer Science, International Symposium, LFCS 2009, Jan 2009, Deerfield Beach, FL, USA, France. Springer, 5407, pp.107-121, 2009, Lecture Notes in Computer Science |
||
|
hal-00527926v1
Communication dans un congrès
Alexis Saurin. Standardization and Böhm Trees for $\Lambda\mu$-Calculus Tenth International Symposium on Functional and Logic Programming - FLOPS 2010, Apr 2010, Sendai, Japan. Springer, 6009, pp.134-149, 2010, Lecture notes in computer science. <10.1007/978-3-642-12251-4_11> |
||
|
inria-00527981v1
Chapitre d'ouvrage
Elaine Murphy, Vincent Danos, Jérôme Feret, Jean Krivine, Russ Harmer. Rule Based Modeling and Model Refinement H. Lodhi and S. Muggleton. Elements of Computational Systems Biology, John Wiley & Sons, pp.83--114, 2010, Wiley Book Series on Bioinformatics, 978-0470180938. <10.1002/9780470556757.ch4> |
||
|
inria-00528409v1
Communication dans un congrès
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine. Scalable Simulation of Cellular Signaling Networks Shao, Z. the 5th Asian Symposium on Programming Languages and Systems - APLAS'07, Nov 2007, Singapore, Singapore. Springer, 4807, pp.139-157, 2007, Lecture Notes in Computer Science; Programming Languages and Systems. <10.1.1.139.5120> |
||
|
hal-00527925v1
Communication dans un congrès
Alexis Saurin. A Hierarchy for Delimited Continuations in Call-by-Name 13th International Conference on Software Science and Computational Structures - FOSSACS 2010, Mar 2010, Paphos, Cyprus. Springer, 6014, pp.374-388, 2010, Lecture notes in computer science. <10.1007/978-3-642-12032-9_26> |
||
|
hal-00527871v1
Communication dans un congrès
Alexis Saurin. Separation with streams in the $\Lambda\mu$-calculus 20th Annual IEEE Symposium on Logic In Computer Science - LICS 2005, Jun 2005, Chicago, United States. IEEE, pp.356-365, 2005, <10.1109/LICS.2005.48> |
||
|
hal-00438101v2
Pré-publication, Document de travail
Roberto Amadio, Patrick Baillot, Antoine Madet. An affine-intuitionistic system of types and effects: confluence and termination 2010 |
||
|
hal-00798049v1
Article dans une revue
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen. Optimizing XML Querying using Type-based Document Projection ACM Transactions on Database (Weston, Conn.) Systems, 2013, 38 (1), pp.1-45 |
||
|
|
||