Differential expression analysis with inmoose, the integrated multi-omic open-source environment in Python.

Maximilien Colange

Maximilien Colange Guillaume Appé Léa Meunier Solène Weill Akpéli Nordor Abdelkader Behdenna Differential expression analysis with inmoose, the integrated multi-omic open-source environment in Python. 160 2025 December 26 BMC Bioinform. 1 https://doi.org/10.1186/s12859-025-06180-7 db/journals/bmcbi/bmcbi26.html#ColangeAMWNB25 streams/journals/bmcbi

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 Adam Walker The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. 551-567 2024 October 26 Int. J. Softw. Tools Technol. Transf. 5 https://doi.org/10.1007/s10009-024-00754-1 db/journals/sttt/sttt26.html#JacobsPABCCDDDFFKKLMMPR24 streams/journals/sttt

Abdelkader Behdenna Maximilien Colange Julien Haziza Aryo Gema Guillaume Appé Chloé-Agathe Azencott Akpéli Nordor pyComBat, a Python tool for batch effects correction in high-throughput molecular data using empirical Bayes methods. 459 2023 December 24 BMC Bioinform. 1 https://doi.org/10.1186/s12859-023-05578-5 db/journals/bmcbi/bmcbi24.html#BehdennaCHGAAN23

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? 174-187 2022 CAV (2) https://doi.org/10.1007/978-3-031-13188-2_9 conf/cav/2022-2 db/conf/cav/cav2022-2.html#Duret-LutzRCRAS22

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 Adam Walker The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. 2022 abs/2206.00251 CoRR https://doi.org/10.48550/arXiv.2206.00251 db/journals/corr/corr2206.html#abs-2206-00251

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? 2022 abs/2206.11366 CoRR https://doi.org/10.48550/arXiv.2206.11366 db/journals/corr/corr2206.html#abs-2206-11366

Romina Eramo Florent Marchand de Kerchove Maximilien Colange Michele Tucci 0001 Julien Ouy Hugo Bruneliere Davide Di Ruscio Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report. 1:1-22 2019 18 J. Object Technol. 2 https://doi.org/10.5381/jot.2019.18.2.a1 https://www.wikidata.org/entity/Q127561809 db/journals/jot/jot18.html#EramoKCTOBR19

Swen Jacobs Roderick Bloem Maximilien Colange Peter Faymonville Bernd Finkbeiner Ayrat Khalimov 0001 Felix Klein 0001 Michael Luttenberger Philipp J. Meyer Thibaud Michaud Mouhammad Sakr Salomon Sickert Leander Tentrup Adam Walker The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. 2019 abs/1904.07736 CoRR http://arxiv.org/abs/1904.07736 db/journals/corr/corr1904.html#abs-1904-07736

Hakan Metin Souheib Baarir Maximilien Colange Fabrice Kordon CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. 99-114 2018 TACAS (1) https://doi.org/10.1007/978-3-319-89960-2_6 conf/tacas/2018-1 db/conf/tacas/tacas2018-1.html#MetinBCK18 Jim E. Newton Didier Verna Maximilien Colange Programmatic Manipulation of Common Lisp Type Specifiers. 28-35 2017 ELS https://european-lisp-symposium.org/static/proceedings/2017.pdf#section.0.4 conf/els/2017 db/conf/els/els2017.html#NewtonVC17 Swen Jacobs Nicolas Basset Roderick Bloem Romain Brenguier Maximilien Colange Peter Faymonville Bernd Finkbeiner Ayrat Khalimov 0001 Felix Klein 0001 Thibaud Michaud Guillermo A. Pérez Jean-François Raskin Ocan Sankur Leander Tentrup The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV 2017 116-143 journals/corr/abs-1711-10224 https://doi.org/10.4204/EPTCS.260.10 http://arxiv.org/abs/1711.11439 https://www.wikidata.org/entity/Q114021319 db/series/eptcs/eptcs260.html#abs-1711-11439 Alban Linard Benoît Barbot Didier Buchs Maximilien Colange Clément Démoulins Lom-Messan Hillah Alexis Martin Layered Data: A Modular Formal Definition without Formalisms. 287-306 2016 PNSE @ Petri Nets https://ceur-ws.org/Vol-1591/paper19.pdf conf/apn/2016pnse db/conf/apn/pnse2016.html#LinardBBCDHM16 Patricia Bouyer Maximilien Colange Nicolas Markey Symbolic Optimal Reachability in Weighted Timed Automata. 513-530 2016 CAV (1) https://doi.org/10.1007/978-3-319-41528-4_28 conf/cav/2016-1 db/conf/cav/cav2016-1.html#BouyerCM16

Patricia Bouyer Maximilien Colange Nicolas Markey Symbolic Optimal Reachability in Weighted Timed Automata. 2016 abs/1602.00481 CoRR http://arxiv.org/abs/1602.00481 db/journals/corr/corr1602.html#BouyerCM16

Maximilien Colange Dimitri Racordon Didier Buchs Computing Bounds for Counter Automata. 2015 72 Electron. Commun. Eur. Assoc. Softw. Sci. Technol. https://doi.org/10.14279/tuj.eceasst.72.1016 db/journals/eceasst/eceasst72.html#ColangeRB15

