Skip to Main content Skip to Navigation


...
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-02955853v1  Journal articles
Liudmila TumashCarlos Canudas de WitMaria Laura Delle Monache. Boundary Control Design for Traffic with Nonlinear Dynamics
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TAC.2021.3069394⟩
...
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-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-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-03367052v1  Conference papers
Loïc PujetNicolas Tabareau. Observational Equality: Now For Good
POPL, Jan 2022, Philadelphie, United States
...
hal-03342677v1  Journal articles
Wesley WillettBon Adriel AsenieroSheelagh CarpendalePierre DragicevicYvonne Jansen et al.  Perception! Immersion! Empowerment! Superpowers as Inspiration for Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2022, ⟨10.1109/TVCG.2021.3114844⟩
...
hal-03260383v1  Journal articles
Jean Goubault-Larrecq. Probabilistic Powerdomains and Quasi-Continuous Domains
Topology Proceedings, Auburn University Mathematics Dept., 2022, 60, pp.1-16
...
hal-02101739v3  Journal articles
Michel BenaïmNicolas ChampagnatDenis Villemonais. Stochastic approximation of quasi-stationary distributions for diffusion processes in a bounded domain
Annales de l'Institut Henri Poincaré (B) Probabilités et Statistiques, Institut Henri Poincaré (IHP), 2022, 57 (2), pp.726-739. ⟨10.1214/20-AIHP1093⟩
...
hal-03361299v1  Conference papers
Esragul KorkmazMathieu FavergeGrégoire PichonPierre Ramet. Deciding Non-Compressible Blocks in Sparse Direct Solvers using Incomplete Factorization
HiPC 2021 - 28th IEEE International Conference on High Performance Computing, Data, and Analytics, Dec 2021, Bangalore, India. pp.1-10
...
hal-03351536v1  Conference papers
Areski HimeurBruno YunPierre BisquertMadalina Croitoru. Assessing the Impact of Agents in Weighted Bipolar Argumentation Frameworks
AI 2021 - 41st BCS SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Dec 2021, Cambridge (virtual), United Kingdom
...
hal-03337243v1  Conference papers
Martin JedwabnyPierre BisquertMadalina Croitoru. Probabilistic rule induction for transparent CBR under uncertainty
AI 2021 - 41st BCS SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Dec 2021, Cambridge, United Kingdom
...
hal-03306173v1  Conference papers
Gabriele PerozziAndrey PolyakovFélix Miranda-VillatoroBernard Brogliato. Upgrading linear to sliding mode feedback algorithm for a digital controller
CDSC 2021 : 60th IEEE Conference on Decision and Control, Dec 2021, Fairmont Austin, United States. pp.1-6
...
hal-03313472v1  Conference papers
Andrey PolyakovDenis EfimovXubin Ping. On energetically optimal finite-time stabilization
IEEE Conference on Decision and Control, Dec 2021, Austin, United States
...
hal-03342397v1  Conference papers
Panayotis MertikopoulosMathias Staudigl. Equilibrium tracking and convergence in dynamic games
CDC 2021 - 60th IEEE Annual Conference on Decision and Control, Dec 2021, Austin, United States. pp.1-8
...
hal-03342395v1  Conference papers
Yu-Guan HsiehFranck IutzelerJérôme MalickPanayotis Mertikopoulos. Optimization in open networks via dual averaging
CDC 2021 - 60th IEEE Annual Conference on Decision and Control, Dec 2021, Austin, United States. pp.1-7
...
hal-03349701v1  Conference papers
Yu ZhouAndrey PolyakovGang Zheng. On Strict Homogeneous Lyapunov Function for Generalized Homogeneous PI Controller
The 60th Conference on Decision and Control, Dec 2021, Austin, United States
...
hal-03317961v2  Conference papers
Saeed Sadeghi ArjmandGuilherme Mazanti. On the characterization of equilibria of nonsmooth minimal-time mean field games with state constraints
IEEE CDC 2021 - 60th Conference on Decision and Control, Dec 2021, Austin, Texas, United States
...
hal-03323478v3  Conference papers
Amina BenarabW Apaza-Perez. Global observers with finite-time and fixed-time convergence for a class of uncertain mechanical systems
CDC 2021 - 60th Conference on Decision and Control, Dec 2021, Austin, United States
...
hal-03353584v1  Conference papers
Samuele ZoboliVincent AndrieuDaniele AstolfiGiacomo CasadeiJilles Dibangoye et al.  Reinforcement Learning Policies With Local LQR Guarantees For Nonlinear Discrete-Time Systems
CDC 2021 - 60th IEEE Conference on Decision and Control, Dec 2021, Texas, United States. pp.1-8
...
hal-03372669v1  Conference papers
Duc Hau NguyenGuillaume GravierPascale Sébillot. A Study of the Plausibility of Attention between RNN Encoders in Natural Language Inference
ICMLA 2021 - 20th IEEE International Conference on Machine Learning and Applications, Dec 2021, Pasadena, United States. pp.1-7