| 2009 |
| 23 | EE | Paola Bonizzoni,
S. Barry Cooper,
Benedikt Löwe,
Andrea Sorbi:
Foreword.
Theor. Comput. Sci. 410(4-5): 283-284 (2009) |
| 2008 |
| 22 | | Arnold Beckmann,
Costas Dimitracopoulos,
Benedikt Löwe:
Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings
Springer 2008 |
| 21 | EE | Arnold Beckmann,
Edwin J. Beggs,
Benedikt Löwe:
From Gödel to Einstein: Computability between logic and physics at CiE 2006.
Theor. Comput. Sci. 394(3): 141-143 (2008) |
| 2007 |
| 20 | | S. Barry Cooper,
Benedikt Löwe,
Andrea Sorbi:
Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
Springer 2007 |
| 19 | EE | Sujata Ghosh,
Benedikt Löwe,
Erik Scorelle:
Belief Flow in Assertion Networks.
ICCS 2007: 401-414 |
| 18 | EE | Benedikt Löwe,
Brian Semmes:
The Extent of Constructive Game Labellings.
J. Log. Comput. 17(2): 285-298 (2007) |
| 17 | EE | Arnold Beckmann,
Benedikt Löwe,
Dag Normann:
Logical Approaches to Computational Barriers: CiE 2006.
J. Log. Comput. 17(6): 1021-1023 (2007) |
| 16 | EE | Thomas Bäck,
Benedikt Löwe:
Computing and the natural sciences at CiE 2005.
Theor. Comput. Sci. 371(1-2): 1-3 (2007) |
| 15 | EE | S. Barry Cooper,
Benedikt Löwe,
Peter van Emde Boas:
Theory of Computation at CiE 2005.
Theory Comput. Syst. 41(1): 1-2 (2007) |
| 2006 |
| 14 | | Arnold Beckmann,
Ulrich Berger,
Benedikt Löwe,
John V. Tucker:
Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Springer 2006 |
| 13 | EE | Benedikt Löwe:
Space Bounds for Infinitary Computation.
CiE 2006: 319-329 |
| 12 | EE | Benedikt Löwe:
Revision Forever!
ICCS 2006: 22-36 |
| 11 | EE | Benedikt Löwe:
A parametrised choice principle and Martin's conjecture on Blackwell determinacy.
Math. Log. Q. 52(2): 187-189 (2006) |
| 10 | EE | S. Barry Cooper,
Benedikt Löwe,
Dag Normann:
Mathematics of computing at CiE 2005.
Mathematical Structures in Computer Science 16(5): 735-736 (2006) |
| 2005 |
| 9 | | S. Barry Cooper,
Benedikt Löwe,
Leen Torenvliet:
New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
Springer 2005 |
| 8 | EE | Benedikt Löwe,
Darko Sarenac:
Cardinal spaces and topological representations of bimodal logics.
Logic Journal of the IGPL 13(3): 301-306 (2005) |
| 7 | EE | Benedikt Löwe:
A Global Wellordering of Norms Defined via Blackwell Games.
Order 22(2): 85-92 (2005) |
| 6 | EE | Kai-Uwe Kühnberger,
Benedikt Löwe,
Michael Möllerfeld,
Philip D. Welch:
Comparing Inductive and Circular Definitions: Parameters, Complexity and Games.
Studia Logica 81(1): 79-98 (2005) |
| 2001 |
| 5 | EE | Benedikt Löwe:
Turing cones and set theory of the reals.
Arch. Math. Log. 40(8): 651-664 (2001) |
| 4 | EE | Benedikt Löwe:
Revision Sequences and Computers with an Infinite Amount of Time.
J. Log. Comput. 11(1): 25-40 (2001) |
| 3 | | Benedikt Löwe,
Philip D. Welch:
Set-Theoretic Absoluteness and the Revision Theory of Truth.
Studia Logica 68(1): 21-41 (2001) |
| 1999 |
| 2 | | Jörg Brendle,
Benedikt Löwe:
Solovay-Type Characterizations for Forcing-Algebras.
J. Symb. Log. 64(3): 1307-1323 (1999) |
| 1998 |
| 1 | EE | Benedikt Löwe:
Uniform unfolding and analytic measurability.
Arch. Math. Log. 37(8): 505-520 (1998) |