We stand with Ukraine  

David Come

According to our database1, David Come authored at least 3 papers between 2018 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Analyse de la qualité de code via une approche logique et application à la robotique. (Analysis of source code quality through a logic-based technique and application to robotics).
[BibTeX]
[DOI]
David Come
PhD thesis, 2019

2018
Improving code quality in ROS packages using a temporal extension of first-order logic.
[BibTeX]
[DOI]
David Come
,
Julien Brunel
,
David Doose
Encycl. Semantic Comput. Robotic Intell., 2018

Source Code Analysis with a Temporal Extension of First-Order Logic.
[BibTeX]
[DOI]
David Come
,
Julien Brunel
,
David Doose
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018


  Loading...