Antoine Martin

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 6

Top Topics

Electric Load Forecasting

Long Term Memory

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
Go2Pins: a framework for the LTL verification of Go programs (extended version). Int. J. Softw. Tools Technol. Transf. 25 (1) (2023)
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
From Spot 2.0 to Spot 2.10: What's New? CoRR (2022)
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
From Spot 2.0 to Spot 2.10: What's New? CAV (2) (2022)
Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
Go2Pins: A Framework for the LTL Verification of Go Programs. SPIN (2021)
Michael Junho Lee, Antoine Martin, Robert M. Townsend
Optimal Design of Tokenized Markets. Tokenomics (2021)
Christine Mégard, Sylvain Bouchigny, Antoine Martin, Rafik Goulamhoussen, Lucie Bertholier, Pierre Foulon, Samuel Pouplin, Celine Bonnyaud, Nicolas Roche, Axelle Gelineau, Frédéric Barbot
Ergotact: Including Force-based Activities into Post-stroke Rehabilitation. CHI Extended Abstracts (2019)
Antoine Martin, David Skeie, Ernst-Ludwig von Thadden
The fragility of short-term secured funding markets. J. Econ. Theory 149 (2014)
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
TE-Tracker: systematic identification of transposition events through whole-genome resequencing. BMC Bioinform. 15 (2014)
Alberto Albiol, David Monzo, Antoine Martin, Jorge Sastre, Antonio Albiol
Face recognition using HOG-EBGM. Pattern Recognit. Lett. 29 (10) (2008)