Inner and outer reachability for the verification of control systems
Eric Goubault
,
Sylvie Putot
Proceedings of the 22th ACM International Conference on Hybrid Systems: Computation and Control , ACM, pp.11-22, 2019,
⟨10.1145/3302504.3311794⟩
Book sections
hal-02632550v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modular Focused Proof Systems for Intuitionistic Modal Logics
Kaustuv Chaudhuri
,
Sonia Marin
,
Lutz Strassburger
FSCD 2016 - 1st International Conference on Formal Structures for Computation and Deduction , Jun 2016, Porto, Portugal.
⟨10.4230/LIPIcs.FSCD.2016.16⟩
Conference papers
hal-01417603v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
How arithmetic and geometry make error correcting codes better
Alain Couvreur
2021
Preprints, Working Papers, ...
hal-03400779v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
See360: Novel Panoramic View Interpolation
Marie-Paule Cani
,
Wan-Chi Siu
,
Zhi-Song Liu
Journal articles
hal-03648811v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the security of a Loidreau rank metric code based encryption scheme
Daniel Coggia
,
Alain Couvreur
Journal articles
hal-03049694v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Full Convergence of the Iterative Bayesian Update and Applications to Mechanisms for Privacy Protection
Ehab Elsalamouny
,
Catuscia Palamidessi
EuroS&P 2020 - 5th IEEE European Symposium on Security and Privacy , Sep 2020, Genova, Italy. pp.490-507
Conference papers
hal-03091504v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Establishing the Price of Privacy in Federated Data Trading
Kangsoo Jung
,
Sayan Biswas
,
Catuscia Palamidessi
Protocols, Strands, and Logic , 13066, Springer International Publishing, pp.232-250, 2021, Lecture Notes in Computer Science,
⟨10.1007/978-3-030-91631-2_13⟩
Book sections
hal-03589837v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Classical and Quantum Algorithms for Generic Syndrome Decoding Problems and Applications to the Lee Metric
André Chailloux
,
Thomas Debris-Alazard
,
Simona Etinski
Conference papers
hal-03529777v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
MSCopilot: New smartphone-based digital biomarkers correlate with Expanded Disability Status Scale scores in people with Multiple Sclerosis
Ian-Christopher Tanoh
,
Elisabeth Maillart
,
Pierre Labauge
,
Mikael Cohen
,
Adil Maarouf
et al.
Journal articles
hal-03648668v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Recovering high-level conditions from binary programs
A. Djoudi
,
S. Bardin
,
É. Goubault
Conference papers
cea-01834972v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Factoring Safe Semiprimes with a Single Quantum Query
Frédéric Grosshans
,
Thomas Lawson
,
Benjamin Smith
,
François Morain
2016
Preprints, Working Papers, ...
hal-01229587v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Frobenius FFT
Joris van Der Hoeven
,
Robin Larrieu
The International Symposium on Symbolic and Algebraic Computation 2017 , Jul 2017, Kaiserslautern, France. pp.437-444,
⟨10.1145/3087604.3087633⟩
Conference papers
hal-02350408v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Minimal Distance of Propositional Models
Mike Behrisch
,
Miki Hermann
,
Stefan Mengel
,
Gernot Salzer
Journal articles
hal-02322184v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
2-Stack Sorting is Polynomial
Adeline Pierrot
,
Dominique Rossin
Journal articles
hal-01758837v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
ODMAC++: An IoT Communication Manager Based on Energy Harvesting Prediction
Samuel Perez
,
Juan Antonio Cordero Fuertes
,
Marceau Coupechoux
IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC) , Oct 2017, Montreal, Canada. pp.1-7
Conference papers
hal-02287620v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Special Issue on Computational Logic ( in honor to Roy Dyckhoff) of Journal of Logic and Computation
Didier Galmiche
,
Stéphane Graham-Lengrand
Books
hal-01263202v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Asynchronous Traces and Open Petri Nets
Paolo Baldan
,
Filippo Bonchi
,
Fabio Gadducci
,
Valentina Monreale
Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday , Jun 2015, Pisa, Italy. pp.86-102,
⟨10.1007/978-3-319-25527-9_8⟩
Conference papers
hal-01285297v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Impact of Random Initialization on the Runtime of Randomized Search Heuristics
Carola Doerr
,
Benjamin Doerr
Journal articles
hal-01363851v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Provably Optimal Self-Adjusting Step Sizes for Multi-Valued Decision Variables
Benjamin Doerr
,
Carola Doerr
,
Timo Kötzing
Parallel Problem Solving from Nature – PPSN XIV , Sep 2016, Edinburgh, United Kingdom. pp.782-791
Conference papers
hal-01363911v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Solving Problems with Unknown Solution Length at Almost No Extra Cost
Benjamin Doerr
,
Carola Doerr
,
Timo Kötzing
Journal articles
hal-01921042v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Theory of Parameter Control for Discrete Black-Box Optimization: Provable Performance Gains Through Dynamic Parameter Choices
Benjamin Doerr
,
Carola Doerr
Book sections
hal-02436293v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
IncaRNAfbinv 2.0 - A webserver and software with motif control for fragment-based design of RNAs
Matan Drory Retwitzer
,
Vladimir Reinharz
,
Alexander Churkin
,
Yann Ponty
,
Jérôme Waldispühl
et al.
Journal articles
hal-02423237v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Brownian continuum random tree as the unique solution to a fixed point equation
Marie Albenque
,
Christina Goldschmidt
Journal articles
hal-02408709v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Key-Recovery Attacks on ASASA.
Brice Minaud
,
Patrick Derbez
,
Pierre-Alain Fouque
,
Pierre Karpman
Journal of Cryptology , 2018, 31 (3), pp.845-884
Journal articles
hal-02470995v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
RNA Bioinformatics and ensemble dynamic programming
Yann Ponty
5th biennial Canadian Discrete and Algorithmic Mathematics Conference - CanaDAM 2015 , Jun 2015, Saskatoon, Canada
Conference papers
hal-01569852v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The BRaliBase dent - a tale of benchmark design and interpretation.
Benedikt Löwes
,
Cedric Chauve
,
Yann Ponty
,
Robert Giegerich
Journal articles
hal-01273406v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An upper bound on the number of rational points of arbitrary projective varieties over finite fields
Alain Couvreur
Journal articles
hal-01069510v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Eigenvectors of Non-Linear Maps on the Cone of Positive Semidefinite Matrices Application to Stability Analysis
Nikolas Stott
,
Xavier Allamigeon
,
Stéphane Gaubert
,
Eric Goubault
,
Sylvie Putot
et al.
SIAM Conference on Control and its Applications (SIAM CT’15) , Jul 2015, Paris, France
Conference papers
hal-01263384v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The locality dilemma of Sankoff-like RNA alignments
Teresa Müller
,
Milad Miladi
,
Frank Hutter
,
Ivo Hofacker
,
Sebastian Will
et al.
Journal articles
hal-02909014v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Web-based Structural Identifiability Analyzer
Ilia Ilmer
,
Alexey Ovchinnikov
,
Gleb Pogudin
2022
Preprints, Working Papers, ...
hal-03826838v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More