Dernières publications

Communication dans un congrès
14/08/2024
Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging
Karthikeyan Bhargavan, Charlie Jacomme, Franziskus Kiefer, Rolfe Schmidt
Communication dans un congrès
14/08/2024
Communication dans un congrès
13/08/2024
Communication dans un congrès
11/08/2024
Article dans une revue
01/08/2024
Metrics in the circular economy: An inclusive research landscape of the thematic trends and future research agenda
Tetiana Shevchenko, Zahra Shams Esfandabadi, Meisam Ranjbari, Michael Saidani, Jaime Mesa, Stanislav Shevchenko, Bernard Yannou, François Cluzel
Article dans une revue
01/08/2024
Article dans une revue
01/08/2024
Article dans une revue
01/08/2024
Gut-liver interaction study on an all-polydimethylsiloxane microfluidic device integrating intestinal paracellular permeability assay
Ryuya Kida, Alan Rajendran, Mamiko Tsugane, Jean-Charles Duclos-Vallée, Maxime M Mahe, Sakina Bensalem, Hiroaki Suzuki, Bruno Le Pioufle
Communication dans un congrès
28/07/2024
Gröbner Bases for Boolean Function Minimization
Nicolas Faroß, Simon Schwarz
Communication dans un congrès
21/07/2024
Beyond the Norms: Detecting Prediction Errors in Regression Models
Andres Altieri, Marco Romanelli, Pichler Georg, Florence Alberge, Pablo Piantanida

Pages