• 
  Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet. A Type-based Analysis of Causality Loops in Hybrid Systems Modelers. Nonlinear Analysis: Hybrid Systems, Elsevier, 2017, 26, pp.21. <http://www.sciencedirect.com/science/journal/1751570X>. <10.1016/j.nahs.2017.04.004>. <hal-01549183>
• 
  Vincent Duchêne, Nicolas Raymond. Spectral asymptotics for the Schrödinger operator on the line with spreading and oscillating potentials. WKB constructions have been added. 2017. <hal-01361768v2>
• 
  Gwendal Le Moulec, Arnaud Blouin, Valérie Gouranton, Bruno Arnaldi. Automatic Production of End User Documentation for DSLs. 2017. <hal-01549042>
• 
  P. Castany, Y. Yang, E. Bertrand, T. Gloriant. Reversion of a Parent {130}α" Martensitic Twinning System at the Origin of {332}β Twins Observed in Metastable beta Titanium Alloys. Physical Review Letters, American Physical Society, 2016, 117 (24), pp.245501. <10.1103/PhysRevLett.117.245501>. <hal-01438121>
• 
  Šejla Čebirić, François Goasdoué, Ioana Manolescu. Query-Oriented Summarization of RDF Graphs. [Research Report] RR-8920, INRIA Saclay; Université Rennes 1. 2017. <hal-01325900v5>
• 
  Vincent Duchêne, Dag Nilsson, Erik Wahlén. Solitary wave solutions to a class of modified Green-Naghdi systems. 2017. <hal-01548404>
• 
  A Paisant, A. Boulic, E. Bardou-Jacquet, Elise Bannier, G. D’assignies, et al.. Assessment of liver iron overload by 3 T MRI. Abdominal Radiology, Springer, 2017, 42 (6), pp.1713-1720. <10.1007/s00261-017-1077-8>. <inserm-01477775>
• 
  Cédric Maigrot, Vincent Claveau, Ewa Kijak. Détection de fausses informations dans les réseaux sociaux : vers des approches multi-modales. Extraction et Gestion des Connaissances (EGC), Jan 2017, Grenoble, France. <hal-01548156>
• 
  Manh-Khang Dao. Hamilton-Jacobi equations for optimal control on networks with entry or exit costs. 2017. <hal-01548133>
• 
  Ivan Dokmanić, Rémi Gribonval. Beyond Moore-Penrose Part II: The Sparse Pseudoinverse. 2017. <hal-01547283>

16 263

48 660

• Pourquoi et comment déposer dans HAL ?
• Qu'ai-je le droit de déposer dans HAL ?
• Contact support Rennes 1
• Contact support CCSD