Search - École polytechnique Access content directly

Filter your results

3 Results
Structure: Internal structure identifier : 105111

Discrete Choice in the Presence of Numerical Uncertainties

Debasmita Lohar , Eva Darulova , Sylvie Putot , Eric Goubault
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018, 37 (11), pp.2381-2392. ⟨10.1109/TCAD.2018.2857320⟩
Journal articles hal-02632884v1
Image document

Model Checking Real-Time Systems

Patricia Bouyer , Uli Fahrenberg , Kim G. Larsen , Nicolas Markey , Joël Ouaknine , et al.
Handbook of model checking, Springer-Verlag, pp.1001-1046, 2018, 978-3-319-10574-1. ⟨10.1007/978-3-319-10575-8_29⟩
Book sections hal-01889280v1
Image document

Conservation and Role of Electrostatics in Thymidylate Synthase

Divita Garg , Stephane Skouloubris , Julien Briffotaux , Hannu Myllykallio , Rebecca C Wade
Scientific Reports, 2015, ⟨10.1038/srep17356⟩
Journal articles hal-01255008v1