Jan Severin Reimann

    Calculated based on number of publications stored in Pure and citations from Scopus
    20002024

    Research activity per year

    Filter
    Conference contribution

    Search results

    • 2010

      The strength of the Besicovitch-Davies theorem

      Kjos-Hanssen, B. & Reimann, J., 2010, Programs, Proofs, Processes - 6th Conference on Computability in Europe, CiE 2010, Proceedings. p. 229-238 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6158 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

      1 Scopus citations
    • 2000

      Almost complete sets

      Ambos-Spies, K., Merkle, W., Reimann, J. & Terwijn, S. A., 2000, STACS 2000 - 17th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2000, Proceedings. Reichel, H. & Tison, S. (eds.). Springer Verlag, p. 419-430 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1770).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

      1 Scopus citations