Maximilien Colange

dblp:67/9840 · DBLP profile ↗
← Back
9ranked-venue papers
3as first author
4since 2021 · last 2025
0000-0003-4769-3302ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5 · 1 first-author · 2 since 2021Theory of computation · 3 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 1 first-author · 2 since 2021
YearPublicationVenuePosition
2025 Differential expression analysis with inmoose, the integrated multi-omic open-source environment in Python
abstract
BACKGROUND: Differential gene expression analysis is a prominent technique for the analysis of biomolecular data to identify genetic features associated with phenotypes. Limma-for microarray data -, and edgeR and DESeq2-for RNA-Seq data-, are the most widely used tools for differential gene expression analysis of bulk transcriptomic data. RESULTS: We present the differential expression features of InMoose, a Python implementation of R tools limma, edgeR, and DESeq2. We experimentally show that InMoose stands as a drop-in replacement for those tools, with nearly identical results. This ensures reproducibility when interfacing both languages in bioinformatic pipelines. InMoose is an open source software released under the GPL3 license, available at www.github.com/epigenelabs/inmoose and https://inmoose.readthedocs.io . CONCLUSIONS: We present a new Python implementation of state-of-the-art tools limma, edgeR, and DESeq2, to perform differential gene expression analysis of bulk transcriptomic data. This new implementation exhibits results nearly identical to the original tools, improving interoperability and reproducibility between Python and R bioinformatics pipelines.
Maximilien Colange, Guillaume Appé, Léa Meunier, Solène Weill, Akpéli Nordor, Abdelkader Behdenna
BMC Bioinform.1
2024 The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov 0001, Felix Klein 0001, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup
Int. J. Softw. Tools Technol. Transf.6
2023 pyComBat, a Python tool for batch effects correction in high-throughput molecular data using empirical Bayes methods
abstract
BACKGROUND: Variability in datasets is not only the product of biological processes: they are also the product of technical biases. ComBat and ComBat-Seq are among the most widely used tools for correcting those technical biases, called batch effects, in, respectively, microarray and RNA-Seq expression data. RESULTS: In this technical note, we present a new Python implementation of ComBat and ComBat-Seq. While the mathematical framework is strictly the same, we show here that our implementations: (i) have similar results in terms of batch effects correction; (ii) are as fast or faster than the original implementations in R and; (iii) offer new tools for the bioinformatics community to participate in its development. pyComBat is implemented in the Python language and is distributed under GPL-3.0 ( https://www.gnu.org/licenses/gpl-3.0.en.html ) license as a module of the inmoose package. Source code is available at https://github.com/epigenelabs/inmoose and Python package at https://pypi.org/project/inmoose . CONCLUSIONS: We present a new Python implementation of state-of-the-art tools ComBat and ComBat-Seq for the correction of batch effects in microarray and RNA-Seq data. This new implementation, based on the same mathematical frameworks as ComBat and ComBat-Seq, offers similar power for batch effect correction, at reduced computational cost.
Abdelkader Behdenna, Maximilien Colange, Julien Haziza, Aryo Pradipta Gema, Guillaume Appé, Chloé-Agathe Azencott, Akpéli Nordor
BMC Bioinform.2
2022 From Spot 2.0 to Spot 2.10: What's New?
abstract
Abstract Spot is a C++17 library for LTL and $$\omega $$ ω -automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, since the release of Spot 2.0, which was the first version to support $$\omega $$ ω -automata with arbitrary acceptance conditions, and the last version presented at a conference. Since then, Spot has been extended with several features such as acceptance transformations, alternating automata, games, LTL synthesis, and more. We also shed some lights on the data-structure used to store automata. Artifact: https://zenodo.org/record/6521395 .
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Jérôme Dubois, Clément Gillard, Henrich Lauko
CAV (2)3
2018 CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving
Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon
TACAS (1)3
2016 Symbolic Optimal Reachability in Weighted Timed Automata
Patricia Bouyer, Maximilien Colange, Nicolas Markey
CAV (1)2
2014 StrataGEM: A Generic Petri Net Verification Framework
Edmundo López Bóbeda, Maximilien Colange, Didier Buchs
Petri Nets2
2013 Towards Distributed Software Model-Checking Using Decision Diagrams
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
CAV1
2011 Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
Petri Nets1