Skip to Main content Skip to Navigation


...
hal-02375594v1  Conference papers
Michel AbdallaFabrice BenhamoudaAlain Passelègue. 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
Milad Niquiyves Bertot. QArith: Coq Formalisation of Lazy Rational Arithmetic
[Research Report] RR-5004, INRIA. 2003, pp.19
...
inria-00073667v1  Reports
Bruno Barras. Coq en Coq
[Research Report] RR-3026, INRIA. 1996
...
inria-00001172v1  Journal articles
yves Bertot. 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
Alain Passelègue. Algebraic frameworks for pseudorandom functions
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE059⟩
hal-02663632v1  Journal articles
Frédéric F. MazencMichael Malisoff. 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⟩
...
halshs-00106755v1  Conference papers
Jesse Tseng. English prepositional passives in HPSG
Proceedings of Formal Grammar 2006, 2006, Malaga, Spain. pp.147-159
...
halshs-00005195v1  Conference papers
Anna KupśćJesse Tseng. 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
...
hal-01615123v3  Reports
Amin TimanyMatthieu Sozeau. Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)
[Research Report] RR-9105, KU Leuven, Belgium; Inria Paris. 2017, pp.32
...
hal-02318242v1  Reports
Gérard Le Lann. Cyberphysical Constructs and Concepts for Fully Automated Networked Vehicles
[Research Report] RR-9297, INRIA Paris-Rocquencourt. 2019
...
inria-00515460v1  Journal articles
Benoît SagotLaurence Danlos. 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-01499941v1  Conference papers
Benjamin GrégoireXavier Leroy. 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
yves Bertot. Theorem proving support in programming language semantics
[Research Report] RR-6242, INRIA. 2007, pp.23
...
inria-00160586v2  Conference papers
Frédéric BlanquiJean-Pierre JouannaudPierre-yves Strub. 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-02821449v2  Books
Michael MalisoffFrédéric F. Mazenc. 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
Romain Kervac. 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
Benjamin Werner. Une Théorie des Constructions Inductives
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1994. Français
...
hal-02101921v1  Reports
Romain KervarcPierre Lescanne. Explicit Pure Type Systems for the Lambda-Cube
[Research Report] LIP RR-2004-08, Laboratoire de l'informatique du parallélisme. 2004, 2+45p
...
tel-00770669v1  Theses
Marc Lasson. 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⟩