Uniform unfolding and analytic measurability. - Benedikt Löwe (Arch. Math. Log., 1998)

Solovay-Type Characterizations for Forcing-Algebras. - Jörg Brendle; Benedikt Löwe (J. Symb. Log., 1999)

Cofinalities of Linear Orders. - Moti Gitik; Benedikt Löwe (Order, 1999)

Complexity hierarchies derived from reduction functions. - Benedikt Löwe (FotFS, 2001)

Turing cones and set theory of the reals. - Benedikt Löwe (Arch. Math. Log., 2001)

Revision Sequences and Computers with an Infinite Amount of Time. - Benedikt Löwe (J. Log. Comput., 2001)

Set-Theoretic Absoluteness and the Revision Theory of Truth. - Benedikt Löwe; Philip D. Welch (Stud Logica, 2001)

Playing with mixed strategies on infinite sets. - Benedikt Löwe (Int. J. Game Theory, 2002)

The Formal Sciences: Their Scope, Their Foundations, and Their Unity. - Benedikt Löwe (Synth., 2002)

Cardinal spaces and topological representations of bimodal logics. - Benedikt Löwe; Darko Sarenac (Log. J. IGPL, 2005)

A Global Wellordering of Norms Defined via Blackwell Games. - Benedikt Löwe (Order, 2005)

Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. - Kai-Uwe Kühnberger; Benedikt Löwe; Michael Möllerfeld; Philip D. Welch (Stud Logica, 2005)

Space Bounds for Infinitary Computation. - Benedikt Löwe (CiE, 2006)

Revision Forever! - Benedikt Löwe (ICCS, 2006)

A parametrised choice principle and Martin's conjecture on Blackwell determinacy. - Benedikt Löwe (Math. Log. Q., 2006)

Mathematics of computing at CiE 2005. - S. Barry Cooper; Benedikt Löwe; Dag Normann (Math. Struct. Comput. Sci., 2006)

Set Theory With and Without Urelements and Categories of Interpretations. - Benedikt Löwe (Notre Dame J. Formal Log., 2006)

Belief Flow in Assertion Networks. - Sujata Ghosh; Benedikt Löwe; Erik Scorelle (ICCS, 2007)

Logical Approaches to Computational Barriers: CiE 2006. - Arnold Beckmann; Benedikt Löwe; Dag Normann (J. Log. Comput., 2007)

The Extent of Constructive Game Labellings. - Benedikt Löwe; Brian Semmes (J. Log. Comput., 2007)

Theory of Computation at CiE 2005. - S. Barry Cooper; Benedikt Löwe; Peter van Emde Boas (Theory Comput. Syst., 2007)

Computing and the natural sciences at CiE 2005. - Thomas Bäck; Benedikt Löwe (Theor. Comput. Sci., 2007)

Computability in Europe 2006. - Arnold Beckmann; Benedikt Löwe (Theory Comput. Syst., 2008)

From Gödel to Einstein: Computability between logic and physics at CiE 2006. - Arnold Beckmann; Edwin J. Beggs; Benedikt Löwe (Theor. Comput. Sci., 2008)

Preface. - Samuel R. Buss; S. Barry Cooper; Benedikt Löwe; Andrea Sorbi (Ann. Pure Appl. Log., 2009)

Logic and Computation in the Real World: CiE 2007. - S. Barry Cooper; Benedikt Löwe; Andrea Sorbi (J. Log. Comput., 2009)

Foreword. - Paola Bonizzoni; S. Barry Cooper; Benedikt Löwe; Andrea Sorbi (Theor. Comput. Sci., 2009)

Comparing Formal Frameworks of Narrative Structure. - Benedikt Löwe (AAAI Fall Symposium: Computational Models of Narrative, 2010)

Computability in Europe 2008. - Arnold Beckmann; Costas Dimitracopoulos; Benedikt Löwe (Arch. Math. Log., 2010)

DEL Planning and Some Tractable Cases. - Benedikt Löwe; Eric Pacuit; Andreas Witzel (LORI, 2011)

The synchronicity of dynamic epistemic logic. - Cédric Dégremont; Benedikt Löwe; Andreas Witzel (TARK, 2011)

Data and phenomena in conceptual modelling. - Benedikt Löwe; Thomas Müller 007 (Synth., 2011)

Computational models of narrative structure. - Benedikt Löwe; Bernhard Fisseni; Carlos León; Rens Bod (DH, 2012)

The axiom of real Blackwell determinacy. - Daisuke Ikegami; David de Kloet; Benedikt Löwe (Arch. Math. Log., 2012)

Computability in Europe 2009. - Klaus Ambos-Spies; Arnold Beckmann; Samuel R. Buss; Benedikt Löwe (Ann. Pure Appl. Log., 2012)

Computability in Europe 2010. - Fernando Ferreira 001; Martin Hyland; Benedikt Löwe; Elvira Mayordomo (Ann. Pure Appl. Log., 2012)

