Skip to Main content Skip to Navigation

Search by documents



hal-01959879v1  Books
Charlotte HardouinJacques SauloyMichael F. Singer. Galois Theories of Linear Difference Equations: An Introduction
American Mathematical Society. American Mathematical Society, 211, 2016, Mathematical Surveys and Monographs, 978-1-4704-2655-2. ⟨10.1090/surv/211⟩
hal-02540044v1  Book sections
Philippe Le CoustumerPatrick ChaponAgnès TempezYuriy PopovGeorge Thompson et al.  Analysis of thin and thick Films
Mike S. Lee. Mass Spectrometry Handbook, John Wiley & Sons, Inc., pp.943-959, 2012, 9780470536735. ⟨10.1002/9781118180730.ch41⟩
...
hal-01868791v1  Journal articles
Heinz BauschkePatrick CombettesDominikus Noll. Joint minimization with alternating Bregman proximity operators
Pacific journal of optimization, Yokohama Publishers, 2006
...
hal-01191257v1  Journal articles
Ronald E BaynesJim RiviereThomas FranzNancy A Monteiro-RivierePaul Lehman et al.  Challenges obtaining a biowaiver for topical veterinary dosage forms
Journal of Veterinary Pharmacology and Therapeutics, Wiley-Blackwell, 2012, 35 (1), pp.103-114. ⟨10.1111/j.1365-2885.2012.01381.x⟩
hal-01927297v1  Journal articles
Charlotte HardouinMichael Singer. Differential Galois theory of linear difference equations
Mathematische Annalen, Springer Verlag, 2008, 342 (2), pp.333 - 377. ⟨10.1007/s00208-008-0238-z⟩
hal-02660086v1  Journal articles
Murali DhandaydhamLauren CharlesHongyan ZhuJames L. StarrThierry Huguet et al.  Characterization of root-knot nematode resistance in Medicago truncatula
Journal of Nematology, Society of Nematologists, 2008, 40 (1), pp.46-54
...
hal-02960235v1  Journal articles
Nick HaddadLars BrudvigJean ClobertKendi DaviesAndrew Gonzalez et al.  Habitat fragmentation and its lasting impact on Earth’s ecosystems
Science Advances , American Association for the Advancement of Science (AAAS), 2015, 1 (2), pp.e1500052. ⟨10.1126/sciadv.1500052⟩
hal-00457183v1  Conference papers
Jean-Paul BodeveixM FilaliJulia LawallGilles Muller. Applying the B formal method to the Bossa domain-specific language
The 17th Nordic Workshop on Programming Theory (NWPT'05), 2005, Copenhagen, Denmark, Denmark. pp.35-38
hal-00457182v1  Conference papers
Jean-Paul BodeveixM FilaliJulia LawallGilles Muller. Formal Methods Meet Domain Specific Languages
The 5th International Conference on Integrated Formal Methods, 2005, Eindhoven, The Netherlands, Netherlands. pp.187-206