Recherche - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu

Filtrer vos résultats

636 résultats
Page :
triés par
Image document

A Preliminary Theory for Parallel Programs

 Gilles Kahn
[Research Report] R0006, 1973, pp.19
Rapport inria-00177890v1
Image document

Manuel d'utilisation FLIP (User's manual)

 Gilles Kahn
RT-0002, INRIA. 1981, pp.11
Rapport inria-00070152v1
Image document

Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations

 Bruno Courcelle , Gilles Kahn , Jean Vuillemin
Yves Bertot; Gérard Huet; Jean-Jacques Lévy; Gordon Plotkin. From Semantics to Computer Science Essays in Honour of Gilles Kahn, Cambridge University Press 1974, From Semantics to Computer Science Essays in Honour of Gilles Kahn, 9780521518253. ⟨10.1017/CBO9780511770524.009⟩
Chapitre d'ouvrage hal-01239749v1

Sciences et technologies de l’information et de la communication

 Gilles Kahn
Interstices, 2004
Article dans une revue hal-01350279v1
Image document

Programming environments based on structured editors : the Mentor experience

 Véronique Donzeau-Gouge , Gérard Huet , Bernard Lang , Gilles Kahn
[Research Report] RR-0026, INRIA. 1980
Rapport inria-00076535v1
Image document

The Coq Proof Assistant : A Tutorial : Version 7.2

 Gérard Huet , Gilles Kahn , Christine Paulin-Mohring
[Research Report] RT-0256, INRIA. 2002, pp.46
Rapport inria-00069918v1
Image document

Coroutines and Networks of Parallel Processes

 Gilles Kahn , David Macqueen
[Research Report] 1976, pp.20
Rapport inria-00306565v1
Image document

The Coq Proof Assistant : A Tutorial : Version 6.1

 Gérard Huet , Gilles Kahn , Christine Paulin-Mohring
[Research Report] RT-0204, INRIA. 1997, pp.44
Rapport inria-00069967v1
Image document

The Coq Proof Assistant, A Tutorial, Version 5.10

 Gérard Huet , Gilles Kahn , Christine Paulin-Mohring
RT-0178, INRIA. 1995, pp.46
Rapport inria-00069993v1
Image document

Natural semantics

 Gilles Kahn
[Research Report] RR-0601, INRIA. 1987
Rapport inria-00075953v1
Image document

A simple applicative language: Mini-ML

 Dominique Clement , Joelle Despeyroux , Thierry Despeyroux , Gilles Kahn
[Research Report] RR-0529, INRIA. 1986
Rapport inria-00076025v1
Image document

Extracting Text from Proofs

 Yann Coscoy , Gilles Kahn , Laurent Thery
RR-2459, INRIA. 1995
Rapport inria-00074217v1
Image document

Natural semantics on the computer

 Dominique Clement , Joelle Despeyroux , Thierry Despeyroux , Laurent Hascoet , Gilles Kahn
[Research Report] RR-0416, INRIA. 1985
Rapport inria-00076140v1
Image document

Real theorem provers deserve real user-interfaces

 Laurent Théry , Yves Bertot , Gilles Kahn
[Research Report] RR-1684, INRIA. 1992
Rapport inria-00076907v1
Image document

Proof by pointing

 Yves Bertot , Gilles Kahn , Laurent Théry
University of Cambridge. 1993
Rapport hal-03957702v1
Image document

CENTAUR : the system

 Patrick Borras , Dominique Clement , Thierry Despeyroux , Janet Incerpi , Gilles Kahn , et al.
[Research Report] RR-0777, INRIA. 1987
Rapport inria-00075774v1

Analysis of fibrinogen genes in patients with congenital afibrinogenemia

 Georges Uzan , Gilles Courtois , Claude Besmond , Monique Frain , José Maria Sala-Trépat , et al.
Biochemical and Biophysical Research Communications, 1984, 120 (2), pp.376-383. ⟨10.1016/0006-291x(84)91264-6⟩
Article dans une revue istex hal-02426498v1

Long-term outcomes of isolated superficial vein thrombosis in patients with active cancer

 Jean-Philippe Galanaud , Sophie Blaise , Marie-Antoinette Sevestre , Hugo Terrisse , Gilles Pernod , et al.
Thrombosis Research, 2018, 171 (1), pp.179-186. ⟨10.1016/j.thromres.2018.04.013⟩
Article dans une revue hal-04533077v1

Evaluation des compétences du socle commun: tensions et complexités

 Catherine Loisy , Maryline Coquide , Michèle Prieur , Gilles Aldon , Karine Bécu-Robinault , et al.
Dierendonck C., Loarer E., Rey B. L'évaluation des compétences en milieu scolaire et en milieu professionnel, De Boeck, pp.257-267, 2014
Chapitre d'ouvrage hal-00990253v1

