Skip to Main content Skip to Navigation

hal-03750983v1  Conference papers
Rémy KesslerNicolas BéchetGudrun LedegenFrederic Pugniere-Saavedra. Exploration par apprentissage de discussions de personnes en détresse psychologique
29es Journées Francophones d'Ingénierie des Connaissances, IC 2018,, Jul 2018, Nancy, France. pp.95-102
hal-03215569v2  Conference papers
Thomas RokickiClémentine MauricePierre Laperdrix. SoK: In Search of Lost Time: A Review of JavaScript Timers in Browsers
6th IEEE European Symposium on Security and Privacy (EuroS&P'21), Sep 2021, Vienna, Austria
hal-03750327v1  Journal articles
Èloi de ChèriseySylvain GuilleyAnnelie HeuserOlivier Rioul. On the optimality and practicability of mutual information analysis in some scenarios
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , Springer, 2018, 10 (1), pp.101-121. ⟨10.1007/s12095-017-0241-x⟩
hal-01629880v1  Journal articles
Nicolas BruneauClaude CarletSylvain GuilleyAnnelie HeuserEmmanuel Prouff et al.  Stochastic Collision Attack
IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers, 2017, 12 (9), pp.2090 - 2104. ⟨10.1109/TIFS.2017.2697401⟩
hal-03750233v1  Conference papers
Giann Karlo Aguirre-SamboníCédric GaucherelStefan HaarFranck Pommereau. Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs
International Workshop on Petri Nets and Software Engineering (PNSE 2022), Jul 2022, Bergen, Norway. pp.213--214
hal-03750209v1  Conference papers
Djob MvondoAntonio BarbalaceJean-Pierre LoziGilles Muller. Towards User-Programmable Schedulers in the Operating System Kernel
SPMA 22 - 11th workshop on Systems for Post-Moore Architectures, Apr 2022, Rennes, France
hal-03750169v1  Patents
Thomas CrespelPatrick ReuterXavier Granier. Affichage transparent
France, N° de brevet: FR3096148. 2020
hal-02987388v2  Journal articles
Nitish K PanigrahyPhilippe NainGiovanni NegliaDon Towsley. A New Upper Bound on Cache Hit Probability for Non-Anticipative Caching Policies
ACM Transactions on Modeling and Performance Evaluation of Computing Systems, ACM, In press
hal-03749679v1  Conference papers
Thaïs BaudonCarsten FuhsLaure Gonnord. Analysing Parallel Complexity of Term Rewriting
32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022), Sep 2022, Tbilisi, Georgia
hal-03749464v1  Journal articles
Bartosz BednarczykStéphane Demri. Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2022, 18 (3), pp.5:1--5:46. ⟨10.46298/lmcs-18(3:5)2022⟩
cea-03749364v1  Conference papers
Manuel FeratRomain PereiraAdrien RousselPatrick CarribaultLuiz Angelo Steffenel et al.  Enhancing MPI+OpenMP Task based Applications for Heterogenous Architectures with GPU support
IWOMP 2022 - 18th International Workshop on OpenMP, Sep 2022, Chattanooga, United States. pp.1-14
hal-03749293v1  Conference papers
Hardy Bin AnuarFranck PlestanAbdelhamid ChrietteOlivier Kermorgant. Super-Twisting Sliding Mode Control with Adaptive Gain of Quadrotor with Rigid Manipulator
16th International Workshop on Variable Structure Systems, Sep 2022, Rio de Janeiro, Brazil
hal-03644463v2  Conference papers
Loïc Le BescondMarvin LerousseauIngrid GarberisFabrice AndréStergios Christodoulidis et al.  Unsupervised Nuclei Segmentation using Spatial Organization Priors
MICCAI 2022 - 25th International Conference on Medical Image Computing and Computer Assisted Intervention, Sep 2022, Singapore, Singapore
hal-03749191v1  Journal articles
Wenjie MeiDenis EfimovRosane UshirobiraEmilia Fridman. On delay-dependent conditions of ISS for generalized Persidskii systems
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, In press