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 HTML Advanced export... Syndicated feeds RSS ATOM
	hal-02995771v1 Book sections Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-yves Marion et al. Theoretical Computer Science: Computational Complexity A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, 2020
	hal-03173193v1 Book sections Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-yves Marion et al. Theoretical Computer Science: Computability, Decidability and Logic A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, pp.1-50, 2020, ⟨10.1007/978-3-030-06170-8_1⟩
	hal-03471926v1 Book sections Luca de Feo, Cyprien Delpech de Saint Guilhem, Tako Boris Fouotsa, Péter Kutas, Antonin Leroux et al. Séta: Supersingular Encryption from Torsion Attacks Advances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.249-278, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_9⟩
	inria-00440278v1 Book sections Philippe Baptiste, Ruslan Sadykov, Savourey David. Planification, ordonnancement : résolution de problèmes disjonctifs Alain Appriou. Gestion de la complexité et de l'information dans les grands systèmes critiques, CNRS Éditions, 2009, 978-2-271-06828-6
	hal-00769671v1 Book sections Pietro Belotti, Sonia Cafieri, Jon Lee, Leo Liberti, Andrew J. Miller. On the composition of convex envelopes for quadrilinear terms Optimization, Simulation, and Control, Springer Verlag, pp 1-16, 2013, Springer Optimization and Its Applications, Volume 76, 978-1-4614-5130-3. ⟨10.1007/978-1-4614-5131-0_1⟩
	hal-01889280v1 Book sections Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Joël Ouaknine et al. Model Checking Real-Time Systems Handbook of model checking, Springer-Verlag, pp.1001-1046, 2018, 978-3-319-10574-1. ⟨10.1007/978-3-319-10575-8_29⟩
	hal-01079893v1 Book sections yann Ponty, Fabrice Leclerc. Drawing and Editing the Secondary Structure(s) of RNA. Ernesto Picardi. RNA Bioinformatics, 1269, Springer New York, pp.63-100, 2015, Methods in Molecular Biology, 978-1-4939-2290-1. ⟨10.1007/978-1-4939-2291-8_5⟩
	hal-01060490v1 Book sections Loïc Paulevé, Courtney Chancellor, Maxime Folschette, Morgan Magnin, Olivier Roux. Analyzing Large Network Dynamics with Process Hitting Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8
		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 HTML Advanced export... Syndicated feeds RSS ATOM