Skip to content
cs-conference-ranking.org

Merlin Carl

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

17

Venues

1

Active years

2011–2026

Best venue rank

C

Where they publish

Papers

17 indexed papers, newest first.

YearVenueTitleAuthors
2026CiEComplexities of Effective Reductions with Ordinal Turing Machines.Merlin Carl
2025CiEFull Generalized Effective Reducibility.Merlin Carl
2024CiEAlmost Sure OTM-Realizability.Merlin Carl
2023CiEAll Melodies Are Lost - Recognizability for Weak and Strong α-Register Machines.Merlin Carl
2022CiELower Bounds on β (α ).Merlin Carl
2021CiEThe Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines.Merlin Carl
2021CiERandomising Realizability.Merlin Carl, Lorenzo Galeotti, Robert Pamann
2020CiEClockability for Ordinal Turing Machines.Merlin Carl
2018CiESome Observations on Infinitary Complexity.Merlin Carl
2018CiETaming Koepke's Zoo.Merlin Carl, Sabrina Ouazzani, Philip D. Welch
2017CiEAdmissibles in Gaps.Merlin Carl, Bruno Durand, Grgory Lafitte, Sabrina Ouazzani
2017CiEKoepke Machines and Satisfiability for Infinitary Propositional Languages.Merlin Carl, Benedikt Lwe, Benjamin G. Rin
2017CiEThe Recognizability Strength of Infinite Time Turing Machines with Ordinal Parameters.Merlin Carl, Philipp Schlicht
2016CiEGeneralized Effective Reducibility.Merlin Carl
2015CiEITRM I T R M -Recognizability from Random Oracles.Merlin Carl
2014CiEAlgorithmic Randomness for Infinite Time Register Machines.Merlin Carl
2011CiEA Computational Approach to an Alternative Working Environment for the Constructible Universe.Merlin Carl