 |
 |
 |
|
|
||
|---|---|---|
| hal-01079423v1
Conference papers
Online Learning in Episodic Markovian Decision Processes by Relative Entropy Policy Search Neural Information Processing Systems 26, Dec 2013, Lake Tahoe, United States |
||
| hal-00938854v1
Reports
Compositional Contract Abstraction for System Design [Research Report] RR-8460, INRIA. 2014 |
||
| hal-01367181v1
Conference papers
Space-time sculpting of liquid animation Motion In Games, Oct 2016, San Francisco, United States. pp.61-71, ⟨10.1145/2994258.2994261⟩ |
||
| inria-00527971v1
Conference papers
Lumpability Abstractions of Rule-based Systems The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi - MeCBIC 2010, Ciobanu, G. and Koutny, M., Aug 2010, Jena, Germany |
||
| hal-01869990v1
Conference papers
SpaceMint: A Cryptocurrency Based on Proofs of Space Financial Cryptography and Data Security 2018, Feb 2018, Curaçao, Curaçao |
||
| hal-01214722v1
Conference papers
Efficient Zero-Knowledge Proofs for Commitments from Learning with Errors over Rings ESORICS 2015, Sep 2015, Vienna, Austria. pp.21, ⟨10.1007/978-3-319-24174-6_16⟩  |
||
| hal-01132440v1
Journal articles
Homological Reconstruction and Simplification in R3 Computational Geometry, Elsevier, 2015, 48 (8), pp.606-621. ⟨10.1016/j.comgeo.2014.08.010⟩ |
||
| hal-01178469v1
Reports
Contracts for Systems Design: Methodology and Application cases [Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63 |
||
| hal-03006663v3
Conference papers
Tracing isomanifolds in $R^d$ in time polymonial in d using Coxeter-Freudenthal-Kuhn triangulations SoCG 2021 - 37th Symposium on Computational Geometry, Jun 2021, Buffalo, United States |
||
| hal-01178467v1
Reports
Contracts for Systems Design: Theory [Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86 |
||
| |
||
| hal-00960368v1
Journal articles
Guest Editorial: Special Issue on Structured Prediction and Inference International Journal of Computer Vision, Springer Verlag, 2012, 99 (3), pp.257-258. ⟨10.1007/s11263-012-0530-y⟩ |
||
| hal-01242371v1
Conference papers
Abstraction-Based Parameter Synthesis for Multiaffine Systems 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, Nov 2015, Haifa, Israel. pp.19-35, ⟨10.1007/978-3-319-26287-1_2⟩ |
||
| hal-01384371v1
Conference papers
Offline Witness Encryption Applied Cryptography and Network Security - 14th International Conference, ACNS 2016, Jun 2016, Guildford, United Kingdom. ⟨10.1007/978-3-319-39555-5_16⟩ |
||
| hal-01251194v1
Conference papers
The Need for Language Support for Fault-tolerant Distributed Systems Leibniz International Proceedings in Informatics (LIPIcs) , May 2015, Dagstuhl, Germany. pp.90-102, ⟨10.4230/LIPIcs.SNAPL.2015.90⟩ |
||
| hal-01251199v1
Conference papers
PSYNC: A partially synchronous language for fault-tolerant distributed algorithms POPL '16 - 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, Florida, United States. pp.400-415, ⟨10.1145/2837614.2837650⟩ |
||
| hal-01384375v1
Conference papers
Constrained PRFs for Unbounded Inputs with Short Keys Applied Cryptography and Network Security - 14th International Conference, ACNS 2016, Jun 2016, Guildford, United Kingdom. ⟨10.1007/978-3-319-39555-5_24⟩ |
||
| hal-01088154v1
Reports
Compositionality for Quantitative Specifications [Research Report] Inria Rennes. 2014 |
||
| hal-00677894v1
Journal articles
Lumpability Abstractions of Rule-based Systems Theoretical Computer Science, Elsevier, 2012, Modelling and Analysis of Biological Systems -- Based on papers presented at the Workshop on Membrane Computing and Bio-logically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena), 431, pp.137-164. ⟨10.1016/j.tcs.2011.12.059⟩ |
||
| inria-00480031v1
Reports
A Generic Algebraic Kernel for Non-linear Geometric Applications [Research Report] RR-7274, INRIA. 2010, pp.20 |
||
| hal-00761208v1
Reports
Homological reconstruction and simplification in R3 [Research Report] RR-8169, INRIA. 2012 |
||
| hal-02304413v1
Journal articles
Estimating information in time-varying signals PLoS Computational Biology, Public Library of Science, 2019, 15 (9:e1007290), pp.1--33. ⟨10.1371/journal.pcbi.1007290⟩ |
||
| hal-02229803v1
Journal articles
Molecular noise of innate immunity shapes bacteria-phage ecologies PLoS Computational Biology, Public Library of Science, 2019, ⟨10.1371/journal.pcbi.1007168⟩ |
||
| hal-03120899v1
Journal articles
Extending Drawings of Graphs to Arrangements of Pseudolines Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2021, 12 (2), pp.3-24 |
||
| hal-02050505v1
Journal articles
Shellability is NP-complete Journal of the ACM (JACM), Association for Computing Machinery, In press, 66 (3), ⟨10.1145/3314024⟩  |
||
| hal-02076901v2
Journal articles
Modelling adhesion-independent cell migration Mathematical Models and Methods in Applied Sciences, World Scientific Publishing, In press, ⟨10.1142/S021820252050013X⟩ |
||
| hal-02386169v2
Preprints, Working Papers, ...
Sampling and Meshing Submanifolds in High Dimension 2019 |
||
| hal-00864307v1
Conference papers
Lapin: An efficient authentication protocol based on Ring-LPN Fast Software Encryption - 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012, Mar 2012, Washington DC, United States. pp.346-365, ⟨10.1007/978-3-642-34047-5_20⟩ |
||
| hal-02396301v1
Conference papers
Adaptively Secure Proxy Re-encryption Public-Key Cryptography -- PKC 2019, Apr 2019, Beijing, China. ⟨10.1007/978-3-030-17259-6_11⟩ |
||
| hal-01384381v1
Conference papers
Practical Round-Optimal Blind Signatures in the Standard Model from Weaker Assumptions Security and Cryptography for Networks - 10th International Conference, SCN 2016, Aug 2016, Amalfi, Italy. ⟨10.1007/978-3-319-44618-9_21⟩ |
||
|
|
||