BibTeX records: Adrien Richard

download as .bib file

@article{DBLP:journals/corr/abs-2402-03092,
  author       = {Florian Bridoux and
                  Aymeric Picard Marchetto and
                  Adrien Richard},
  title        = {Asynchronous dynamics of isomorphic Boolean networks},
  journal      = {CoRR},
  volume       = {abs/2402.03092},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.03092},
  doi          = {10.48550/ARXIV.2402.03092},
  eprinttype    = {arXiv},
  eprint       = {2402.03092},
  timestamp    = {Mon, 12 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-03092.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AracenaRS23,
  author       = {Julio Aracena and
                  Adrien Richard and
                  Lilian Salinas},
  title        = {Synchronizing Boolean networks asynchronously},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {136},
  pages        = {249--279},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jcss.2023.04.001},
  doi          = {10.1016/J.JCSS.2023.04.001},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/AracenaRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BridouxPMR23,
  author       = {Florian Bridoux and
                  K{\'{e}}vin Perrot and
                  Aymeric Picard Marchetto and
                  Adrien Richard},
  title        = {Interaction graphs of isomorphic automata networks {I:} Complete digraph
                  and minimum in-degree},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {138},
  pages        = {103458},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jcss.2023.05.003},
  doi          = {10.1016/J.JCSS.2023.05.003},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/BridouxPMR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/NaldiRT23,
  author       = {Aur{\'{e}}lien Naldi and
                  Adrien Richard and
                  Elisa Tonello},
  title        = {Linear cuts in Boolean networks},
  journal      = {Nat. Comput.},
  volume       = {22},
  number       = {3},
  pages        = {431--451},
  year         = {2023},
  url          = {https://doi.org/10.1007/s11047-023-09945-2},
  doi          = {10.1007/S11047-023-09945-2},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/nc/NaldiRT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RichardT23,
  author       = {Adrien Richard and
                  Elisa Tonello},
  title        = {Attractor separation and signed cycles in asynchronous Boolean networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {947},
  pages        = {113706},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.113706},
  doi          = {10.1016/J.TCS.2023.113706},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/RichardT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-01958,
  author       = {Florian Bridoux and
                  K{\'{e}}vin Perrot and
                  Aymeric Picard Marchetto and
                  Adrien Richard},
  title        = {Interaction graphs of isomorphic automata networks {I:} complete digraph
                  and minimum in-degree},
  journal      = {CoRR},
  volume       = {abs/2301.01958},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2301.01958},
  doi          = {10.48550/ARXIV.2301.01958},
  eprinttype    = {arXiv},
  eprint       = {2301.01958},
  timestamp    = {Tue, 10 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-01958.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BridouxDPR22,
  author       = {Florian Bridoux and
                  Am{\'{e}}lia Durbec and
                  K{\'{e}}vin Perrot and
                  Adrien Richard},
  title        = {Complexity of fixed point counting problems in Boolean networks},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {126},
  pages        = {138--164},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jcss.2022.01.004},
  doi          = {10.1016/J.JCSS.2022.01.004},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/BridouxDPR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FormentiPRS22,
  author       = {Enrico Formenti and
                  Christophe Papazian and
                  Adrien Richard and
                  Pierre{-}Alain Scribot},
  editor       = {Andrew Adamatzky},
  title        = {From Additive Flowers to Additive Automata Networks},
  booktitle    = {Automata and Complexity - Essays Presented to Eric Goles on the Occasion
                  of His 70th Birthday},
  volume       = {42},
  pages        = {323--343},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-92551-2\_18},
  doi          = {10.1007/978-3-030-92551-2\_18},
  timestamp    = {Fri, 22 Apr 2022 14:45:29 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/FormentiPRS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-08596,
  author       = {Adrien Richard},
  title        = {Nilpotent dynamics on signed interaction graphs and weak converses
                  of Thomas' rules},
  journal      = {CoRR},
  volume       = {abs/2201.08596},
  year         = {2022},
  url          = {https://arxiv.org/abs/2201.08596},
  eprinttype    = {arXiv},
  eprint       = {2201.08596},
  timestamp    = {Wed, 02 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-08596.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-08600,
  author       = {Adrien Richard},
  title        = {Positive and negative cycles in Boolean networks},
  journal      = {CoRR},
  volume       = {abs/2201.08600},
  year         = {2022},
  url          = {https://arxiv.org/abs/2201.08600},
  eprinttype    = {arXiv},
  eprint       = {2201.08600},
  timestamp    = {Wed, 02 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-08600.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-01620,
  author       = {Aur{\'{e}}lien Naldi and
                  Adrien Richard and
                  Elisa Tonello},
  title        = {Linear cuts in Boolean networks},
  journal      = {CoRR},
  volume       = {abs/2203.01620},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.01620},
  doi          = {10.48550/ARXIV.2203.01620},
  eprinttype    = {arXiv},
  eprint       = {2203.01620},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-01620.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-05298,
  author       = {Julio Aracena and
                  Adrien Richard and
                  Lilian Salinas},
  title        = {Synchronizing Boolean networks asynchronously},
  journal      = {CoRR},
  volume       = {abs/2203.05298},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.05298},
  doi          = {10.48550/ARXIV.2203.05298},
  eprinttype    = {arXiv},
  eprint       = {2203.05298},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-05298.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-11651,
  author       = {Adrien Richard and
                  Elisa Tonello},
  title        = {Attractor separation and signed cycles in asynchronous Boolean networks},
  journal      = {CoRR},
  volume       = {abs/2206.11651},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.11651},
  doi          = {10.48550/ARXIV.2206.11651},
  eprinttype    = {arXiv},
  eprint       = {2206.11651},
  timestamp    = {Mon, 27 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-11651.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-01914,
  author       = {Aymeric Picard Marchetto and
                  Adrien Richard},
  title        = {Isomorphic Boolean networks and dense interaction graphs},
  journal      = {CoRR},
  volume       = {abs/2105.01914},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.01914},
  eprinttype    = {arXiv},
  eprint       = {2105.01914},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-01914.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AracenaGRS20,
  author       = {Julio Aracena and
                  Maximilien Gadouleau and
                  Adrien Richard and
                  Lilian Salinas},
  title        = {Fixing monotone Boolean networks asynchronously},
  journal      = {Inf. Comput.},
  volume       = {274},
  pages        = {104540},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.ic.2020.104540},
  doi          = {10.1016/J.IC.2020.104540},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/AracenaGRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-02513,
  author       = {Florian Bridoux and
                  Am{\'{e}}lia Durbec and
                  K{\'{e}}vin Perrot and
                  Adrien Richard},
  title        = {Complexity of fixed point counting problems in Boolean Networks},
  journal      = {CoRR},
  volume       = {abs/2012.02513},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.02513},
  eprinttype    = {arXiv},
  eprint       = {2012.02513},
  timestamp    = {Wed, 09 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-02513.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/Richard19,
  author       = {Adrien Richard},
  title        = {Nilpotent dynamics on signed interaction graphs and weak converses
                  of Thomas' rules},
  journal      = {Discret. Appl. Math.},
  volume       = {267},
  pages        = {160--175},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.dam.2019.04.025},
  doi          = {10.1016/J.DAM.2019.04.025},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/Richard19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BernotCKRR19,
  author       = {Gilles Bernot and
                  Jean{-}Paul Comet and
                  Zohra Khalis and
                  Adrien Richard and
                  Olivier F. Roux},
  title        = {A genetically modified Hoare logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {765},
  pages        = {145--157},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2018.02.003},
  doi          = {10.1016/J.TCS.2018.02.003},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BernotCKRR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BridouxDPR19,
  author       = {Florian Bridoux and
                  Nicolas Durbec and
                  K{\'{e}}vin Perrot and
                  Adrien Richard},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Complexity of Maximum Fixed Point Problem in Boolean Networks},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {132--143},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_12},
  doi          = {10.1007/978-3-030-22996-2\_12},
  timestamp    = {Sun, 25 Oct 2020 22:53:05 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/BridouxDPR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/Richard18,
  author       = {Adrien Richard},
  title        = {Fixed points and connections between positive and negative cycles
                  in Boolean networks},
  journal      = {Discret. Appl. Math.},
  volume       = {243},
  pages        = {1--10},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.dam.2017.12.037},
  doi          = {10.1016/J.DAM.2017.12.037},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/Richard18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acri/GadouleauR18,
  author       = {Maximilien Gadouleau and
                  Adrien Richard},
  editor       = {Giancarlo Mauri and
                  Samira El Yacoubi and
                  Alberto Dennunzio and
                  Katsuhiro Nishinari and
                  Luca Manzoni},
  title        = {On Fixable Families of Boolean Networks},
  booktitle    = {Cellular Automata - 13th International Conference on Cellular Automata
                  for Research and Industry, {ACRI} 2018, Como, Italy, September 17-21,
                  2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11115},
  pages        = {396--405},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99813-8\_36},
  doi          = {10.1007/978-3-319-99813-8\_36},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/acri/GadouleauR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-02068,
  author       = {Julio Aracena and
                  Maximilien Gadouleau and
                  Adrien Richard and
                  Lilian Salinas},
  title        = {Fixing monotone Boolean networks asynchronously},
  journal      = {CoRR},
  volume       = {abs/1802.02068},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.02068},
  eprinttype    = {arXiv},
  eprint       = {1802.02068},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-02068.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-01931,
  author       = {Maximilien Gadouleau and
                  Adrien Richard},
  title        = {On fixable families of Boolean networks},
  journal      = {CoRR},
  volume       = {abs/1804.01931},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.01931},
  eprinttype    = {arXiv},
  eprint       = {1804.01931},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-01931.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AracenaRS17,
  author       = {Julio Aracena and
                  Adrien Richard and
                  Lilian Salinas},
  title        = {Fixed points in conjunctive networks and maximal independent sets
                  in graph contractions},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {88},
  pages        = {145--163},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jcss.2017.03.016},
  doi          = {10.1016/J.JCSS.2017.03.016},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/AracenaRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/AracenaRS17,
  author       = {Julio Aracena and
                  Adrien Richard and
                  Lilian Salinas},
  title        = {Number of Fixed Points and Disjoint Cycles in Monotone Boolean Networks},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {31},
  number       = {3},
  pages        = {1702--1725},
  year         = {2017},
  url          = {https://doi.org/10.1137/16M1060868},
  doi          = {10.1137/16M1060868},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/AracenaRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GadouleauR16,
  author       = {Maximilien Gadouleau and
                  Adrien Richard},
  title        = {Simple dynamics on graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {628},
  pages        = {62--77},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.03.013},
  doi          = {10.1016/J.TCS.2016.03.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GadouleauR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/GadouleauRF16,
  author       = {Maximilien Gadouleau and
                  Adrien Richard and
                  Eric Fanchon},
  title        = {Reduction and Fixed Points of Boolean Networks and Linear Network
                  Coding Solvability},
  journal      = {{IEEE} Trans. Inf. Theory},
  volume       = {62},
  number       = {5},
  pages        = {2504--2519},
  year         = {2016},
  url          = {https://doi.org/10.1109/TIT.2016.2544344},
  doi          = {10.1109/TIT.2016.2544344},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tit/GadouleauRF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acri/MellitiRRS16,
  author       = {Tarek Melliti and
                  Damien Regnault and
                  Adrien Richard and
                  Sylvain Sen{\'{e}}},
  editor       = {Samira El Yacoubi and
                  Jaroslaw Was and
                  Stefania Bandini},
  title        = {Asynchronous Simulation of Boolean Networks by Monotone Boolean Networks},
  booktitle    = {Cellular Automata - 12th International Conference on Cellular Automata
                  for Research and Industry, {ACRI} 2016, Fez, Morocco, September 5-8,
                  2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9863},
  pages        = {182--191},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44365-2\_18},
  doi          = {10.1007/978-3-319-44365-2\_18},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/acri/MellitiRRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AracenaRS16,
  author       = {Julio Aracena and
                  Adrien Richard and
                  Lilian Salinas},
  title        = {Number of fixed points and disjoint cycles in monotone Boolean networks},
  journal      = {CoRR},
  volume       = {abs/1602.03109},
  year         = {2016},
  url          = {http://arxiv.org/abs/1602.03109},
  eprinttype    = {arXiv},
  eprint       = {1602.03109},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AracenaRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MellitiRRS16,
  author       = {Tarek Melliti and
                  Damien Regnault and
                  Adrien Richard and
                  Sylvain Sen{\'{e}}},
  title        = {Asynchronous simulation of Boolean networks by monotone Boolean networks},
  journal      = {CoRR},
  volume       = {abs/1606.05172},
  year         = {2016},
  url          = {http://arxiv.org/abs/1606.05172},
  eprinttype    = {arXiv},
  eprint       = {1606.05172},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MellitiRRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/GadouleauRR15,
  author       = {Maximilien Gadouleau and
                  Adrien Richard and
                  S{\o}ren Riis},
  title        = {Fixed Points of Boolean Networks, Guessing Graphs, and Coding Theory},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {29},
  number       = {4},
  pages        = {2312--2335},
  year         = {2015},
  url          = {https://doi.org/10.1137/140988358},
  doi          = {10.1137/140988358},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/GadouleauRR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Richard15,
  author       = {Adrien Richard},
  title        = {Fixed point theorems for Boolean networks expressed in terms of forbidden
                  subnetworks},
  journal      = {Theor. Comput. Sci.},
  volume       = {583},
  pages        = {1--26},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.03.038},
  doi          = {10.1016/J.TCS.2015.03.038},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Richard15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GadouleauR15,
  author       = {Maximilien Gadouleau and
                  Adrien Richard},
  title        = {Simple dynamics on graphs},
  journal      = {CoRR},
  volume       = {abs/1503.04688},
  year         = {2015},
  url          = {http://arxiv.org/abs/1503.04688},
  eprinttype    = {arXiv},
  eprint       = {1503.04688},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GadouleauR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BernotCKRR15,
  author       = {Gilles Bernot and
                  Jean{-}Paul Comet and
                  Zohra Khalis and
                  Adrien Richard and
                  Olivier F. Roux},
  title        = {A Genetically Modified Hoare Logic},
  journal      = {CoRR},
  volume       = {abs/1506.05887},
  year         = {2015},
  url          = {http://arxiv.org/abs/1506.05887},
  eprinttype    = {arXiv},
  eprint       = {1506.05887},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BernotCKRR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AracenaRS15,
  author       = {Julio Aracena and
                  Adrien Richard and
                  Lilian Salinas},
  title        = {Fixed points in conjunctive networks and maximal independent sets
                  in graph contractions},
  journal      = {CoRR},
  volume       = {abs/1507.06141},
  year         = {2015},
  url          = {http://arxiv.org/abs/1507.06141},
  eprinttype    = {arXiv},
  eprint       = {1507.06141},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AracenaRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Richard15,
  author       = {Adrien Richard},
  title        = {Fixed points and connexions between positive and negative cycles in
                  Boolean networks},
  journal      = {CoRR},
  volume       = {abs/1509.07702},
  year         = {2015},
  url          = {http://arxiv.org/abs/1509.07702},
  eprinttype    = {arXiv},
  eprint       = {1509.07702},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Richard15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AracenaRS14,
  author       = {Julio Aracena and
                  Adrien Richard and
                  Lilian Salinas},
  title        = {Maximum number of fixed points in {AND-OR-NOT} networks},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {80},
  number       = {7},
  pages        = {1175--1190},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.jcss.2014.04.025},
  doi          = {10.1016/J.JCSS.2014.04.025},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/AracenaRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GadouleauRR14,
  author       = {Maximilien Gadouleau and
                  Adrien Richard and
                  S{\o}ren Riis},
  title        = {Fixed points of Boolean networks, guessing graphs, and coding theory},
  journal      = {CoRR},
  volume       = {abs/1409.6144},
  year         = {2014},
  url          = {http://arxiv.org/abs/1409.6144},
  eprinttype    = {arXiv},
  eprint       = {1409.6144},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GadouleauRR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GadouleauRF14,
  author       = {Maximilien Gadouleau and
                  Adrien Richard and
                  Eric Fanchon},
  title        = {Reduction and Fixed Points of Boolean Networks and Linear Network
                  Coding Solvability},
  journal      = {CoRR},
  volume       = {abs/1412.5310},
  year         = {2014},
  url          = {http://arxiv.org/abs/1412.5310},
  eprinttype    = {arXiv},
  eprint       = {1412.5310},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GadouleauRF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/RichardR13,
  author       = {Adrien Richard and
                  Paul Ruet},
  title        = {From kernels in directed graphs to fixed points and negative cycles
                  in Boolean networks},
  journal      = {Discret. Appl. Math.},
  volume       = {161},
  number       = {7-8},
  pages        = {1106--1117},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.dam.2012.10.022},
  doi          = {10.1016/J.DAM.2012.10.022},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/RichardR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/MellitiRRS13,
  author       = {Tarek Melliti and
                  Damien Regnault and
                  Adrien Richard and
                  Sylvain Sen{\'{e}}},
  editor       = {Jarkko Kari and
                  Martin Kutrib and
                  Andreas Malcher},
  title        = {On the Convergence of Boolean Automata Networks without Negative Cycles},
  booktitle    = {Cellular Automata and Discrete Complex Systems - 19th International
                  Workshop, {AUTOMATA} 2013, Gie{\ss}en, Germany, September 17-19, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8155},
  pages        = {124--138},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40867-0\_9},
  doi          = {10.1007/978-3-642-40867-0\_9},
  timestamp    = {Sun, 25 Oct 2020 23:17:45 +0100},
  biburl       = {https://dblp.org/rec/conf/automata/MellitiRRS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-6346,
  author       = {Adrien Richard},
  title        = {Fixed point theorems for Boolean networks expressed in terms of forbidden
                  subnetworks},
  journal      = {CoRR},
  volume       = {abs/1302.6346},
  year         = {2013},
  url          = {http://arxiv.org/abs/1302.6346},
  eprinttype    = {arXiv},
  eprint       = {1302.6346},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6346.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/Richard11,
  author       = {Adrien Richard},
  title        = {Local negative circuits and fixed points in non-expansive Boolean
                  networks},
  journal      = {Discret. Appl. Math.},
  volume       = {159},
  number       = {11},
  pages        = {1085--1093},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.dam.2011.01.010},
  doi          = {10.1016/J.DAM.2011.01.010},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/Richard11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/MabroukiACGR11,
  author       = {Mbarka Mabrouki and
                  Marc Aiguier and
                  Jean{-}Paul Comet and
                  Pascale Le Gall and
                  Adrien Richard},
  title        = {Embedding of Biological Regulatory Networks and Property Preservation},
  journal      = {Math. Comput. Sci.},
  volume       = {5},
  number       = {3},
  pages        = {263--288},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11786-011-0092-3},
  doi          = {10.1007/S11786-011-0092-3},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/MabroukiACGR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Richard11,
  author       = {Adrien Richard},
  editor       = {Nazim Fat{\`{e}}s and
                  Eric Goles Chacc and
                  Alejandro Maass and
                  Ivan Rapaport},
  title        = {A fixed point theorem for Boolean networks expressed in terms of forbidden
                  subnetworks},
  booktitle    = {17th International Workshop on Cellular Automata and Discrete Complex
                  Systems, Automata 2011, Center for Mathematical Modeling, University
                  of Chile, Santiago, Chile, November 21-23, 2011},
  series       = {{DMTCS} Proceedings},
  volume       = {{AP}},
  pages        = {1--16},
  publisher    = {{DMTCS}},
  year         = {2011},
  url          = {http://dmtcs.episciences.org/2978},
  timestamp    = {Wed, 15 Jan 2020 16:23:04 +0100},
  biburl       = {https://dblp.org/rec/conf/automata/Richard11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BahiCGR11,
  author       = {Jacques M. Bahi and
                  Jean{-}Fran{\c{c}}ois Couchot and
                  Christophe Guyeux and
                  Adrien Richard},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {On the Link between Strongly Connected Iteration Graphs and Chaotic
                  Boolean Discrete-Time Dynamical Systems},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {126--137},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_11},
  doi          = {10.1007/978-3-642-22953-4\_11},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BahiCGR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PauleveR12,
  author       = {Lo{\"{\i}}c Paulev{\'{e}} and
                  Adrien Richard},
  editor       = {J{\'{e}}r{\^{o}}me Feret and
                  Andre Levchenko},
  title        = {Static Analysis of Boolean Networks Based on Interaction Graphs: {A}
                  Survey},
  booktitle    = {Proceedings of the 2nd International Workshop on Static Analysis and
                  Systems Biology, {SASB} 2011, Venice, Italy, September 13, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {284},
  pages        = {93--104},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2012.05.017},
  doi          = {10.1016/J.ENTCS.2012.05.017},
  timestamp    = {Fri, 25 Nov 2022 14:17:48 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PauleveR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-1684,
  author       = {Jacques M. Bahi and
                  Jean{-}Fran{\c{c}}ois Couchot and
                  Christophe Guyeux and
                  Adrien Richard},
  title        = {On the Link Between Strongly Connected Iteration Graphs and Chaotic
                  Boolean Discrete-Time Dynamical Systems},
  journal      = {CoRR},
  volume       = {abs/1112.1684},
  year         = {2011},
  url          = {http://arxiv.org/abs/1112.1684},
  eprinttype    = {arXiv},
  eprint       = {1112.1684},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1112-1684.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/Richard10,
  author       = {Adrien Richard},
  title        = {Negative circuits and sustained oscillations in asynchronous automata
                  networks},
  journal      = {Adv. Appl. Math.},
  volume       = {44},
  number       = {4},
  pages        = {378--392},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.aam.2009.11.011},
  doi          = {10.1016/J.AAM.2009.11.011},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aam/Richard10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/Richard09,
  author       = {Adrien Richard},
  title        = {Positive circuits and maximal number of fixed points in discrete dynamical
                  systems},
  journal      = {Discret. Appl. Math.},
  volume       = {157},
  number       = {15},
  pages        = {3281--3288},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.dam.2009.06.017},
  doi          = {10.1016/J.DAM.2009.06.017},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/Richard09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/DenesLBR09,
  author       = {Maxime D{\'{e}}n{\`{e}}s and
                  Benjamin Lesage and
                  Yves Bertot and
                  Adrien Richard},
  editor       = {Stephen M. Watt and
                  Viorel Negru and
                  Tetsuo Ida and
                  Tudor Jebelean and
                  Dana Petcu and
                  Daniela Zaharie},
  title        = {Formal Proof of Theorems on Genetic Regulatory Networks},
  booktitle    = {11th International Symposium on Symbolic and Numeric Algorithms for
                  Scientific Computing, {SYNASC} 2009, Timisoara, Romania, September
                  26-29, 2009},
  pages        = {69--76},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/SYNASC.2009.44},
  doi          = {10.1109/SYNASC.2009.44},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/synasc/DenesLBR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-5096,
  author       = {Adrien Richard},
  title        = {Negative circuits and sustained oscillations in asynchronous automata
                  networks},
  journal      = {CoRR},
  volume       = {abs/0907.5096},
  year         = {2009},
  url          = {http://arxiv.org/abs/0907.5096},
  eprinttype    = {arXiv},
  eprint       = {0907.5096},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0907-5096.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-0750,
  author       = {Adrien Richard},
  title        = {Local negative circuits and fixed points in Boolean networks},
  journal      = {CoRR},
  volume       = {abs/0910.0750},
  year         = {2009},
  url          = {http://arxiv.org/abs/0910.0750},
  eprinttype    = {arXiv},
  eprint       = {0910.0750},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0910-0750.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/Richard08,
  author       = {Adrien Richard},
  title        = {An extension of a combinatorial fixed point theorem of Shih and Dong},
  journal      = {Adv. Appl. Math.},
  volume       = {41},
  number       = {4},
  pages        = {620--627},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.aam.2007.05.006},
  doi          = {10.1016/J.AAM.2007.05.006},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aam/Richard08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbra/AhmadRBCR08,
  author       = {Jamil Ahmad and
                  Olivier F. Roux and
                  Gilles Bernot and
                  Jean{-}Paul Comet and
                  Adrien Richard},
  title        = {Analysing formal models of genetic regulatory networks with delays},
  journal      = {Int. J. Bioinform. Res. Appl.},
  volume       = {4},
  number       = {3},
  pages        = {240--262},
  year         = {2008},
  url          = {https://doi.org/10.1504/IJBRA.2008.019573},
  doi          = {10.1504/IJBRA.2008.019573},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijbra/AhmadRBCR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0807-4229,
  author       = {Adrien Richard},
  title        = {Positive circuits and maximal number of fixed points in discrete dynamical
                  systems},
  journal      = {CoRR},
  volume       = {abs/0807.4229},
  year         = {2008},
  url          = {http://arxiv.org/abs/0807.4229},
  eprinttype    = {arXiv},
  eprint       = {0807.4229},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0807-4229.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-5482,
  author       = {Adrien Richard},
  title        = {On the length of attractors in boolean networks with an interaction
                  graph by layers},
  journal      = {CoRR},
  volume       = {abs/0810.5482},
  year         = {2008},
  url          = {http://arxiv.org/abs/0810.5482},
  eprinttype    = {arXiv},
  eprint       = {0810.5482},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0810-5482.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/RichardC07,
  author       = {Adrien Richard and
                  Jean{-}Paul Comet},
  title        = {Necessary conditions for multistationarity in discrete dynamical systems},
  journal      = {Discret. Appl. Math.},
  volume       = {155},
  number       = {18},
  pages        = {2403--2413},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.dam.2007.04.019},
  doi          = {10.1016/J.DAM.2007.04.019},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/RichardC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/AhmadRBCR06,
  author       = {Jamil Ahmad and
                  Adrien Richard and
                  Gilles Bernot and
                  Jean{-}Paul Comet and
                  Olivier F. Roux},
  editor       = {Vassil N. Alexandrov and
                  G. Dick van Albada and
                  Peter M. A. Sloot and
                  Jack J. Dongarra},
  title        = {Delays in Biological Regulatory Networks {(BRN)}},
  booktitle    = {Computational Science - {ICCS} 2006, 6th International Conference,
                  Reading, UK, May 28-31, 2006, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3992},
  pages        = {887--894},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11758525\_118},
  doi          = {10.1007/11758525\_118},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iccS/AhmadRBCR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RichardCB05,
  author       = {Adrien Richard and
                  Jean{-}Paul Comet and
                  Gilles Bernot},
  title        = {R. Thomas' Modeling of Biological Regulatory Networks: Introduction
                  of Singular States in the Qualitative Dynamics},
  journal      = {Fundam. Informaticae},
  volume       = {65},
  number       = {4},
  pages        = {373--392},
  year         = {2005},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi65-4-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/RichardCB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/RichardCB04,
  author       = {Adrien Richard and
                  Jean{-}Paul Comet and
                  Gilles Bernot},
  editor       = {Vincent Danos and
                  Vincent Sch{\"{a}}chter},
  title        = {Graph-Based Modeling of Biological Regulatory Networks: Introduction
                  of Singular States},
  booktitle    = {Computational Methods in Systems Biology, International Conference,
                  {CMSB} 2004, Paris, France, May 26-28, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3082},
  pages        = {58--72},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25974-9\_6},
  doi          = {10.1007/978-3-540-25974-9\_6},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/RichardCB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics