Antoine Martin

According to our database, Antoine Martin authored at least 8 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Go2Pins: a framework for the LTL verification of Go programs (extended version).

Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault

Int. J. Softw. Tools Technol. Transf., February, 2023

2022

From Spot 2.0 to Spot 2.10: What's New?

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

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Optimal Design of Tokenized Markets.

Michael Junho Lee, Antoine Martin, Robert M. Townsend

Proceedings of the 3rd International Conference on Blockchain Economics, 2021

Go2Pins: A Framework for the LTL Verification of Go Programs.

Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault

Proceedings of the Model Checking Software - 27th International Symposium, 2021

2019

Ergotact: Including Force-based Activities into Post-stroke Rehabilitation.

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

Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

2014

The fragility of short-term secured funding markets.

Antoine Martin, David Skeie, Ernst-Ludwig von Thadden

J. Econ. Theory, 2014

TE-Tracker: systematic identification of transposition events through whole-genome resequencing.

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

BMC Bioinform., 2014

2008

Face recognition using HOG-EBGM.

Alberto Albiol, David Monzo, Antoine Martin, Jorge Sastre, Antonio Albiol

Pattern Recognit. Lett., 2008