Skip to Main content Skip to Navigation

inria-00583136v1  Conference papers
Bruno BarrasJean-Pierre JouannaudPierre-Yves StrubQian Wang. CoqMTU: a higher-order type theory with a predicative hierarchy of universes parametrized by a decidable first-order theory
Twenty-Sixth Annual IEEE Symposium on "Logic in Computer Science" - LICS 2011, Jun 2011, Toronto, Canada
hal-00666698v1  Conference papers
Emmanuel BaccelliLars GerholdChristophe GuettierJochen SchillerThomas Schmidt et al.  SAFEST: A Framework for Early Security Triggers in Public Spaces
Workshop Interdisciplinaire Sur la Sécurité Globale (WISG), Jan 2012, Troyes, France
inria-00380541v1  Conference papers
Philippe CaillouMichèle Sebag. Pride and Prejudice on a Centralized Academic Labor Market
Artificial Economics 09, Sep 2009, Valladolid, Spain
hal-01633469v1  Conference papers
Julien Lavauzelle. Constructions for efficient Private Information Retrieval protocols
WCC 2017 - The Tenth International Workshop on Coding and Cryptography, INRIA; SUAI; Skoltech, Sep 2017, Saint-Petersbourg, Russia. pp.1-12
hal-01203716v2  Conference papers
Mathieu CarriereSteve OudotMaks Ovsjanikov. Sliced Wasserstein Kernel for Persistence Diagrams
ICML 2017 - Thirty-fourth International Conference on Machine Learning, Aug 2017, Sydney, Australia. pp.1-10
hal-01927282v1  Conference papers
Maxime BuronFrançois GoasdouéIoana ManolescuMarie-Laure Mugnier. Rewriting-Based Query Answering for Semantic Data Integration Systems
BDA: Gestion de Données – Principes, Technologies et Applications, Oct 2018, Bucarest, Romania
inria-00627937v1  Conference papers
Mário AlvimMiguel AndrésKonstantinos ChatzikokolakisCatuscia Palamidessi. On the relation between Differential Privacy and Quantitative Information Flow
38th International Colloquium on Automata, Languages and Programming - ICALP 2011, 2011, Zurich, Switzerland. pp.60-76, ⟨10.1007/978-3-642-22012-8_4⟩
hal-00780358v1  Conference papers
Beniamino AccattoliLuca Paolini. Call-by-Value solvability, revisited
11th International Symposium on Functional and Logic Programming - FLOPS 2012, May 2012, Kobe, Japan
hal-00780344v1  Conference papers
Beniamino Accattoli. An abstract factorization theorem for explicit substitutions
23rd International Conference on Rewriting Techniques and Applications (RTA'12), May 2012, Nagoya, Japan
hal-00780361v1  Conference papers
Beniamino AccattoliDelia Kesner. The permutative lambda calculus
18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR-18, Mar 2012, Merida, Venezuela
hal-00780337v1  Conference papers
Beniamino Accattoli. Proof pearl: abella formalization of lambda-calculus cube property
Second international conference on Certified Programs and Proofs, Dec 2012, Kyoto, Japan
hal-00780349v1  Conference papers
Beniamino AccattoliUgo Dal Lago. On the Invariance of the Unitary Cost Model for Head Reduction
23rd International Conference on Rewriting Techniques and Applications (RTA'12), May 2012, Nagoya, Japan
inria-00580122v5  Conference papers
Mário AlvimMiguel AndrésKonstantinos ChatzikokolakisPierpaolo DeganoCatuscia Palamidessi. Differential Privacy: on the trade-off between Utility and Information Leakage
The 8th International Workshop on Formal Aspects of Security & Trust (FAST), Sep 2011, Leuven, Belgium. pp.39--54, ⟨10.1007/978-3-642-29420-4_3⟩
inria-00524949v1  Conference papers
Hugo HerbelinSilvia Ghilezan. An Approach to Call-by-Name Delimited Continuations
Symposium on Principles of Programming Languages, Jan 2008, San Francisco, United States. pp.383-394, ⟨10.1145/1328438.1328484⟩
hal-02191794v1  Conference papers
Davide AzzaliniFabio AzzaliniMirjana MazuranLetizia Tanca. Evolution of Financial Time Series Clusters (Discussion Paper)
SEBD 2019 - 27th Italian Symposium on Advanced Database Systems, Jun 2019, Castiglione della Pescaia (Grosseto), Italy
hal-02191810v1  Conference papers
Letizia TancaDavide AzzaliniFabio AzzaliniMirjana Mazuran. Tracking the Evolution of Financial Time Series Clusters
DSMM 2019 - 5th Workshop on Data Science for Macro-modeling with Financial and Economic Datasets, Jun 2019, Amsterdam, Netherlands
inria-00144010v1  Conference papers
Christian GagnéMichèle SebagMarc SchoenauerMarco Tomassini. Ensemble Learning for Free with Evolutionary Algorithms ?
GECCO, ACM SIGEVO, Jul 2007, London, United Kingdom. pp.1782-1789
hal-01649140v1  Conference papers
José AlmeidaManuel BarbosaGilles BartheArthur BlotBenjamin Grégoire et al.  Jasmin: High-Assurance and High-Speed Cryptography
CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, Oct 2017, Dallas, United States. pp.1-17
hal-02354733v1  Conference papers
Roman Sarrazin-GendronHua-Ting YaoVladimir ReinharzCarlos OliverYann Ponty et al.  Stochastic Sampling of Structural Contexts Improves the Scalability and Accuracy of RNA 3D Modules Identification
RECOMB 2020 - 24th Annual International Conference on Research in Computational Molecular Biology, May 2020, Padova, Italy
hal-00546847v1  Conference papers
Jérôme WaldispühlYann Ponty. An unbiased adaptive sampling algorithm for the exploration of RNA mutational landscapes under evolutionary pressure
RECOMB - 15th Annual International Conference on Research in Computational Molecular Biology - 2011, Mar 2011, Vancouver, Canada. pp.501-515, ⟨10.1007/978-3-642-20036-6_45⟩
hal-01091555v1  Conference papers
Olivier Savary BélangerKaustuv Chaudhuri. Automatically Deriving Schematic Theorems for Dynamic Contexts
Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2014, Vienna, Austria. ⟨10.1145/2631172.2631181⟩
hal-00811607v1  Conference papers
Vladimir ReinharzYann PontyJérôme Waldispühl. A weighted sampling algorithm for the design of RNA sequences with targeted secondary structure and nucleotides distribution
ISMB/ECCB - 21st Annual international conference on Intelligent Systems for Molecular Biology/12th European Conference on Computational Biology - 2013, Jul 2013, Berlin, Germany
hal-00766781v1  Conference papers
Vladimir ReinharzYann PontyJérôme Waldispühl. A linear inside-outside algorithm for correcting sequencing errors in structured RNA sequences
RECOMB - 17th Annual International Conference on Research in Computational Molecular Biology - 2013, Apr 2013, Beijing, China
hal-00823279v2  Conference papers
Yu ZhouYann PontyStéphane VialetteJérôme WaldispühlYi Zhang et al.  Flexible RNA design under structure and sequence constraints using formal languages
ACM-BCB - ACM Conference on Bioinformatics, Computational Biology and Biomedical Informatics - 2013, Sep 2013, Bethesda, Washigton DC, United States
hal-02390400v1  Conference papers
Matteo AcclavioLutz Straßburger. On Combinatorial Proofs for Modal Logic
TABLEAUX 2019 - 28t International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2019, London, United Kingdom. pp.223-240, ⟨10.1007/978-3-030-29026-9_13⟩