Epidemiology and 3‐year outcomes of combined oral contraceptive–associated distal deep vein thrombosis

 Jean‐philippe Galanaud , Marie‐antoinette Sevestre , Gilles Pernod , Céline Genty , Cécile Richaud , et al.
Research and Practice in Thrombosis and Haemostasis, 2020, 4 (7), pp.1216-1223. ⟨10.1002/rth2.12409⟩
Article dans une revue hal-04533202v1

Regards croisés sur les référentiels de compétences et leur mise en place.

 Catherine Loisy , Maryline Coquide , Michèle Prieur , Sabine Kahn , Gilles Aldon , et al.
de Boeck. Dierendonck, C., Loarer, E. Mottier-Lopez, L. Rey, B. (2014). L'évaluation des compétences en milieu scolaire et en milieu professionnel. L'évaluation des compétences en milieu scolaire et en milieu professionnel, de Boeck, pp.257-268, 2014, Pédagogies en développement
Chapitre d'ouvrage hal-00995892v1
Image document

Quality of life in patients with pulmonary embolism treated with edoxaban versus warfarin

 Roisin Bavalia , Ingrid M Bistervels , Wim G Boersma , Isabelle Quere , Dominique Brisot , et al.
Research and Practice in Thrombosis and Haemostasis, 2021, 5 (5), ⟨10.1002/rth2.12566⟩
Article dans une revue hal-04003158v1

Intravenous Immunoglobulin as an Immunomodulating Agent in Antineutrophil Cytoplasmic Antibody-Associated Vasculitides: A French Nationwide Study of Ninety-Two Patients

 Etienne Crickx , Irène Machelart , Estibaliz Lazaro , Jean-Emmanuel Kahn , Fleur Cohen-Aubart , et al.
Arthritis and Rheumatology (hoboken, N.j.), 2016, 68 (3), pp.702-712. ⟨10.1002/art.39472⟩
Article dans une revue hal-03634730v1

Long-term outcomes of isolated superficial vein thrombosis in patients with active cancer

 Jean-Philippe Galanaud , Sophie Blaise , Marie-Antoinette Sevestre , Hugo Terrisse , Gilles Pernod , et al.
Thrombosis Research, 2018, 171, pp.179--186. ⟨10.1016/j.thromres.2018.04.013⟩
Article dans une revue hal-02320499v1
Image document

Epidemiology and 3‐year outcomes of combined oral contraceptive–associated distal deep vein thrombosis

 Jean-Philippe Galanaud , Marie-Antoinette Sevestre , Gilles Pernod , Céline Genty , Cécile Richaud , et al.
Research and Practice in Thrombosis and Haemostasis, 2020, 4 (7), pp.1216-1223. ⟨10.1002/rth2.12409⟩
Article dans une revue hal-03270248v1
Image document

Epidemiology of Castleman disease associated with AA amyloidosis: description of 2 new cases and literature review

 Antoine Fayand , David Boutboul , Lionel Galicier , Jean-Emmanuel Kahn , David Buob , et al.
Amyloid: The Journal of Protein Folding Disorders, 2019, 26 (4), pp.197-202. ⟨10.1080/13506129.2019.1641078⟩
Article dans une revue inserm-04051067v1
Image document

Postthrombotic syndrome and quality of life after deep vein thrombosis in patients treated with edoxaban versus warfarin

 Ingrid M. Bistervels , Roisin Bavalia , Jan Beyer-Westendorf , Arina J. Ten Cate-Hoek , Sebastian M. Schellong , et al.
Research and Practice in Thrombosis and Haemostasis, 2022, 6 (5), ⟨10.1002/rth2.12748⟩
Article dans une revue hal-03760268v1

Validating the HERDOO2 rule to guide treatment duration for women with unprovoked venous thrombosis: multinational prospective cohort management study

 Marc Rodger , Grégoire Le Gal , David Anderson , Jeannot Schmidt , Gilles Pernod , et al.
BMJ, 2017, 356, pp.j1065. ⟨10.1136/bmj.j1065⟩
Article dans une revue hal-02050942v1

Risk factors for hydroxychloroquine retinopathy in systemic lupus erythematosus: a case–control study with hydroxychloroquine blood-level analysis

 Tiphaine Lenfant , Sawsen Salah , Gaëlle Leroux , Elodie Bousquet , Véronique Le Guern , et al.
Rheumatology, 2020, 59, pp.3807--3816
Article dans une revue hal-04028330v1

Search for lepton-flavour-violating $H\to\mu\tau$ decays of the Higgs boson with the ATLAS detector

 G. Aad , Z. Barnovska , N. Berger , M. Delmastro , L. Di Ciaccio , et al.
Journal of High Energy Physics, 2015, 11, pp.211. ⟨10.1007/JHEP11(2015)211⟩
Article dans une revue in2p3-01185529v1
Page :