 |
 |
 |
|
|
||
|---|---|---|
| inria-00069967v1
Reports
The Coq Proof Assistant : A Tutorial : Version 6.1 [Research Report] RT-0204, INRIA. 1997, pp.44 |
||
| hal-02375594v1
Conference papers
Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear Maps ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.386-412, ⟨10.1007/978-3-030-34621-8_14⟩ |
||
| inria-00077041v1
Reports
QArith: Coq Formalisation of Lazy Rational Arithmetic [Research Report] RR-5004, INRIA. 2003, pp.19 |
||
| |
||
| inria-00074381v1
Reports
Higher-order abstract syntax with induction in Coq [Research Report] RR-2292, INRIA. 1994 |
||
| inria-00001172v1
Journal articles
Vérification formelle d'extractions de racines entières Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005, Langages Applicatifs, Spécifications, Programmation, Vérification, 24 (9), pp.1161-1195 |
||
| tel-01422093v2
Theses
Algebraic frameworks for pseudorandom functions Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE059⟩ |
||
| |
||
| inria-00524938v1
Conference papers
A New Elimination Rule for the Calculus of Inductive Constructions Types for Proofs and Programs, Mar 2008, Torino, Italy. pp.32-48, ⟨10.1007/978-3-642-02444-3_3⟩ |
||
| hal-02663632v1
Journal articles
Further results on Lyapunov functions for slowly time-varying systems Mathematics of Control, Signals, and Systems, Springer Verlag, 2007, 19 (1), pp.1-21. ⟨10.1007/s00498-006-0010-4⟩  |
||
| inria-00275382v1
Conference papers
From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures 5th IFIP International Conference on Theoretical Computer Science - TCS 2008, Sep 2008, Milan, Italy. ⟨10.1007/978-0-387-09680-3_24⟩ |
||
| halshs-00106755v1
Conference papers
English prepositional passives in HPSG Proceedings of Formal Grammar 2006, 2006, Malaga, Spain. pp.147-159 |
||
| halshs-00005195v1
Conference papers
A New HPSG Approach to Polish Auxiliary Constructions Proceedings of the 12th International Conference on Head-Driven Phrase Structure Grammar, Aug 2005, Lisbon, Portugal. pp.253-273 |
||
| inria-00173124v2
Reports
Design of the CGAL Spherical Kernel and application to arrangements of circles on a sphere [Research Report] RR-6298, INRIA. 2007, pp.46 |
||
| hal-01615123v3
Reports
Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC) [Research Report] RR-9105, KU Leuven, Belgium; Inria Paris. 2017, pp.32 |
||
| hal-01667132v1
Reports
Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear Maps [Technical Report] Report 2017/500, IACR Cryptology ePrint Archive. 2017 |
||
| hal-02318242v1
Reports
Cyberphysical Constructs and Concepts for Fully Automated Networked Vehicles [Research Report] RR-9297, INRIA Paris-Rocquencourt. 2019 |
||
| inria-00072599v1
Reports
Changements de représentation des données dans le calcul des constructions inductives [Rapport de recherche] RR-4039, INRIA. 2000, pp.29 |
||
| inria-00515460v1
Journal articles
Améliorer un lexique syntaxique à l'aide des tables du lexique-grammaire — Constructions impersonnelles et expressions verbales figées Cahiers du Cental, Presses universitaires de Louvain, 2008, Description linguistique pour le traitement automatique du français, 5, pp.107-126 |
||
| hal-00857808v1
Journal articles
Further results on input-to-state stability for nonlinear systems with delayed feedbacks Automatica, Elsevier, 2008, 44 (9), pp.2415-2421. ⟨10.1016/j.automatica.2008.01.024⟩  |
||
| hal-01499941v1
Conference papers
A Compiled Implementation of Strong Reduction ICFP '02: seventh ACM SIGPLAN international conference on Functional programming , ACM, Oct 2002, Pittsburgh, United States. pp.235-246, ⟨10.1145/581478.581501⟩ |
||
| inria-00160309v2
Reports
Theorem proving support in programming language semantics [Research Report] RR-6242, INRIA. 2007, pp.23 |
||
| inria-00160586v2
Conference papers
Building Decision Procedures in the Calculus of Inductive Constructions 16th EACSL Annual Conference on Computer Science and Logic - CSL 2007, Jacques Duparc, Sep 2007, Lausanne, Switzerland. ⟨10.1007/978-3-540-74915-8_26⟩ |
||
| hal-02823563v1
Conference papers
Further results on input-to-state stability for nonlinear systems with delayed feedbacks American control conference, Jul 2007, New-York, United States. ⟨10.1016/j.automatica.2008.01.024⟩ |
||
| hal-02821449v2
Books
Constructions of strict Lyapunov functions Springer, 16, 386 p., 2009, Communications and Control Engineering Series, 978-1-84882-534-5. ⟨10.1007/978-1-84882-535-2⟩ |
||
| hal-02102422v1
Reports
Systèmes de types purs et séquents classique. [Rapport de recherche] LIP RR-2006-36, Laboratoire de l'informatique du parallélisme. 2006, 2+27p |
||
| tel-00196524v2
Theses
Une Théorie des Constructions Inductives Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1994. Français |
||
| hal-02101921v1
Reports
Explicit Pure Type Systems for the Lambda-Cube [Research Report] LIP RR-2004-08, Laboratoire de l'informatique du parallélisme. 2004, 2+45p |
||
| inria-00073380v1
Reports
A Calculus of Substitutions for Incomplete-Proof Representation in Type Theory [Research Report] RR-3309, INRIA. 1997 |
||
| tel-00770669v1
Theses
Réalisabilité et paramétricité dans les systèmes de types purs Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. Français. ⟨NNT : 2012ENSL0764⟩ |
||
|
|
||
