Boris Yakobowski
Orcid: 0000-0001-5367-2044
According to our database1,
Boris Yakobowski
authored at least 15 papers
between 2004 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
2016
2018
0
1
2
3
4
5
1
1
1
1
1
1
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
2017
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
2016
Sci. Comput. Program., 2016
2015
2014
Autom. Softw. Eng., 2014
2012
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012
Proceedings of the NASA Formal Methods, 2012
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012
2010
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010
2009
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009
2008
Graphical types and constraints - second-order polymorphism and inference. (Types et contraintes graphiques - polymorphisme de second ordre et inférence).
PhD thesis, 2008
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008
2007
A graphical presentation of ML<sup>F</sup> types with a linear-time unification algorithm.
Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007
2004
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.
Proceedings of the Logic Based Program Synthesis and Transformation, 2004