Florent Kirchner
According to our database1,
Florent Kirchner
authored at least 17 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
1
1
1
1
1
1
2
1
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2021
Commun. ACM, 2021
2019
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019
2015
2014
Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases.
Sci. Comput. Program., 2014
2013
Proceedings of the NASA Formal Methods, 2013
2012
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012
2011
Proceedings of the Programming Languages and Systems, 2011
2010
2009
Proceedings of the Functional and Constraint Logic Programming, 2009
Proceedings of the Advances in Digital Forensics V, 2009
2007
2006
Proceedings of the 7th International Workshop on Rule Based Programming, 2006
Proceedings of the 6th International Workshop on Strategies in Automated Deduction, 2006
Proceedings of the Types for Proofs and Programs, International Workshop, 2006