Edmundo López Bóbeda Maximilien Colange Didier Buchs Building a Symbolic Model Checker from Formal Language Description. 50-59 2015 ACSD https://doi.org/10.1109/ACSD.2015.10 https://doi.ieeecomputersociety.org/10.1109/ACSD.2015.10 conf/acsd/2015 db/conf/acsd/acsd2015.html#BobedaCB15

Maximilien Colange Dimitri Racordon Didier Buchs A CEGAR-like Approach for Cost LTL Bounds. 2015 abs/1506.05728 CoRR http://arxiv.org/abs/1506.05728 db/journals/corr/corr1506.html#ColangeRB15

Edmundo López Bóbeda Maximilien Colange Didier Buchs StrataGEM: A Generic Petri Net Verification Framework. 364-373 2014 Petri Nets https://doi.org/10.1007/978-3-319-07734-5_20 conf/apn/2014 db/conf/apn/pn2014.html#BobedaCB14 Maximilien Colange Souheib Baarir Fabrice Kordon Yann Thierry-Mieg Towards Distributed Software Model-Checking Using Decision Diagrams. 830-845 2013 CAV https://doi.org/10.1007/978-3-642-39799-8_58 conf/cav/2013 db/conf/cav/cav2013.html#ColangeBKT13

Fabrice Kordon Alban Linard Didier Buchs Maximilien Colange Sami Evangelista Kai Lampka Niels Lohmann Emmanuel Paviot-Adet Yann Thierry-Mieg Harro Wimmel Report on the Model Checking Contest at Petri Nets 2011. 169-196 2012 6 Trans. Petri Nets Other Model. Concurr. https://doi.org/10.1007/978-3-642-35179-2_8 journals/topnoc/2012-6 db/journals/topnoc/topnoc6.html#KordonLBCELLPTW12

Maximilien Colange Fabrice Kordon Yann Thierry-Mieg Souheib Baarir State Space Analysis Using Symmetries on Decision Diagrams. 164-172 2012 ACSD https://doi.org/10.1109/ACSD.2012.28 https://doi.ieeecomputersociety.org/10.1109/ACSD.2012.28 conf/acsd/2012 db/conf/acsd/acsd2012.html#ColangeKTB12 Maximilien Colange Lom-Messan Hillah Fabrice Kordon Pierre Parutto Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach. 330-352 2012 Monterey Workshop https://doi.org/10.1007/978-3-642-34059-8_17 conf/monterey/2012 db/conf/monterey/monterey2012.html#ColangeHKP12

Fabrice Kordon Alban Linard Didier Buchs Maximilien Colange Sami Evangelista Lukasz Fronc Lom-Messan Hillah Niels Lohmann Emmanuel Paviot-Adet Franck Pommereau Christian Rohr Yann Thierry-Mieg Harro Wimmel Karsten Wolf Raw Report on the Model Checking Contest at Petri Nets 2012 http://arxiv.org/abs/1209.2382 2012 CoRR abs/1209.2382 db/journals/corr/corr1209.html#abs-1209-2382

Maximilien Colange Souheib Baarir Fabrice Kordon Yann Thierry-Mieg Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. 338-347 2011 Petri Nets https://doi.org/10.1007/978-3-642-21834-7_20 conf/apn/2011 db/conf/apn/pn2011.html#ColangeBKT11 Remco Abraham Alexandre Gbaguidi Aisse Guillaume Appé Chloé-Agathe Azencott Souheib Baarir Benoît Barbot Nicolas Basset Abdelkader Behdenna Roderick Bloem Edmundo López Bóbeda Patricia Bouyer Romain Brenguier Hugo Bruneliere Véronique Bruyère Didier Buchs Michaël Cadilhac Charly Delfosse Clement DemoulinsClément Démoulins Tom van Dijk Jérôme Dubois Alexandre Duret-Lutz Romina Eramo Sami Evangelista Peter Faymonville Bernd Finkbeiner Lukasz Fronc Aryo Pradipta GemaAryo Gema Clément Gillard Julien Haziza Lom-Messan Hillah Swen Jacobs Florent Marchand de Kerchove Ayrat Khalimov 0001 Felix Klein 0001 Fabrice Kordon Kai Lampka Henrich Lauko Alban Linard Niels Lohmann Michael Luttenberger Nicolas Markey Alexis Martin Antoine Martin Thomas Medioni Hakan Metin Léa Meunier Klara J. MeyerPhilipp J. Meyer Thibaud Michaud Jim E. Newton Akpéli Nordor Julien Ouy Pierre Parutto Emmanuel Paviot-Adet Guillermo A. Pérez Adrien Pommellet Franck Pommereau Dimi RacordonDimitri Racordon Jean-François Raskin Etienne Renault Florian Renkin Christian Rohr Davide Di Ruscio Mouhammad Sakr Ocan Sankur Philipp Schlehuber-Caissier Salomon Sickert Gaëtan Staquet Clément Tamines Leander Tentrup Yann Thierry-Mieg Michele Tucci 0001 Didier Verna Adam Walker Solène Weill Harro Wimmel Karsten Wolf