Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sylvain Soliman
@inproceedings{DBLP:conf/aaai/TrinhBPS24,
author = {Giang V. Trinh and
Belaid Benhamou and
Samuel Pastva and
Sylvain Soliman},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Scalable Enumeration of Trap Spaces in Boolean Networks via Answer
Set Programming},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {10714--10722},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i9.28943},
doi = {10.1609/AAAI.V38I9.28943},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/TrinhBPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TrinhBS23,
author = {Van{-}Giang Trinh and
Belaid Benhamou and
Sylvain Soliman},
title = {Trap spaces of Boolean networks are conflict-free siphons of their
Petri net encoding},
journal = {Theor. Comput. Sci.},
volume = {971},
pages = {114073},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114073},
doi = {10.1016/J.TCS.2023.114073},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TrinhBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/TrinhBS23,
author = {Van{-}Giang Trinh and
Belaid Benhamou and
Sylvain Soliman},
editor = {Roland H. C. Yap},
title = {Efficient Enumeration of Fixed Points in Complex Boolean Networks
Using Answer Set Programming},
booktitle = {29th International Conference on Principles and Practice of Constraint
Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
series = {LIPIcs},
volume = {280},
pages = {35:1--35:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.35},
doi = {10.4230/LIPICS.CP.2023.35},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/TrinhBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/NiarakisWGSKNCS22,
author = {Anna Niarakis and
Dagmar Waltemath and
James A. Glazier and
Falk Schreiber and
Sarah M. Keating and
David P. Nickerson and
Claudine Chaouiya and
Anne Siegel and
Vincent No{\"{e}}l and
Henning Hermjakob and
Tom{\'{a}}s Helikar and
Sylvain Soliman and
Laurence Calzone},
title = {Addressing \emph{barriers in comprehensiveness, accessibility, reusability,
interoperability and reproducibility of computational models in systems
biology}},
journal = {Briefings Bioinform.},
volume = {23},
number = {4},
year = {2022},
url = {https://doi.org/10.1093/bib/bbac212},
doi = {10.1093/BIB/BBAC212},
timestamp = {Wed, 05 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bib/NiarakisWGSKNCS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/AghakhaniSN22,
author = {Sahar Aghakhani and
Sylvain Soliman and
Anna Niarakis},
title = {Metabolic reprogramming in Rheumatoid Arthritis Synovial Fibroblasts:
{A} hybrid modeling approach},
journal = {PLoS Comput. Biol.},
volume = {18},
number = {12},
pages = {1010408},
year = {2022},
url = {https://doi.org/10.1371/journal.pcbi.1010408},
doi = {10.1371/JOURNAL.PCBI.1010408},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/AghakhaniSN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/TrinhBHS22,
author = {Van{-}Giang Trinh and
Belaid Benhamou and
Kunihiko Hiraishi and
Sylvain Soliman},
editor = {Ion Petre and
Andrei Paun},
title = {Minimal Trap Spaces of Logical Models are Maximal Siphons of Their
Petri Net Encoding},
booktitle = {Computational Methods in Systems Biology - 20th International Conference,
{CMSB} 2022, Bucharest, Romania, September 14-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13447},
pages = {158--176},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15034-0\_8},
doi = {10.1007/978-3-031-15034-0\_8},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/TrinhBHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/NiarakisKOMCTFT21,
author = {Anna Niarakis and
Martin Kuiper and
Marek Ostaszewski and
Rahuman S. Malik{-}Sheriff and
Cristina Casals{-}Casas and
Denis Thieffry and
Tom C. Freeman and
Paul D. Thomas and
Vasundra Tour{\'{e}} and
Vincent No{\"{e}}l and
Gautier Stoll and
Julio Saez{-}Rodriguez and
Aur{\'{e}}lien Naldi and
Eugenia Oshurko and
Ioannis Xenarios and
Sylvain Soliman and
Claudine Chaouiya and
Tom{\'{a}}s Helikar and
Laurence Calzone},
title = {Setting the basis of best practices and standards for curation and
annotation of logical models in biology - highlights of the {[BC]2}
2019 CoLoMoTo/SysMod Workshop},
journal = {Briefings Bioinform.},
volume = {22},
number = {2},
pages = {1848--1859},
year = {2021},
url = {https://doi.org/10.1093/bib/bbaa046},
doi = {10.1093/BIB/BBAA046},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bib/NiarakisKOMCTFT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MartinelliDLTSL21,
author = {Julien Martinelli and
Sandrine Dulong and
Xiao{-}Mei Li and
Mich{\`{e}}le Teboul and
Sylvain Soliman and
Francis L{\'{e}}vi and
Fran{\c{c}}ois Fages and
Annabelle Ballesta},
title = {Model learning to identify systemic regulators of the peripheral circadian
clock},
journal = {Bioinform.},
volume = {37},
number = {Supplement},
pages = {401--409},
year = {2021},
url = {https://doi.org/10.1093/bioinformatics/btab297},
doi = {10.1093/BIOINFORMATICS/BTAB297},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/MartinelliDLTSL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/HemeryFS21,
author = {Mathieu Hemery and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Eugenio Cinquemani and
Lo{\"{\i}}c Paulev{\'{e}}},
title = {Compiling Elementary Mathematical Functions into Finite Chemical Reaction
Networks via a Polynomialization Algorithm for ODEs},
booktitle = {Computational Methods in Systems Biology - 19th International Conference,
{CMSB} 2021, Bordeaux, France, September 22-24, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12881},
pages = {74--90},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85633-5\_5},
doi = {10.1007/978-3-030-85633-5\_5},
timestamp = {Tue, 14 Sep 2021 19:09:25 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/HemeryFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/AghamiriSNHSNX20,
author = {Sara Sadat Aghamiri and
Vidisha Singh and
Aur{\'{e}}lien Naldi and
Tom{\'{a}}s Helikar and
Sylvain Soliman and
Anna Niarakis and
Jinbo Xu},
title = {Automated inference of Boolean models from molecular interaction maps
using CaSQ},
journal = {Bioinform.},
volume = {36},
number = {16},
pages = {4473--4482},
year = {2020},
url = {https://doi.org/10.1093/bioinformatics/btaa484},
doi = {10.1093/BIOINFORMATICS/BTAA484},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/AghamiriSNHSNX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DegrandFS20,
author = {Elisabeth Degrand and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Alessandro Abate and
Tatjana Petrov and
Verena Wolf},
title = {Graphical Conditions for Rate Independence in Chemical Reaction Networks},
booktitle = {Computational Methods in Systems Biology - 18th International Conference,
{CMSB} 2020, Konstanz, Germany, September 23-25, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12314},
pages = {61--78},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60327-4\_4},
doi = {10.1007/978-3-030-60327-4\_4},
timestamp = {Thu, 01 Oct 2020 13:38:55 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DegrandFS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/HemeryFS20,
author = {Mathieu Hemery and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Alessandro Abate and
Tatjana Petrov and
Verena Wolf},
title = {On the Complexity of Quadratization for Polynomial Differential Equations},
booktitle = {Computational Methods in Systems Biology - 18th International Conference,
{CMSB} 2020, Konstanz, Germany, September 23-25, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12314},
pages = {120--140},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60327-4\_7},
doi = {10.1007/978-3-030-60327-4\_7},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/HemeryFS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-08910,
author = {Mathieu Hemery and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {On the Complexity of Quadratization for Polynomial Differential Equations},
journal = {CoRR},
volume = {abs/2007.08910},
year = {2020},
url = {https://arxiv.org/abs/2007.08910},
eprinttype = {arXiv},
eprint = {2007.08910},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-08910.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-15642,
author = {Elisabeth Degrand and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {Graphical Conditions for Rate Independence in Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/2007.15642},
year = {2020},
url = {https://arxiv.org/abs/2007.15642},
eprinttype = {arXiv},
eprint = {2007.15642},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-15642.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MartinelliGSF19,
author = {Julien Martinelli and
Jeremy Grignard and
Sylvain Soliman and
Fran{\c{c}}ois Fages},
editor = {Luca Bortolussi and
Guido Sanguinetti},
title = {On Inferring Reactions from Data Time Series by a Statistical Learning
Greedy Heuristics},
booktitle = {Computational Methods in Systems Biology - 17th International Conference,
{CMSB} 2019, Trieste, Italy, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11773},
pages = {352--355},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31304-3\_25},
doi = {10.1007/978-3-030-31304-3\_25},
timestamp = {Tue, 17 Sep 2019 12:47:25 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/MartinelliGSF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/FagesMRS18,
author = {Fran{\c{c}}ois Fages and
Thierry Martinez and
David A. Rosenblueth and
Sylvain Soliman},
title = {Influence Networks Compared with Reaction Networks: Semantics, Expressivity
and Attractors},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {15},
number = {4},
pages = {1138--1151},
year = {2018},
url = {https://doi.org/10.1109/TCBB.2018.2805686},
doi = {10.1109/TCBB.2018.2805686},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/FagesMRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FagesS18,
author = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Milan Ceska and
David Safr{\'{a}}nek},
title = {On Robustness Computation and Optimization in {BIOCHAM-4}},
booktitle = {Computational Methods in Systems Biology - 16th International Conference,
{CMSB} 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11095},
pages = {292--299},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99429-1\_18},
doi = {10.1007/978-3-319-99429-1\_18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/FagesS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-08891,
author = {Adrien Baudier and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {Graphical Requirements for Multistationarity in Reaction Networks
and their Verification in BioModels},
journal = {CoRR},
volume = {abs/1809.08891},
year = {2018},
url = {http://arxiv.org/abs/1809.08891},
eprinttype = {arXiv},
eprint = {1809.08891},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-08891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CarcanoFS17,
author = {Arthur Carcano and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {J{\'{e}}r{\^{o}}me Feret and
Heinz Koeppl},
title = {Probably Approximately Correct Learning of Regulatory Networks from
Time-Series Data},
booktitle = {Computational Methods in Systems Biology - 15th International Conference,
{CMSB} 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10545},
pages = {74--90},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67471-1\_5},
doi = {10.1007/978-3-319-67471-1\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/CarcanoFS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Soliman16,
author = {Sylvain Soliman},
title = {A structural perspective on the dynamics of biochemical systems. (Une
perspective structurelle sur la dynamique des syst{\`{e}}mes biochimiques)},
year = {2016},
url = {https://tel.archives-ouvertes.fr/tel-01403712},
timestamp = {Sat, 30 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Soliman16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/TraynardFSDF16,
author = {Pauline Traynard and
C{\'{e}}line Feillet and
Sylvain Soliman and
Franck Delaunay and
Fran{\c{c}}ois Fages},
title = {Model-based investigation of the circadian clock and cell cycle coupling
in mouse embryonic fibroblasts: Prediction of RevErb-{\(\alpha\)}
up-regulation during mitosis},
journal = {Biosyst.},
volume = {149},
pages = {59--69},
year = {2016},
url = {https://doi.org/10.1016/j.biosystems.2016.07.003},
doi = {10.1016/J.BIOSYSTEMS.2016.07.003},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/biosystems/TraynardFSDF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/NabliMFS16,
author = {Faten Nabli and
Thierry Martinez and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {On enumerating minimal siphons in Petri nets using {CLP} and {SAT}
solvers: theoretical and practical complexity},
journal = {Constraints An Int. J.},
volume = {21},
number = {2},
pages = {251--276},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9190-1},
doi = {10.1007/S10601-015-9190-1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/NabliMFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FagesMRS16,
author = {Fran{\c{c}}ois Fages and
Thierry Martinez and
David A. Rosenblueth and
Sylvain Soliman},
editor = {Ezio Bartocci and
Pietro Li{\`{o}} and
Nicola Paoletti},
title = {Influence Systems vs Reaction Systems},
booktitle = {Computational Methods in Systems Biology - 14th International Conference,
{CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9859},
pages = {98--115},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45177-0\_7},
doi = {10.1007/978-3-319-45177-0\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/FagesMRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FagesGS15,
author = {Fran{\c{c}}ois Fages and
Steven Gay and
Sylvain Soliman},
title = {Inferring reaction systems from ordinary differential equations},
journal = {Theor. Comput. Sci.},
volume = {599},
pages = {64--78},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2014.07.032},
doi = {10.1016/J.TCS.2014.07.032},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FagesGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/ChiangFJS15,
author = {Hui{-}Ju Katherine Chiang and
Fran{\c{c}}ois Fages and
Jie{-}Hong Roland Jiang and
Sylvain Soliman},
title = {Hybrid Simulations of Heterogeneous Biochemical Models in {SBML}},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {25},
number = {2},
pages = {14:1--14:22},
year = {2015},
url = {https://doi.org/10.1145/2742545},
doi = {10.1145/2742545},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/ChiangFJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/TraynardFS15,
author = {Pauline Traynard and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Olivier F. Roux and
J{\'{e}}r{\'{e}}mie Bourdon},
title = {Model-Based Investigation of the Effect of the Cell Cycle on the Circadian
Clock Through Transcription Inhibition During Mitosis},
booktitle = {Computational Methods in Systems Biology - 13th International Conference,
{CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9308},
pages = {208--221},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23401-4\_18},
doi = {10.1007/978-3-319-23401-4\_18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/TraynardFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MartinezFS15,
author = {Thierry Martinez and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Moreno Falaschi and
Elvira Albert},
title = {Search by constraint propagation},
booktitle = {Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
pages = {173--183},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2790449.2790527},
doi = {10.1145/2790449.2790527},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/MartinezFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/almob/SolimanFR14,
author = {Sylvain Soliman and
Fran{\c{c}}ois Fages and
Ovidiu Radulescu},
title = {A constraint solving approach to model reduction by tropical equilibration},
journal = {Algorithms Mol. Biol.},
volume = {9},
pages = {24},
year = {2014},
url = {https://doi.org/10.1186/s13015-014-0024-2},
doi = {10.1186/S13015-014-0024-2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/almob/SolimanFR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/GayFMSS14,
author = {Steven Gay and
Fran{\c{c}}ois Fages and
Thierry Martinez and
Sylvain Soliman and
Christine Solnon},
title = {On the subgraph epimorphism problem},
journal = {Discret. Appl. Math.},
volume = {162},
pages = {214--228},
year = {2014},
url = {https://doi.org/10.1016/j.dam.2013.08.008},
doi = {10.1016/J.DAM.2013.08.008},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/GayFMSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/TraynardFS14,
author = {Pauline Traynard and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Pedro Mendes and
Joseph O. Dada and
Kieran Smallbone},
title = {Trace Simplifications Preserving Temporal Logic Formulae with Case
Study in a Coupled Model of the Cell Cycle and the Circadian Clock},
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 = {114--128},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12982-2\_9},
doi = {10.1007/978-3-319-12982-2\_9},
timestamp = {Sat, 09 Apr 2022 12:36:34 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/TraynardFS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/FagesS13,
author = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {Guest Editors' Introduction to the Special Section on Computational
Methods in Systems Biology},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {10},
number = {2},
pages = {308--309},
year = {2013},
url = {https://doi.org/10.1109/TCBB.2013.94},
doi = {10.1109/TCBB.2013.94},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/FagesS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/ChiangFJS13,
author = {Hui{-}Ju Katherine Chiang and
Fran{\c{c}}ois Fages and
Jie{-}Hong R. Jiang and
Sylvain Soliman},
editor = {Ashutosh Gupta and
Thomas A. Henzinger},
title = {On the Hybrid Composition and Simulation of Heterogeneous Biochemical
Models},
booktitle = {Computational Methods in Systems Biology - 11th International Conference,
{CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8130},
pages = {192--205},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40708-6\_15},
doi = {10.1007/978-3-642-40708-6\_15},
timestamp = {Mon, 26 Aug 2019 08:02:43 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/ChiangFJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-2948,
author = {Faten Nabli and
Fran{\c{c}}ois Fages and
Thierry Martinez and
Sylvain Soliman},
title = {Un mod{\`{e}}le bool{\'{e}}en pour l'{\'{e}}num{\'{e}}ration
des siphons et des pi{\`{e}}ges minimaux dans les r{\'{e}}seaux
de Petri},
journal = {CoRR},
volume = {abs/1304.2948},
year = {2013},
url = {http://arxiv.org/abs/1304.2948},
eprinttype = {arXiv},
eprint = {1304.2948},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-2948.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/almob/Soliman12,
author = {Sylvain Soliman},
title = {Invariants and Other Structural Properties of Biochemical Models as
a Constraint Satisfaction Problem},
journal = {Algorithms Mol. Biol.},
volume = {7},
pages = {15},
year = {2012},
url = {https://doi.org/10.1186/1748-7188-7-15},
doi = {10.1186/1748-7188-7-15},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/almob/Soliman12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/FagesS12,
author = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {Guest Editors' Introduction to the Special Section on Computational
Methods in Systems Biology},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {9},
number = {5},
pages = {1314--1315},
year = {2012},
url = {https://doi.org/10.1109/TCBB.2012.97},
doi = {10.1109/TCBB.2012.97},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/FagesS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FagesGS12,
author = {Fran{\c{c}}ois Fages and
Steven Gay and
Sylvain Soliman},
editor = {David R. Gilbert and
Monika Heiner},
title = {Inferring Reaction Models from ODEs},
booktitle = {Computational Methods in Systems Biology - 10th International Conference,
{CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7605},
pages = {370--373},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33636-2\_23},
doi = {10.1007/978-3-642-33636-2\_23},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/FagesGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/NabliFMS12,
author = {Faten Nabli and
Fran{\c{c}}ois Fages and
Thierry Martinez and
Sylvain Soliman},
editor = {Michela Milano},
title = {A Boolean Model for Enumerating Minimal Siphons and Traps in Petri
Nets},
booktitle = {Principles and Practice of Constraint Programming - 18th International
Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
8-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7514},
pages = {798--814},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_57},
doi = {10.1007/978-3-642-33558-7\_57},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/NabliFMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MariaFRS11,
author = {Elisabetta De Maria and
Fran{\c{c}}ois Fages and
Aur{\'{e}}lien Rizk and
Sylvain Soliman},
title = {Design, optimization and predictions of a coupled model of the cell
cycle, circadian clock, {DNA} repair system, irinotecan metabolism
and exposure control under temporal logic constraints},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {21},
pages = {2108--2127},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2010.10.036},
doi = {10.1016/J.TCS.2010.10.036},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MariaFRS11.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}
}
@article{DBLP:journals/bioinformatics/GaySF10,
author = {Steven Gay and
Sylvain Soliman and
Fran{\c{c}}ois Fages},
title = {A graphical method for reducing and relating models in systems biology},
journal = {Bioinform.},
volume = {26},
number = {18},
year = {2010},
url = {https://doi.org/10.1093/bioinformatics/btq388},
doi = {10.1093/BIOINFORMATICS/BTQ388},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/GaySF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/NabliS10,
author = {Faten Nabli and
Sylvain Soliman},
editor = {Paola Quaglia},
title = {Steady-state solution of biochemical systems, beyond S-systems via
T-invariants},
booktitle = {Computational Methods in Systems Biology, 8th International Conference,
{CMSB} 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings},
pages = {14--22},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1839764.1839768},
doi = {10.1145/1839764.1839768},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/NabliS10.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/simeuro/Soliman09,
author = {Sylvain Soliman},
title = {Modelling Biochemical Reaction Networks with {BIOCHAM} Extracting
Qualitative and Quantitative Information from the Structure},
journal = {Simul. Notes Eur.},
volume = {19},
number = {3-4},
pages = {33--40},
year = {2009},
url = {https://doi.org/10.11128/sne.19.tn.09947},
doi = {10.11128/SNE.19.TN.09947},
timestamp = {Fri, 07 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/simeuro/Soliman09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MariaFS09,
author = {Elisabetta De Maria and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Pierpaolo Degano and
Roberto Gorrieri},
title = {On Coupling Models Using Model-Checking: Effects of Irinotecan Injections
on the Mammalian Cell Cycle},
booktitle = {Computational Methods in Systems Biology, 7th International Conference,
{CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5688},
pages = {142--157},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03845-7\_10},
doi = {10.1007/978-3-642-03845-7\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/MariaFS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Csikasz-NagyFLL09,
author = {Attila Csik{\'{a}}sz{-}Nagy and
Adrien Faur{\'{e}} and
Roberto Larcher and
Paola Lecca and
Ivan Mura and
Ferenc Jord{\'{a}}n and
Alida Palmisano and
Alessandro Romanel and
Sean Sedwards and
Heike Siebert and
Sylvain Soliman and
Denis Thieffry and
Judit Z{\'{a}}mborszky and
Tommaso Mazza and
Paolo Ballarini},
editor = {Rainer Breitling and
David Roger Gilbert and
Monika Heiner and
Corrado Priami},
title = {Analyzing various models of Circadian Clock and Cell Cycle coupling},
booktitle = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09091},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/1994/},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Csikasz-NagyFLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FagesS08,
author = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {Abstract interpretation and types for systems biology},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {1},
pages = {52--70},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.024},
doi = {10.1016/J.TCS.2008.04.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FagesS08.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/FagesS08,
author = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Jasmin Fisher},
title = {From Reaction Models to Influence Graphs and Back: {A} Theorem},
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 = {90--102},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68413-8\_7},
doi = {10.1007/978-3-540-68413-8\_7},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/fmsb/FagesS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/FagesS08,
author = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Formal Cell Biology in Biocham},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {54--80},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_3},
doi = {10.1007/978-3-540-68894-5\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/FagesS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/ilp/FagesS08,
author = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Luc De Raedt and
Paolo Frasconi and
Kristian Kersting and
Stephen H. Muggleton},
title = {Model Revision from Temporal Logic Properties in Computational Systems
Biology},
booktitle = {Probabilistic Inductive Logic Programming - Theory and Applications},
series = {Lecture Notes in Computer Science},
volume = {4911},
pages = {287--304},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78652-8\_11},
doi = {10.1007/978-3-540-78652-8\_11},
timestamp = {Sat, 30 Apr 2022 12:43:31 +0200},
biburl = {https://dblp.org/rec/conf/ilp/FagesS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csclp/2007,
editor = {Fran{\c{c}}ois Fages and
Francesca Rossi and
Sylvain Soliman},
title = {Recent Advances in Constraints, 12th Annual {ERCIM} International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5129},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89812-2},
doi = {10.1007/978-3-540-89812-2},
isbn = {978-3-540-89811-5},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csclp/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/CalzoneCFFS07,
author = {Laurence Calzone and
Nathalie Chabrier{-}Rivier and
Fran{\c{c}}ois Fages and
L. Fosse and
Sylvain Soliman},
title = {Langages formels dans la machine abstraite biochimique {BIOCHAM}},
journal = {Tech. Sci. Informatiques},
volume = {26},
number = {1-2},
pages = {47--72},
year = {2007},
url = {https://doi.org/10.3166/tsi.26.47-72},
doi = {10.3166/TSI.26.47-72},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/CalzoneCFFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HaemmerleFS07,
author = {R{\'{e}}my Haemmerl{\'{e}} and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Closures and Modules Within Linear Logic Concurrent Constraint Programming},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {544--556},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_45},
doi = {10.1007/978-3-540-77050-3\_45},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HaemmerleFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/ClairambaultFS07,
author = {Jean Clairambault and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {Patient-Tailored Cancer Therapeutics - The Tempo Project},
journal = {{ERCIM} News},
volume = {2007},
number = {69},
year = {2007},
url = {http://ercim-news.ercim.eu/patient-tailored-cancer-therapeutics-the-tempo-project},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/ClairambaultFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/CalzoneFS06,
author = {Laurence Calzone and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {{BIOCHAM:} an environment for modeling biological systems and formalizing
experimental knowledge},
journal = {Bioinform.},
volume = {22},
number = {14},
pages = {1805--1807},
year = {2006},
url = {https://doi.org/10.1093/bioinformatics/btl172},
doi = {10.1093/BIOINFORMATICS/BTL172},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/CalzoneFS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/CalzoneCFS06,
author = {Laurence Calzone and
Nathalie Chabrier{-}Rivier and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {Machine Learning Biochemical Networks from Temporal Logic Properties},
journal = {Trans. Comp. Sys. Biology},
volume = {6},
pages = {68--94},
year = {2006},
url = {https://doi.org/10.1007/11880646\_4},
doi = {10.1007/11880646\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcsb/CalzoneCFS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FagesS06,
author = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Corrado Priami},
title = {Type Inference in Systems Biology},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2006, Trento, Italy, October 18-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4210},
pages = {48--62},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11885191\_4},
doi = {10.1007/11885191\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/FagesS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppswr/2005,
editor = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {Principles and Practice of Semantic Web Reasoning, Third International
Workshop, {PPSWR} 2005, Dagstuhl Castle, Germany, September 11-16,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3703},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11552222},
doi = {10.1007/11552222},
isbn = {3-540-28793-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppswr/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/FagesSC04,
author = {Fran{\c{c}}ois Fages and
Sylvain Soliman and
R{\'{e}}mi Coolen},
title = {{CLPGUI:} {A} Generic Graphical User Interface for Constraint Logic
Programming},
journal = {Constraints An Int. J.},
volume = {9},
number = {4},
pages = {241--262},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000049203.53383.c1},
doi = {10.1023/B:CONS.0000049203.53383.C1},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/FagesSC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/Chabrier-RivierFS04,
author = {Nathalie Chabrier{-}Rivier and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Vincent Danos and
Vincent Sch{\"{a}}chter},
title = {The Biochemical Abstract Machine {BIOCHAM}},
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 = {172--191},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25974-9\_14},
doi = {10.1007/978-3-540-25974-9\_14},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/Chabrier-RivierFS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/SolimanF04,
author = {Sylvain Soliman and
Fran{\c{c}}ois Fages},
editor = {Vincent Danos and
Vincent Sch{\"{a}}chter},
title = {CMBSlib: {A} Library for Comparing Formalisms and Models of Biological
Systems},
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 = {231--235},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25974-9\_19},
doi = {10.1007/978-3-540-25974-9\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/SolimanF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Soliman04,
author = {Sylvain Soliman},
editor = {Fr{\'{e}}d{\'{e}}ric Mesnard},
title = {Pi-calcul et LCC, une odyss{\'{e}}e de l'espace},
booktitle = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
23 Juin 2004, Angers, France},
publisher = {Hermes},
year = {2004},
timestamp = {Mon, 24 May 2004 15:54:02 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Soliman04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Soliman01,
author = {Sylvain Soliman},
title = {Concurrent constraint programming and linear logic},
school = {Paris Diderot University, France},
year = {2001},
url = {https://tel.archives-ouvertes.fr/tel-01431238},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Soliman01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FagesRS01,
author = {Fran{\c{c}}ois Fages and
Paul Ruet and
Sylvain Soliman},
title = {Linear Concurrent Constraint Programming: Operational and Phase Semantics},
journal = {Inf. Comput.},
volume = {165},
number = {1},
pages = {14--41},
year = {2001},
url = {https://doi.org/10.1006/inco.2000.3002},
doi = {10.1006/INCO.2000.3002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FagesRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FagesRS98,
author = {Fran{\c{c}}ois Fages and
Paul Ruet and
Sylvain Soliman},
title = {Phase Semantics and Verification of Concurrent Constraint Programs},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {141--152},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705651},
doi = {10.1109/LICS.1998.705651},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FagesRS98.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-03 20:24 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:
