Paulin-Mohring, Christine, 1962-....
Paulin-Mohring, Christine
Christine Paulin-Mohring
VIAF ID: 7513198 ( Personal )
Permalink: http://viaf.org/viaf/7513198
Preferred Forms
- 100 0 _ ‡a Christine Paulin-Mohring
- 200 _ | ‡a Paulin-Mohring ‡b Christine ‡f 1962-....
- 100 1 _ ‡a Paulin-Mohring, Christine
- 100 1 _ ‡a Paulin-Mohring, Christine
-
-
- 100 1 _ ‡a Paulin-Mohring, Christine ‡d 1962-
- 100 1 _ ‡a Paulin-Mohring, Christine, ‡d 1962-
-
-
-
-
- 100 1 _ ‡a Paulin-Mohring, Christine, ‡d 1962-....
4xx's: Alternate Name Forms (10)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Automated reasoning in type theory. | |
Certified functional programming : program extraction in the Coq assistant | |
Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve : une étude dans le cadre du système Coq | |
Conception of langages to describe proofs and automations in proof assistants : a study in the Coq system framework. | |
Démonstration automatique en théorie des types | |
Un environnement pour la programmation avec types dépendants | |
Extraction de programmes dans le calcul des constructions | |
Formal modelling and verification of smart card embedded systems : Java Card platform and operating system. | |
Une formalisation des courbes elliptiques pour la cryptographie. | |
Interaction entre algèbre linéaire et analyse en formalisation des mathématiques | |
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions | |
ITP 2013 | |
The logic of inconsistencies : a formal model for the analysis of human error. | |
La logique des incohérences : un modèle formel pour l'analyse de l'erreur humaine | |
Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings | |
Méthodes déductives pour la preuve de programmes LUSTRE | |
Methods for cryptographic protocols verification in the computational model. | |
ML extension with refinement : syntax, semantics and type system. | |
Modélisation et vérification formelles de systèmes embarqués dans les cartes à microprocesseur : plate-forme Java Card et système d'exploitation | |
MPC 2008 | |
Optimized programs from (non-constructive) proofs by the light (monotone) Dialectica interpretation. | |
PREUVE DE PROGRAMMES IMPERATIFS EN THEORIE DES TYPES | |
Principles of program verification for arbitrary monadic effects. | |
Réalisabilité et paramétricité dans les systèmes de types purs | |
Spécification et preuve de programmes d'ordre supérieur = Specification and proof of higher-order programs | |
Synchronisation et tolérance aux défaillances en algoritmique répartie. | |
Synchronization and Fault-tolerance in Distributed Algorithms | |
Test generation and animation based on object-oriented specifications | |
Théorie des types et procédures de décision | |
TYPES 2004 | |
Types for proofs and programs International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers | |
Vérification formelle, compositionnelle at automatique de systèmes de composants | |
Verification formelle et optimisation de l'allocation de registres | |
Vers un environnement d’aide au développement de preuves en sémantique naturelle | |
Vote électronique : définitions et techniques d'analyse |