Skip to Main content Skip to Navigation


hal-03328014v1  Conference papers
Roberto FrancoHéctor RíosAlejandra Ferreira de LozaDenis EfimovLouis Cassany et al.  Blood Glucose Regulation in Patients with Type 1 Diabetes Mellitus: A Robust MRAC Approach
60th IEEE Conference on Decision and Control, Dec 2021, Austin, United States
hal-03331063v1  Conference papers
Fatima-Zahra BoujdadDavid NiyitegekaReda BellafqiraGouenou CoatrieuxEmmanuelle Génin et al.  A Hybrid Cloud Deployment Architecture For Privacy-preserving Collaborative Genome-Wide Association Studies
ICDF2C - 12th EAI International Conference on Digital Forensics & Cyber Crime, Dec 2021, Singapour, Singapore
hal-03348022v1  Conference papers
Alice Pellet-MaryDamien Stehlé. On the hardness of the NTRU problem
Asiacrypt 2021 - 27th Annual International Conference on the Theory and Applications of Cryptology and Information Security, Dec 2021, Singapore, Singapore
hal-03353214v1  Conference papers
Benedikt BolligArnaud SangnierOlivier Stietel. Local First-Order Logic with Two Data Values
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), Dec 2021, Goa, India
hal-03269226v1  Journal articles
François DrossFrédéric Havet. On the unavoidability of oriented trees
Journal of Combinatorial Theory, Series B, Elsevier, 2021, 151, pp.83-110. ⟨10.1016/j.jctb.2021.06.003⟩
hal-03343942v1  Conference papers
Jolan PhilippeMassimo TisiHélène CoullonGerson Sunyé. Executing Certified Model Transformations on Apache Spark
SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, Illinois, United States
hal-03328022v1  Conference papers
Roberto FrancoHéctor RíosAlejandra Ferreira de LozaDenis EfimovLouis Cassany et al.  Regulación de Glucosa en la Sangre en Pacientes con Diabetes Mellitus Tipo 1: Un enfoque MRAC Robusto
Congreso Nacional De Control Automatico (CNCA), Oct 2021, Ciudad de Guanajuato, México
hal-03285418v1  Conference papers
Igor KhmelnitskyDaniel NeiderRajarshi RoyXuan XieBenoît Barbot et al.  Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast (Online), Australia
hal-03341682v1  Directions of work or proceedings
Tayeb LemloumaYevgeniya KovalchukAbderrezak RachediSébastien Laborie. eHPWAS'21: Ninth International workshop on e-health pervasive wireless applications and services
17th International Conference on Wireless and Mobile Computing (WIMOB 2021), 2021
hal-03334523v1  Journal articles
Steve Haroz. The Set Salience Bias in Ensemble Decision-Making
Journal of Vision, Association for Research in Vision and Ophthalmology, 2021, 21 (9), pp.2844. ⟨10.1167/jov.21.9.2844⟩
hal-03319021v1  Conference papers
Yutong YanPierre-Henri ConzeMathieu LamardHeng ZhangGwenolé Quellec et al.  Deep active learning for dual-view mammogram analysis
International Workshop on Machine Learning in Medical Imaging, Sep 2021, Strasbourg, France
hal-03150821v1  Conference papers
Serge HaddadSusanna Donatelli. Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models
LATA 2020 2021 - 14th et 15th International Conference on Language and Automata Theory and Applications, Sep 2021, Milan, Italy
hal-03298540v1  Conference papers
Xiaolin WangOlivier GaudoinLaurent DoyenChristophe BérenguerMin Xie. Modeling multivariate degradation processes with time-variant covariates and imperfect maintenance effects
ESREL 2021 - 31st European Safety & Reliability International Conference, Sep 2021, Angers, France
hal-03350199v1  Journal articles
Jean-Marie MadiotDamien PousDavide Sangiorgi. Modular coinduction up-to for higher-order languages via first-order transition systems
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, Volume 17, Issue 3, ⟨10.46298/lmcs-17(3:25)2021⟩