


default search action
BibTeX records: Florian Jamain
@inproceedings{DBLP:conf/fmics/PereiraJL24,
author = {Dalay Israel de Almeida Pereira and
Florian Jamain and
Thierry Lecomte},
editor = {Anne E. Haxthausen and
Wendelin Serwe},
title = {Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking
Systems with the Use of Certified Industrial Tools},
booktitle = {Formal Methods for Industrial Critical Systems - 29th International
Conference, {FMICS} 2024, Milan, Italy, September 9-11, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14952},
pages = {182--198},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-68150-9\_11},
doi = {10.1007/978-3-031-68150-9\_11},
timestamp = {Sat, 31 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/PereiraJL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/BazganJV17,
author = {Cristina Bazgan and
Florian Jamain and
Daniel Vanderpooten},
title = {Discrete representation of the non-dominated set for multi-objective
optimization problems using kernels},
journal = {Eur. J. Oper. Res.},
volume = {260},
number = {3},
pages = {814--827},
year = {2017},
url = {https://doi.org/10.1016/j.ejor.2016.11.020},
doi = {10.1016/J.EJOR.2016.11.020},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/BazganJV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonnetJS16,
author = {{\'{E}}douard Bonnet and
Florian Jamain and
Abdallah Saffidine},
title = {On the complexity of connection games},
journal = {Theor. Comput. Sci.},
volume = {644},
pages = {2--28},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.06.033},
doi = {10.1016/J.TCS.2016.06.033},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BonnetJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonnetJS16,
author = {{\'{E}}douard Bonnet and
Florian Jamain and
Abdallah Saffidine},
title = {On the Complexity of Connection Games},
journal = {CoRR},
volume = {abs/1605.04715},
year = {2016},
url = {http://arxiv.org/abs/1605.04715},
eprinttype = {arXiv},
eprint = {1605.04715},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonnetJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/orl/BazganJV15,
author = {Cristina Bazgan and
Florian Jamain and
Daniel Vanderpooten},
title = {Approximate Pareto sets of minimal size for multi-objective optimization
problems},
journal = {Oper. Res. Lett.},
volume = {43},
number = {1},
pages = {1--6},
year = {2015},
url = {https://doi.org/10.1016/j.orl.2014.10.003},
doi = {10.1016/J.ORL.2014.10.003},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/orl/BazganJV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acg/BonnetJS15,
author = {Edouard Bonnet and
Florian Jamain and
Abdallah Saffidine},
editor = {Aske Plaat and
H. Jaap van den Herik and
Walter A. Kosters},
title = {Draws, Zugzwangs, and PSPACE-Completeness in the Slither Connection
Game},
booktitle = {Advances in Computer Games - 14th International Conference, {ACG}
2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9525},
pages = {160--176},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27992-3\_15},
doi = {10.1007/978-3-319-27992-3\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/acg/BonnetJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Jamain14,
author = {Florian Jamain},
title = {Discrete representations of the nondominated set for multi-objective
optimization problems. (Repr{\'{e}}sentations discr{\`{e}}tes
de l'ensemble des points non domin{\'{e}}s pour des probl{\`{e}}mes
d'optimisation multi-objectifs)},
school = {Paris Dauphine University, France},
year = {2014},
url = {https://tel.archives-ouvertes.fr/tel-01070041},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Jamain14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonnetJS14,
author = {Edouard Bonnet and
Florian Jamain and
Abdallah Saffidine},
title = {Havannah and TwixT are PSPACE-complete},
journal = {CoRR},
volume = {abs/1403.6518},
year = {2014},
url = {http://arxiv.org/abs/1403.6518},
eprinttype = {arXiv},
eprint = {1403.6518},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonnetJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/BazganJV13,
author = {Cristina Bazgan and
Florian Jamain and
Daniel Vanderpooten},
title = {On the number of non-dominated points of a multicriteria optimization
problem},
journal = {Discret. Appl. Math.},
volume = {161},
number = {18},
pages = {2841--2850},
year = {2013},
url = {https://doi.org/10.1016/j.dam.2013.07.010},
doi = {10.1016/J.DAM.2013.07.010},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/BazganJV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cg/BonnetJS13,
author = {Edouard Bonnet and
Florian Jamain and
Abdallah Saffidine},
editor = {H. Jaap van den Herik and
Hiroyuki Iida and
Aske Plaat},
title = {Havannah and TwixT are PSPACE-complete},
booktitle = {Computers and Games - 8th International Conference, {CG} 2013, Yokohama,
Japan, August 13-15, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8427},
pages = {175--186},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-09165-5\_15},
doi = {10.1007/978-3-319-09165-5\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cg/BonnetJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonnetJS13,
author = {Edouard Bonnet and
Florian Jamain and
Abdallah Saffidine},
editor = {Francesca Rossi},
title = {On the Complexity of Trick-Taking Card Games},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {482--488},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6920},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BonnetJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













