default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSimon J. Thompson
Person information
- affiliation: University of Kent, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j30]Péter Bereczky
, Dániel Horpácsi, Simon J. Thompson:
A Formalisation of Core Erlang, a Concurrent Actor Language. Acta Cybern. 26(3): 373-404 (2024)- [c73]Bendegúz Seres, Dániel Horpácsi, Simon J. Thompson:
Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects. Erlang 2024: 55-66 - 2023
- [j29]Dániel Horpácsi, Péter Bereczky, Simon J. Thompson:
Program equivalence in an untyped, call-by-value functional language with uncurried functions. J. Log. Algebraic Methods Program. 132: 100857 (2023) - [c72]Simon J. Thompson, Dániel Horpácsi:
Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings. Eelco Visser Commemorative Symposium 2023: 26:1-26:9 - [c71]Péter Bereczky, Dániel Horpácsi, Simon J. Thompson:
A frame stack semantics for sequential Core Erlang. IFL 2023: 5:1-5:13 - [i10]Péter Bereczky, Dániel Horpácsi, Simon J. Thompson:
A Frame Stack Semantics for Sequential Core Erlang. CoRR abs/2308.12403 (2023) - [i9]Péter Bereczky, Dániel Horpácsi, Simon J. Thompson:
A Formalisation of Core Erlang, a Concurrent Actor Language. CoRR abs/2311.10482 (2023) - 2022
- [i8]Dániel Horpácsi, Péter Bereczky, Simon J. Thompson:
Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions. CoRR abs/2208.14260 (2022) - [i7]Simon J. Thompson, Dániel Horpácsi:
Refactoring = Substitution + Rewriting. CoRR abs/2211.11550 (2022) - 2021
- [c70]Dmytro Kondratiuk, Pablo Lamela Seijas, Alexander Nemish, Simon J. Thompson:
Standardized Crypto-Loans on the Cardano Blockchain. Financial Cryptography Workshops 2021: 579-594 - 2020
- [c69]Péter Bereczky, Dániel Horpácsi, Simon J. Thompson:
Machine-checked natural semantics for Core Erlang: exceptions and side effects. Erlang Workshop 2020: 1-13 - [c68]Pablo Lamela Seijas, Alexander Nemish, David Smith, Simon J. Thompson:
Marlowe: Implementing and Analysing Financial Contracts on Blockchain. Financial Cryptography Workshops 2020: 496-511 - [c67]Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon J. Thompson:
Validating Formal Semantics by Property-Based Cross-Testing. IFL 2020: 150-161 - [c66]Pablo Lamela Seijas, David Smith, Simon J. Thompson:
Efficient Static Analysis of Marlowe Contracts. ISoLA (3) 2020: 161-177 - [c65]Péter Bereczky, Dániel Horpácsi, Simon J. Thompson:
A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. TFP 2020: 139-158 - [i6]Péter Bereczky, Dániel Horpácsi, Simon J. Thompson:
A Proof Assistant Based Formalisation of Core Erlang. CoRR abs/2005.11821 (2020) - [i5]Péter Bereczky, Dániel Horpácsi, Simon J. Thompson:
A Comparison of Big-step Semantics Definition Styles. CoRR abs/2011.10373 (2020)
2010 – 2019
- 2019
- [c64]Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens:
Rotor: a tool for renaming values in OCaml's module system. IWOR@ICSE 2019: 27-30 - [c63]Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens:
Characterising renaming within OCaml's module system: theory and implementation. PLDI 2019: 950-965 - 2018
- [j28]Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco:
Model extraction and test generation from JUnit test suites. Softw. Qual. J. 26(4): 1519-1552 (2018) - [c62]Pablo Lamela Seijas, Simon J. Thompson:
Marlowe: Financial Contracts on Blockchain. ISoLA (4) 2018: 356-375 - 2017
- [j27]Simon J. Thompson, Huiqing Li, Andreas Schumacher:
The pragmatics of clone detection and elimination. Art Sci. Eng. Program. 1(2): 8 (2017) - [j26]Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad:
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. 39(4): 17:1-17:46 (2017) - [j25]Natalia Chechina, Kenneth MacKenzie, Simon J. Thompson, Phil Trinder, Olivier Boudeville, Viktoria Fordós, Csaba Hoch, Amir Ghaffari, Mario Moro Hernandez:
Evaluating Scalable Distributed Erlang for Scalability and Reliability. IEEE Trans. Parallel Distributed Syst. 28(8): 2244-2257 (2017) - [i4]Simon J. Thompson, Huiqing Li, Andreas Schumacher:
The pragmatics of clone detection and elimination. CoRR abs/1703.10860 (2017) - [i3]Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad:
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR abs/1704.07234 (2017) - 2016
- [j24]Peter J. Rodgers, Gem Stapleton, Bilal Alsallakh, Luana Micallef, Robert Baker, Simon J. Thompson:
A task-based evaluation of combined set and network visualization. Inf. Sci. 367-368: 58-79 (2016) - [j23]Simon J. Thompson:
Review of spreadsheet implementation technology: Basics and extensions, by Peter Sestoft , MIT Press, 2014, ISBN 978-0-262-52664-7. J. Funct. Program. 26: e17 (2016) - [j22]Natalia Chechina, Huiqing Li, Amir Ghaffari, Simon J. Thompson, Phil Trinder:
Improving the network scalability of Erlang. J. Parallel Distributed Comput. 90-91: 22-34 (2016) - [c61]Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco:
Model extraction and test generation from JUnit test suites. AST@ICSE 2016: 8-14 - [c60]Pablo Lamela Seijas, Simon J. Thompson:
Identifying and introducing interfaces and callbacks using Wrangler. IFL 2016: 11:1-11:13 - [c59]Dániel Horpácsi, Judit Köszegi, Simon J. Thompson:
Towards Trustworthy Refactoring in Erlang. VPT@ETAPS 2016: 83-103 - [i2]Pablo Lamela Seijas, Simon J. Thompson, Darryl McAdams:
Scripting smart contracts for distributed ledger technology. IACR Cryptol. ePrint Arch. 2016: 1156 (2016) - 2015
- [c58]Huiqing Li, Simon J. Thompson:
Safe Concurrency Introduction through Slicing. PEPM 2015: 103-113 - 2014
- [j21]Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson:
A normal form for spider diagrams of order. J. Vis. Lang. Comput. 25(6): 935-944 (2014) - [c57]Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson:
A Normal Form for Spider Diagrams of Order. DMS 2014: 300-309 - [c56]Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick:
Synapse: automatic behaviour inference and implementation comparison for Erlang. Erlang Workshop 2014: 73-74 - [c55]Huiqing Li, Simon J. Thompson:
Improved semantics and implementation through property-based testing with QuickCheck. AST 2014: 50-56 - [c54]Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco:
Automating property-based testing of evolving web services. PEPM 2014: 169-180 - 2013
- [j20]Simon J. Thompson, Huiqing Li:
Refactoring tools for functional languages. J. Funct. Program. 23(3): 293-350 (2013) - [j19]Ralf Lämmel, Simon J. Thompson, Markus Kaiser:
Programming errors in traversal programs over structured data. Sci. Comput. Program. 78(10): 1770-1808 (2013) - [j18]Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson:
On the expressiveness of spider diagrams and commutative star-free regular languages. J. Vis. Lang. Comput. 24(4): 273-288 (2013) - [c53]Robert Baker, Peter Rodgers, Simon J. Thompson, Huiqing Li:
Multi-level Visualization of Concurrent and Distributed Computation in Erlang. DMS 2013: 156-161 - [c52]Huiqing Li, Simon J. Thompson:
Multicore profiling for Erlang programs using percept2. Erlang Workshop 2013: 33-42 - [c51]Pablo Lamela Seijas, Huiqing Li, Simon J. Thompson:
Towards property-based testing of RESTful web services. Erlang Workshop 2013: 77-78 - [p2]Gem Stapleton, John Howse, Simon J. Thompson, John Taylor, Peter Chapman:
On the Completeness of Spider Diagrams Augmented with Constants. Visual Reasoning with Diagrams 2013: 101-133 - 2012
- [j17]Oleg Kiselyov, Julia Lawall, Simon J. Thompson:
Editorial PEPM2012. High. Order Symb. Comput. 25(1): 1-2 (2012) - [c50]Alberto Moraglio, Fernando E. B. Otero, Colin G. Johnson, Simon J. Thompson, Alex Alves Freitas:
Evolving recursive programs using non-recursive scaffolding. IEEE Congress on Evolutionary Computation 2012: 1-8 - [c49]Huiqing Li, Simon J. Thompson:
A Domain-Specific Language for Scripting Refactorings in Erlang. FASE 2012: 501-515 - [c48]Huiqing Li, Simon J. Thompson:
Let's make refactoring tools user-extensible! WRT@ICSE 2012: 32-39 - [c47]Huiqing Li, Simon J. Thompson:
Automated API migration in a user-extensible refactoring tool for Erlang programs. ASE 2012: 294-297 - [c46]Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger:
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). Trends in Functional Programming 2012: 263-278 - [e3]Oleg Kiselyov, Simon J. Thompson:
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. ACM 2012, ISBN 978-1-4503-1118-2 [contents] - [i1]Ralf Lämmel, Simon J. Thompson, Markus Kaiser:
Programming errors in traversal programs over structured data. CoRR abs/1201.6057 (2012) - 2011
- [b1]Simon J. Thompson:
Haskell - The Craft of Functional Programming, 3rd Edition. Addison-Wesley 2011, ISBN 978-0-2018-8295-7, pp. I-XXII, 1-585 - [c45]Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson:
Extracting QuickCheck specifications from EUnit test cases. Erlang Workshop 2011: 62-71 - [c44]Huiqing Li, Simon J. Thompson:
Incremental Clone Detection and Elimination for Erlang Programs. FASE 2011: 356-370 - [c43]Huiqing Li, Simon J. Thompson, Thomas Arts:
Extracting Properties from Test Cases by Refactoring. ICST Workshops 2011: 472-473 - 2010
- [c42]Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson:
Fragments of Spider Diagrams of Order and Their Relative Expressiveness. Diagrams 2010: 69-83 - [c41]Thomas Arts, Simon J. Thompson:
From test cases to FSMs: augmented test-driven development and property inference. Erlang Workshop 2010: 1-12 - [c40]Dániel Drienyovszky, Dániel Horpácsi, Simon J. Thompson:
Quickchecking refactoring tools. Erlang Workshop 2010: 75-80 - [c39]Huiqing Li, Simon J. Thompson:
Similar Code Detection and Elimination for Erlang Programs. PADL 2010: 104-118 - [c38]Christopher Brown, Simon J. Thompson:
Clone detection and elimination for Haskell. PEPM 2010: 111-120 - [c37]Huiqing Li, Simon J. Thompson:
Refactoring Support for Modularity Maintenance in Erlang. SCAM 2010: 157-166 - [c36]Christopher Brown, Huiqing Li, Simon J. Thompson:
An Expression Processor: A Case Study in Refactoring Haskell Programs. Trends in Functional Programming 2010: 31-49 - [c35]Huiqing Li, Simon J. Thompson:
Improved Testing through Refactoring: Experience from the ProTest Project. TAIC PART 2010: 198-202
2000 – 2009
- 2009
- [j16]Darren K. Griffin, David Mitchell, Simon J. Thompson:
Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits? Comput. Educ. 53(2): 532-539 (2009) - [j15]Gem Stapleton, John Taylor, Simon J. Thompson, John Howse:
The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. 20(1): 30-49 (2009) - [c34]Francesco Cesarini, Simon J. Thompson:
Erlang Behaviours: Programming with Process Design Patterns. CEFP 2009: 19-41 - [c33]John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson:
Property-Based Testing - The ProTest Project. FMCO 2009: 250-271 - [c32]Huiqing Li, Simon J. Thompson:
Clone detection and removal for Erlang/OTP within a refactoring environment. PEPM 2009: 169-178 - [e2]Clara Benac Earle, Simon J. Thompson:
Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009. ACM 2009, ISBN 978-1-60558-507-9 [contents] - 2008
- [c31]Aidan J. Delaney, John Taylor, Simon J. Thompson:
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. Diagrams 2008: 172-187 - [c30]Huiqing Li, Simon J. Thompson, George Orösz, Melinda Tóth:
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse. Erlang Workshop 2008: 61-72 - [c29]Huiqing Li, Simon J. Thompson:
Tool support for refactoring functional programs. WRT@OOPSLA 2008: 2 - [c28]Nik Sultana, Simon J. Thompson:
Mechanical verification of refactorings. PEPM 2008: 51-60 - [c27]Huiqing Li, Simon J. Thompson:
Tool support for refactoring functional programs. PEPM 2008: 199-203 - [c26]Ralf Lämmel, Simon J. Thompson, Markus Kaiser:
Programming Errors in Traversal Programs Over Structured Data. LDTA 2008: 135-153 - 2007
- [c25]Simon J. Thompson, Peter R. King, Patrick Schmitz:
Declarative extensions of XML languages. ACM Symposium on Document Engineering 2007: 89-91 - [c24]Simon J. Thompson, Christopher Brown, Huiqing Li, Claus Reinke, Nik Sultana:
Refactoring Functional Programs at the University of Kent. WRT 2007: 66-67 - [c23]Huiqing Li, Simon J. Thompson:
Testing Erlang Refactorings with QuickCheck. IFL 2007: 19-36 - [c22]Jens Eliasson, Per Lindgren, Jerker Delsing, Simon J. Thompson, Yi-Bing Cheng:
A Power Management Architecture for Sensor Nodes. WCNC 2007: 3008-3013 - [e1]Simon J. Thompson, Lars-Åke Fredlund:
Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007. ACM 2007, ISBN 978-1-59593-675-2 [contents] - 2006
- [c21]Huiqing Li, Simon J. Thompson:
Comparative Study of Refactoring Haskell and Erlang Programs. SCAM 2006: 197-206 - 2005
- [j14]Simon J. Thompson, Peter R. King, Helen Cameron:
Modelling Reactive Multimedia: Design and Authoring. Multim. Tools Appl. 27(1): 23-52 (2005) - [c20]Octavian Patrascoiu, Simon J. Thompson, Peter Rodgers:
Tableaux for Diagrammatic Reasoning. DMS 2005: 279-286 - [c19]Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor:
A New Language for the Visualization of Logic and Reasoning. DMS 2005: 287-292 - [c18]Chris Ryder, Simon J. Thompson:
Software metrics: measuring Haskell. Trends in Functional Programming 2005: 31-46 - [c17]Huiqing Li, Simon J. Thompson:
Formalisation of Haskell refactorings. Trends in Functional Programming 2005: 95-110 - [c16]Huiqing Li, Simon J. Thompson, Claus Reinke:
The Haskell Refactorer, HaRe, and its API. LDTA@ETAPS 2005: 29-34 - 2004
- [j13]Gem Stapleton, John Howse, John Taylor, Simon J. Thompson:
The Expressiveness of Spider Diagrams. J. Log. Comput. 14(6): 857-880 (2004) - [c15]Simon J. Thompson:
Refactoring Functional Programs. Advanced Functional Programming 2004: 331-357 - [c14]Gem Stapleton, John Howse, John Taylor, Simon J. Thompson:
What Can Spider Diagrams Say? Diagrams 2004: 112-127 - [c13]Peter R. King, Patrick Schmitz, Simon J. Thompson:
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation. ACM Symposium on Document Engineering 2004: 57-66 - [c12]Gem Stapleton, John Howse, John Taylor, Simon J. Thompson:
The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC 2004: 91-98 - 2003
- [j12]Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson:
Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods Syst. Des. 22(1): 5-38 (2003) - [j11]Howard Bowman, Simon J. Thompson:
A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. J. Log. Comput. 13(2): 195-239 (2003) - [j10]Helen Cameron, Peter R. King, Simon J. Thompson:
Modeling Reactive Multimedia: Events and Behaviors. Multim. Tools Appl. 19(1): 53-77 (2003) - [c11]Huiqing Li, Claus Reinke, Simon J. Thompson:
Tool support for refactoring functional programs. Haskell 2003: 27-38 - [c10]Patrick Schmitz, Simon J. Thompson, Peter R. King:
Presentation Dynamism in XML Functional Programming meets SMIL Animation. WWW (Posters) 2003 - 2000
- [j9]Simon J. Thompson:
A functional reactive animation of a lift using Fran. J. Funct. Program. 10(3): 245-268 (2000) - [c9]Erik Poll, Simon J. Thompson:
Integrating Computer Algebra and Reasoning through the Type System of Aldor. FroCoS 2000: 136-150
1990 – 1999
- 1999
- [p1]Simon J. Thompson:
Proof. Research Directions in Parallel Functional Programming 1999: 93-119 - 1998
- [j8]Nathan Charles, Howard Bowman, Simon J. Thompson:
From ACT-ONE to Miranda, a translation experiment. Comput. Stand. Interfaces 19(1): 31-49 (1998) - [c8]Peter R. King, Helen Cameron, Howard Bowman, Simon J. Thompson:
Synchronization in Multimedia Documents. EP 1998: 355-369 - [c7]Howard Bowman, Simon J. Thompson:
A Tableau Method for Interval Temporal Logic with Projection. TABLEAUX 1998: 108-123 - 1997
- [c6]Simon J. Thompson:
Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. PLILP 1997: 323-334 - 1995
- [j7]Simon J. Thompson:
A Logic for Miranda, Revisited. Formal Aspects Comput. 7(4): 412-429 (1995) - [c5]Simon J. Thompson, Steve Hill:
Functional Programming Through the Curriculum. FPLE 1995: 85-102 - [c4]John Derrick, Peter F. Linington, Simon J. Thompson:
Formal description techniques for object management. Integrated Network Management 1995: 641-653 - 1994
- [j6]Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones:
On the Equivalence Between CMC and TIM. J. Funct. Program. 4(1): 47-63 (1994) - 1993
- [j5]Simon J. Thompson, Philip Wadler:
Functional Programming in Education - Introduction. J. Funct. Program. 3(1): 3-4 (1993) - 1992
- [j4]Simon J. Thompson, Rafael Dueire Lins:
The Categorical Multi-Combinator Machine: CMCM. Comput. J. 35(2): 170-176 (1992) - [c3]Simon J. Thompson:
Formulating Haskell. Functional Programming 1992: 258-268 - 1991
- [c2]Simon J. Thompson:
Are Subsets Necessary in Martin-Löf Type Theory? Constructivity in Computer Science 1991: 46-57 - 1990
- [j3]Rafael Dueire Lins, Simon J. Thompson:
Implementing SASL using Categorical Multi-combinators. Softw. Pract. Exp. 20(11): 1137-1165 (1990)
1980 – 1989
- 1989
- [j2]Simon J. Thompson:
A Logic for Miranda. Formal Aspects Comput. 1(4): 339-365 (1989) - [j1]Simon J. Thompson:
Lawful Functions and Program Verification in Miranda. Sci. Comput. Program. 13(1): 181-218 (1989) - 1986
- [c1]Simon J. Thompson:
Laws in Miranda. LISP and Functional Programming 1986: 1-12
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-09-22 00:38 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:
