• 
  Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar. Verification of Population Protocols. 26th International Conference on Concurrency Theory, {CONCUR} 2015, Sep 2015, Madrid, Spain. pp.470-482, ⟨10.4230/LIPIcs.CONCUR.2015.470⟩. ⟨hal-02391875⟩
• 
  Neil Hayagan, Insaf Gaalich, Cyril Aymonier, Laurence Croguennec, Philippe Loubet, et al.. Direct recycling of Li-ion battery production scraps by pressurized fluids. 7th Euro-Mediterranean Conference on Materials and Renewable Energies - EMCMRE-7, Jun 2024, Marrakech, Morocco. ⟨hal-04788721⟩
• 
  L. Brégonzio-Rozier, C. Giorio, F. Siekmann, E. Pangui, S. B. Morales, et al.. Secondary Organic Aerosol formation from isoprene photooxidation during cloud condensation-evaporation cycles. Atmospheric Chemistry and Physics Discussions, 2015, 15 (3), pp.20561-20596. ⟨10.5194/acpd-15-20561-2015⟩. ⟨hal-04114776⟩
• 
  Doris Gomez, Mónica Arias, Marina Dhennin, Thomas G Aubier, Christine Andraud, et al.. Transparency, the ultimate camouflage? Background dependency and influence of ambient light intensity. 2024. ⟨hal-04786213⟩
• 
  Benoit da Costa Fernandes, Mathilde Pfiffer, Philippe Cormont, Marc Dussauze, Bruno Bousquet, et al.. Understanding the effect of wet etching on damage resistance of surface scratches. Scientific Reports, 2018, 8 (1), pp.1337. ⟨10.1038/s41598-018-19716-0⟩. ⟨hal-01869778⟩
• 
  Delphine Rigault, Philippe Nizard, Jonathan Daniel, Mireille Blanćhard-Desce, Eric Deprez, et al.. Triphenylamine Sensitized 8‐Dimethylaminoquinoline: An Efficient Two‐Photon Caging Group for Intracellular Delivery. Chemistry - A European Journal, 2024, ⟨10.1002/chem.202401289⟩. ⟨hal-04785726⟩
• 
  Jean-Christophe Aval. About the determinant of complete non-ambiguous trees. Discrete Mathematics and Theoretical Computer Science, 2024, 26 (3), pp.18. ⟨10.46298/dmtcs.12850⟩. ⟨hal-04351270v4⟩
• 
  François Tessier, Venkatram Vishwanath, Emmanuel Jeannot. Adding topology and memory awareness in data aggregation algorithms. Future Generation Computer Systems, 2024, 159, pp.188-203. ⟨10.1016/j.future.2024.05.016⟩. ⟨hal-04783379v1⟩
• 
  Pierre Dragicevic. Small Data - Visualizing Simple Datasets for Communication and Decision Making. Human-Computer Interaction [cs.HC]. Université de Bordeaux (UB), 2023. ⟨tel-04352699v2⟩
• 
  Pierre Dragicevic. Towards Immersive Humanitarian Visualizations. 2024. ⟨hal-03628118v3⟩
• 
  Ophélie Dal Pra, Jonathan Daniel, Gaëlle Recher, Mireille Blanchard-Desce, Chloé Grazon. Two‐photon Dye‐Based Fluorogenic Organic Nanoparticles as Intracellular Thiols Sensors. Small Methods, 2024, ⟨10.1002/smtd.202400716⟩. ⟨hal-04642514⟩
• 
  Lorien Benda, Louise Miton, Hadj Seyd, Lise--Marie Chamoreau, Gediminas Jonusauskas, et al.. Cyclometalated luminescent platinum(II) complexes of dissymmetrical 2,2':4',2"--terpyridine and its self--assembled dimer presenting Pt--Ag dative bonds. Dalton Transactions, 2024, 53, pp.12477. ⟨https://doi.org/10.1039/D4DT01153H⟩. ⟨hal-04782334⟩
• 
  Philipp Czerner, Javier Esparza, Jérôme Leroux. Lower bounds on the state complexity of population protocols. Distributed Computing, 2023, 36 (3), pp.209-218. ⟨10.1007/s00446-023-00450-4⟩. ⟨hal-04286895⟩
• 
  Jérôme Leroux. State Complexity of Protocols with Leaders. PODC '22: ACM Symposium on Principles of Distributed Computing, Jul 2022, Salerno, Italy. pp.257-264, ⟨10.1145/3519270.3538421⟩. ⟨hal-03863775⟩
• 
  Jérôme Leroux, Sylvain Schmitz. Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension. LICS 2019, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1--13, ⟨10.1109/LICS.2019.8785796⟩. ⟨hal-02267524⟩
• 
  Jérôme Leroux, Sylvain Schmitz. Demystifying Reachability in Vector Addition Systems. LICS 2015, Jul 2015, Kyoto, Japan. pp.56--67, ⟨10.1109/LICS.2015.16⟩. ⟨hal-01168388⟩
• 
  Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar. Verification of population protocols. Acta Informatica, 2017, 54 (2), pp.191-215. ⟨10.1007/s00236-016-0272-3⟩. ⟨hal-02391804⟩
• 
  Nathan Amrofel, Magdalena Dymitrowska, Amaël Obliger, Anne-Julie Tinet, Fabrice Golfier. Drying in nanoporous media with Kelvin effect: Capillary imbibition against evaporation by smoothed particle hydrodynamics method. Physics of Fluids, 2024, 36 (2), pp.022028. ⟨10.1063/5.0186916⟩. ⟨hal-04574263⟩
• 
  Kristina Ariskina, Guillaume Galliéro, Amaël Obliger. Adsorption-induced swelling impact on CO 2 transport in kerogen microporosity as described by free volume theory. Fuel, 2024, 359, pp.130475. ⟨10.1016/j.fuel.2023.130475⟩. ⟨hal-04781502⟩
• 
  Pierre Dragicevic. Information Visualization for Effective Altruism. 2022. ⟨hal-03767020v2⟩

4 319

3 728