Rechercher

		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 11 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-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-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-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>
	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-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-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-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-00421158v4 Communication dans un congrès Damien Pous. Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic Computer Science Logic, Aug 2010, Czech Republic. Springer, 6247, pp.484-498, 2010, LNCS. <10.1007/978-3-642-15205-4_37>
	hal-00400159v1 Communication dans un congrès Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous. Encapsulation and Dynamic Modularity in the Pi-Calculus PLACES 2008, 2008, Oslo, Norway. Elsevier, 241, pp.85 - 100, 2009, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2009.06.005>
		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 11 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM