Skip to main navigation Skip to search Skip to main content
Benjamin Rin BG

Benjamin Rin

dr.

Personal profile

Link to Utrecht University staff page

https://www.uu.nl/staff/BGRin

Fingerprint

Dive into the research topics where Benjamin Rin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Publication network from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 5 Article
  • 2 Conference contribution
  • 1 Chapter

  • Hive is PSPACE-Hard

    Rin, B. & Andel, D. I., 2026, (E-pub ahead of print) 13th International Conference on Fun with Algorithms (FUN 2026). Dagstuhl Publishing, p. 13:1–13:20 (Leibniz International Proceedings in Informatics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Arimaa Is PSPACE-Hard

    Rin, B. G. & Schipper, A., Jun 2024, 12th International Conference on Fun with Algorithms, FUN 2024. Broder, A. Z. & Tamir, T. (eds.). Dagstuhl Publishing, 24 p. 27. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 291).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Reachability for infinite time Turing machines with long tapes

    Rin, B., Carl, M. & Schlicht, P., 24 Apr 2020, In: Logical Methods in Computer Science. 16, 2, p. 2:1–2:16

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File

  • Koepke Machines and Satisfiability for Infinitary Propositional Languages

    Carl, M., Löwe, B. & Rin, B., May 2017, Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. Kari, J., Manea, F. & Petre, I. (eds.). Cham: Springer, p. 187-197 11 p. (Lecture Notes in Computer Science ; vol. 10307).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File

  • Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction

    Rin, B. G. & Walsh, S., Dec 2016, In: Review of Symbolic Logic. 9, 4, p. 752-809 58 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
View all 8 research outputs
  • 5 Invited talk
  • 4 Workshop, seminar, course
  • 2 Poster/paper presentation
View all 11 activities