Rémi Brochenin
According to our database1,
Rémi Brochenin
authored at least 10 papers
between 2009 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
0
1
2
3
1
1
1
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
2017
2016
2015
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015
2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
2013
Separation logic : expressiveness, complexity, temporal extension. (Logique de séparation : expressivité, complexité, extension temporelle).
PhD thesis, 2013
2012
2009
Proceedings of the Foundations of Software Science and Computational Structures, 2009