Adrien Richard

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 37

Top Topics

Subgraph Isomorphism

Biological Systems

Boolean Networks

Top Venues

J. Comput. Syst. Sci.

Theor. Comput. Sci.

Publications

Florian Bridoux, Christophe Crespelle, Thi Ha Duong Phan, Adrien Richard
Dividing Permutations in the Semiring of Functional Digraphs. AUTOMATA (2024)
Florian Bridoux, Aymeric Picard Marchetto, Adrien Richard
Asynchronous dynamics of isomorphic Boolean networks. CoRR (2024)
Julio Aracena, Adrien Richard, Lilian Salinas
Synchronizing Boolean networks asynchronously. J. Comput. Syst. Sci. 136 (2023)
Florian Bridoux, Kévin Perrot, Aymeric Picard Marchetto, Adrien Richard
Interaction graphs of isomorphic automata networks I: Complete digraph and minimum in-degree. J. Comput. Syst. Sci. 138 (2023)
Adrien Richard, Elisa Tonello
Attractor separation and signed cycles in asynchronous Boolean networks. Theor. Comput. Sci. 947 (2023)
Aurélien Naldi, Adrien Richard, Elisa Tonello
Linear cuts in Boolean networks. Nat. Comput. 22 (3) (2023)
Florian Bridoux, Kévin Perrot, Aymeric Picard Marchetto, Adrien Richard
Interaction graphs of isomorphic automata networks I: complete digraph and minimum in-degree. CoRR (2023)
Adrien Richard, Elisa Tonello
Attractor separation and signed cycles in asynchronous Boolean networks. CoRR (2022)
Adrien Richard
Positive and negative cycles in Boolean networks. CoRR (2022)
Adrien Richard
Nilpotent dynamics on signed interaction graphs and weak converses of Thomas' rules. CoRR (2022)
Florian Bridoux, Amélia Durbec, Kévin Perrot, Adrien Richard
Complexity of fixed point counting problems in Boolean networks. J. Comput. Syst. Sci. 126 (2022)
Aurélien Naldi, Adrien Richard, Elisa Tonello
Linear cuts in Boolean networks. CoRR (2022)
Julio Aracena, Adrien Richard, Lilian Salinas
Synchronizing Boolean networks asynchronously. CoRR (2022)
Enrico Formenti, Christophe Papazian, Adrien Richard, Pierre-Alain Scribot
From Additive Flowers to Additive Automata Networks. Automata and Complexity (2022)
Aymeric Picard Marchetto, Adrien Richard
Isomorphic Boolean networks and dense interaction graphs. CoRR (2021)
Florian Bridoux, Amélia Durbec, Kévin Perrot, Adrien Richard
Complexity of fixed point counting problems in Boolean Networks. CoRR (2020)
Julio Aracena, Maximilien Gadouleau, Adrien Richard, Lilian Salinas
Fixing monotone Boolean networks asynchronously. Inf. Comput. 274 (2020)
Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux
A genetically modified Hoare logic. Theor. Comput. Sci. 765 (2019)
Florian Bridoux, Nicolas Durbec, Kévin Perrot, Adrien Richard
Complexity of Maximum Fixed Point Problem in Boolean Networks. CiE (2019)
Adrien Richard
Nilpotent dynamics on signed interaction graphs and weak converses of Thomas' rules. Discret. Appl. Math. 267 (2019)
Julio Aracena, Maximilien Gadouleau, Adrien Richard, Lilian Salinas
Fixing monotone Boolean networks asynchronously. CoRR (2018)
Maximilien Gadouleau, Adrien Richard
On Fixable Families of Boolean Networks. ACRI (2018)
Maximilien Gadouleau, Adrien Richard
On fixable families of Boolean networks. CoRR (2018)
Adrien Richard
Fixed points and connections between positive and negative cycles in Boolean networks. Discret. Appl. Math. 243 (2018)
Julio Aracena, Adrien Richard, Lilian Salinas
Fixed points in conjunctive networks and maximal independent sets in graph contractions. J. Comput. Syst. Sci. 88 (2017)
Julio Aracena, Adrien Richard, Lilian Salinas
Number of Fixed Points and Disjoint Cycles in Monotone Boolean Networks. SIAM J. Discret. Math. 31 (3) (2017)
Tarek Melliti, Damien Regnault, Adrien Richard, Sylvain Sené
Asynchronous Simulation of Boolean Networks by Monotone Boolean Networks. ACRI (2016)
Maximilien Gadouleau, Adrien Richard, Eric Fanchon
Reduction and Fixed Points of Boolean Networks and Linear Network Coding Solvability. IEEE Trans. Inf. Theory 62 (5) (2016)
Julio Aracena, Adrien Richard, Lilian Salinas
Number of fixed points and disjoint cycles in monotone Boolean networks. CoRR (2016)
Maximilien Gadouleau, Adrien Richard
Simple dynamics on graphs. Theor. Comput. Sci. 628 (2016)
Tarek Melliti, Damien Regnault, Adrien Richard, Sylvain Sené
Asynchronous simulation of Boolean networks by monotone Boolean networks. CoRR (2016)
Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux
A Genetically Modified Hoare Logic. CoRR (2015)
Julio Aracena, Adrien Richard, Lilian Salinas
Fixed points in conjunctive networks and maximal independent sets in graph contractions. CoRR (2015)
Maximilien Gadouleau, Adrien Richard, Søren Riis
Fixed Points of Boolean Networks, Guessing Graphs, and Coding Theory. SIAM J. Discret. Math. 29 (4) (2015)
Adrien Richard
Fixed points and connexions between positive and negative cycles in Boolean networks. CoRR (2015)
Adrien Richard
Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks. Theor. Comput. Sci. 583 (2015)
Maximilien Gadouleau, Adrien Richard
Simple dynamics on graphs. CoRR (2015)
Maximilien Gadouleau, Adrien Richard, Søren Riis
Fixed points of Boolean networks, guessing graphs, and coding theory. CoRR (2014)
Julio Aracena, Adrien Richard, Lilian Salinas
Maximum number of fixed points in AND-OR-NOT networks. J. Comput. Syst. Sci. 80 (7) (2014)
Maximilien Gadouleau, Adrien Richard, Eric Fanchon
Reduction and Fixed Points of Boolean Networks and Linear Network Coding Solvability. CoRR (2014)
Tarek Melliti, Damien Regnault, Adrien Richard, Sylvain Sené
On the Convergence of Boolean Automata Networks without Negative Cycles. Automata (2013)
Adrien Richard
Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks CoRR (2013)
Adrien Richard, Paul Ruet
From kernels in directed graphs to fixed points and negative cycles in Boolean networks. Discret. Appl. Math. 161 (7-8) (2013)
Loïc Paulevé, Adrien Richard
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey. Electron. Notes Theor. Comput. Sci. 284 (2012)
Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux, Adrien Richard
On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems CoRR (2011)
Adrien Richard
Local negative circuits and fixed points in non-expansive Boolean networks. Discret. Appl. Math. 159 (11) (2011)
Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard
Embedding of Biological Regulatory Networks and Property Preservation. Math. Comput. Sci. 5 (3) (2011)
Adrien Richard
A fixed point theorem for Boolean networks expressed in terms of forbidden subnetworks. Automata (2011)
Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux, Adrien Richard
On the Link between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems. FCT (2011)
Adrien Richard
Negative circuits and sustained oscillations in asynchronous automata networks. Adv. Appl. Math. 44 (4) (2010)
Adrien Richard
Negative circuits and sustained oscillations in asynchronous automata networks CoRR (2009)
Adrien Richard
Positive circuits and maximal number of fixed points in discrete dynamical systems. Discret. Appl. Math. 157 (15) (2009)
Maxime Dénès, Benjamin Lesage, Yves Bertot, Adrien Richard
Formal Proof of Theorems on Genetic Regulatory Networks. SYNASC (2009)
Adrien Richard
Local negative circuits and fixed points in Boolean networks CoRR (2009)
Adrien Richard
An extension of a combinatorial fixed point theorem of Shih and Dong. Adv. Appl. Math. 41 (4) (2008)
Jamil Ahmad, Olivier F. Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard
Analysing formal models of genetic regulatory networks with delays. Int. J. Bioinform. Res. Appl. 4 (3) (2008)
Adrien Richard
Positive circuits and maximal number of fixed points in discrete dynamical systems CoRR (2008)
Adrien Richard
On the length of attractors in boolean networks with an interaction graph by layers CoRR (2008)
Adrien Richard, Jean-Paul Comet
Necessary conditions for multistationarity in discrete dynamical systems. Discret. Appl. Math. 155 (18) (2007)
Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux
Delays in Biological Regulatory Networks (BRN). International Conference on Computational Science (2) (2006)
Adrien Richard, Jean-Paul Comet, Gilles Bernot
R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics. Fundam. Informaticae 65 (4) (2005)
Adrien Richard, Jean-Paul Comet, Gilles Bernot
Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States. CMSB (2004)