Skip to Main content Skip to Navigation

hal-03418759v1  Book sections
Nicolas BelloirJérémy BuissonLionel Touseau. Model-Driven Engineering as the Interface for Tactical Operation Order of Mixed Robot/Human Platoons
Developments and Advances in Defense and Security, 255, Springer Singapore, pp.205-214, 2022, Smart Innovation, Systems and Technologies, ⟨10.1007/978-981-16-4884-7_16⟩
hal-03398607v1  Journal articles
Yohan Bonescki GumielLucas Emanuel Silva E OliveiraVincent ClaveauNatalia GrabarEmerson Cabrera Paraiso et al.  Temporal Relation Extraction in Clinical Texts
ACM Computing Surveys, Association for Computing Machinery, 2022, 54 (7), pp.1-36. ⟨10.1145/3462475⟩
hal-03445686v1  Conference papers
Junxiong WangImmanuel TrummerDebabrota Basu. UDO: Universal Database Optimization using Reinforcement Learning
Proceedings of the VLDB Endowment, Sep 2022, Sydney, Australia. pp.3402-3414, ⟨10.14778/3484224.3484236⟩
hal-03293492v2  Journal articles
Bernard Brogliato. Dissipative dynamical systems with set-valued feedback loops Well-posed set-valued Lur'e dynamical systems
IEEE Control Systems Magazine, Institute of Electrical and Electronics Engineers, In press, pp.1-49
hal-03366962v1  Conference papers
Bruno BlanchetVincent ChevalVéronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
43RD IEEE Symposium on Security and Privacy (S&P'22), May 2022, San Francisco, United States
hal-01981553v1  Conference papers
Florent CapelliNicolas CrosettiJoachim NiehrenJan Ramon. Linear Programs with Conjunctive Queries
25th Internationcal Conference on Database Theory (ICDT 2022), Mar 2022, Edinburgh, United Kingdom
hal-03338278v2  Journal articles
Yishu DuLoris MarchalGuillaume PallezYves Robert. Optimal Checkpointing Strategies for Iterative Applications
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2022, 33 (3), pp.507-522. ⟨10.1109/TPDS.2021.3099440⟩
hal-03407123v1  Conference papers
Guilhem JaberDavide Sangiorgi. Games, mobile processes, and functions
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)., Feb 2022, Göttingen, Germany
hal-03340899v1  Conference papers
Benjamin Wesolowski. The supersingular isogeny path and endomorphism ring problems are equivalent
FOCS 2021 - 62nd Annual IEEE Symposium on Foundations of Computer Science, Feb 2022, Denver, Colorado, United States
hal-03249123v2  Conference papers
Guillaume Moroz. New data structure for univariate polynomial approximation and applications to root isolation, numerical multipoint evaluation, and other problems
FOCS 2021 - 62nd Annual IEEE Symposimum on Foundations of Computer Science, Feb 2022, Denver, United States
hal-03447060v1  Conference papers
Abid AliFarhood NeginFrancois BremondSusanne Thümmler. Video-based Behavior Understanding of Children for Objective Diagnosis of Autism
VISAPP 2022 - International Conference on Computer Vision Theory and Applications, Feb 2022, Online, France
hal-03367972v1  Conference papers
Youness MoukafihAbdelghani GhanemKarima AbidiNada SbihiMounir Ghogho et al.  SimSCL: A Simple fully-Supervised Contrastive Learning Framework for Text Representation
AJCAI 2021 - 34th Australasian Joint Conference on Artificial Intelligence, Feb 2022, Sydney, Australia
hal-03432380v1  Conference papers
Jinglei ShiXiaoran JiangChristine Guillemot. Deep Video Frame Rate Up-conversion Network using Feature-based Progressive Residue Refinement a
International Conference on Computer Vision Theory and Applications, Feb 2022, online, France
hal-03417019v1  Conference papers
Vorakit VorakitphanElena CabrioSerena Villata. PROTECT - A Pipeline for Propaganda Detection and Classification
Eighth Italian Conference on Computational Linguistics (CLIC-it 2021), Jan 2022, Milan, Italy
hal-03367052v4  Conference papers
Loïc PujetNicolas Tabareau. Observational Equality: Now For Good
POPL, Jan 2022, Philadelphie, United States
hal-03426997v1  Conference papers
Azalea RaadLuc MarangetViktor Vafeiadis. Extending Intel-x86 Consistency and Persistency
POPL 2022 - Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498683⟩
hal-03447072v1  Conference papers
Alain DelaëtDenis MerigouxAymeric Fromherz. Turning Catala into a Proof Platform for the Law
POPL 2022 - Programming Languages and the Law, Jan 2022, Philadelphia, United States
hal-03431155v2  Conference papers
David CoudertAndré NusserLaurent Viennot. Hyperbolicity Computation through Dominating Sets
Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2022, Jan 2022, Westin Alexandria Old Town, United States
hal-03420133v1  Conference papers
Valentin GabeurArsha NagraniChen SunKarteek AlahariCordelia Schmid. Masking Modalities for Cross-modal Video Retrieval
WACV 2022 - Winter Conference on Applications of Computer Vision, Jan 2022, Waikoloa, United States. pp.1-10
hal-02971697v1  Journal articles
Mickael SerenoXiyao WangLonni BesançonMichael McguffinTobias Isenberg. Collaborative Work in Augmented Reality: A Survey
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TVCG.2020.3032761⟩
hal-02636987v2  Journal articles
Bruno DonassoloArnaud LegrandPanayotis MertikopoulosIlhem Fajjari. Online Reconfiguration of IoT Applications in the Fog: The Information-Coordination Trade-off
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2022, 33 (5), pp.1156-1172. ⟨10.1109/TPDS.2021.3097281⟩
hal-03427170v1  Conference papers
Julien BensmailHervé HocquardDimitri LajouEric Sopena. A proof of the Multiplicative 1-2-3 Conjecture
CALDAM 2022 - 8th Annual International Conference on Algorithms and Discrete Applied Mathematics, 2022, Puducherry, India