Universit\'e de Lorraine

Identifiers

• name variant Universit\'e de Lorraine 0.60 · backfill

Papers (8)

1. Explicit Modelling of Physical Measures: From Event-B to Java cs.SE · 2018 · author #6
2. Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation cs.LO · 2018 · author #2
3. A Logic for Global and Local Announcements cs.LO · 2017 · author #5
4. Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation cs.PL · 2017 · author #2
5. Thermal diode made by nematic liquid crystal cond-mat.soft · 2016 · author #23
6. Mercury (Hg) in meteorites: variations in abundance, thermal release profile, mass-dependent and mass-independent isotopic fractionation astro-ph.EP · 2016 · author #5
7. Proceedings 8th Interaction and Concurrency Experience cs.PL · 2015 · author #3
8. Performing Implicit Induction Reasoning with Certifying Proof Environments cs.LO · 2013 · author #2

Mentions

• 1508.04595 #3 · backfill · confidence 0.70 Universit\'e de Lorraine
• 1307.8214 #2 · backfill · confidence 0.70 Universit\'e de Lorraine

Frequent Coauthors

• France) 7 shared papers
• Horatiu Cirstea (LORIA 2 shared papers
• 2) 1 shared papers
• (2) Institute of Geochemistry 1 shared papers
• AL 1 shared papers
• Alberto Lluch Lafuente (Technical University of Denmark 1 shared papers
• Amira Henaien (LITA 1 shared papers
• Bernard Marty (1) ((1) Centre de Recherches P\'etrographiques et G\'eochimiques (CRPG) 1 shared papers
• Brazil 1 shared papers
• Brazil) 1 shared papers
• CCEN 1 shared papers
• Christophe Cloquet (1) 1 shared papers
• CNRS 1 shared papers
• David Sabel (Goethe-University Frankfurt am Main 1 shared papers
• Denmark) 1 shared papers
• Departamento de F\'isica 1 shared papers
• Djair Melo (Instituto de F\'isica 1 shared papers
• Dominique M\'ery (LORIA 1 shared papers
• Erms Pereira (Escola Polit\'ecnica de Pernambuco 1 shared papers
• ETH Zurich) 1 shared papers