Skip to Main content Skip to Navigation


...
hal-00990508v1  Conference papers
Manel TagortiBruno Scherrer. Vitesse de convergence et borne d'erreur pour l'algorithme LSTD($\lambda$)
JFPDA - 9èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, May 2014, Liège, Belgique
hal-03142063v1  Conference papers
Thomas SturmAshish Tiwari. Verification and synthesis using real quantifier elimination
Proc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩
...
hal-02388349v1  Conference papers
Luca de FeoSimon MassonChristophe PetitAntonio Sanso. Verifiable Delay Functions from Supersingular Isogenies and Pairings
Advances in Cryptology - ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.248-277, ⟨10.1007/978-3-030-34578-5_10⟩
hal-02374286v1  Conference papers
Deng TangBimal MandalSubhamoy Maitra. Vectorial Boolean Functions with Very Low Differential-Linear Uniformity Using Maiorana-McFarland Type Construction
INDOCRYPT 2019 - The 20th International Conference on Cryptology in India, Dec 2019, Hyderabad, India. ⟨10.1007/978-3-030-35423-7_17⟩
...
hal-02133840v2  Journal articles
François PirotJean-Sébastien SereniRiste Škrekovski. Variations on the Petersen colouring conjecture
The Electronic Journal of Combinatorics, Open Journal Systems, 2020, 27 (1), ⟨10.37236/8515⟩
...
hal-02289699v1  Book sections
Damien ChablatGuillaume MorozFabrice RouillierPhilippe Wenger. Using Maple to analyse parallel robots
Jürgen Gerhard; Ilias Kotsireas. Maple in Mathematics Education and Research, Springer, Cham, pp.50-64, 2020, Maple in Mathematics Education and Research, 978-3-030-41257-9. ⟨10.1007/978-3-030-41258-6_4⟩
hal-01653572v1  Journal articles
Frédérique BassinoMathilde BouvelValentin FérayLucas GerinMickaël Maazoun et al.  Universal limits of substitution-closed permutation classes
Journal of the European Mathematical Society, European Mathematical Society, 2020, 22 (11), pp.3565-3639. ⟨10.4171/JEMS/993⟩
...
inria-00449022v1  Journal articles
Laurent BienvenuMathieu Hoyrup. Une brève introduction à la théorie effective de l'aléatoire
Gazette des Mathématiciens, Société Mathématique de France, 2010, 123, pp.35-47
...
hal-01862896v2  Conference papers
Pierre GuillonEmmanuel JeandelJarkko KariPascal Vanier. Undecidable word problem in subshift automorphism groups
Computer Science in Russia 2019, Jul 2019, Novosibirsk, Russia
...
hal-00996709v2  Journal articles
Stéphane BessyDaniel GonçalvesJean-Sébastien Sereni. Two floor building needing eight colors
Journal of Graph Algorithms and Applications, Brown University, 2015, 19 (1), pp.1--9
hal-02998767v1  Journal articles
Mathilde BouvelValentin FerayMichael Albert. Two first-order logics of permutations
Journal of Combinatorial Theory, Series A, Elsevier, 2020, 171, pp.105-158. ⟨10.1016/j.jcta.2019.105158⟩
...
hal-00793271v1  Reports
Dieter RautenbachJean-Sébastien Sereni. Transversals of Longest Paths and Cycles
[Research Report] Loria & Inria Grand Est. 2013
...
hal-03537989v1  Book sections
Alain GélyMiguel CouceiroAmedeo Napoli. Towards Distributivity in FCA for Phylogenetic Data
Rokia Missaoui, Leonard Kwuida, Talel Abdessalem. Complex Data Analysis with Formal Concept Analysis, Springer, In press, Complex Data Analysis with Formal Concept Analysis
...
inria-00597067v1  Conference papers
Karim DahmanFrançois CharoyClaude Godart. Towards Consistency Management for a Business-Driven Development of SOA
The 15th IEEE International Enterprise Distributed Object Computing Conference (EDOC'11), Aug 2011, Helsinki, Finland
...
tel-03101708v1  Theses
Seny Diatta. Topologie de courbes algébriques planes et projection de surfaces analytiques réelles.
Mathématiques [math]. Université Assane Seck de Ziguinchor (UASZ), 2020. Français. ⟨NNT : 2020UASZ19M2⟩
...
hal-01919395v1  Conference papers
Mathieu Hoyrup. Topological analysis of representations
CiE 2018 - Fourteenth conference on Computability in Europe, Jul 2018, Kiel, Germany
...
hal-01343629v1  Conference papers
Mariia FedotenkovaPeter Beim GrabenJamie SleighAxel Hutt. Time-Frequency Representations as Phase Space Reconstruction in Recurrence Symbolic Analysis
International work-conference on Time Series (ITISE), Jun 2016, Granada, Spain
...
tel-00765982v2  Habilitation à diriger des recherches
Emmanuel Thomé. Théorie algorithmique des nombres et applications à la cryptanalyse de primitives cryptographiques
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2012
hal-00763646v1  Journal articles
Jean-yves MarionThomas Schwentick. Theoretical Aspects of Computer Science
Theory of Computing Systems, Springer Verlag, 2012, 51 (2), pp.123-124. ⟨10.1007/s00224-012-9401-8⟩