Antoine Martin

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2026
Translation of industrial temporal logics to ω-automata. (Traduction de logiques temporelles industrielles en ω-automates).
PhD thesis, 2026

2025
A Protocol to Address Ecological Redirection for Digital Practices in Organizations.
CoRR, July, 2025

2024
Optimizing data integration improves gene regulatory network inference in <i>Arabidopsis thaliana</i>.
Bioinform., 2024

Translation of Semi-extended Regular Expressions Using Derivatives.
Proceedings of the Implementation and Application of Automata, 2024

How to create sustainable artefacts? Towards a user-centered design guide for low-techs/appropriate technologies.
Proceedings of the European Conference on Cognitive Ergonomics 2024, 2024

2023
Assessment of the equivalent inclusion method for the numerical homogenization of fibrous composites.
J. Comput. Phys., March, 2023

Go2Pins: a framework for the LTL verification of Go programs (extended version).
Int. J. Softw. Tools Technol. Transf., February, 2023

2022
From Spot 2.0 to Spot 2.10: What's New?
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Optimal Design of Tokenized Markets.
Proceedings of the 3rd International Conference on Blockchain Economics, 2021

Go2Pins: A Framework for the LTL Verification of Go Programs.
Proceedings of the Model Checking Software - 27th International Symposium, 2021

2019
Ergotact: Including Force-based Activities into Post-stroke Rehabilitation.
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.
J. Econ. Theory, 2014

TE-Tracker: systematic identification of transposition events through whole-genome resequencing.
BMC Bioinform., 2014

2008
Face recognition using HOG-EBGM.
Pattern Recognit. Lett., 2008


  Loading...