Skip to Main content Skip to Navigation

tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
hal-01890511v1  Journal articles
Jan-Oliver KaiserBeta ZilianiRobbert KrebbersYann Régis-GianasDerek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
hal-01105158v1  Journal articles
Frédéric HechtRaphaël Kuate. An approximation of anisotropic metrics from higher order interpolation error for triangular mesh adaptation.
Journal of Computational and Applied Mathematics, Elsevier, 2014, 258, pp.99-115
hal-00794038v1  Journal articles
Xavier BlancRonan CostaouecClaude Le BrisFrédéric Legoll. Variance reduction in stochastic homogenization using antithetic variables
Markov Processes and Related Fields, Polymath, 2012, 18 (1), pp.31-66
hal-01262324v1  Conference papers
Laurent IbosJean-Pierre MoncheauJean DumoulinPatrick AussetVincent Feuillet et al.  Experimental Determination of the Directional Emissivity of Materials Using a Periodic Thermal Excitation Coupled with Infrared Thermography
19eme SYMPOSIUM ON THERMOPHYSICAL PROPERTIES, National Institute of Standards and Technology, May 2015, Boulder, United States
hal-02435793v1  Journal articles
Pascal PréaDominique Fortin. An Optimal Algorithm To Recognize Robinsonian Dissimilarities
Journal of Classification, Springer Verlag, 2014
hal-00701305v1  Journal articles
D. GibbingsP. LeblancF. JayD. PontierF. Michel et al.  Human prion protein binds Argonaute and promotes accumulation of microRNA effector complexes
Nature Structural and Molecular Biology, Nature Publishing Group, 2012, 19 (5), pp.517-524
hal-01416026v1  Journal articles
Jurek CzyzowiczDariusz DereniowskiLeszek GąsieniecRalf KlasingAdrian Kosowski et al.  Collision-Free Network Exploration
Journal of Computer and System Sciences, Elsevier, 2017, 86, pp.70-81. ⟨10.1016/j.jcss.2016.11.008⟩
inria-00497177v2  Journal articles
Vincent SilesHugo Herbelin. Pure Type System conversion is always typable
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (2), pp.153 - 180. ⟨10.1017/S0956796812000044⟩
hal-00524758v1  Journal articles
Julien ForestDelia Kesner. Expression Reduction Systems with Patterns
Journal of Automated Reasoning, Springer Verlag, 2007, 39 (4), pp.513-541
hal-01262275v1  Journal articles
Yacine BoufkhadThomas Hugel. Estimating satisfiability
Discrete Applied Mathematics, Elsevier, 2012, 160 (1-2), pp.19. ⟨10.1016/j.dam.2011.10.005⟩
hal-01423053v1  Journal articles
Vincent Cohen-AddadMichel HabibFabien de Montgolfier. Algorithmic aspects of switch cographs
Discrete Applied Mathematics, Elsevier, 2016, 200, pp.23 - 42. ⟨10.1016/j.dam.2015.07.008⟩
lirmm-00268543v1  Journal articles
Pierre FraigniaudJean-Claude KönigEmmanuel Lazard. Oriented Hypercubes
Networks, Wiley, 2002, 39 (2), pp.98-106
hal-00982466v1  Journal articles
Olivier BokanowskiIan SchindlerHasnaa Zidani. On the minimization of the energy of a free-electron gas with constrained density function
Nonlinear Analysis: Theory, Methods and Applications, Elsevier, 1999, 35 (8), pp.1073-1090
hal-01097141v1  Journal articles
Pierre FraigniaudGeorge Giakkoupis. Greedy routing in small-world networks with power-law degrees
Distributed Computing, Springer Verlag, 2014, 27 (4), pp.231 - 253. ⟨10.1007/s00446-014-0210-y⟩