Bjørn Kjos-Hanssen
Orcid: 0000-0002-6199-1755
According to our database1,
Bjørn Kjos-Hanssen
authored at least 58 papers
between 2003 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Computing and Combinatorics - 29th International Conference, 2023
2022
Interpolating between the Jaccard distance and an analogue of the normalized information distance.
J. Log. Comput., 2022
Ann. Math. Artif. Intell., 2022
A Parametrized Family of Tversky Metrics Connecting the Jaccard Distance to an Analogue of the Normalized Information Distance.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022
Proceedings of the Revolutions and Revelations in Computability, 2022
2021
Proceedings of the Connecting with Computability, 2021
Proceedings of the Connecting with Computability, 2021
2019
Exp. Math., 2019
Proceedings of the Theory and Applications of Models of Computation, 2019
Proceedings of the Theory and Applications of Models of Computation, 2019
2018
Permutations of the Integers Induce only the Trivial automorphism of the Turing Degrees.
Bull. Symb. Log., 2018
Proceedings of the Sailing Routes in the World of Computation, 2018
2017
A Conflict Between Some Semantic Conditions of Carmo and Jones for Contrary-to-Duty Obligations.
Stud Logica, 2017
Proceedings of the Logic, Language, Information, and Computation, 2017
Proceedings of the Unconventional Computation and Natural Computation, 2017
Proceedings of the Computability and Complexity, 2017
Proceedings of the Computability and Complexity, 2017
2016
2015
Electron. J. Comb., 2015
2014
Log. Methods Comput. Sci., 2014
Nondeterministic Automatic Complexity of Almost Square-Free and Strongly Cube-Free Words.
Proceedings of the Computing and Combinatorics - 20th International Conference, 2014
Proceedings of the Combinatorial Optimization and Applications, 2014
2013
Log. Methods Comput. Sci., 2013
2012
ACM Trans. Comput. Log., 2012
2010
J. Log. Anal., 2010
Electron. Colloquium Comput. Complex., 2010
Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010
2009
Proceedings of the Mathematical Theory and Computational Practice, 2009
Proceedings of the Mathematical Theory and Computational Practice, 2009
Proceedings of the Mathematical Theory and Computational Practice, 2009
2008
2007
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
2006
J. Symb. Log., 2006
2005
2004
2003