Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Grégory Batt
@article{DBLP:journals/ploscb/DavidovicCBR22,
author = {Andela Davidovic and
Remy Chait and
Gr{\'{e}}gory Batt and
Jakob Ruess},
title = {Parameter inference for stochastic biochemical models from perturbation
experiments parallelised at the single cell level},
journal = {PLoS Comput. Biol.},
volume = {18},
number = {3},
year = {2022},
url = {https://doi.org/10.1371/journal.pcbi.1009950},
doi = {10.1371/JOURNAL.PCBI.1009950},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/DavidovicCBR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/LunzBRB21,
author = {Davin Lunz and
Gr{\'{e}}gory Batt and
Jakob Ruess and
J. Fr{\'{e}}d{\'{e}}ric Bonnans},
title = {Beyond the chemical master equation: Stochastic chemical kinetics
coupled with auxiliary processes},
journal = {PLoS Comput. Biol.},
volume = {17},
number = {7},
year = {2021},
url = {https://doi.org/10.1371/journal.pcbi.1009214},
doi = {10.1371/JOURNAL.PCBI.1009214},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/LunzBRB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/KryukovCBR19,
author = {Maxim Kryukov and
Arthur Carcano and
Gr{\'{e}}gory Batt and
Jakob Ruess},
title = {Can optimal experimental design serve as a tool to characterize highly
non-linear synthetic circuits?},
booktitle = {17th European Control Conference, {ECC} 2019, Naples, Italy, June
25-28, 2019},
pages = {1176--1181},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ECC.2019.8796209},
doi = {10.23919/ECC.2019.8796209},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eucc/KryukovCBR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/WeillAAMRBB19,
author = {{\'{E}}lise Weill and
Virgile Andr{\'{e}}ani and
Chetan Aditya and
Pierre Martinon and
Jakob Ruess and
Gr{\'{e}}gory Batt and
J. Fr{\'{e}}d{\'{e}}ric Bonnans},
title = {Optimal control of an artificial microbial differentiation system
for protein bioproduction},
booktitle = {17th European Control Conference, {ECC} 2019, Naples, Italy, June
25-28, 2019},
pages = {2663--2668},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ECC.2019.8795858},
doi = {10.23919/ECC.2019.8795858},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eucc/WeillAAMRBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/PalaniappanBPFB17,
author = {Sucheendra K. Palaniappan and
Fran{\c{c}}ois Bertaux and
Matthieu Pichen{\'{e}} and
Eric Fabre and
Gr{\'{e}}gory Batt and
Blaise Genest},
title = {Abstracting the dynamics of biological pathways using information
theory: a case study of apoptosis pathway},
journal = {Bioinform.},
volume = {33},
number = {13},
pages = {1980--1986},
year = {2017},
url = {https://doi.org/10.1093/bioinformatics/btx095},
doi = {10.1093/BIOINFORMATICS/BTX095},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/PalaniappanBPFB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/LlamosiGVCFHB16,
author = {Art{\'{e}}mis Llamosi and
Andr{\'{e}}s M. Gonz{\'{a}}lez{-}Vargas and
Cristian Versari and
Eugenio Cinquemani and
Giancarlo Ferrari{-}Trecate and
Pascal Hersen and
Gr{\'{e}}gory Batt},
title = {What Population Reveals about Individual Cell Identity: Single-Cell
Parameter Estimation of Models of Gene Expression in Yeast},
journal = {PLoS Comput. Biol.},
volume = {12},
number = {2},
year = {2016},
url = {https://doi.org/10.1371/journal.pcbi.1004706},
doi = {10.1371/JOURNAL.PCBI.1004706},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/LlamosiGVCFHB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/PalaniappanPBFG16,
author = {Sucheendra K. Palaniappan and
Matthieu Pichen{\'{e}} and
Gr{\'{e}}gory Batt and
Eric Fabre and
Blaise Genest},
editor = {Eugenio Cinquemani and
Alexandre Donz{\'{e}}},
title = {A Look-Ahead Simulation Algorithm for {DBN} Models of Biochemical
Pathways},
booktitle = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
France, October 20-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9957},
pages = {3--19},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47151-8\_1},
doi = {10.1007/978-3-319-47151-8\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hsb/PalaniappanPBFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BogomolovSBBKG15,
author = {Sergiy Bogomolov and
Christian Schilling and
Ezio Bartocci and
Gr{\'{e}}gory Batt and
Hui Kong and
Radu Grosu},
editor = {Nir Piterman},
title = {Abstraction-Based Parameter Synthesis for Multiaffine Systems},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {19--35},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_2},
doi = {10.1007/978-3-319-26287-1\_2},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BogomolovSBBKG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Batt14,
author = {Gr{\'{e}}gory Batt},
title = {Design, optimization and control in systems and synthetic biology},
year = {2014},
url = {https://tel.archives-ouvertes.fr/tel-00958566},
timestamp = {Sat, 30 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Batt14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/BertauxSDB14,
author = {Fran{\c{c}}ois Bertaux and
Szymon Stoma and
Dirk Drasdo and
Gr{\'{e}}gory Batt},
title = {Modeling Dynamics of Cell-to-Cell Variability in TRAIL-Induced Apoptosis
Explains Fractional Killing and Predicts Reversible Resistance},
journal = {PLoS Comput. Biol.},
volume = {10},
number = {10},
year = {2014},
url = {https://doi.org/10.1371/journal.pcbi.1003893},
doi = {10.1371/JOURNAL.PCBI.1003893},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/BertauxSDB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MaruthiTCCHBA14,
author = {Lakshmeesh R. M. Maruthi and
Ilya Tkachev and
Alfonso Carta and
Eugenio Cinquemani and
Pascal Hersen and
Gr{\'{e}}gory Batt and
Alessandro Abate},
editor = {Pedro Mendes and
Joseph O. Dada and
Kieran Smallbone},
title = {Towards Real-Time Control of Gene Expression at the Single Cell Level:
{A} Stochastic Control Approach},
booktitle = {Computational Methods in Systems Biology - 12th International Conference,
{CMSB} 2014, Manchester, UK, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8859},
pages = {155--172},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12982-2\_12},
doi = {10.1007/978-3-319-12982-2\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/MaruthiTCCHBA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Batt14,
author = {Gr{\'{e}}gory Batt},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Cells driven by computers: long-term model predictive control of gene
expression in yeast},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {143--144},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562144},
doi = {10.1145/2562059.2562144},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/Batt14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MendesLCMBC13,
author = {Nuno D. Mendes and
Fr{\'{e}}d{\'{e}}ric Lang and
Yves{-}Stan Le Cornec and
Radu Mateescu and
Gr{\'{e}}gory Batt and
Claudine Chaouiya},
title = {Composition and abstraction of logical regulatory modules: application
to multicellular systems},
journal = {Bioinform.},
volume = {29},
number = {6},
pages = {749--757},
year = {2013},
url = {https://doi.org/10.1093/bioinformatics/btt033},
doi = {10.1093/BIOINFORMATICS/BTT033},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/MendesLCMBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/StomaDBMB13,
author = {Szymon Stoma and
Alexandre Donz{\'{e}} and
Fran{\c{c}}ois Bertaux and
Oded Maler and
Gr{\'{e}}gory Batt},
title = {STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion
of Type I/Type {II} Cell Line Classification},
journal = {PLoS Comput. Biol.},
volume = {9},
number = {5},
year = {2013},
url = {https://doi.org/10.1371/journal.pcbi.1003056},
doi = {10.1371/JOURNAL.PCBI.1003056},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/StomaDBMB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/GonzalezUSCBF13,
author = {Andres M. Gonzalez and
Jannis Uhlendorf and
Joe Schaul and
Eugenio Cinquemani and
Gr{\'{e}}gory Batt and
Giancarlo Ferrari{-}Trecate},
title = {Identification of biological models from single-cell data: {A} comparison
between mixed-effects and moment-based inference},
booktitle = {12th European Control Conference, {ECC} 2013, Zurich, Switzerland,
July 17-19, 2013},
pages = {3652--3657},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.23919/ECC.2013.6669366},
doi = {10.23919/ECC.2013.6669366},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/eucc/GonzalezUSCBF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RizkBFS11,
author = {Aur{\'{e}}lien Rizk and
Gr{\'{e}}gory Batt and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {Continuous valuations of temporal logic specifications with applications
to parameter optimization and robustness measures},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {26},
pages = {2827--2839},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2010.05.008},
doi = {10.1016/J.TCS.2010.05.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RizkBFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrosuBFGGSB11,
author = {Radu Grosu and
Gr{\'{e}}gory Batt and
Flavio H. Fenton and
James Glimm and
Colas Le Guernic and
Scott A. Smolka and
Ezio Bartocci},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {From Cardiac Cells to Genetic Regulatory Networks},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {396--411},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_31},
doi = {10.1007/978-3-642-22110-1\_31},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GrosuBFGGSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psb/UhlendorfBFHB11,
author = {Jannis Uhlendorf and
Samuele Bottani and
Fran{\c{c}}ois Fages and
Pascal Hersen and
Gr{\'{e}}gory Batt},
editor = {Russ B. Altman and
A. Keith Dunker and
Lawrence Hunter and
Tiffany Murray and
Teri E. Klein},
title = {Towards Real-Time Control of Gene Expression: Controlling the Hog
Signaling Cascade},
booktitle = {Biocomputing 2011: Proceedings of the Pacific Symposium, Kohala Coast,
Hawaii, USA, 3-7 January 2011},
pages = {338--349},
publisher = {World Scientific Publishing},
year = {2011},
url = {http://psb.stanford.edu/psb-online/proceedings/psb11/uhlendorf.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/psb/UhlendorfBFHB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/BattPCGMJ10,
author = {Gr{\'{e}}gory Batt and
Michel Page and
Irene Cantone and
Gregor Goessler and
Pedro T. Monteiro and
Hidde de Jong},
title = {Efficient parameter search for qualitative models of regulatory networks
using symbolic model checking},
journal = {Bioinform.},
volume = {26},
number = {18},
year = {2010},
url = {https://doi.org/10.1093/bioinformatics/btq387},
doi = {10.1093/BIOINFORMATICS/BTQ387},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/BattPCGMJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/FagesBMJRS10,
author = {Fran{\c{c}}ois Fages and
Gr{\'{e}}gory Batt and
Elisabetta De Maria and
Dragana Jovanovska and
Aur{\'{e}}lien Rizk and
Sylvain Soliman},
title = {Computational Systems Biology in {BIOCHAM}},
journal = {{ERCIM} News},
volume = {2010},
number = {82},
pages = {36},
year = {2010},
url = {http://ercim-news.ercim.eu/en82/special/computational-systems-biology-in-biocham},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/FagesBMJRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/RizkBFS09,
author = {Aur{\'{e}}lien Rizk and
Gr{\'{e}}gory Batt and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {A general computational method for robustness analysis with applications
to synthetic gene networks},
journal = {Bioinform.},
volume = {25},
number = {12},
year = {2009},
url = {https://doi.org/10.1093/bioinformatics/btp200},
doi = {10.1093/BIOINFORMATICS/BTP200},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/RizkBFS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/BattJPG08,
author = {Gr{\'{e}}gory Batt and
Hidde de Jong and
Michel Page and
Johannes Geiselmann},
title = {Symbolic reachability analysis of genetic regulatory networks using
discrete abstractions},
journal = {Autom.},
volume = {44},
number = {4},
pages = {982--989},
year = {2008},
url = {https://doi.org/10.1016/j.automatica.2007.08.004},
doi = {10.1016/J.AUTOMATICA.2007.08.004},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/BattJPG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/BattBW08,
author = {Gr{\'{e}}gory Batt and
Calin Belta and
Ron Weiss},
title = {Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty},
journal = {{IEEE} Trans. Autom. Control.},
volume = {53},
pages = {215--229},
year = {2008},
url = {https://doi.org/10.1109/TAC.2007.911330},
doi = {10.1109/TAC.2007.911330},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/BattBW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/RizkBFS08,
author = {Aur{\'{e}}lien Rizk and
Gr{\'{e}}gory Batt and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Monika Heiner and
Adelinde M. Uhrmacher},
title = {On a Continuous Degree of Satisfaction of Temporal Logic Formulae
with Applications to Systems Biology},
booktitle = {Computational Methods in Systems Biology, 6th International Conference,
{CMSB} 2008, Rostock, Germany, October 12-15, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5307},
pages = {251--268},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88562-7\_19},
doi = {10.1007/978-3-540-88562-7\_19},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/RizkBFS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsb/MalerB08,
author = {Oded Maler and
Gr{\'{e}}gory Batt},
editor = {Jasmin Fisher},
title = {Approximating Continuous Systems by Timed Automata},
booktitle = {Formal Methods in Systems Biology, First International Workshop, {FMSB}
2008, Cambridge, UK, June 4-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5054},
pages = {77--89},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68413-8\_6},
doi = {10.1007/978-3-540-68413-8\_6},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/fmsb/MalerB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/BattYWB07,
author = {Gr{\'{e}}gory Batt and
Boyan Yordanov and
Ron Weiss and
Calin Belta},
title = {Robustness analysis and tuning of synthetic gene networks},
journal = {Bioinform.},
volume = {23},
number = {18},
pages = {2415--2422},
year = {2007},
url = {https://doi.org/10.1093/bioinformatics/btm362},
doi = {10.1093/BIOINFORMATICS/BTM362},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/BattYWB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/BattJGGPRTS07,
author = {Gr{\'{e}}gory Batt and
Hidde de Jong and
Johannes Geiselmann and
Jean{-}Luc Gouz{\'{e}} and
Michel Page and
Delphine Ropers and
Sari Tewfik and
Dominique Schneider},
title = {Analyse qualitative de la dynamique de r{\'{e}}seaux de r{\'{e}}gulation
g{\'{e}}nique par des mod{\`{e}}les lin{\'{e}}aires par
morceaux},
journal = {Tech. Sci. Informatiques},
volume = {26},
number = {1-2},
pages = {11--45},
year = {2007},
url = {https://doi.org/10.3166/tsi.26.11-45},
doi = {10.3166/TSI.26.11-45},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/BattJGGPRTS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BattSM07,
author = {Gr{\'{e}}gory Batt and
Ramzi Ben Salah and
Oded Maler},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
P. S. Thiagarajan},
title = {On Timed Models of Gene Networks},
booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
{FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4763},
pages = {38--52},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75454-1\_5},
doi = {10.1007/978-3-540-75454-1\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/BattSM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BattBW07,
author = {Gr{\'{e}}gory Batt and
Calin Belta and
Ron Weiss},
editor = {Alberto Bemporad and
Antonio Bicchi and
Giorgio C. Buttazzo},
title = {Model Checking Genetic Regulatory Networks with Parameter Uncertainty},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop,
{HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4416},
pages = {61--75},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71493-4\_8},
doi = {10.1007/978-3-540-71493-4\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BattBW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BattBW07,
author = {Gr{\'{e}}gory Batt and
Calin Belta and
Ron Weiss},
editor = {Orna Grumberg and
Michael Huth},
title = {Model Checking Liveness Properties of Genetic Regulatory Networks},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {323--338},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_25},
doi = {10.1007/978-3-540-71209-1\_25},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BattBW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Batt06,
author = {Gr{\'{e}}gory Batt},
title = {Validation de mod{\`{e}}les qualitatifs de r{\'{e}}seaux de r{\'{e}}gulation
g{\'{e}}nique: une m{\'{e}}thode bas{\'{e}}e sur des
techniques de v{\'{e}}rification formelle. (Validation of qualitative
models of genetic regulatory networks: a method based on formal verification
techniques)},
school = {Joseph Fourier University, Grenoble, France},
year = {2006},
url = {https://tel.archives-ouvertes.fr/tel-00012040},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Batt06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BattBEFHHKMMNSU06,
author = {Gr{\'{e}}gory Batt and
Jeremy T. Bradley and
Roland Ewald and
Fran{\c{c}}ois Fages and
Holger Hermanns and
Jane Hillston and
Peter Kemper and
Alke Martens and
Pieter J. Mosterman and
Flemming Nielson and
Oleg Sokolsky and
Adelinde M. Uhrmacher},
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {06161 Working Groups' Report: The Challlenge of Combining Simulation
and Verification},
booktitle = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06161},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/724},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BattBEFHHKMMNSU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BattRJGPS05,
author = {Gr{\'{e}}gory Batt and
Delphine Ropers and
Hidde de Jong and
Johannes Geiselmann and
Michel Page and
Dominique Schneider},
editor = {Manfred Morari and
Lothar Thiele},
title = {Qualitative Analysis and Verification of Hybrid Models of Genetic
Regulatory Networks: Nutritional Stress Response in},
booktitle = {Hybrid Systems: Computation and Control, 8th International Workshop,
{HSCC} 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3414},
pages = {134--150},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31954-2\_9},
doi = {10.1007/978-3-540-31954-2\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BattRJGPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BattRJGMPS05,
author = {Gr{\'{e}}gory Batt and
Delphine Ropers and
Hidde de Jong and
Johannes Geiselmann and
Radu Mateescu and
Michel Page and
Dominique Schneider},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Analysis and Verification of Qualitative Models of Genetic Regulatory
Networks: {A} Model-Checking Approach},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {370--375},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/1133.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BattRJGMPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismb/BattRJGMPS05,
author = {Gr{\'{e}}gory Batt and
Delphine Ropers and
Hidde de Jong and
Johannes Geiselmann and
Radu Mateescu and
Michel Page and
Dominique Schneider},
title = {Validation of qualitative models of genetic regulatory networks by
model checking: analysis of the nutritional stress response in \emph{Escherichia
coli}},
booktitle = {Proceedings Thirteenth International Conference on Intelligent Systems
for Molecular Biology 2005, Detroit, MI, USA, 25-29 June 2005},
pages = {19--28},
year = {2005},
url = {https://doi.org/10.1093/bioinformatics/bti1048},
doi = {10.1093/BIOINFORMATICS/BTI1048},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismb/BattRJGMPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BattBJGM04,
author = {Gr{\'{e}}gory Batt and
Damien Bergamini and
Hidde de Jong and
Hubert Garavel and
Radu Mateescu},
editor = {Susanne Graf and
Laurent Mounier},
title = {Model Checking Genetic Regulatory Networks Using {GNA} and {CADP}},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {158--163},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_12},
doi = {10.1007/978-3-540-24732-6\_12},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/BattBJGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
