default search action
Bernhard Möller
Person information
- affiliation: University of Augsburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 1987
- [b3]Friedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper:
The Munich Project CIP, Volume II: The Program Transformation System CIP-S. Lecture Notes in Computer Science 292, Springer 1987, ISBN 3-540-18779-0 - 1985
- [b2]Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner:
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183, Springer 1985, ISBN 3-540-15187-7 - 1982
- [b1]Bernhard Möller:
Unendliche Objekte und Geflechte. Technical University Munich, Germany, 1982, pp. 1-159
Journal Articles
- 2020
- [j42]Walter Guttmann, Bernhard Möller:
A Hierarchy of Algebras for Boolean Subsets. Arch. Formal Proofs 2020 (2020) - 2019
- [j41]Bernhard Möller:
Geographic wayfinders and space-time algebra. J. Log. Algebraic Methods Program. 104: 274-302 (2019) - 2016
- [j40]Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu:
Developments in concurrent Kleene algebra. J. Log. Algebraic Methods Program. 85(4): 617-636 (2016) - [j39]Peter Höfner, Bernhard Möller:
Extended Feature Algebra. J. Log. Algebraic Methods Program. 85(5): 952-971 (2016) - 2015
- [j38]Han-Hing Dang, Bernhard Möller:
Modal algebra and Petri nets. Acta Informatica 52(2-3): 109-132 (2015) - [j37]Han-Hing Dang, Bernhard Möller:
Extended transitive separation logic. J. Log. Algebraic Methods Program. 84(3): 303-325 (2015) - [j36]Bernhard Möller, Patrick Roocks:
An algebra of database preferences. J. Log. Algebraic Methods Program. 84(3): 456-481 (2015) - 2014
- [j35]Rudolf Berghammer, Bernhard Möller, Michael Winter:
Preface. J. Log. Algebraic Methods Program. 83(2): 85-86 (2014) - [j34]Han-Hing Dang, Roland Glück
, Bernhard Möller, Patrick Roocks, Andreas Zelend:
Exploring modal worlds. J. Log. Algebraic Methods Program. 83(2): 135-153 (2014) - [j33]Jules Desharnais, Anastasiya Grinenko, Bernhard Möller:
Relational style laws and constructs of linear algebra. J. Log. Algebraic Methods Program. 83(2): 154-168 (2014) - [j32]Martin E. Müller, Bernhard Möller:
On nothing. J. Log. Algebraic Methods Program. 83(2): 309-317 (2014) - 2013
- [j31]Bernhard Möller:
Modal Knowledge and Game Semirings. Comput. J. 56(1): 53-69 (2013) - 2012
- [j30]Peter Höfner, Bernhard Möller:
Dijkstra, Floyd and Warshall meet Kleene. Formal Aspects Comput. 24(4-6): 459-476 (2012) - 2011
- [j29]Jules Desharnais, Bernhard Möller, Georg Struth:
Algebraic Notions of Termination. Log. Methods Comput. Sci. 7(1) (2011) - [j28]Peter Höfner, Ridha Khédri, Bernhard Möller:
Supplementing Product Families with Behaviour. Int. J. Softw. Informatics 5(1-2): 245-266 (2011) - [j27]Rudolf Berghammer, Ali Jaoua
Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. 80(6): 219-220 (2011) - [j26]Han-Hing Dang, Peter Höfner, Bernhard Möller:
Algebraic separation logic. J. Log. Algebraic Methods Program. 80(6): 221-247 (2011) - [j25]Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Concurrent Kleene Algebra and its Foundations. J. Log. Algebraic Methods Program. 80(6): 266-296 (2011) - [j24]Peter Höfner, Ridha Khédri, Bernhard Möller:
An algebra of product families. Softw. Syst. Model. 10(2): 161-182 (2011) - [j23]Peter Höfner, Bernhard Möller:
Fixing Zeno gaps. Theor. Comput. Sci. 412(28): 3303-3322 (2011) - 2010
- [j22]Walter Guttmann
Normal design algebra. J. Log. Algebraic Methods Program. 79(2): 144-173 (2010) - [j21]Rudolf Berghammer, Bernhard Möller, Georg Struth:
Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. 79(8): 705-706 (2010) - [j20]Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner:
An algebraic foundation for automatic feature-based program synthesis. Sci. Comput. Program. 75(11): 1022-1047 (2010) - 2009
- [j19]Peter Höfner, Bernhard Möller:
An algebra of hybrid systems. J. Log. Algebraic Methods Program. 78(2): 74-97 (2009) - 2008
- [j18]Peter Höfner, Bernhard Möller:
Algebraic Neighbourhood Logic. J. Log. Algebraic Methods Program. 76(1): 35-59 (2008) - 2007
- [j17]Bernhard Möller:
Kleene getting lazy. Sci. Comput. Program. 65(2): 195-214 (2007) - 2006
- [j16]Bernhard Möller:
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra. J. Log. Algebraic Methods Program. 66(2): 69-70 (2006) - [j15]Jules Desharnais, Bernhard Möller, Fairouz Tchier
Kleene under a modal demonic star. J. Log. Algebraic Methods Program. 66(2): 127-160 (2006) - [j14]Bernhard Möller, Georg Struth:
Algebras of modal operators and partial correctness. Theor. Comput. Sci. 351(2): 221-239 (2006) - [j13]Jules Desharnais, Bernhard Möller, Georg Struth:
Kleene algebra with domain. ACM Trans. Comput. Log. 7(4): 798-833 (2006) - 2005
- [j12]Jules Desharnais, Bernhard Möller:
Least Reflexive Points of Relations. High. Order Symb. Comput. 18(1-2): 51-77 (2005) - 2004
- [j11]Eerke A. Boiten, Bernhard Möller:
Foreword. Sci. Comput. Program. 51(1-2): 1-2 (2004) - 2001
- [j10]Jules Desharnais, Bernhard Möller:
Characterizing determinacy in Kleene algebras. Inf. Sci. 139(3-4): 253-273 (2001) - 1999
- [j9]Bernhard Möller:
Calculating with Acyclic and Cyclic Lists. Inf. Sci. 119(3-4): 135-154 (1999) - 1996
- [j8]Bernhard Möller:
Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction). Sci. Comput. Program. 26(1-3): 3 (1996) - 1994
- [j7]Bernhard Möller, Martin Russling:
Shorter Paths to Graph Algorithms. Sci. Comput. Program. 22(1-2): 157-180 (1994) - 1993
- [j6]Bernhard Möller:
Towards Pointer Algebra. Sci. Comput. Program. 21(1): 57-90 (1993) - 1989
- [j5]Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper:
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. IEEE Trans. Software Eng. 15(2): 165-180 (1989) - 1987
- [j4]Helmuth Partsch, Bernhard Möller:
Konstruktion korrekter Programme durch Transformation. Inform. Spektrum 10(6): 309-323 (1987) - 1986
- [j3]Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing:
Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. 7(1): 35-53 (1986) - 1985
- [j2]Bernhard Möller:
On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types. Acta Informatica 22(5): 537-578 (1985) - 1981
- [j1]Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner:
Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1(1-2): 73-114 (1981)
Conference and Workshop Papers
- 2021
- [c72]Bernhard Möller, Peter W. O'Hearn, Tony Hoare:
On Algebra of Program Correctness and Incorrectness. RAMiCS 2021: 325-343 - 2020
- [c71]Jules Desharnais, Bernhard Möller:
The θ-Join as a Join with θ. RAMiCS 2020: 47-64 - [c70]Walter Guttmann, Bernhard Möller:
A Hierarchy of Algebras for Boolean Subsets. RAMiCS 2020: 152-168 - 2018
- [c69]Jessica Ertel, Roland Glück
Algebraic Derivation of Until Rules and Application to Timer Verification. RAMiCS 2018: 244-262 - 2017
- [c68]Jules Desharnais, Bernhard Möller:
Non-associative Kleene Algebra and Temporal Logics. RAMiCS 2017: 93-108 - 2016
- [c67]Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth:
A Discrete Geometric Model of Concurrent Program Execution. UTP 2016: 1-25 - 2015
- [c66]Bernhard Möller:
Towards Antichain Algebra. RAMiCS 2015: 344-361 - [c65]Don S. Batory, Peter Höfner, Dominik Köppl
Structured Document Algebra in Action. Software, Services, and Systems 2015: 291-311 - [c64]Bernhard Möller, Tony Hoare:
Exploring an Interface Model for CKA. MPC 2015: 1-29 - 2014
- [c63]Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard
Developments in Concurrent Kleene Algebra. RAMiCS 2014: 1-18 - [c62]Jules Desharnais, Bernhard Möller:
Fuzzifying Modal Algebra. RAMiCS 2014: 395-411 - 2013
- [c61]Don S. Batory, Peter Höfner, Bernhard Möller, Andreas Zelend:
Features, modularity, and variation points. FOSD 2013: 9-16 - 2012
- [c60]Han-Hing Dang, Bernhard Möller:
Transitive Separation Logic. RAMiCS 2012: 1-16 - [c59]Peter Höfner, Bernhard Möller, Andreas Zelend:
Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. RAMiCS 2012: 33-49 - [c58]Bernhard Möller, Patrick Roocks:
An Algebra of Layered Complex Preferences. RAMiCS 2012: 294-309 - [c57]Han-Hing Dang, Bernhard Möller:
Reverse Exchange for Concurrency and Local Reasoning. MPC 2012: 177-197 - [c56]Bernhard Möller, Patrick Roocks, Markus Endres
An Algebraic Calculus of Database Preferences. MPC 2012: 241-262 - 2011
- [c55]Bernhard Möller:
Building Structured Theories - (Invited Paper). RAMiCS 2011: 1-21 - [c54]Han-Hing Dang, Bernhard Möller:
Simplifying Pointer Kleene Algebra. ATE 2011: 20-29 - [c53]C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth:
On Locality and the Exchange Law for Concurrent Processes. CONCUR 2011: 250-264 - 2010
- [c52]Roland Glück
Model Refinement Using Bisimulation Quotients. AMAST 2010: 76-91 - 2009
- [c51]Han-Hing Dang, Peter Höfner, Bernhard Möller:
Towards Algebraic Separation Logic. RelMiCS 2009: 59-72 - [c50]Roland Glück
A Semiring Approach to Equivalences, Bisimulations and Control. RelMiCS 2009: 134-149 - [c49]C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Foundations of Concurrent Kleene Algebra. RelMiCS 2009: 166-186 - [c48]C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Concurrent Kleene Algebra. CONCUR 2009: 399-414 - [c47]Peter Höfner, Bernhard Möller:
An extension for feature algebra. FOSD 2009: 75-80 - 2008
- [c46]Bernhard Möller:
Knowledge and Games in Modal Semirings. RelMiCS 2008: 320-336 - [c45]Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner:
An Algebra for Features and Feature Composition. AMAST 2008: 36-50 - [c44]Roland Glück
Circulations, Fuzzy Relations and Semirings. MPC 2008: 134-152 - [c43]Peter Höfner, Ridha Khédri, Bernhard Möller:
Algebraic View Reconciliation. SEFM 2008: 85-94 - 2006
- [c42]Peter Höfner, Bernhard Möller:
Lazy Semiring Neighbours and Some Applications. RelMiCS 2006: 207-221 - [c41]Peter Höfner, Bernhard Möller, Kim Solin:
Omega Algebra, Demonic Refinement Algebra and Commands. RelMiCS 2006: 222-234 - [c40]Bernhard Möller, Peter Höfner, Georg Struth:
Quantales and Temporal Logics. AMAST 2006: 263-277 - [c39]Peter Höfner, Ridha Khédri, Bernhard Möller:
Feature Algebra. FM 2006: 300-315 - [c38]Bernhard Möller:
The Linear Algebra of UTP. MPC 2006: 338-358 - [c37]Walter Guttmann
Modal Design Algebra. UTP 2006: 236-256 - 2005
- [c36]Peter Höfner, Bernhard Möller:
Towards an Algebra of Hybrid Systems. RelMiCS 2005: 121-133 - [c35]Bernhard Möller, Georg Struth:
p Is. RelMiCS 2005: 200-211 - 2004
- [c34]Bernhard Möller, Georg Struth:
Modal Kleene Algebra and Partial Correctness. AMAST 2004: 379-393 - [c33]Jules Desharnais, Bernhard Möller, Georg Struth:
Termination in Modal Kleene Algebra. IFIP TCS 2004: 647-660 - [c32]Bernhard Möller:
Lazy Kleene Algebra. MPC 2004: 252-273 - 2003
- [c31]Thorsten Ehm, Bernhard Möller, Georg Struth:
Kleene Modules. RelMiCS 2003: 112-124 - [c30]Bernhard Möller, Georg Struth:
Greedy-Like Algorithms in Modal Kleene Algebra. RelMiCS 2003: 202-215 - 2000
- [c29]Jules Desharnais, Bernhard Möller:
Characterizing Functions in Kleene Algebras. RelMiCS 2000: 55-64 - [c28]Jules Desharnais, Bernhard Möller, Fairouz Tchier
Kleene under a Demonic Star. AMAST 2000: 355-370 - 1998
- [c27]Bernhard Möller:
Modal and temporal operators on partial orders. RelMiCS 1998: 165-169 - [c26]Thomas Brunn, Bernhard Möller, Martin Russling:
Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach. MPC 1998: 96-121 - [c25]Bernhard Möller:
Idel Stream Algebra. Prospects for Hardware Foundations 1998: 69-116 - [c24]Bernhard Möller:
Deductive Hardware Design: A Functional Approach. Prospects for Hardware Foundations 1998: 421-468 - 1997
- [c23]Bernhard Möller:
Calculating With Pointer Structures (Extended Abstract). RelMiCS 1997: 113-122 - [c22]Bernhard Möller:
Calculating with pointer structures. Algorithmic Languages and Calculi 1997: 24-48 - 1996
- [c21]Walter Dosch, Bernhard Möller:
Calculating a Functional Module for Binary Search Trees. Implementation of Functional Languages 1996: 267-284 - 1995
- [c20]Bernhard Möller:
Assertions and Recursions. HOA 1995: 163-184 - 1994
- [c19]Bernhard Möller:
Ideal Streams. PROCOMET 1994: 39-58 - 1993
- [c18]Bernhard Möller:
Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper). Formal Methods in Programming and Their Applications 1993: 394-413 - [c17]Bernhard Möller:
Ordered and Continuous Models of Higher-Order Specifications. HOA 1993: 223-255 - [c16]Bernhard Möller, Helmuth Partsch, Stephen A. Schuman:
Introduction. Formal Program Development 1993: 1-6 - [c15]Bernhard Möller:
Derivation of Graph and Pointer Algorithms. Formal Program Development 1993: 123-160 - 1992
- [c14]Bernhard Möller, Martin Russling:
Shorter Paths to Graph Algorithms. MPC 1992: 250-268 - 1991
- [c13]Ulrich Berger
Calculating a Garbage Collector. Methods of Programming 1991: 137-192 - 1990
- [c12]Bernhard Möller:
Systematic Derivation of Pointer Algorithms. GI Jahrestagung (2) 1990: 537-547 - [c11]Rudolf Berghammer, Herbert Ehler, Bernhard Möller:
On the Refinement of Non-Deterministic Recursive Routines by Transformations. Programming Concepts and Methods 1990: 53-72 - 1989
- [c10]Bernhard Möller:
Applicative Assertions. MPC 1989: 348-362 - 1988
- [c9]Bernhard Möller, Andrzej Tarlecki
Algebraic Specification with Built-in Domain Constructions. CAAP 1988: 132-148 - 1987
- [c8]Bernhard Möller, Andrzej Tarlecki
Algebraic Specifications of Reachable Higher-Order Algebras. ADT 1987: 154-169 - 1986
- [c7]Bernhard Möller:
Algebraic Specifications with Higher-Order Operations. ADT 1986 - 1984
- [c6]Bernhard Möller, Walter Dosch:
On the Algebraic Specification of Domains. ADT 1984: 178-195 - [c5]Walter Dosch, Bernhard Möller:
Busy and Lazy FP with Infinite Objects. LISP and Functional Programming 1984: 282-292 - 1983
- [c4]Bernhard Möller:
Ordered and Continuous Models of Algebraic Types. ADT 1983 - [c3]Walter Dosch, Bernhard Möller:
An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects. GI Jahrestagung 1983: 67-85 - [c2]Bernhard Möller:
An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language. ICALP 1983: 513-526 - 1981
- [c1]Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing:
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). GI Jahrestagung 1981: 109-121
Parts in Books or Collections
- 2021
- [p1]Richard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers
Algorithmics. IFIP's Exciting First 60+ Years 2021: 59-98
Editorship
- 2009
- [e9]Rudolf Berghammer, Ali Jaoua, Bernhard Möller:
Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings. Lecture Notes in Computer Science 5827, Springer 2009, ISBN 978-3-642-04638-4 [contents] - 2008
- [e8]Rudolf Berghammer, Bernhard Möller, Georg Struth:
Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings. Lecture Notes in Computer Science 4988, Springer 2008, ISBN 978-3-540-78912-3 [contents] - 2004
- [e7]Rudolf Berghammer, Bernhard Möller, Georg Struth:
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers. Lecture Notes in Computer Science 3051, Springer 2004, ISBN 3-540-22145-X [contents] - 2002
- [e6]Eerke A. Boiten
Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings. Lecture Notes in Computer Science 2386, Springer 2002, ISBN 3-540-43857-2 [contents] - 1998
- [e5]Bernhard Möller, John V. Tucker:
Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey Chapters. Lecture Notes in Computer Science 1546, Springer 1998, ISBN 3-540-65461-5 [contents] - 1996
- [e4]Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller:
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers. Lecture Notes in Computer Science 1074, Springer 1996, ISBN 3-540-61254-8 [contents] - 1995
- [e3]Bernhard Möller:
Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings. Lecture Notes in Computer Science 947, Springer 1995, ISBN 3-540-60117-1 [contents] - 1994
- [e2]Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow:
Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers. Lecture Notes in Computer Science 816, Springer 1994, ISBN 3-540-58233-9 [contents] - 1993
- [e1]Bernhard Möller, Helmuth Partsch, Stephen A. Schuman:
Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. Lecture Notes in Computer Science 755, Springer 1993, ISBN 3-540-57499-9 [contents]
Informal and Other Publications
- 2022
- [i2]Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong:
Geometric Theory for Program Testing. CoRR abs/2206.02083 (2022) - 2003
- [i1]Jules Desharnais, Bernhard Möller, Georg Struth:
Kleene algebra with domain. CoRR cs.LO/0310054 (2003)
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-05-08 21:49 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: