Recherche - Archive ouverte HAL

3 résultats

	Pour les 3 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par 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

		Reasoning about Universal Cubes in MCMT Sylvain Conchon , Mattias Roux ICFEM 2019 - 21st International Conference on Formal Engineering Methods, Nov 2019, Shenzhen, China. pp.270--285 Communication dans un congrès hal-02420588v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		FAR-Cubicle — A new reachability algorithm for Cubicle Sylvain Conchon , Amit Goel , Sava Krstic , Rupak Majumdar , Mattias Roux 2017 Formal Methods in Computer-Aided Design (FMCAD), Oct 2017, Vienna, France. ⟨10.23919/FMCAD.2017.8102256⟩ Communication dans un congrès hal-01927220v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Varroa destructor changes its cuticular hydrocarbons to mimic new hosts Y Le Conte , Y.Z. Huang , Mattias Roux , Z.-J. Zeng , Jean-Philippe Christidès , et al. Biology Letters, 2015, 11 (6), pp.20150233. ⟨10.1098/rsbl.2015.0233⟩ Article dans une revue hal-01295750v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats