Anicet Bart
Orcid: 0000-0002-9869-3428
According to our database1,
Anicet Bart
authored at least 7 papers
between 2014 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2014
2015
2016
2017
2018
0
1
2
3
4
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Theor. Comput. Sci., 2018
2017
Constraint modelling and solving of some verification problems. (Modélisation et résolution par contraintes de problèmes de vérification).
PhD thesis, 2017
Constraints An Int. J., 2017
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
2015
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015
2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014