Recherche

	1 2	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 49 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00869230v2 Communication dans un congrès Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous. Formal verification in Coq of program properties involving the global state effect JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17, 2014
	hal-00484871v4 Communication dans un congrès Thomas Braibant, Damien Pous. Tactics for Reasoning modulo AC in Coq Certified Proofs and Programs, 2011, Taiwan. pp167-182, 2011, <10.1007/978-3-642-25379-9_14>
	hal-01099137v1 Communication dans un congrès Paul Brunet, Damien Pous. Decidability of Identity-free Relational Kleene Lattices 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-01073936v3 Communication dans un congrès Paul Brunet, Damien Pous. Petri automata for Kleene allegories Logic in Computer Science, Jul 2015, Kyoto, Japan. IEEE, pp.68-79, 2015, <http://lics.rwth-aachen.de/lics15/>. <10.1109/LICS.2015.17>
	hal-00966078v1 Communication dans un congrès Fabienne Boyer, Olivier Gruber, Damien Pous. Robust reconfigurations of component assemblies ICSE '13 - International Conference on Software Engineering, May 2013, San Francisco, United States. IEEE/ACM, pp.13-22, 2013, <http://dl.acm.org/citation.cfm?id=2486791>
	hal-00966075v1 Communication dans un congrès Damien Pous. Coalgebraic Up-to Techniques CALCO, Sep 2013, Warsaw, Poland. Springer, 8089, 2013, LNCS. <10.1007/978-3-642-40206-7_4>
	hal-01442222v1 Communication dans un congrès Damien Pous, Jurriaan Rot. Companions, Codensity and Causality FoSSaCS, Apr 2017, Uppsala, Sweden
	hal-01515752v1 Pré-publication, Document de travail Enric Cosme-Llópez, Damien Pous. K4-free Graphs as a Free Algebra 2017
	ensl-00149964v3 Article dans une revue Damien Pous. Using Bisimulation Proof Techniques for the Analysis of Distributed Algorithms Theoretical Computer Science, Elsevier, 2008, 402 (2-3), pp.199-220. <10.1016/j.tcs.2008.04.035>
	hal-01442745v1 Article dans une revue Damien Pous. New Up-To Techniques for Weak Bisimulation Theoretical Computer Science, Elsevier, 2007, 380, pp.164 - 180. <10.1016/j.tcs.2007.02.060>
	hal-01073932v1 Rapport Paul Brunet, Damien Pous. Decidability of Identity-free Relational Kleene Lattices 2014
	ensl-00155308v2 Communication dans un congrès Damien Pous. Complete Lattices and Up-to Techniques Zhong Shao. 5th Asian Symposium on Programming Languages and Systems, Singapore, Singapore. Springer Berlin / Heidelberg, pp.351-366, 2007, volume 4807 of Lecture Notes in Computer Science. <10.1007/978-3-540-76637-7_24>
	hal-00383070v5 Communication dans un congrès Thomas Braibant, Damien Pous. Deciding Kleene Algebras in Coq ITP, Aug 2010, Edinburgh, United Kingdom. Springer, 6172, pp.163-178, 2010, LNCS. <10.1007/978-3-642-14052-5_13>
	tel-01445821v1 HDR Damien Pous. Automata for relation algebra and formal proofs Computer Science [cs]. ENS Lyon, 2016
	hal-00555144v3 Article dans une revue Tom Hirschowitz, Damien Pous. Innocent strategies as presheaves and interactive equivalences for CCS (expanded version) Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2012, 22 (1), pp.147-199. <10.7561/SACS.2012.1.147>
	hal-00990859v1 Communication dans un congrès Jean-Marie Madiot, Damien Pous, Davide Sangiorgi. Bisimulations up-to: beyond first-order transition systems CONCUR, Sep 2014, Rome, Italy. 2014, <10.1007/978-3-662-44584-6_8>
	hal-00375604v4 Communication dans un congrès Daniel Hirschkoff, Damien Pous. On Bisimilarity and Substitution in Presence of Replication ICALP, Jul 2010, Bordeaux, France. Springer, 6199, pp.454-465, 2010, LNCS. <10.1007/978-3-642-14162-1_38>
	hal-00785969v1 Communication dans un congrès Damien Pous. Kleene Algebra with Tests and Coq Tools for While Programs Interactive Theorem Proving 2013, Jul 2013, Rennes, France. Springer, 7998, pp.180-196, 2013, LNCS. <10.1007/978-3-642-39634-2_15>
	hal-00936488v2 Communication dans un congrès Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot. Coinduction up to in a fibrational setting CSL-LICS, Jul 2014, Vienne, Austria. ACM, pp.1-12, 2014, <10.1145/2603088.2603149>
	hal-00966072v1 Communication dans un congrès Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva. Brzozowski's and Up-To Algorithms for Must Testing 11th Asian Symposium on Programming Languages and Systems (APLAS), Dec 2013, Melbourne, Australia. Springer, 8301, pp.1-16, 2013, LNCS. <10.1007/978-3-319-03542-0_1>
	hal-01288791v1 Communication dans un congrès Damien Pous. Coinductive techniques, from automata to coalgebra Programming Languages Mentoring Workshop, Jan 2015, Mumbai, India. <10.1145/2792434.2792440>
	hal-00909391v1 Chapitre d'ouvrage Damien Pous, Davide Sangiorgi. Enhancements of the bisimulation proof method Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012
	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>
	hal-01288960v1 Article dans une revue Jurriaan Rot, Filippo Bonchi, Marcello Bonsangue, Damien Pous, Jan Rutten et al. Enhanced Coalgebraic Bisimulation Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2015, <10.1017/S0960129515000523>
	hal-00639716v5 Communication dans un congrès Filippo Bonchi, Damien Pous. Checking NFA equivalence with bisimulations up to congruence Principle of Programming Languages (POPL), Jan 2013, Roma, Italy. ACM, pp.457-468, 2013, <10.1145/2429069.2429124>
	hal-00616648v1 Communication dans un congrès Tom Hirschowitz, Damien Pous. Innocent strategies as presheaves and interactive equivalences for CCS ICE, Jun 2011, Reykjavik, Iceland. 59, pp.2-24, 2011, EPTCS. <10.4204/EPTCS.59.2>
	hal-01021497v2 Communication dans un congrès Damien Pous. Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. 2015
	hal-01285299v1 Communication dans un congrès Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot. Lax Bialgebras and Up-To Techniques for Weak Bisimulations 26th International Conference on Concurrency Theory (CONCUR), Sep 2015, Madrid, Spain. 2015, Leibniz International Proceedings in Informatics (LIPIcs). <10.4230/LIPIcs.CONCUR.2015.240>
	hal-01441462v1 Communication dans un congrès Damien Pous. Weak Bisimulation Up to Elaboration CONCUR, 2006, Bonn, Germany. pp.390 - 405, 2006, <10.1007/11817949_26>
	hal-01441457v1 Communication dans un congrès Damien Pous. On Bisimulation Proofs for the Analysis of Distributed Abstract Machines TGC, 2006, Lucca, Italy. 2006, <10.1007/978-3-540-75336-0_10>
	1 2	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 49 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Discipline

Structure

Collection

Langue

Type de dépôt

Année

Contact