Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBenedikt Löwe
Person information
- affiliation: University of Hamburg, Germany
- affiliation (former): University of Amsterdam, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
[j51]Lorenzo Galeotti, Benedikt Löwe:
Order Types of Models of Fragments of Peano Arithmetic. Bull. Symb. Log. 28(2): 182-206 (2022)- 2021
- [j50]Benedikt Löwe, Ursula Martin
, Alison Pease:
Enabling mathematical cultures: introduction. Synth. 198(26): 6225-6231 (2021) - 2018
- [j49]Alexander C. Block, Benedikt Löwe:
A multiplication operation for the hierarchy of norms. Ann. Pure Appl. Log. 169(7): 656-673 (2018) - [j48]Benedikt Löwe:
Preface to the special issue in memory of S. Barry Cooper (1943-2015). Comput. 7(2-3): 101 (2018) - [j47]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:
S. Barry Cooper (1943-2015). Comput. 7(2-3): 103-131 (2018) - 2016
- [j46]Benedikt Löwe:
Barry Cooper (1943-2015): The engine of Computability in Europe. Comput. 5(1): 3-11 (2016) - [j45]Tanmay Inamdar, Benedikt Löwe:
The Modal Logic of Inner Models. J. Symb. Log. 81(1): 225-236 (2016) - [j44]Yurii Khomskii, Giorgio Laguzzi, Benedikt Löwe, Ilya Sharankou:
Questions on generalised Baire spaces. Math. Log. Q. 62(4-5): 439-456 (2016) - [j43]Luca Incurvati, Benedikt Löwe:
Restrictiveness Relative to Notions of Interpretation. Rev. Symb. Log. 9(2): 238-250 (2016) - 2015
- [j42]Alessandra Carbone, Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo:
Computability in Europe 2010. J. Log. Comput. 25(4): 983-985 (2015) - [j41]Benedikt Löwe, Sourav Tarafder:
Generalized Algebra-Valued Models of Set Theory. Rev. Symb. Log. 8(1): 192-205 (2015) - [j40]Brendan P. Larvor, Benedikt Löwe, Dirk Schlimm:
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. 192(8): 2339-2344 (2015) - 2014
- [j39]S. Barry Cooper, Anuj Dawar, Martin Hyland, Benedikt Löwe:
Turing Centenary Conference: How the World Computes. Ann. Pure Appl. Log. 165(9): 1353-1354 (2014) - [j38]Bernhard Fisseni, Aadil Kurji, Benedikt Löwe:
Annotating with Propp's Morphology of the Folktale: reproducibility and trainability. Lit. Linguistic Comput. 29(4): 488-510 (2014) - 2013
- [j37]Sam Buss, Benedikt Löwe, Dag Normann, Ivan N. Soskov:
Computability in Europe 2011. Ann. Pure Appl. Log. 164(5): 509-510 (2013) - [j36]Steve Jackson, Benedikt Löwe:
Canonical measure assignments. J. Symb. Log. 78(2): 403-424 (2013) - [j35]Klaus Ambos-Spies, Arnold Beckmann, Erzsébet Csuhaj-Varjú, Benedikt Löwe:
Computability in Europe 2009. J. Log. Comput. 23(4): 727-728 (2013) - 2012
- [j34]Daisuke Ikegami, David de Kloet, Benedikt Löwe:
The axiom of real Blackwell determinacy. Arch. Math. Log. 51(7-8): 671-685 (2012) - [j33]Klaus Ambos-Spies, Arnold Beckmann, Samuel R. Buss, Benedikt Löwe:
Computability in Europe 2009. Ann. Pure Appl. Log. 163(5): 483-484 (2012) - [j32]Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo:
Computability in Europe 2010. Ann. Pure Appl. Log. 163(6): 621-622 (2012) - [j31]Vasco Brattka, Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Elvira Mayordomo:
Editorial. Comput. 1(1): 1-2 (2012) - [j30]Arnold Beckmann, Benedikt Löwe:
Computability in Europe 2008. J. Log. Comput. 22(2): 163-164 (2012) - [j29]Arnold Beckmann, Wolfgang Merkle, Benedikt Löwe:
Computability in Europe 2009. Theory Comput. Syst. 51(1): 1-3 (2012) - [j28]Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo:
Programs, Proofs, Processes. Theory Comput. Syst. 51(3): 267-269 (2012) - [j27]Leo Esakia, Benedikt Löwe:
Fatal Heyting Algebras and Forcing Persistent Sentences. Stud Logica 100(1-2): 163-173 (2012) - 2011
- [j26]Arnold Beckmann, Benedikt Löwe:
Computability in Europe 2008. Theory Comput. Syst. 48(3): 614-616 (2011) - [j25]Benedikt Löwe, Thomas Müller:
Data and phenomena in conceptual modelling. Synth. 182(1): 131-148 (2011) - 2010
- [j24]Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe:
Computability in Europe 2008. Arch. Math. Log. 49(2): 119-121 (2010) - 2009
- [j23]Samuel R. Buss, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi:
Preface. Ann. Pure Appl. Log. 160(3): 229-230 (2009) - [j22]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) - [j21]Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi:
Foreword. Theor. Comput. Sci. 410(4-5): 283-284 (2009) - 2008
- [j20]Arnold Beckmann, Benedikt Löwe:
Computability in Europe 2006. Theory Comput. Syst. 43(3-4): 295-297 (2008) - [j19]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
- [j18]Benedikt Löwe, Brian Semmes:
The Extent of Constructive Game Labellings. J. Log. Comput. 17(2): 285-298 (2007) - [j17]Arnold Beckmann, Benedikt Löwe, Dag Normann:
Logical Approaches to Computational Barriers: CiE 2006. J. Log. Comput. 17(6): 1021-1023 (2007) - [j16]S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas:
Theory of Computation at CiE 2005. Theory Comput. Syst. 41(1): 1-2 (2007) - [j15]Thomas Bäck, Benedikt Löwe:
Computing and the natural sciences at CiE 2005. Theor. Comput. Sci. 371(1-2): 1-3 (2007) - 2006
- [j14]Benedikt Löwe:
A parametrised choice principle and Martin's conjecture on Blackwell determinacy. Math. Log. Q. 52(2): 187-189 (2006) - [j13]S. Barry Cooper, Benedikt Löwe, Dag Normann:
Mathematics of computing at CiE 2005. Math. Struct. Comput. Sci. 16(5): 735-736 (2006) - [j12]Benedikt Löwe:
Set Theory With and Without Urelements and Categories of Interpretations. Notre Dame J. Formal Log. 47(1): 83-91 (2006) - 2005
- [j11]Benedikt Löwe, Darko Sarenac:
Cardinal spaces and topological representations of bimodal logics. Log. J. IGPL 13(3): 301-306 (2005) - [j10]Benedikt Löwe:
A Global Wellordering of Norms Defined via Blackwell Games. Order 22(2): 85-92 (2005) - [j9]Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch:
Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. Stud Logica 81(1): 79-98 (2005) - 2002
- [j8]Benedikt Löwe:
Playing with mixed strategies on infinite sets. Int. J. Game Theory 31(1): 137-150 (2002) - [j7]Benedikt Löwe:
The Formal Sciences: Their Scope, Their Foundations, and Their Unity. Synth. 133(1-2): 5-11 (2002) - 2001
- [j6]Benedikt Löwe:
Turing cones and set theory of the reals. Arch. Math. Log. 40(8): 651-664 (2001) - [j5]Benedikt Löwe:
Revision Sequences and Computers with an Infinite Amount of Time. J. Log. Comput. 11(1): 25-40 (2001) - [j4]Benedikt Löwe, Philip D. Welch:
Set-Theoretic Absoluteness and the Revision Theory of Truth. Stud Logica 68(1): 21-41 (2001) - 1999
- [j3]Jörg Brendle, Benedikt Löwe:
Solovay-Type Characterizations for Forcing-Algebras. J. Symb. Log. 64(3): 1307-1323 (1999) - [j2]Moti Gitik, Benedikt Löwe:
Cofinalities of Linear Orders. Order 16(2): 105-111 (1999) - 1998
- [j1]Benedikt Löwe:
Uniform unfolding and analytic measurability. Arch. Math. Log. 37(8): 505-520 (1998)
Conference and Workshop Papers
- 2023
- [c13]Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe:
Symmetry for Transfinite Computability. CiE 2023: 65-76 - 2017
- [c12]Merlin Carl, Benedikt Löwe, Benjamin G. Rin:
Koepke Machines and Satisfiability for Infinitary Propositional Languages. CiE 2017: 187-197 - 2014
- [c11]Bernhard Fisseni, Benedikt Löwe:
What Makes Stories Similar? Report on a Research Project, 2011-2014 (Invited Report). CMN 2014: 9-12 - 2013
- [c10]Mark A. Finlayson, Bernhard Fisseni, Dedre Gentner, Richard Gerrig, Benedikt Löwe, Jeffrey Loewenstein, Inderjeet Mani, Jan Christoph Meister, Robert Michael Young:
Computational and Cognitive Aspects of Narrative. CogSci 2013 - [c9]Joel David Hamkins, Benedikt Löwe:
Moving Up and Down in the Generic Multiverse. ICLA 2013: 139-147 - 2012
- [c8]Benedikt Löwe, Bernhard Fisseni, Carlos León, Rens Bod:
Computational models of narrative structure. DH 2012: 57-60 - 2011
- [c7]Benedikt Löwe, Eric Pacuit, Andreas Witzel:
DEL Planning and Some Tractable Cases. LORI 2011: 179-192 - [c6]Cédric Dégremont, Benedikt Löwe, Andreas Witzel:
The synchronicity of dynamic epistemic logic. TARK 2011: 145-152 - 2010
- [c5]Benedikt Löwe:
Comparing Formal Frameworks of Narrative Structure. AAAI Fall Symposium: Computational Models of Narrative 2010 - 2007
- [c4]Sujata Ghosh, Benedikt Löwe, Erik Scorelle:
Belief Flow in Assertion Networks. ICCS 2007: 401-414 - 2006
- [c3]Benedikt Löwe:
Space Bounds for Infinitary Computation. CiE 2006: 319-329 - [c2]Benedikt Löwe:
Revision Forever! ICCS 2006: 22-36 - 2001
- [c1]Benedikt Löwe:
Complexity hierarchies derived from reduction functions. FotFS 2001: 1-14
Editorship
- 2014
- [e15]Benedikt Löwe, Glynn Winskel:
Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012. EPTCS 143, 2014 [contents] - 2013
- [e14]Paola Bonizzoni, Vasco Brattka, Benedikt Löwe:
The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings. Lecture Notes in Computer Science 7921, Springer 2013, ISBN 978-3-642-39052-4 [contents] - [e13]Mark A. Finlayson, Bernhard Fisseni, Benedikt Löwe, Jan Christoph Meister:
2013 Workshop on Computational Models of Narrative, CMN 2013, August 4-6, 2013, Hamburg, Germany. OASIcs 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-57-6 [contents] - 2012
- [e12]S. Barry Cooper, Anuj Dawar, Benedikt Löwe:
How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings. Lecture Notes in Computer Science 7318, Springer 2012, ISBN 978-3-642-30869-7 [contents] - 2011
- [e11]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. Lecture Notes in Computer Science 6735, Springer 2011, ISBN 978-3-642-21874-3 [contents] - [e10]Karen Francois, Benedikt Löwe, Thomas Müller, Bart Van Kerkhove:
Bringing together Philosophy and Sociology of Science, Papers of the conference "Foundations of the Formal Sciences VII", Brussels, Belgium, October 21-24, 2008. Studies in Logic 32, College Publications 2011, ISBN 978-1-84890-049-3 [contents] - 2010
- [e9]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. Lecture Notes in Computer Science 6158, Springer 2010, ISBN 978-3-642-13961-1 [contents] - [e8]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. Lecture Notes in Computer Science 6006, Springer 2010, ISBN 978-3-642-15163-7 [contents] - 2009
- [e7]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. Lecture Notes in Computer Science 5635, Springer 2009, ISBN 978-3-642-03072-7 [contents] - [e6]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. Lecture Notes in Computer Science 5489, Springer 2009, ISBN 978-3-642-03091-8 [contents] - 2008
- [e5]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. Lecture Notes in Computer Science 5028, Springer 2008, ISBN 978-3-540-69405-2 [contents] - 2007
- [e4]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. Lecture Notes in Computer Science 4497, Springer 2007, ISBN 978-3-540-73000-2 [contents] - 2006
- [e3]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. Lecture Notes in Computer Science 3988, Springer 2006, ISBN 3-540-35466-2 [contents] - 2005
- [e2]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. Lecture Notes in Computer Science 3526, Springer 2005, ISBN 3-540-26179-6 [contents] - 2004
- [e1]Benedikt Löwe, Boris Piwinger, Thoralf Räsch:
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. Trends in Logic 23, Springer 2004, ISBN 978-1-4020-2775-8 [contents]
Informal and Other Publications
- 2014
- [i1]Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel:
Planning with epistemic goals (Dagstuhl Seminar 14032). Dagstuhl Reports 4(1): 83-103 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-17 20:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
