Search - INRIA - Institut National de Recherche en Informatique et en Automatique

		Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-01430490v2 Conference papers Jannik Dreier, Charles Duménil, Steve Kremer, Ralf Sasse. Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols (extended version) POST 2017 - 6th International Conference on Principles of Security and Trust, Apr 2017, Uppsala, Sweden. pp.117-140, ⟨10.1007/978-3-662-54455-6_6⟩
	hal-01962631v1 Reports Olivier Devillers, Charles Duménil. A Poisson sample of a smooth surface is a good sample [Research Report] RR-9239, INRIA Nancy. 2018, pp.8
	hal-02394144v1 Conference papers Olivier Devillers, Charles Duménil. A Poisson sample of a smooth surface is a good sample EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands
		Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize