BibTeX records: Michel Le Borgne

• > Home > Persons > Michel Le Borgne

@article{DBLP:journals/bmcsb/AndrieuxBT14,
  author       = {Geoffroy Andrieux and
                  Michel Le Borgne and
                  Nathalie Th{\'{e}}ret},
  title        = {An integrative modeling framework reveals plasticity of TGF-{\(\beta\)}
                  signaling},
  journal      = {{BMC} Syst. Biol.},
  volume       = {8},
  pages        = {30},
  year         = {2014},
  url          = {https://doi.org/10.1186/1752-0509-8-30},
  doi          = {10.1186/1752-0509-8-30},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bmcsb/AndrieuxBT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bmcbi/GruelLLT11,
  author       = {Jeremy Gruel and
                  Michel Le Borgne and
                  Nolwenn LeMeur and
                  Nathalie Th{\'{e}}ret},
  title        = {Simple Shared Motifs {(SSM)} in conserved region of promoters: a new
                  approach to identify co-regulation patterns},
  journal      = {{BMC} Bioinform.},
  volume       = {12},
  pages        = {365},
  year         = {2011},
  url          = {https://doi.org/10.1186/1471-2105-12-365},
  doi          = {10.1186/1471-2105-12-365},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bmcbi/GruelLLT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bmcbi/VeberGBRS08,
  author       = {Philippe Veber and
                  Carito Guziolowski and
                  Michel Le Borgne and
                  Ovidiu Radulescu and
                  Anne Siegel},
  title        = {Inferring the role of transcription factors in regulatory networks},
  journal      = {{BMC} Bioinform.},
  volume       = {9},
  year         = {2008},
  url          = {https://doi.org/10.1186/1471-2105-9-228},
  doi          = {10.1186/1471-2105-9-228},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bmcbi/VeberGBRS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MarchandRBS01,
  author       = {Herv{\'{e}} Marchand and
                  {\'{E}}ric Rutten and
                  Michel Le Borgne and
                  Mazen Samaan},
  title        = {Formal verification of programs specified with signal: application
                  to a power transformer station controller},
  journal      = {Sci. Comput. Program.},
  volume       = {41},
  number       = {1},
  pages        = {85--104},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(00)00020-4},
  doi          = {10.1016/S0167-6423(00)00020-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MarchandRBS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/BenvenisteBGBGM01,
  author       = {Albert Benveniste and
                  Patricia Bournai and
                  Thierry Gautier and
                  Michel Le Borgne and
                  Paul {Le Guernic} and
                  Herv{\'{e}} Marchand},
  title        = {The {SIGNAL} declarative synchronous language: controller synthesis
                  and systems/architecture design},
  booktitle    = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
                  FL, USA, 4-7 Dec., 2001},
  pages        = {3284--3289},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.1109/.2001.980328},
  doi          = {10.1109/.2001.980328},
  timestamp    = {Thu, 13 Oct 2022 17:08:41 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/BenvenisteBGBGM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/deds/MarchandBBG00,
  author       = {Herv{\'{e}} Marchand and
                  Patricia Bournai and
                  Michel Le Borgne and
                  Paul {Le Guernic}},
  title        = {Synthesis of Discrete-Event Controllers Based on the Signal Environment},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {10},
  number       = {4},
  pages        = {325--346},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008311720696},
  doi          = {10.1023/A:1008311720696},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/deds/MarchandBBG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/BorgneMRS96,
  author       = {Michel Le Borgne and
                  Herv{\'{e}} Marchand and
                  {\'{E}}ric Rutten and
                  Mazen Samaan},
  editor       = {Martin Wirsing and
                  Maurice Nivat},
  title        = {Formal Verification of {SIGNAL} Programs: Application to a Power Transformer
                  Station Controller},
  booktitle    = {Algebraic Methodology and Software Technology, 5th International Conference,
                  {AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1101},
  pages        = {271--285},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0014322},
  doi          = {10.1007/BFB0014322},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/BorgneMRS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/BenvenisteBG92,
  author       = {Albert Benveniste and
                  Michel Le Borgne and
                  Paul {Le Guernic}},
  editor       = {Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {{SIGNAL} as a Model for Real-Time and Hybrid Systems},
  booktitle    = {{ESOP} '92, 4th European Symposium on Programming, Rennes, France,
                  February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {582},
  pages        = {20--38},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55253-7\_2},
  doi          = {10.1007/3-540-55253-7\_2},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BenvenisteBG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BenvenisteBG92,
  author       = {Albert Benveniste and
                  Michel Le Borgne and
                  Paul {Le Guernic}},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Hybrid Systems: The {SIGNAL} Approach},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {230--254},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_31},
  doi          = {10.1007/3-540-57318-6\_31},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BenvenisteBG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pieee/GuernicGBM91,
  author       = {Paul {Le Guernic} and
                  Thierry Gautier and
                  Michel Le Borgne and
                  Claude Le Maire},
  title        = {Programming real-time applications with {SIGNAL}},
  journal      = {Proc. {IEEE}},
  volume       = {79},
  number       = {9},
  pages        = {1321--1336},
  year         = {1991},
  url          = {https://doi.org/10.1109/5.97301},
  doi          = {10.1109/5.97301},
  timestamp    = {Fri, 22 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pieee/GuernicGBM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}