Jort Bergfeld
According to our database1,
Jort Bergfeld
authored at least 4 papers
between 2011 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs.
Soft Comput., 2017
2015
2013
Proceedings of the Logic, Language, Information, and Computation, 2013
2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011