Skip to Main content Skip to Navigation

hal-01889280v1  Book sections
Patricia BouyerUli FahrenbergKim LarsenNicolas MarkeyJoë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 PontyFabrice 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 ChancellorMaxime FolschetteMagnin MorganOlivier 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
hal-00846818v1  Book sections
Stefanie SchirmerYann PontyRobert Giegerich. Introduction to RNA secondary structure comparison.
Gorodkin, Jan and Ruzzo, Walter L. RNA Sequence, Structure, and Function: Computational and Bioinformatic Methods, 1097, Springer, pp.247-73, 2013, Methods in molecular biology, ISBN 978-1-62703-708-2. ⟨10.1007/978-1-62703-709-9_12⟩
hal-00769671v1  Book sections
Pietro BelottiSonia CafieriJon LeeLeo LibertiAndrew 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⟩
inria-00440278v1  Book sections
Philippe BaptisteRuslan SadykovSavourey 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