Skip to Main content Skip to Navigation


...
hal-01079423v1  Conference papers
Alexander ZiminGergely Neu. Online Learning in Episodic Markovian Decision Processes by Relative Entropy Policy Search
Neural Information Processing Systems 26, Dec 2013, Lake Tahoe, United States
inria-00527971v1  Conference papers
Jérôme FeretThomas HenzingerHeinz KoepplTatjana Petrov. 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
Sunoo ParkAlbert KwonGeorg FuchsbauerPeter GažiJoël Alwen et al.  SpaceMint: A Cryptocurrency Based on Proofs of Space
Financial Cryptography and Data Security 2018, Feb 2018, Curaçao, Curaçao
...
hal-01178469v1  Reports
Albert BenvenisteBenoît CaillaudDejan NickovicRoberto PasseroneJean-Baptiste Raclet et al.  Contracts for Systems Design: Methodology and Application cases
[Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63
...
hal-03006663v3  Conference papers
Jean-Daniel BoissonnatSiargey KachanovichMathijs Wintraecken. 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
Albert BenvenisteBenoît CaillaudDejan NickovicRoberto PasseroneJean-Baptiste Raclet et al.  Contracts for Systems Design: Theory
[Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86
hal-00960368v1  Journal articles
Matthew BlaschkoChristoph Lampert,. 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
Sergiy BogomolovChristian SchillingEzio BartocciGregory BattHui Kong et al.  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
Hamza AbusalahGeorg FuchsbauerKrzysztof Pietrzak. 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
Cezara DrăgoiThomas HenzingerDamien Zufferey. 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
Cezara DrăgoiThomas HenzingerDamien Zufferey. 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
Hamza AbusalahGeorg Fuchsbauer. 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-00677894v1  Journal articles
Jérôme FeretThomas HenzingerHeinz KoepplTatjana Petrov. 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⟩
...
hal-02304413v1  Journal articles
Sarah Anhala Cepeda-HumerezJakob RuessGašper Tkačik. 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-03120899v1  Journal articles
Alan ArroyoJulien BensmailBruce Richter. 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
Xavier GoaocPavel PatákZuzana PatákováMartin TancerUli Wagner. Shellability is NP-complete
Journal of the ACM (JACM), Association for Computing Machinery, In press, 66 (3), ⟨10.1145/3314024⟩
...
hal-02076901v2  Journal articles
Gaspard JankowiakDiane PeurichardAnne ReversatChristian SchmeiserMichael Sixt. Modelling adhesion-independent cell migration
Mathematical Models and Methods in Applied Sciences, World Scientific Publishing, In press, ⟨10.1142/S021820252050013X⟩
hal-00864307v1  Conference papers
Stephan HeyseEike KiltzVadim LyubashevskyChristof PaarKrzysztof Pietrzak. 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
Georg FuchsbauerChethan KamathKaren KleinKrzysztof Pietrzak. 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
Georg FuchsbauerChristian HanserChethan KamathDaniel Slamanig. 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⟩