default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoseph A. Goguen
Person information
- affiliation: University of California, San Diego, USA
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[i2]Joseph A. Goguen:
Theorem Proving and Algebra. CoRR abs/2101.02690 (2021)
2010 – 2019
- 2010
- [p8]Joseph A. Goguen, D. Fox Harrell:
Style: A Computational and Conceptual Blending-Based Approach. The Structure of Style 2010: 291-316
2000 – 2009
- 2009
- [j46]Guija Choe, Young-Kwang Nam, Joseph A. Goguen, Guilian Wang:
Query generation for retrieving data from distributed semistructured documents using a metadata interface. Comput. Lang. Syst. Struct. 35(4): 422-434 (2009) - 2007
- [j45]Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder:
An Institutional View on Categorical Logic. Int. J. Softw. Informatics 1(1): 129-152 (2007) - 2006
- [c80]Guija Choe, Young-Kwang Nam, Joseph A. Goguen, Guilian Wang:
Information Retrieval from Distributed Semistructured Documents Using Metadata Interface. KDXD 2006: 54-63 - 2005
- [j44]Joseph A. Goguen:
Data, Schema, Ontology and Logic Integration. Log. J. IGPL 13(6): 685-715 (2005) - [c79]Joseph A. Goguen, Kai Lin:
Specifying, Programming and Verifying with Equational Logic. We Will Show Them! (2) 2005: 1-38 - [c78]Joseph A. Goguen:
What Is a Concept? ICCS 2005: 52-77 - [c77]Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata:
Verifying Design with Proof Scores. VSTTE 2005: 277-290 - [i1]Joseph A. Goguen:
Three Perspectives on Information Integration. Semantic Interoperability and Integration 2005 - 2004
- [c76]Joseph A. Goguen, D. Fox Harrell:
Style as a Choice of Blending Principles. AAAI Technical Report (7) 2004: 49-56 - [c75]Guilian Wang, Joseph A. Goguen, Young-Kwang Nam, Kai Lin:
Critical Points for Interactive Schema Matching. APWeb 2004: 654-664 - [c74]Joseph A. Goguen, Grigore Rosu:
Composing Hidden Information Modules over Inclusive Institutions. Essays in Memory of Ole-Johan Dahl 2004: 96-123 - 2003
- [c73]Young-Kwang Nam, Joseph A. Goguen, Guilian Wang:
A Metadata Tool for Retrieval from Heterogeneous Distributed XML Documents. International Conference on Computational Science 2003: 1020-1029 - [c72]Joseph A. Goguen, Kai Lin:
Behavioral Verification of Distributed Concurrent Systems with BOBJ. QSIC 2003: 216- - 2002
- [j43]Joseph A. Goguen, Grigore Rosu
:
Institution Morphisms. Formal Aspects Comput. 13(3-5): 274-307 (2002) - [j42]Joseph A. Goguen, Grant Malcolm, Tom Kemp:
A hidden Herbrand theorem: combining the object and logic paradigms. J. Log. Algebraic Methods Program. 51(1): 1-41 (2002) - [c71]Young-Kwang Nam, Joseph A. Goguen, Guilian Wang:
A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases. OTM 2002: 1332-1344 - [c70]Ryoko Amadee Goguen, Joseph A. Goguen:
Zero, Connected, Empty. WADT 2002: 118-126 - [c69]Joseph A. Goguen, Ryoko Amadee Goguen:
Zero, Connected, Empty: An Essay after a Cantata. WADT 2002: 127-128 - [c68]Joseph A. Goguen, Kai Lin, Grigore Rosu:
Conditional Circular Coinductive Rewriting with Case Analysis. WADT 2002: 216-232 - 2001
- [j41]Joseph A. Goguen, Kai Lin:
Web-Based Support for Cooperative Software Engineering. Ann. Softw. Eng. 12(1): 167-191 (2001) - 2000
- [j40]Grigore Rosu, Joseph A. Goguen:
On Equational Craig Interpolation. J. Univers. Comput. Sci. 6(1): 194-200 (2000) - [j39]Joseph A. Goguen:
Hidden algebra and concurrent distributed software. ACM SIGSOFT Softw. Eng. Notes 25(1): 51-52 (2000) - [j38]Joseph A. Goguen, Grant Malcolm:
A hidden agenda. Theor. Comput. Sci. 245(1): 55-101 (2000) - [c67]Joseph A. Goguen, Kai Lin, Grigore Rosu:
Circular Coinductive Rewriting. ASE 2000: 123-132 - [c66]Joseph A. Goguen, Kai Lin:
Web-based Multimedia Support for Distributed Cooperative Software Engineering. ISMSE 2000: 25-32 - [c65]Joseph A. Goguen, Kai Lin, Grigore Rosu:
Behavioral and Coinductive Rewriting. WRLA 2000: 2-23
1990 – 1999
- 1999
- [j37]Joseph A. Goguen:
Social and Semiotic Analyses for Theorem Prover User Interface Design 1. Formal Aspects Comput. 11(3): 272-301 (1999) - [j36]Joseph A. Goguen, Grant Malcolm:
Hidden coinduction: behavioural correctness proofs for objects. Math. Struct. Comput. Sci. 9(3): 287-319 (1999) - [c64]Joseph A. Goguen, Grigore Rosu:
Hiding More of Hidden Algebra. World Congress on Formal Methods 1999: 1704-1719 - [c63]Joseph A. Goguen, Grigore Rosu:
A protocol for distributed cooperative work. WDS@FCT 1999: 3 - [p7]Grant Malcolm, Joseph A. Goguen:
Signs and Representations: Semiotics for User Interface Design. Visual Representations and Interpretations 1999: 163-172 - 1998
- [c62]Grigore Rosu, Joseph A. Goguen:
Hidden Congruent Deduction. FTP (LNCS Selection) 1998: 251-266 - [c61]Joseph A. Goguen, Grant Malcolm, Tom Kemp:
A Hidden Herbrand Theorem. PLILP/ALP 1998: 445-462 - 1997
- [j35]Luqi, Joseph A. Goguen:
Formal Methods: Promises And Problems. IEEE Softw. 14(1): 73-85 (1997) - [c60]Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato:
Distributed Cooperative Formal Methods Tools. ASE 1997: 55-62 - 1996
- [b1]Joseph A. Goguen, Grant Malcolm:
Algebraic semantics of imperative programs. Foundations of computing series, MIT Press 1996, ISBN 978-0-262-07172-7, pp. I-VII, 1-228 - [j34]Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins:
Software Component Search. J. Syst. Integr. 6(1/2): 93-134 (1996) - [j33]Francisco A. C. Pinheiro, Joseph A. Goguen:
An Object-Oriented Tool for Tracing Requirements. IEEE Softw. 13(2): 52-64 (1996) - [c59]Joseph A. Goguen:
Formality and Informality in Requirements Engineering. ICRE 1996: 102-109 - [c58]Francisco A. C. Pinheiro, Joseph A. Goguen:
An Object-Oriented Tool for Tracing Requirements. ICRE 1996: 219-220 - [c57]Joseph A. Goguen:
Parameterized programming and software architecture. ICSR 1996: 2-10 - 1995
- [j32]Joseph A. Goguen, Adolfo Socorro:
Module Composition and System Design for the Object Paradigm. J. Object Oriented Program. 7(9): 47-55 (1995) - [c56]Joseph A. Goguen, Razvan Diaconescu:
An Introduction to Category-based Equational Logic. AMAST 1995: 91-126 - [c55]José Barros, Joseph A. Goguen:
Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. CSL 1995: 16-35 - [c54]Joseph A. Goguen, Luqi:
Formal Methods and Social Context in Software Development. TAPSOFT 1995: 62-81 - 1994
- [j31]Joseph A. Goguen, Razvan Diaconescu:
An Oxford Survey of Order Sorted Algebra. Math. Struct. Comput. Sci. 4(3): 363-392 (1994) - [c53]Lutz H. Hamel, Joseph A. Goguen:
Towards a Provably Correct Compiler for OBJ3. PLILP 1994: 132-146 - [c52]Luqi, Joseph A. Goguen:
Suggestions for progress in software analysis, synthesis and certification. SEKE 1994: 501-507 - 1993
- [j30]José Meseguer, Joseph A. Goguen:
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems. Inf. Comput. 103(1): 114-158 (1993) - [c51]Joseph A. Goguen, Charlotte Linde:
Techniques for requirements elicitation. RE 1993: 152-164 - [c50]Joseph A. Goguen:
Social issues in requirements engineering. RE 1993: 194-195 - [c49]Joseph A. Goguen:
Keynote: On Notation. TOOLS (10) 1993: 5-10 - [p6]Joseph A. Goguen:
Introduction. Formal Methods in Systems Engineering 1993: 1-10 - [p5]Joseph A. Goguen:
Memories of ADJ. Current Trends in Theoretical Computer Science 1993: 76-81 - [p4]Joseph A. Goguen, Razvan Diaconescu:
A Short Oxford Survey of Order Sorted Algebra. Current Trends in Theoretical Computer Science 1993: 209-222 - 1992
- [j29]Joseph A. Goguen, Razvan Diaconescu:
A short Oxford survey of order sorted algebra.. Bull. EATCS 48: 121-133 (1992) - [j28]Joseph A. Goguen, Rod M. Burstall:
Institutions: Abstract Model Theory for Specification and Programming. J. ACM 39(1): 95-146 (1992) - [j27]Joseph A. Goguen:
Sheaf Semantics for Concurrent Interacting Objects. Math. Struct. Comput. Sci. 2(2): 159-191 (1992) - [j26]Lawrence S. Moss, José Meseguer, Joseph A. Goguen:
Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theor. Comput. Sci. 100(2): 267-302 (1992) - [j25]Joseph A. Goguen, José Meseguer:
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theor. Comput. Sci. 105(2): 217-273 (1992) - [c48]Joseph A. Goguen, Razvan Diaconescu:
Towards an Algebraic Semantics for the Object Paradigm. COMPASS/ADT 1992: 1-29 - [c47]Joseph A. Goguen:
The Dry and the Wet. ISCO 1992: 1-17 - [c46]Victoria Stavridou, Joseph A. Goguen, Andrew Stevens, Steven M. Eker, Serge N. Aloneftis, Keith Michael Hobley:
FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. TPCD 1992: 197-223 - [p3]Antonio J. Alencar, Joseph A. Goguen:
OOZE. Object Orientation in Z 1992: 79-94 - 1991
- [j24]Joseph A. Goguen:
A Categorical Manifesto. Math. Struct. Comput. Sci. 1(1): 49-67 (1991) - [j23]Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen:
Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories. Theor. Comput. Sci. 91(2): 239-264 (1991) - [c45]Antonio J. Alencar, Joseph A. Goguen:
OOZE: An Object Oriented Z Environment. ECOOP 1991: 180-199 - [c44]David A. Wolfram, Joseph A. Goguen:
A Sheaf Semantics for FOOPS Expressions. Object-Based Concurrent Computing 1991: 81-98 - 1990
- [c43]Joseph A. Goguen:
Proving and Rewriting. ALP 1990: 1-24 - [c42]Hitoshi Aida, Joseph A. Goguen, José Meseguer:
Compiling Concurrent Rewriting onto the Rewrite Rule Machine. CTRS 1990: 320-332 - [c41]Joseph A. Goguen, David A. Wolfram:
On Types and FOOPS. DS-4 1990: 1-22 - [c40]Joseph A. Goguen:
An Algebraic Approach to Refinement. VDM Europe 1990: 12-28 - [c39]Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas:
A Categorial Theory of Objects as Observed Processes. REX Workshop 1990: 203-228
1980 – 1989
- 1989
- [j22]Joseph A. Goguen:
Momories of ADJ. Bull. EATCS 39: 96-102 (1989) - [j21]José Meseguer, Joseph A. Goguen:
Order-Sorted Unification. J. Symb. Comput. 8(4): 383-413 (1989) - [c38]Joseph A. Goguen:
Semantic Specifications for the Rewrite Rule Machine. Concurrency: Theory, Language, And Architecture 1989: 216-234 - 1988
- [j20]Joseph A. Goguen:
Modular Algebraic Specification of Some Basic Geometrical Constructions. Artif. Intell. 37(1-3): 123-153 (1988) - [c37]Joseph A. Goguen, José Meseguer:
Software for the Rewrite Rule Machine. FGCS 1988: 628-637 - [c36]Sany Leinwand, Joseph A. Goguen, Timothy C. Winkler:
Cell and Ensemble Architecture for the Rewrite Rule Machine. FGCS 1988: 869-878 - 1987
- [j19]Joseph A. Goguen, Mark Moriconi:
Formalization in Programming Environments. Computer 20(11): 55-64 (1987) - [j18]Joseph A. Goguen, José Meseguer:
Remarks on Remarks on Many-Sorted Equational Logic. ACM SIGPLAN Notices 22(4): 41-48 (1987) - [c35]Joseph A. Goguen:
Parameterization Pitfalls and Potentials. COMPCON 1987: 357 - [c34]Lawrence S. Moss, José Meseguer, Joseph A. Goguen:
Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. Category Theory and Computer Science 1987: 158-181 - [c33]Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler:
An Introduction to OBJ 3. CTRS 1987: 258-263 - [c32]Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada:
Parameterized Programming in OBJ2. ICSE 1987: 51-60 - [c31]Joseph A. Goguen, José Meseguer:
Order-Sorted Algebra solves the Constructor-Selector, Multiple. LICS 1987: 18-29 - [c30]Joseph A. Goguen, José Meseguer:
Models and Equality for Logical Programming. TAPSOFT, Vol.1 1987: 1-22 - [p2]Joseph A. Goguen, José Meseguer:
Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. Research Directions in Object-Oriented Programming 1987: 417-478 - 1986
- [j17]Joseph A. Goguen:
Reusing and Interconneccting Software Components. Computer 19(2): 16-28 (1986) - [j16]Joseph A. Goguen, José Meseguer:
Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets. Bull. EATCS 30: 66-73 (1986) - [c29]Joseph A. Goguen, Claude Kirchner, José Meseguer:
Concurrent term rewriting as a model of computation. Graph Reduction 1986: 53-93 - [c28]Joseph A. Goguen:
One, None, A Hundred Thousand Specification Languages (Invited Paper). IFIP Congress 1986: 995-1004 - [c27]Joseph A. Goguen, José Meseguer:
Extensions and foundations of object-oriented programming. OOPWORK 1986: 153-162 - [c26]Joseph A. Goguen, José Meseguer:
Foundations and extensions of object-oriented programming (abstract only). OOPWORK 1986: 185 - [p1]Joseph A. Goguen, José Meseguer:
EQLOG: Equality, Types, and Generic Modules For Logic Programming. Logic Programming: Functions, Relations, and Equations 1986: 295-363 - 1985
- [c25]Joseph A. Goguen, Rod M. Burstall:
A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments. CTCS 1985: 313-333 - [c24]Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer:
Operational Semantics for Order-Sorted Algebra. ICALP 1985: 221-231 - [c23]Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer:
Principles of OBJ2. POPL 1985: 52-66 - 1984
- [j15]Joseph A. Goguen, José Meseguer:
Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. J. Log. Program. 1(2): 179-210 (1984) - [j14]Joseph A. Goguen, Rod M. Burstall:
Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories. Theor. Comput. Sci. 31: 175-209 (1984) - [j13]Joseph A. Goguen, Rod M. Burstall:
Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories. Theor. Comput. Sci. 31: 263-295 (1984) - [j12]Joseph A. Goguen:
Parameterized Programming. IEEE Trans. Software Eng. 10(5): 528-544 (1984) - [c22]Joseph A. Goguen, José Meseguer:
Equality, Types, Modules and Generics for Logic Programming. ICLP 1984: 115-125 - [c21]Joseph A. Goguen, José Meseguer:
Unwinding and Inference Control. S&P 1984: 75-87 - 1983
- [j11]Joseph A. Goguen, J. L. Weiner, Charlotte Linde:
Reasoning and Natural Explanation. Int. J. Man Mach. Stud. 19(6): 521-559 (1983) - [j10]Joseph A. Goguen, José Meseguer:
Correctness of Recursive Parallel Nondeterministic Flow Programs. J. Comput. Syst. Sci. 27(2): 268-290 (1983) - [c20]Joseph A. Goguen, Rod M. Burstall:
Introducing Institutions. Logic of Programs 1983: 221-256 - 1982
- [j9]Joseph A. Goguen, José Meseguer:
Completeness of many-sorted equational logic. ACM SIGPLAN Notices 17(1): 9-17 (1982) - [c19]Joseph A. Goguen, José Meseguer:
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. ICALP 1982: 265-281 - [c18]Joseph A. Goguen, José Meseguer:
Rapid prototyping: in the OBJ executable specification language. Rapid Prototyping 1982: 75-84 - [c17]Joseph A. Goguen, José Meseguer:
Security Policies and Security Models. S&P 1982: 11-20 - 1981
- [j8]Joseph A. Goguen, José Meseguer:
Completeness of many-sorted equational logic. ACM SIGPLAN Notices 16(7): 24-32 (1981) - [j7]Joseph A. Goguen:
More thoughts on specification and verification. ACM SIGSOFT Softw. Eng. Notes 6(3): 38-41 (1981) - [c16]Jørgen Staunstrup, Joseph A. Goguen:
Geometrical Constructions. Program Specification 1981: 25-46 - [c15]Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen:
KWIC-index generation. Program Specification 1981: 47-117 - [c14]Joseph A. Goguen, Kamran Parsaye-Ghomi:
Algebraic Denotational Semantics Using Parameterized Abstract Modules. ICFPC 1981: 292-309 - 1980
- [c13]Charlotte Linde, Joseph A. Goguen:
On the Independence of Discourse Structure and Semantic Domain. ACL 1980 - [c12]Joseph A. Goguen:
How to Prove Algebraic Inductive Hypotheses Without Induction. CADE 1980: 356-373
1970 – 1979
- 1979
- [c11]Rod M. Burstall, Joseph A. Goguen:
The Semantics of CLEAR, A Specification Language. Abstract Software Specifications 1979: 292-332 - 1978
- [c10]Joseph A. Goguen:
Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs. Mathematical Studies of Information Processing 1978: 425-473 - 1977
- [j6]Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright:
Initial Algebra Semantics and Continuous Algebras. J. ACM 24(1): 68-95 (1977) - [c9]Joseph A. Goguen:
Abstract Errors for Abstract Data Types. Formal Description of Programming Concepts 1977: 491-526 - [c8]Rod M. Burstall, Joseph A. Goguen:
Putting Theories Together to Make Specifications. IJCAI 1977: 1045-1058 - [c7]Joseph A. Goguen, José Meseguer:
Correctness of Recursive Flow Diagram Programs. MFCS 1977: 580-595 - 1976
- [c6]Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen:
Rational Algebraic Theories and Fixed-Point Solutions. FOCS 1976: 147-158 - [c5]Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher:
Some Fundamentals of Order-Algebraic Semantics. MFCS 1976: 153-168 - 1975
- [j5]Joseph A. Goguen:
Discrete-Time Machines in Closed Monoidal Categories. I. J. Comput. Syst. Sci. 10(1): 1-43 (1975) - [j4]Joseph A. Goguen, Lee Carlson:
Axioms for discrimination information (Corresp.). IEEE Trans. Inf. Theory 21(5): 572-574 (1975) - 1974
- [j3]Joseph A. Goguen:
Concept Representation in Natural and Artificial Languages: Axioms, Extensions and Applications for Fuzzy Sets. Int. J. Man Mach. Stud. 6(5): 513-561 (1974) - [j2]Joseph A. Goguen:
On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence of Flow Diagram Programs. J. Comput. Syst. Sci. 8(3): 333-365 (1974) - [c4]Joseph A. Goguen:
Semantics of computation. Category Theory Applied to Computation and Control 1974: 151-163 - [c3]Joseph A. Goguen, James W. Thatcher:
Initial Algebra Semantics. SWAT 1974: 63-77 - [c2]Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright:
Factorizations, Congruences, and the Decomposition of Automata and Systems. MFCS 1974: 33-45 - 1972
- [j1]Joseph A. Goguen:
Realization is Universal. Math. Syst. Theory 6(4): 359-374 (1972) - [c1]Joseph A. Goguen:
On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes. SWAT 1972: 52-60
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-02 21:44 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:
