• 
  Damiano Mazza, Michele Pagani. Automatic Differentiation in PCF. Proceedings of the ACM on Programming Languages, ACM, 2021, 5, pp.1 - 27. ⟨10.1145/3434309⟩. ⟨hal-03379031⟩
• 
  Victor Lutfalla. Substitution discrete planes. Discrete Mathematics [cs.DM]. Université Sorbonne Paris Nord, 2021. English. ⟨tel-03376430⟩
• 
  Jessica López Espejel. Automatic abstractive summarization of long medical texts with multi-encoders Transformer and general-domain summary evaluation with wikiSERA. Computers and Society [cs.CY]. Université Paris-Nord - Paris XIII, 2021. English. ⟨NNT : 2021PA131010⟩. ⟨tel-03376172⟩
• 
  Paulin Jacobé de Naurois. Parallelism in Soft Linear Logic. Computer Science Logic, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs..10⟩. ⟨hal-03374648⟩
• 
  Olivier Bodini, Antoine Genitrini, Bernhard Gittenberger, Isabella Larcher, Mehdi Naima. Compaction for two models of logarithmic-depth trees: Analysis and Experiments. Random Structures and Algorithms, Wiley, In press. ⟨hal-03371646⟩
• 
  Olivier Bodini, Antoine Genitrini, Cécile Mailler, Mehdi Naima. Strict monotonic trees arising from evolutionary processes: combinatorial and probabilistic study. Advances and Applications in Discrete Mathematics, Pushpa Publishing House, In press. ⟨hal-02865198v2⟩
• 
  Rado Rakotonarivo. Sur la combinatoire des polytopes en nombres entiers, génération aléatoire et enumération. Informatique et langage [cs.CL]. Université Paris-Nord - Paris XIII, 2020. Français. ⟨NNT : 2020PA131013⟩. ⟨tel-03347550⟩
• 
  Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller. A cartesian bicategory of polynomial functors in homotopy type theory. 37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2021), Aug 2021, Salzburg, Austria. ⟨hal-03345938⟩
• 
  Kaoutar Benlamine. Apprentissage artificiel quantique. Ordinateur et société [cs.CY]. Université Paris-Nord - Paris XIII, 2020. Français. ⟨NNT : 2020PA131007⟩. ⟨tel-03342984⟩
• 
  Sarah Zouinina. Anonymisation des données par apprentissage non supervisé. Ordinateur et société [cs.CY]. Université Paris-Nord - Paris XIII; Ecole nationale des sciences appliquées (Kénitra, Maroc), 2020. Français. ⟨NNT : 2020PA131005⟩. ⟨tel-03342675⟩
• 
  Hiba Ouni. Vérification parallèle de systémes concurrents en utilisant le Graphe d’Observation Symbolique. Modélisation et simulation. Université Paris-Nord - Paris XIII; Université de Tunis El Manar, 2019. Français. ⟨NNT : 2019PA131092⟩. ⟨tel-03340239⟩
• 
  Philippe Balbiani, Jean-François Condotta, Luis Farinas del Cerro. A new tractable subclass of the rectangle algebra. Sixteenth International Joint Conference on Artificial Intelligence (IJCAI 1999), The International Joint Conferences on Artificial Intelligence, Inc., 1999, Stockholm, Sweden. pp.442-447. ⟨hal-03300314⟩
• 
  Clément Royer, Jérémie Sublime, Florence Rossant, Michel Paques. Unsupervised Approaches for the Segmentation of Dry ARMD Lesions in Eye Fundus cSLO Images. Journal of Imaging, MDPI, 2021, 7, ⟨10.3390/jimaging7080143⟩. ⟨hal-03328443⟩
• 
  Clément Royer, Jérémie Sublime, Florence Rossant, Michel Paques. Unsupervised Approaches for the Segmentation of Dry ARMD Lesions in Eye Fundus cSLO Images. Journal of Imaging, MDPI, 2021, 7 (8), pp.143. ⟨10.3390/jimaging7080143⟩. ⟨hal-03319503⟩
• 
  Cyrille Bertelle, Gérard H.E. Duchamp, Rawan Ghnemat. Proceedings of the Third International Symposium on Swarm Intelligence Algorithms and Applications Symposium, A symposium at the AISB 2010 Convention. SSAISB: The Society for the Study of Artificial Intelligence and the Simulation of Behaviour. Mar 2010, Leicester, United Kingdom. 2010. ⟨hal-03317896⟩
• 
  M.A. Aziz Alaoui, Arnaud Banos, Cyrille Bertelle, Gérard H.E. Duchamp. Proceedings of EPNACS 2011, Emergent Properties for Natural and Artificial Complex Systems, a satellite meeeting within ECCS'11. Sep 2011, Vienna, Austria. 2011. ⟨hal-03317893⟩
• 
  M.A. Aziz Alaoui, Arnaud Banos, Cyrille Bertelle, Gérard H.E. Duchamp. Proceedings of SOMC 2012, Self-Organisation Management and Control, a satellite meeting within ECCS'12. Sep 2012, Brussels, Belgium. 37 p., 2012. ⟨hal-03317887⟩
• 
  Rawan Ghnemat, Cyrille Bertelle, Gérard Duchamp. Adaptive Automata Community Detection and Clustering - A generic methodology. World Congress on Engineering 2007 (WCE 2007), IAENG, Jul 2007, Londres, United Kingdom. ⟨hal-03316470⟩
• 
  M Aziz-Alaoui, Cyrille Bertelle, Gérard Duchamp, Michel Cotsaftis. Proceedings of EPNACS'2007 - Emergent Properties In Natural and Artificial Complex Systems, A satellite conference within ECCS’07. 2007. ⟨hal-03313785⟩
• 
  Gérard Duchamp, Darij Grinberg, Vincel Minh. Three variations on the linear independence of grouplikes in a coalgebra.. 2021. ⟨hal-02943601v5⟩

947

937