Benedikt Löwe

83 papers B 2C 12Misc 2Journal 54Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Modal and Intermediate Logics of Spiked Boolean Algebras. ICLA Benedikt Löwe, Han Xiao
2024	J	`jnl`	Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs. Stud Logica Funmilola Balogun, Benedikt Löwe
2023	C	`conf`	Symmetry for Transfinite Computability. CiE Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe
2022	J	`jnl`	Order Types of Models of Fragments of Peano Arithmetic. Bull. Symb. Log. Lorenzo Galeotti, Benedikt Löwe
2021	J	`jnl`	Enabling mathematical cultures: introduction. Synth. Benedikt Löwe, Ursula Martin, Alison Pease
2018	J	`jnl`	A multiplication operation for the hierarchy of norms. Ann. Pure Appl. Log. Alexander C. Block, Benedikt Löwe
2018	J	`jnl`	Preface to the special issue in memory of S. Barry Cooper (1943-2015). Comput. Benedikt Löwe
2018	J	`jnl`	S. Barry Cooper (1943-2015). Comput. 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
2017	C	`conf`	Koepke Machines and Satisfiability for Infinitary Propositional Languages. CiE Merlin Carl, Benedikt Löwe, Benjamin G. Rin
2016	J	`jnl`	Barry Cooper (1943-2015): The engine of Computability in Europe. Comput. Benedikt Löwe
2016	J	`jnl`	Questions on generalised Baire spaces. Math. Log. Q. Yurii Khomskii, Giorgio Laguzzi, Benedikt Löwe, Ilya Sharankou
2016	J	`jnl`	Restrictiveness Relative to Notions of Interpretation. Rev. Symb. Log. Luca Incurvati, Benedikt Löwe
2016	J	`jnl`	The Modal Logic of Inner Models. J. Symb. Log. Tanmay Inamdar, Benedikt Löwe
2015	J	`jnl`	Computability in Europe 2010. J. Log. Comput. Alessandra Carbone, Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo
2015	J	`jnl`	Generalized Algebra-Valued Models of Set Theory. Rev. Symb. Log. Benedikt Löwe, Sourav Tarafder
2015	J	`jnl`	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. Synth. Brendan P. Larvor, Benedikt Löwe, Dirk Schlimm
2014	J	`jnl`	Annotating with Propp's Lit. Linguistic Comput. Bernhard Fisseni, Aadil Kurji, Benedikt Löwe
2014	J	`jnl`	Planning with epistemic goals (Dagstuhl Seminar 14032). Dagstuhl Reports Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel
2014	—	`ed.`	Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012. DCM Benedikt Löwe, Glynn Winskel
2014	J	`jnl`	Turing Centenary Conference: How the World Computes. Ann. Pure Appl. Log. S. Barry Cooper, Anuj Dawar, Martin Hyland, Benedikt Löwe
2014	—	`conf`	What Makes Stories Similar? Report on a Research Project, 2011-2014 (Invited Report). CMN Bernhard Fisseni, Benedikt Löwe
2013	—	`ed.`	2013 Workshop on Computational Models of Narrative, CMN 2013, Hamburg, Germany, August 4-6, 2013 CMN Mark A. Finlayson, Bernhard Fisseni, Benedikt Löwe, Jan Christoph Meister
2013	J	`jnl`	Canonical measure assignments. J. Symb. Log. Steve Jackson, Benedikt Löwe
2013	J	`jnl`	Computability in Europe 2009. J. Log. Comput. Klaus Ambos-Spies, Arnold Beckmann, Erzsébet Csuhaj-Varjú, Benedikt Löwe
2013	J	`jnl`	Computability in Europe 2011. Ann. Pure Appl. Log. Sam Buss, Benedikt Löwe, Dag Normann, Ivan N. Soskov
2013	B	`conf`	Computational and Cognitive Aspects of Narrative. CogSci Mark A. Finlayson, Bernhard Fisseni, Dedre Gentner, Richard Gerrig, Benedikt Löwe, Jeffrey Loewenstein, Inderjeet Mani, Jan Christoph Meister, Robert Michael Young
2013	—	`conf`	Moving Up and Down in the Generic Multiverse. ICLA Joel David Hamkins, Benedikt Löwe
2013	C	`ed.`	The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings CiE Paola Bonizzoni, Vasco Brattka, Benedikt Löwe
2012	J	`jnl`	Computability in Europe 2008. J. Log. Comput. Arnold Beckmann, Benedikt Löwe
2012	J	`jnl`	Computability in Europe 2009. Ann. Pure Appl. Log. Klaus Ambos-Spies, Arnold Beckmann, Samuel R. Buss, Benedikt Löwe
2012	J	`jnl`	Computability in Europe 2009. Theory Comput. Syst. Arnold Beckmann, Wolfgang Merkle, Benedikt Löwe
2012	J	`jnl`	Computability in Europe 2010. Ann. Pure Appl. Log. Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo
2012	—	`conf`	Computational models of narrative structure. DH Benedikt Löwe, Bernhard Fisseni, Carlos León, Rens Bod
2012	J	`jnl`	Editorial. Comput. Vasco Brattka, Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Elvira Mayordomo
2012	J	`jnl`	Fatal Heyting Algebras and Forcing Persistent Sentences. Stud Logica Leo Esakia, Benedikt Löwe
2012	C	`ed.`	How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings CiE S. Barry Cooper, Anuj Dawar, Benedikt Löwe
2012	J	`jnl`	Programs, Proofs, Processes. Theory Comput. Syst. Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo
2012	J	`jnl`	The axiom of real Blackwell determinacy. Arch. Math. Log. Daisuke Ikegami, David de Kloet, Benedikt Löwe
2011	—	`ed.`	Bringing together Philosophy and Sociology of Science, Papers of the conference "Foundations of the Formal Sciences VII", Brussels, Belgium, October 21-24, 2008. FotFS Karen Francois, Benedikt Löwe, Thomas Müller, Bart Van Kerkhove
2011	J	`jnl`	Computability in Europe 2008. Theory Comput. Syst. Arnold Beckmann, Benedikt Löwe
2011	—	`conf`	DEL Planning and Some Tractable Cases. LORI Benedikt Löwe, Eric Pacuit, Andreas Witzel
2011	J	`jnl`	Data and phenomena in conceptual modelling. Synth. Benedikt Löwe, Thomas Müller
2011	C	`ed.`	Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings CiE Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova
2011	B	`conf`	The synchronicity of dynamic epistemic logic. TARK Cédric Dégremont, Benedikt Löwe, Andreas Witzel
2010	—	`conf`	Comparing Formal Frameworks of Narrative Structure. AAAI Fall Symposium: Computational Models of Narrative Benedikt Löwe
2010	J	`jnl`	Computability in Europe 2008. Arch. Math. Log. Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe
2010	—	`ed.`	Logic and the Foundations of Game and Decision Theory - LOFT 8, 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers LOFT Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek
2010	C	`ed.`	Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings CiE Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes
2009	J	`jnl`	Foreword. Theor. Comput. Sci. Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
2009	—	`ed.`	Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers ILC Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe
2009	J	`jnl`	Logic and Computation in the Real World: CiE 2007. J. Log. Comput. S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
2009	C	`ed.`	Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings CiE Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle
2009	J	`jnl`	Preface. Ann. Pure Appl. Log. Samuel R. Buss, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
2008	J	`jnl`	An abstract approach to reasoning about games with mistaken and changing beliefs. Australas. J. Log. Benedikt Löwe, Eric Pacuit
2008	J	`jnl`	Computability in Europe 2006. Theory Comput. Syst. Arnold Beckmann, Benedikt Löwe
2008	J	`jnl`	From Gödel to Einstein: Computability between logic and physics at CiE 2006. Theor. Comput. Sci. Arnold Beckmann, Edwin J. Beggs, Benedikt Löwe
2008	C	`ed.`	Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings CiE Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe
2007	Misc	`conf`	Belief Flow in Assertion Networks. ICCS Sujata Ghosh, Benedikt Löwe, Erik Scorelle
2007	C	`ed.`	Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings CiE S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
2007	J	`jnl`	Computing and the natural sciences at CiE 2005. Theor. Comput. Sci. Thomas Bäck, Benedikt Löwe
2007	J	`jnl`	Logical Approaches to Computational Barriers: CiE 2006. J. Log. Comput. Arnold Beckmann, Benedikt Löwe, Dag Normann
2007	J	`jnl`	The Extent of Constructive Game Labellings. J. Log. Comput. Benedikt Löwe, Brian Semmes
2007	J	`jnl`	Theory of Computation at CiE 2005. Theory Comput. Syst. S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas
2006	J	`jnl`	A parametrised choice principle and Martin's conjecture on Blackwell determinacy. Math. Log. Q. Benedikt Löwe
2006	C	`ed.`	Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings CiE Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker
2006	J	`jnl`	Mathematics of computing at CiE 2005. Math. Struct. Comput. Sci. S. Barry Cooper, Benedikt Löwe, Dag Normann
2006	Misc	`conf`	Revision Forever! ICCS Benedikt Löwe
2006	J	`jnl`	Set Theory With and Without Urelements and Categories of Interpretations. Notre Dame J. Formal Log. Benedikt Löwe
2006	C	`conf`	Space Bounds for Infinitary Computation. CiE Benedikt Löwe
2005	J	`jnl`	A Global Wellordering of Norms Defined via Blackwell Games. Order Benedikt Löwe
2005	J	`jnl`	Cardinal spaces and topological representations of bimodal logics. Log. J. IGPL Benedikt Löwe, Darko Sarenac
2005	J	`jnl`	Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. Stud Logica Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch
2005	C	`ed.`	New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings CiE S. Barry Cooper, Benedikt Löwe, Leen Torenvliet
2004	—	`ed.`	Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference "Foundations of the Formal Sciences III", Wien, Asutria, September 21-24, 2001. FotFS Benedikt Löwe, Boris Piwinger, Thoralf Räsch
2002	J	`jnl`	Playing with mixed strategies on infinite sets. Int. J. Game Theory Benedikt Löwe
2002	J	`jnl`	The Formal Sciences: Their Scope, Their Foundations, and Their Unity. Synth. Benedikt Löwe
2001	—	`conf`	Complexity hierarchies derived from reduction functions. FotFS Benedikt Löwe
2001	J	`jnl`	Revision Sequences and Computers with an Infinite Amount of Time. J. Log. Comput. Benedikt Löwe
2001	J	`jnl`	Set-Theoretic Absoluteness and the Revision Theory of Truth. Stud Logica Benedikt Löwe, Philip D. Welch
2001	J	`jnl`	Turing cones and set theory of the reals. Arch. Math. Log. Benedikt Löwe
1999	J	`jnl`	Cofinalities of Linear Orders. Order Moti Gitik, Benedikt Löwe
1999	J	`jnl`	Solovay-Type Characterizations for Forcing-Algebras. J. Symb. Log. Jörg Brendle, Benedikt Löwe
1998	J	`jnl`	Uniform unfolding and analytic measurability. Arch. Math. Log. Benedikt Löwe