Benedikt Löwe

	2012
42		Klaus Ambos-Spies, Arnold Beckmann, Samuel R. Buss, Benedikt Löwe: Computability in Europe 2009. Ann. Pure Appl. Logic 163(5): 483-484 (2012)
41		Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo: Computability in Europe 2010. Ann. Pure Appl. Logic 163(6): 621-622 (2012)
40		Arnold Beckmann, Benedikt Löwe: Computability in Europe 2008. J. Log. Comput. 22(2): 163-164 (2012)
39		Leo Esakia, Benedikt Löwe: Fatal Heyting Algebras and Forcing Persistent Sentences. Studia Logica 100(1-2): 163-173 (2012)
38		Arnold Beckmann, Wolfgang Merkle, Benedikt Löwe: Computability in Europe 2009. Theory Comput. Syst. 51(1): 1-3 (2012)
	2011
37		Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova: Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings Springer 2011
36		Benedikt Löwe, Eric Pacuit, Andreas Witzel: DEL Planning and Some Tractable Cases. LORI 2011: 179-192
35		Cédric Dégremont, Benedikt Löwe, Andreas Witzel: The synchronicity of dynamic epistemic logic. TARK 2011: 145-152
34		Benedikt Löwe, Thomas Müller: Data and phenomena in conceptual modelling. Synthese 182(1): 131-148 (2011)
33		Arnold Beckmann, Benedikt Löwe: Computability in Europe 2008. Theory Comput. Syst. 48(3): 614-616 (2011)
	2010
32		Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek: Logic and the Foundations of Game and Decision Theory - LOFT 8, 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers Springer 2010
31		Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes: Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings Springer 2010
30		Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe: Computability in Europe 2008. Arch. Math. Log. 49(2): 119-121 (2010)
	2009
29		Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe: Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers Springer 2009
28		Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle: Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings Springer 2009
27		Samuel R. Buss, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi: Preface. Ann. Pure Appl. Logic 160(3): 229-230 (2009)
26		S. Barry Cooper, Benedikt Löwe, Andrea Sorbi: Logic and Computation in the Real World: CiE 2007. J. Log. Comput. 19(1): 1-2 (2009)
25		Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi: Foreword. Theor. Comput. Sci. 410(4-5): 283-284 (2009)
	2008
24		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
23		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)
22		Arnold Beckmann, Benedikt Löwe: Computability in Europe 2006. Theory Comput. Syst. 43(3-4): 295-297 (2008)
	2007
21		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
20		Sujata Ghosh, Benedikt Löwe, Erik Scorelle: Belief Flow in Assertion Networks. ICCS 2007: 401-414
19		Benedikt Löwe, Brian Semmes: The Extent of Constructive Game Labellings. J. Log. Comput. 17(2): 285-298 (2007)
18		Arnold Beckmann, Benedikt Löwe, Dag Normann: Logical Approaches to Computational Barriers: CiE 2006. J. Log. Comput. 17(6): 1021-1023 (2007)
17		Thomas Bäck, Benedikt Löwe: Computing and the natural sciences at CiE 2005. Theor. Comput. Sci. 371(1-2): 1-3 (2007)
16		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
15		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
14		Benedikt Löwe: Space Bounds for Infinitary Computation. CiE 2006: 319-329
13		Benedikt Löwe: Revision Forever! ICCS 2006: 22-36
12		Benedikt Löwe: A parametrised choice principle and Martin's conjecture on Blackwell determinacy. Math. Log. Q. 52(2): 187-189 (2006)
11		S. Barry Cooper, Benedikt Löwe, Dag Normann: Mathematics of computing at CiE 2005. Mathematical Structures in Computer Science 16(5): 735-736 (2006)
10		Benedikt Löwe: Set Theory With and Without Urelements and Categories of Interpretations. Notre Dame Journal of Formal Logic 47(1): 83-91 (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		Benedikt Löwe, Darko Sarenac: Cardinal spaces and topological representations of bimodal logics. Logic Journal of the IGPL 13(3): 301-306 (2005)
7		Benedikt Löwe: A Global Wellordering of Norms Defined via Blackwell Games. Order 22(2): 85-92 (2005)
6		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		Benedikt Löwe: Turing cones and set theory of the reals. Arch. Math. Log. 40(8): 651-664 (2001)
4		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		Benedikt Löwe: Uniform unfolding and analytic measurability. Arch. Math. Log. 37(8): 505-520 (1998)

Coauthor Index

1	Klaus Ambos-Spies	[28] [42]
2	Margaret Archibald	[29]
3	Thomas Bäck	[17]
4	Arnold Beckmann	[15] [18] [22] [23] [24] [30] [33] [38] [40] [42]
5	Edwin J. Beggs	[23]
6	Ulrich Berger	[15]
7	Peter van Emde Boas	[16]
8	Giacomo Bonanno	[32]
9	Paola Bonizzoni	[25]
10	Vasco Brattka	[29]
11	Jörg Brendle	[2]
12	Samuel R. Buss	[27] [42]
13	S. Barry Cooper	[9] [11] [16] [21] [25] [26] [27]
14	Cédric Dégremont	[35]
15	Costas Dimitracopoulos	[24] [30]
16	Leo Esakia	[39]
17	Fernando Ferreira	[31] [41]
18	Sujata Ghosh	[20]
19	Luís Mendes Gomes	[31]
20	Valentin Goranko	[29]
21	Wiebe van der Hoek	[32]
22	Martin Hyland (J. M. E. Hyland)	[41]
23	Kai-Uwe Kühnberger	[6]
24	Elvira Mayordomo	[31] [41]
25	Wolfgang Merkle	[28] [38]
26	Michael Möllerfeld	[6]
27	Thomas Müller	[34]
28	Dag Normann	[11] [18] [37]
29	Eric Pacuit	[36]
30	Darko Sarenac	[8]
31	Erik Scorelle	[20]
32	Brian Semmes	[19]
33	Andrea Sorbi	[21] [25] [26] [27]
34	Ivan N. Soskov (Ivan Nikolaev Soskov)	[37]
35	Alexandra A. Soskova (Aleksandra Andreeva Soskova)	[37]
36	Leen Torenvliet	[9]
37	J. V. Tucker (John V. Tucker)	[15]
38	Philip D. Welch	[3] [6]
39	Andreas Witzel	[35] [36]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page