Antoine Martin

14 papers C 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Protocol to Address Ecological Redirection for Digital Practices in Organizations.
CoRR
Valentin Girard, Antoine Martin, Maud Rio, Romain Couillet
2024 — conf
How to create sustainable artefacts? Towards a user-centered design guide for low-techs/appropriate technologies.
ECCE
Clement Colin, Antoine Martin
2024 J jnl
Optimizing data integration improves gene regulatory network inference in
Bioinform.
Océane Cassan, Charles-Henri Lecellier, Antoine Martin, Laurent Bréhélin, Sophie Lèbre
2024 C conf
Translation of Semi-extended Regular Expressions Using Derivatives.
CIAA
Antoine Martin, Etienne Renault, Alexandre Duret-Lutz
2023 J jnl
Assessment of the equivalent inclusion method for the numerical homogenization of fibrous composites.
J. Comput. Phys.
Antoine Martin, Sébastien Brisard, S. Deleville, Karam Sab
2023 J jnl
Go2Pins: a framework for the LTL verification of Go programs (extended version).
Int. J. Softw. Tools Technol. Transf.
Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
2022 — conf
From Spot 2.0 to Spot 2.10: What's New?
CAV (2)
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
2022 J jnl
From Spot 2.0 to Spot 2.10: What's New?
CoRR
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
2021 — conf
Go2Pins: A Framework for the LTL Verification of Go Programs.
SPIN
Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
2021 — conf
Optimal Design of Tokenized Markets.
Tokenomics
Michael Junho Lee, Antoine Martin, Robert M. Townsend
2019 — conf
Ergotact: Including Force-based Activities into Post-stroke Rehabilitation.
CHI Extended Abstracts
Christine Mégard, Sylvain Bouchigny, Antoine Martin, Rafik Goulamhoussen, Lucie Bertholier, Pierre Foulon, Samuel Pouplin, Céline Bonnyaud, Nicolas Roche, Axelle Gelineau, Frédéric Barbot
2014 J jnl
TE-Tracker: systematic identification of transposition events through whole-genome resequencing.
BMC Bioinform.
Arthur Gilly, Mathilde Etcheverry, Mohammed-Amin Madoui, Julie Guy, Leandro Quadrana, Adriana Alberti, Antoine Martin, Tony Heitkam, Stefan Engelen, Karine Labadie, Jeremie Le Pen, Patrick Wincker, Vincent Colot, Jean-Marc Aury
2014 J jnl
The fragility of short-term secured funding markets.
J. Econ. Theory
Antoine Martin, David Skeie, Ernst-Ludwig von Thadden
2008 J jnl
Face recognition using HOG-EBGM.
Pattern Recognit. Lett.
Alberto Albiol, David Monzo, Antoine Martin, Jorge Sastre, Antonio Albiol