Editorial. - Vasco Brattka; Paola Bonizzoni; S. Barry Cooper; Benedikt Löwe; Elvira Mayordomo (Comput., 2012)

Computability in Europe 2008. - Arnold Beckmann; Benedikt Löwe (J. Log. Comput., 2012)

Computability in Europe 2009. - Arnold Beckmann; Wolfgang Merkle; Benedikt Löwe (Theory Comput. Syst., 2012)

Programs, Proofs, Processes. - Fernando Ferreira 001; Benedikt Löwe; Elvira Mayordomo (Theory Comput. Syst., 2012)

Fatal Heyting Algebras and Forcing Persistent Sentences. - Leo Esakia; Benedikt Löwe (Stud Logica, 2012)

Computational and Cognitive Aspects of Narrative. - Mark A. Finlayson; Bernhard Fisseni; Dedre Gentner; Richard Gerrig; Benedikt Löwe; Jeffrey Loewenstein; Inderjeet Mani; Jan Christoph Meister; Robert Michael Young (CogSci, 2013)

Moving Up and Down in the Generic Multiverse. - Joel David Hamkins; Benedikt Löwe (ICLA, 2013)

Computability in Europe 2011. - Sam Buss; Benedikt Löwe; Dag Normann; Ivan N. Soskov (Ann. Pure Appl. Log., 2013)

Canonical measure assignments. - Steve Jackson 001; Benedikt Löwe (J. Symb. Log., 2013)

Computability in Europe 2009. - Klaus Ambos-Spies; Arnold Beckmann; Erzsébet Csuhaj-Varjú; Benedikt Löwe (J. Log. Comput., 2013)

What Makes Stories Similar? Report on a Research Project, 2011-2014 (Invited Report). - Bernhard Fisseni; Benedikt Löwe (CMN, 2014)

Turing Centenary Conference: How the World Computes. - S. Barry Cooper; Anuj Dawar; Martin Hyland; Benedikt Löwe (Ann. Pure Appl. Log., 2014)

Planning with epistemic goals (Dagstuhl Seminar 14032). - Thomas Ågotnes; Gerhard Lakemeyer; Benedikt Löwe; Bernhard Nebel (Dagstuhl Reports, 2014)

Annotating with Propp's Morphology of the Folktale: reproducibility and trainability. - Bernhard Fisseni; Aadil Kurji; Benedikt Löwe (Lit. Linguistic Comput., 2014)

Computability in Europe 2010. - Alessandra Carbone; Fernando Ferreira 001; Benedikt Löwe; Elvira Mayordomo (J. Log. Comput., 2015)

Generalized Algebra-Valued Models of Set Theory. - Benedikt Löwe; Sourav Tarafder (Rev. Symb. Log., 2015)

History and philosophy of infinity - Selected papers from the conference "Foundations of the Formal Sciences VIII" held at Corpus Christi College, Cambridge, England, 20-23 September 2013. - Brendan P. Larvor; Benedikt Löwe; Dirk Schlimm (Synth., 2015)

Barry Cooper (1943-2015): The engine of Computability in Europe. - Benedikt Löwe (Comput., 2016)

The Modal Logic of Inner Models. - Tanmay Inamdar 001; Benedikt Löwe (J. Symb. Log., 2016)

Questions on generalised Baire spaces. - Yurii Khomskii; Giorgio Laguzzi; Benedikt Löwe; Ilya Sharankou (Math. Log. Q., 2016)

Restrictiveness Relative to Notions of Interpretation. - Luca Incurvati; Benedikt Löwe (Rev. Symb. Log., 2016)

Koepke Machines and Satisfiability for Infinitary Propositional Languages. - Merlin Carl; Benedikt Löwe; Benjamin G. Rin (CiE, 2017)

A multiplication operation for the hierarchy of norms. - Alexander C. Block; Benedikt Löwe (Ann. Pure Appl. Log., 2018)

S. Barry Cooper (1943-2015). - Richard Elwes; Andy Lewis-Pye; Benedikt Löwe; Dugald Macpherson; Dag Normann; Andrea Sorbi; Alexandra A. Soskova; Mariya Ivanova Soskova; Peter van Emde Boas; Stanley S. Wainer (Comput., 2018)

Preface to the special issue in memory of S. Barry Cooper (1943-2015). - Benedikt Löwe (Comput., 2018)

Enabling mathematical cultures: introduction. - Benedikt Löwe; Ursula Martin; Alison Pease (Synth., 2021)

Order Types of Models of Fragments of Peano Arithmetic. - Lorenzo Galeotti; Benedikt Löwe (Bull. Symb. Log., 2022)

Symmetry for Transfinite Computability. - Lorenzo Galeotti; Ethan S. Lewis; Benedikt Löwe (CiE, 2023)

Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs. - Funmilola Balogun; Benedikt Löwe (Stud Logica, 2024)

Modal and Intermediate Logics of Spiked Boolean Algebras. - Benedikt Löwe; Han Xiao (ICLA, 2025)