Skip to Main content Skip to Navigation

tel-03133456v2  Theses
Darius Mercadier. Usuba, Optimizing Bitslicing Compiler
Programming Languages [cs.PL]. Sorbonne Université, 2020. English. ⟨NNT : 2020SORUS180⟩
hal-03384868v1  Conference papers
Alexandre ConanecLamia RamadanSghaier ChrikiMarie-Pierre Ellies-Oury. Multi-criteria beef quality assessment methodology
25ème Rencontres autour des Recherches sur les Ruminants, Institut de l'Elevage; INRAE, Dec 2020, Virtuel, France. pp.460-463
hal-03380870v1  Journal articles
Juan Du. Chinese Immigrants Acting as Local Residents. De facto Citizenship in the Banlieues of Paris
Journal of Chinese Overseas, Brill Academic Publishers, 2020, 16 (2 (November 2020)), pp.191 - 214. ⟨10.1163/17932548-12341423⟩
hal-03379988v1  Conference papers
Matias MartinezAnne EtienStéphane DucasseChristopher Fuhrman. RTj: a Java framework for detecting and refactoring rotten green test cases
ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Jun 2020, Seoul, South Korea. pp.69-72
hal-03379085v1  Directions of work or proceedings
Serena VillataJakub HaraštaPetr Křemen. Legal Knowledge and Information Systems
334, IOS Press, 2020, Frontiers in Artificial Intelligence and Applications, ⟨10.3233/FAIA334⟩
hal-03377761v1  Books
Christoph DürrJill-Jênn Vie. Competitive Programming in Python
Cambridge University Press, 2020, 9781108716826
hal-03377100v1  Journal articles
Elisha FalbelAntonin GuillouxPierre Will. Hilbert Geometry Without Convexity
The Journal of Geometric Analysis, Springer, 2020, 30 (3), pp.2865-2896. ⟨10.1007/s12220-020-00426-x⟩
hal-03138755v1  Journal articles
Thiago Rocha SilvaMarco WincklerHallvard Trætteberg. Ensuring the Consistency between User Requirements and Task Models: A Behavior-Based Automated Approach
Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2020, Proceedings of the ACM on Human-Computer Interaction (HCI), 4 : EICS (article 77), pp.1-32. ⟨10.1145/3394979⟩
hal-03138759v1  Journal articles
Judy BowenJean VanderdoncktMarco Winckler. A Glimpse into the Past, Present, and Future of Engineering Interactive Computing Systems
Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2020, Proceedings of the ACM on Human-Computer Interaction (HCI) 2020, 4 : EICS (article 71), pp.1-32. ⟨10.1145/3394973⟩
hal-03138763v1  Conference papers
Anne-Marie Déry-PinnaPhilippe RenevierMarco WincklerChristophe KolskiSophie Lepreux et al.  Entrain, exploring new territorial user interfaces
EICS 2020 - 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, ACM SigCHI : Special Interest Group on Computer-Human Interaction, Jun 2020, Sophia Antipolis, France. pp.1-4, ⟨10.1145/3393672.3398648⟩
hal-03138769v1  Conference papers
Adrian ReuterKarima BoudaoudMarco WincklerAhmed AbdelmaksoudWadie Lemrazzeq. Secure Email - A Usability Study
International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC @ International Conference on Financial Cryptography and Data Security (FC 2020), Feb 2020, Kota Kinabal, Malaysia. pp.36-46, ⟨10.1007/978-3-030-54455-3_3⟩
hal-03374163v1  Conference papers
Thomas AgrikolaGeoffroy CouteauYuval IshaiStanisław JareckiAmit Sahai. On Pseudorandom Encodings
TCC 2020 - Theory of Cryptography Conference, Dec 2020, Durham, United States. pp.639-669, ⟨10.1007/978-3-030-64381-2_23⟩
hal-03374160v1  Conference papers
Elette BoyleGeoffroy CouteauNiv GilboaYuval IshaiLisa Kohl et al.  Correlated Pseudorandom Functions from Variable-Density LPN
FOCS 2020 - Annual IEEE Symposium on Foundations of Computer Science, Nov 2020, Durham, United States
hal-03374157v1  Conference papers
Geoffroy CouteauDominik Hartmann. Shorter Non-interactive Zero-Knowledge Arguments and ZAPs for Algebraic Languages
CRYPTO 2020 - Annual International Cryptology Conference, Aug 2020, Santa Barbara, United States. pp.768-798, ⟨10.1007/978-3-030-56877-1_27⟩
hal-03374154v1  Conference papers
Geoffroy CouteauElette BoyleNiv GilboaYuval IshaiLisa Kohl et al.  Efficient Pseudorandom Correlation Generators from Ring-LPN
CRYPTO 2020 - Annual International Cryptology Conference, Aug 2020, Santa Barabara, United States. pp.387-416, ⟨10.1007/978-3-030-56880-1_14⟩
hal-03374153v1  Conference papers
Geoffroy CouteauShuichi KatsumataBogdan Ursu. Non-interactive Zero-Knowledge in Pairing-Free Groups from Weaker Assumptions
EUROCRYPT 2020 - Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2020, En ligne, Netherlands. pp.442-471, ⟨10.1007/978-3-030-45727-3_15⟩
hal-03374134v1  Conference papers
Geoffroy CouteauThomas AgrikolaDennis Hofheinz. The Usefulness of Sparsifiable Inputs: How to Avoid Subexponential iO
PKC 2020 - IACR International Conference on Public-Key Cryptography, Apr 2020, Édimbourg, United Kingdom. pp.187-219, ⟨10.1007/978-3-030-45374-9_7⟩
hal-03372702v1  Conference papers
Benjamin LucasCharlotte PelletierDaniel SchmidtGeoffrey WebbFrancois Petitjean. Unsupervised Domain Adaptation Techniques for Classification of Satellite Image Time Series
IGARSS 2020 - 2020 IEEE International Geoscience and Remote Sensing Symposium, Sep 2020, Waikoloa, France. pp.1074-1077, ⟨10.1109/IGARSS39084.2020.9324339⟩
hal-03372698v1  Conference papers
Raphael FischerNico PiatkowskiCharlotte PelletierGeoffrey WebbFrancois Petitjean et al.  No Cloud on the Horizon: Probabilistic Gap Filling in Satellite Image Series
2020 IEEE 7th International Conference on Data Science and Advanced Analytics (DSAA), Oct 2020, Sydney, Australia. pp.546-555, ⟨10.1109/DSAA49011.2020.00069⟩
tel-03371002v1  Theses
Flavien Lécuyer. Méthodes de production d'applications de XR interactives, application à l'archéologie
Synthèse d'image et réalité virtuelle [cs.GR]. INSA de Rennes, 2020. Français. ⟨NNT : 2020ISAR0003⟩
tel-03141004v2  Theses
Julia Delacour. Mathematical Modelling of p62-Ubiquitin aggregates involved in cellular autophagy
Mathematics [math]. Sorbonne Université; Universität Wien, 2020. English. ⟨NNT : 2020SORUS295⟩
tel-03369179v1  Habilitation à diriger des recherches
Nikos Parlavantzas. Automated Application and Resource Management in the Cloud
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Rennes 1, 2020
hal-02965305v1  Conference papers
Mariovane DoniniFernando FachiniCesar CristaldoPascal Bruel. Some Specific Aspects Related To The Use Of The Artificial Compressibility Methods To Simulate Unsteady Flows
MHMT'20 - 5th World Congress on Momentum, Heat and Mass Transfer, Oct 2020, Lisbonne / Virtual, Pitcairn Islands. ⟨10.11159/CSP20.107⟩
hal-03367644v1  Journal articles
Stéphanie DelaunePatrick DerbezMathieu Vavrille. Catching the Fastest Boomerangs
IACR Transactions on Symmetric Cryptology, Ruhr Universität Bochum, 2020, pp.104-129. ⟨10.46586/tosc.v2020.i4.104-129⟩
hal-03367439v1  Conference papers
Pedro Luiz Coelho RodriguesAlexandre Gramfort. Learning summary features of time series for likelihood free inference
Workshop on Machine Learning and the Physical Sciences at the 34th conference on NeurIPS, Dec 2020, Online conference, United States
hal-03364771v1  Journal articles
N. TueniJ. VizetMartin GenetA. PierangeloJ. Allain. Investigation of microstructure evolution and mechanical properties in cardiac tissue
Computer Methods in Biomechanics and Biomedical Engineering, Taylor & Francis, 2020, 23 (sup1), pp.S297-S299. ⟨10.1080/10255842.2020.1816296⟩
hal-03043779v2  Conference papers
Matteo MarraGuillermo PolitoElisa Gonzalez Boix. Framework-aware debugging with stack tailoring
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Nov 2020, Virtual USA, United States. pp.71-84, ⟨10.1145/3426422.3426982⟩
hal-02975012v1  Journal articles
Gilles BartheSandrine BlazyBenjamin GrégoireRémi HutinVincent Laporte et al.  Formal verification of a constant-time preserving C compiler
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-30. ⟨10.1145/3371075⟩