Bjørn Kjos-Hanssen

80 papers A 1C 15Misc 4Journal 54Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Bjørn Kjos-Hanssen, Swarnalakshmi Lakshmanan
2025 C conf
WoLLIC
Bjørn Kjos-Hanssen, Paul Kim Long V. Nguyen
2025 conf
FSTTCS
Joey Chen, Bjørn Kjos-Hanssen, Ivan Koswara, Linus Richter, Frank Stephan
2025 J jnl
CoRR
Joey Chen, Bjørn Kjos-Hanssen, Ivan Koswara, Linus Richter, Frank Stephan
2023 conf
COCOON (1)
Bjørn Kjos-Hanssen
2023 J jnl
CoRR
Bjørn Kjos-Hanssen
2022 Misc conf
LFCS
Bjørn Kjos-Hanssen, Saroj Niraula, Soowhan Yoon
2022 J jnl
J. Log. Comput.
Bjørn Kjos-Hanssen
2022 J jnl
CoRR
Bjørn Kjos-Hanssen
2022 C conf
CiE
Bjørn Kjos-Hanssen, David J. Webb
2022 J jnl
Ann. Math. Artif. Intell.
Bjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi
2021 J jnl
Discret. Appl. Math.
Bjørn Kjos-Hanssen
2021 C conf
CiE
Bjørn Kjos-Hanssen, David J. Webb
2021 C conf
CiE
Samuel D. Birns, Bjørn Kjos-Hanssen
2020 J jnl
CoRR
Bjørn Kjos-Hanssen
2020 J jnl
CoRR
Bjørn Kjos-Hanssen
2020 Misc conf
ISAIM
Bjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi
2020 J jnl
CoRR
Bjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi
2019 J jnl
CoRR
Bjørn Kjos-Hanssen
2019 J jnl
Exp. Math.
Bjørn Kjos-Hanssen
2019 C conf
TAMC
Achilles A. Beros, Bjørn Kjos-Hanssen, Daylan Kaui Yogi
2019 J jnl
CoRR
Achilles A. Beros, Bjørn Kjos-Hanssen, Daylan Kaui Yogi
2019 C conf
TAMC
Bjørn Kjos-Hanssen, Lei Liu
2019 J jnl
CoRR
Bjørn Kjos-Hanssen, Lei Liu
2018 J jnl
Discret. Math.
Bjørn Kjos-Hanssen
2018 C conf
CiE
Achilles A. Beros, Mushfeq Khan, Bjørn Kjos-Hanssen, André Nies
2018 J jnl
Bull. Symb. Log.
Bjørn Kjos-Hanssen
2018 J jnl
Theory Comput. Syst.
Rod Downey, Denis R. Hirschfeldt, Bjørn Kjos-Hanssen
2017 J jnl
Stud Logica
Bjørn Kjos-Hanssen
2017 conf
Computability and Complexity
Bjørn Kjos-Hanssen
2017 J jnl
Ann. Pure Appl. Log.
Bjørn Kjos-Hanssen, Frank Stephan, Sebastiaan A. Terwijn
2017 conf
Computability and Complexity
Achilles A. Beros, Mushfeq Khan, Bjørn Kjos-Hanssen
2017 J jnl
Theory Comput. Syst.
Bjørn Kjos-Hanssen
2017 conf
Computability and Complexity
Bjørn Kjos-Hanssen
2017 C conf
WoLLIC
Bjørn Kjos-Hanssen
2017 conf
UCNC
Bjørn Kjos-Hanssen
2017 J jnl
CoRR
Bjørn Kjos-Hanssen
2016 J jnl
CoRR
Bjørn Kjos-Hanssen
2016 J jnl
CoRR
Bjørn Kjos-Hanssen
2016 J jnl
CoRR
Bjørn Kjos-Hanssen
2016 J jnl
CoRR
Bjørn Kjos-Hanssen
2016 J jnl
Arch. Math. Log.
Katie Brodhead, Mushfeq Khan, Bjørn Kjos-Hanssen, William A. Lampe, Paul Kim Long V. Nguyen, Richard A. Shore
2015 C conf
CiE
Bjørn Kjos-Hanssen, Frank Stephan, Sebastiaan A. Terwijn
2015 J jnl
Theor. Comput. Sci.
Bjørn Kjos-Hanssen
2015 J jnl
Electron. J. Comb.
Kayleigh Hyde, Bjørn Kjos-Hanssen
2015 J jnl
Algorithmic Finance
Malihe Alikhani, Bjørn Kjos-Hanssen, Amirarsalan Pakravan, Babak Saadat
2015 J jnl
CoRR
Malihe Alikhani, Bjørn Kjos-Hanssen, Amirarsalan Pakravan, Babak Saadat
2014 J jnl
Comput.
Cameron E. Freer, Bjørn Kjos-Hanssen, André Nies, Frank Stephan
2014 J jnl
Log. Methods Comput. Sci.
Bjørn Kjos-Hanssen, Paul Kim Long V. Nguyen, Jason M. Rute
2014 J jnl
Ann. Pure Appl. Log.
Bjørn Kjos-Hanssen, Antoine Taveneaux, Neil Thapen
2014 C conf
COCOA
Bjørn Kjos-Hanssen
2014 J jnl
CoRR
Bjørn Kjos-Hanssen
2014 Misc conf
COCOON
Kayleigh Hyde, Bjørn Kjos-Hanssen
2014 J jnl
CoRR
Kayleigh Hyde, Bjørn Kjos-Hanssen
2013 J jnl
Log. Methods Comput. Sci.
Bjørn Kjos-Hanssen
2012 J jnl
ACM Trans. Comput. Log.
Bjørn Kjos-Hanssen, Frank Stephan, Jason Teutsch
2012 C conf
CiE
Bjørn Kjos-Hanssen, Antoine Taveneaux, Neil Thapen
2012 J jnl
J. Lond. Math. Soc.
Bjørn Kjos-Hanssen, Joseph S. Miller, Reed Solomon
2012 J jnl
Ann. Pure Appl. Log.
David Diamondstone, Bjørn Kjos-Hanssen
2011 J jnl
J. Math. Log.
Bjørn Kjos-Hanssen
2010 J jnl
Electron. Colloquium Comput. Complex.
Bjørn Kjos-Hanssen
2010 J jnl
CoRR
Bjørn Kjos-Hanssen, Frank Stephan, Jason Teutsch
2010 J jnl
Ann. Pure Appl. Log.
Bjørn Kjos-Hanssen, André Nies, Frank Stephan, Liang Yu
2010 J jnl
J. Symb. Log.
Bjørn Kjos-Hanssen, Richard A. Shore
2010 C conf
CiE
Bjørn Kjos-Hanssen, Jan Reimann
2010 J jnl
J. Log. Anal.
Bjørn Kjos-Hanssen
2009 J jnl
Theor. Comput. Sci.
Bjørn Kjos-Hanssen, Anil Nerode
2009 J jnl
J. Symb. Log.
Stephen Binns, Bjørn Kjos-Hanssen
2009 J jnl
CoRR
Bjørn Kjos-Hanssen, Alberto J. Evangelista
2009 C conf
CiE
David Diamondstone, Bjørn Kjos-Hanssen
2009 C conf
CiE
Paul Brodhead, Bjørn Kjos-Hanssen
2009 J jnl
Notre Dame J. Formal Log.
Bjørn Kjos-Hanssen, André Nies
2009 C conf
CiE
Paul Brodhead, Bjørn Kjos-Hanssen
2008 J jnl
Notre Dame J. Formal Log.
Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, James H. Schmerl, Reed Solomon
2007 Misc conf
LFCS
Bjørn Kjos-Hanssen, Anil Nerode
2006 A conf
STACS
Bjørn Kjos-Hanssen, Wolfgang Merkle, Frank Stephan
2006 J jnl
J. Symb. Log.
Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, Reed Solomon
2005 J jnl
SIAM J. Comput.
Bjørn Kjos-Hanssen, André Nies, Frank Stephan
2004 J jnl
J. Symb. Log.
Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp, Theodore A. Slaman
2003 J jnl
Bull. Symb. Log.
Bjørn Kjos-Hanssen