default search action
Gerard J. Holzmann
Person information
- affiliation: Bell Labs
- affiliation (PhD 1976): Delft University of Technology, The Netherlands
- award (2005): Paris Kanellakis Award
- award (2001): ACM Software System Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j70]Klaus Havelund, Gerard J. Holzmann:
Programming event monitors. Int. J. Softw. Tools Technol. Transf. 26(1): 33-47 (2024) - [c71]Yifei Liu, Manish Adkar, Gerard J. Holzmann, Geoff Kuenning, Pei Liu, Scott A. Smolka, Wei Su, Erez Zadok:
Metis: File System Model Checking via Versatile Input and State Exploration. FAST 2024: 123-140 - 2021
- [j69]Gerard J. Holzmann
:
Right Code. IEEE Softw. 38(1): 13-15 (2021) - [j68]Gerard J. Holzmann
Keeping It Simple: Agile Analysis. IEEE Softw. 38(3): 13-16 (2021) - [c70]Gerard J. Holzmann:
Comparing Two Methods for Checking Runtime Properties. Formal Methods in Outer Space 2021: 127-133 - [c69]Wei Su, Yifei Liu
Model-Checking Support for File System Development. HotStorage 2021: 103-110 - [c68]Gerard J. Holzmann:
Interactive analysis of large code bases (invited talk). ESEC/SIGSOFT FSE 2021: 4 - 2020
- [j67]Gerard J. Holzmann
Predicting the Past. IEEE Softw. 37(2): 10-12 (2020) - [j66]Gerard J. Holzmann
Test Fatigue. IEEE Softw. 37(4): 11-16 (2020)
2010 – 2019
- 2019
- [j65]Gerard J. Holzmann
Code Mining. IEEE Softw. 36(2): 25-29 (2019) - [j64]Gerard J. Holzmann
Does Not Compute. IEEE Softw. 36(3): 14-16 (2019) - [j63]Gerard J. Holzmann
Code Overload. IEEE Softw. 36(6): 73-75 (2019) - [c67]Gerard J. Holzmann:
Formalizing Requirements Is \Diamond \Box Hard. From Reactive Systems to Cyber-Physical Systems 2019: 51-56 - 2018
- [j62]Gerard J. Holzmann:
Ends and Means. IEEE Softw. 35(1): 14-17 (2018) - [j61]Gerard J. Holzmann:
Curve Balls. IEEE Softw. 35(2): 18-21 (2018) - [j60]Gerard J. Holzmann:
Software Components. IEEE Softw. 35(3): 80-82 (2018) - [j59]Gerard J. Holzmann:
Code Vault. IEEE Softw. 35(5): 85-87 (2018) - [p2]Gerard J. Holzmann:
Explicit-State Model Checking. Handbook of Model Checking 2018: 153-171 - 2017
- [j58]Gerard J. Holzmann
Cobra: a light-weight tool for static and dynamic program analysis. Innov. Syst. Softw. Eng. 13(1): 35-49 (2017) - [j57]Gerard J. Holzmann:
The Value of Doubt. IEEE Softw. 34(1): 106-109 (2017) - [j56]Gerard J. Holzmann:
Code Craft. IEEE Softw. 34(2): 18-21 (2017) - [j55]Gerard J. Holzmann:
A Tale of Three Programs. IEEE Softw. 34(3): 23-26 (2017) - [j54]Gerard J. Holzmann:
Dead Programs. IEEE Softw. 34(4): 89-91 (2017) - [j53]Gerard J. Holzmann:
Randomly Right. IEEE Softw. 34(5): 87-89 (2017) - [c66]Gerard J. Holzmann:
Cobra - an interactive static code analyzer. ASE 2017: 1 - [c65]Gerard J. Holzmann:
Cobra: fast structural code checking (keynote). SPIN 2017: 1-8 - 2016
- [j52]Gerard J. Holzmann:
Tiny Tools. IEEE Softw. 33(1): 24-28 (2016) - [j51]Gerard J. Holzmann:
Code Clarity. IEEE Softw. 33(2): 22-25 (2016) - [j50]Gerard J. Holzmann:
Frequently Unanswered Questions. IEEE Softw. 33(3): 10-12 (2016) - [j49]Gerard J. Holzmann:
The Weakest Link. IEEE Softw. 33(4): 18-21 (2016) - [j48]Gerard J. Holzmann:
Brace Yourself. IEEE Softw. 33(5): 34-37 (2016) - [j47]Gerard J. Holzmann:
Hi Maintenance. IEEE Softw. 33(6): 98-101 (2016) - [c64]Gerard J. Holzmann:
Cloud-Based Verification of Concurrent Software. VMCAI 2016: 311-327 - 2015
- [j46]Gerard J. Holzmann:
To Code Is Human. IEEE Softw. 32(1): 14-17 (2015) - [j45]Gerard J. Holzmann:
Code Inflation. IEEE Softw. 32(2): 10-13 (2015) - [j44]Gerard J. Holzmann:
Assertive Testing. IEEE Softw. 32(3): 12-15 (2015) - [j43]Gerard J. Holzmann:
Points of Truth. IEEE Softw. 32(4): 18-21 (2015) - [j42]Gerard J. Holzmann:
Code Evasion. IEEE Softw. 32(5): 77-80 (2015) - [j41]Gerard J. Holzmann:
Out of Bounds. IEEE Softw. 32(6): 24-26 (2015) - [c63]Ioannis Filippidis, Richard M. Murray
A multi-paradigm language for reactive synthesis. SYNT 2015: 73-97 - [e4]Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi:
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Lecture Notes in Computer Science 9058, Springer 2015, ISBN 978-3-319-17523-2 [contents] - 2014
- [j40]Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu:
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning. Ann. Math. Artif. Intell. 70(4): 315-349 (2014) - [j39]Gerard J. Holzmann:
Mars code. Commun. ACM 57(2): 64-73 (2014) - [j38]Gerard J. Holzmann:
Fault Intolerance [Reliable Code]. IEEE Softw. 31(6): 16-20 (2014) - [c62]Ioannis Filippidis, Gerard J. Holzmann:
An improvement of the piggyback algorithm for parallel model checking. SPIN 2014: 48-57 - 2013
- [j37]Gerard J. Holzmann:
A Three-Step Program for Recovering Hackers. Computer 46(6): 86-88 (2013) - [j36]Gerard J. Holzmann:
Landing a Spacecraft on Mars. IEEE Softw. 30(2): 83-86 (2013) - [c61]Barry W. Boehm, Gerard J. Holzmann:
Keynote speaker 1: The economics of systems and software reliability. ISSRE 2013: 1-2 - [c60]Gerard J. Holzmann:
Proving Properties of Concurrent Programs - (Extended Abstract). SPIN 2013: 18-23 - 2012
- [c59]Mihai Florian, Edward B. Gamble, Gerard J. Holzmann:
Logic Model Checking of Time-Periodic Real-Time Systems. Infotech@Aerospace 2012 - [c58]Gerard J. Holzmann:
Parallelizing the Spin Model Checker. SPIN 2012: 155-171 - [p1]Gerard J. Holzmann:
Conquering Complexity. Conquering Complexity 2012: 75-84 - 2011
- [j35]Gerard J. Holzmann, Mihai Florian:
Model checking with bounded context switching. Formal Aspects Comput. 23(3): 365-389 (2011) - [j34]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification Techniques. IEEE Trans. Software Eng. 37(6): 845-857 (2011) - [c57]Klaus Havelund, Gerard J. Holzmann:
Software certification: coding, code, and coders. EMSOFT 2011: 205-210 - [c56]Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann:
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. PRDC 2011: 280-281 - [c55]Gerard J. Holzmann:
Reliable Software Development: Analysis-Aware Design. TACAS 2011: 1-2 - [e3]Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi:
NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Lecture Notes in Computer Science 6617, Springer 2011, ISBN 978-3-642-20397-8 [contents] - 2010
- [j33]Gerard J. Holzmann:
SCRUB: a tool for code reviews. Innov. Syst. Softw. Eng. 6(4): 311-318 (2010) - [c54]Gerard J. Holzmann:
Formal Software Verification: How Close Are We? FMOODS/FORTE 2010: 1
2000 – 2009
- 2008
- [j32]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Model driven code checking. Autom. Softw. Eng. 15(3-4): 283-297 (2008) - [c53]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification. ASE 2008: 1-6 - [c52]Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith:
Automated Testing of Planning Models. MoChArt 2008: 90-105 - [c51]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
New Challenges in Model Checking. 25 Years of Model Checking 2008: 65-76 - [c50]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Tackling Large Verification Problems with the Swarm Tool. SPIN 2008: 134-143 - [i1]Gerard J. Holzmann:
Software Safety and Rocket Science. ERCIM News 2008(75) (2008) - 2007
- [j31]Gerard J. Holzmann:
Conquering Complexity. Computer 40(12): 111-113 (2007) - [j30]Rajeev Joshi, Gerard J. Holzmann:
A mini challenge: build a verifiable filesystem. Formal Aspects Comput. 19(2): 269-272 (2007) - [j29]Gerard J. Holzmann, Dragan Bosnacki:
The Design of a Multicore Extension of the SPIN Model Checker. IEEE Trans. Software Eng. 33(10): 659-674 (2007) - [c49]Alex Groce, Gerard J. Holzmann, Rajeev Joshi:
Randomized Differential Testing as a Prelude to Formal Verification. ICSE 2007: 621-631 - [c48]Gerard J. Holzmann, Dragan Bosnacki:
Multi-Core Model Checking with SPIN. IPDPS 2007: 1-8 - [c47]Gerard J. Holzmann:
A Stack-Slicing Algorithm for Multi-Core Model Checking. PDMC@CAV 2007: 3-16 - 2006
- [j28]Gerard J. Holzmann:
The Power of 10: Rules for Developing Safety-Critical Code. Computer 39(6): 95-97 (2006) - 2005
- [j27]Gerard J. Holzmann:
Software model checking with SPIN. Adv. Comput. 65: 78-109 (2005) - [c46]Gerard J. Holzmann, Theo C. Ruys:
Effective Bug Hunting with Spin and Modex. SPIN 2005: 24-24 - [c45]Dragan Bosnacki, Gerard J. Holzmann:
Improving Spin's Partial-Order Reduction for Breadth-First Search. SPIN 2005: 91-105 - [c44]Rajeev Joshi, Gerard J. Holzmann:
A Mini Challenge: Build a Verifiable Filesystem. VSTTE 2005: 49-56 - [c43]Gerard J. Holzmann, Rajeev Joshi:
Reliable Software Systems Design: Defect Prevention, Detection, and Containment. VSTTE 2005: 237-244 - 2004
- [b2]Gerard J. Holzmann:
The SPIN Model Checker - primer and reference manual. Addison-Wesley 2004, ISBN 978-0-321-22862-8, pp. I-XII, 1-596 - [c42]Gerard J. Holzmann:
Formal methods and software reliability. MEMOCODE 2004: 145-146 - [c41]Gerard J. Holzmann, Rajeev Joshi:
Model-Driven Software Verification. SPIN 2004: 76-91 - [c40]Theo C. Ruys, Gerard J. Holzmann:
Advanced SPIN Tutorial. SPIN 2004: 304-305 - 2003
- [j26]Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka:
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. Int. J. Softw. Tools Technol. Transf. 4(4): 505-528 (2003) - [c39]Gerard J. Holzmann:
Trends in Software Verification. FME 2003: 40-50 - 2002
- [j25]Gerard J. Holzmann, Margaret H. Smith:
An Automated Verification Method for Distributed Systems Software Based on Model Extraction. IEEE Trans. Software Eng. 28(4): 364-377 (2002) - [c38]Gerard J. Holzmann:
Software Analysis and Model Checking. CAV 2002: 1-16 - [c37]Dennis Dams, William Hesse, Gerard J. Holzmann:
Abstracting C with abC. CAV 2002: 515-520 - [c36]Gerard J. Holzmann:
The logic of bugs. SIGSOFT FSE 2002: 81-87 - 2001
- [j24]Gerard J. Holzmann, Margaret H. Smith:
Software model checking: extracting verification models from source code. Softw. Test. Verification Reliab. 11(2): 65-79 (2001) - [c35]Gerard J. Holzmann:
From Code to Models. ACSD 2001: 3-10 - [c34]Gerard J. Holzmann:
Economics of software verification. PASTE 2001: 80-85 - [c33]Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami:
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. RE 2001: 14-22 - 2000
- [j23]Gerard J. Holzmann:
Software verification at Bell Labs: One line of development. Bell Labs Tech. J. 5(1): 35-45 (2000) - [j22]Gerard J. Holzmann, Margaret H. Smith:
Automating software feature verification. Bell Labs Tech. J. 5(2): 72-87 (2000) - [j21]Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni:
SPIN Model Checking: An Introduction. Int. J. Softw. Tools Technol. Transf. 2(4): 321-327 (2000) - [c32]Kousha Etessami, Gerard J. Holzmann:
Optimizing Büchi Automata. CONCUR 2000: 153-167 - [c31]Gerard J. Holzmann:
Logic Verification of ANSI-C Code with SPIN. SPIN 2000: 131-147
1990 – 1999
- 1999
- [j20]Gerard J. Holzmann, Anuj Puri:
A Minimized Automaton Representation of Reachable States. Int. J. Softw. Tools Technol. Transf. 2(3): 270-278 (1999) - [c30]Gerard J. Holzmann, Margaret H. Smith:
Software Model Checking. FORTE 1999: 481-497 - [c29]Gerard J. Holzmann, Margaret H. Smith:
A Practical Method for Verifying Event-Driven Software. ICSE 1999: 597-607 - [c28]Stefan Leue, Gerard J. Holzmann:
v-Promela: A Visual, Object-Oriented Language for SPIN. ISORC 1999: 14-23 - [c27]Gerard J. Holzmann:
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited. SPIN 1999: 232-244 - 1998
- [j19]Gerard J. Holzmann, Margaret H. Smith:
Interval reduction through requirements analysis. Bell Labs Tech. J. 3(2): 22-31 (1998) - [j18]Gerard J. Holzmann:
An Analysis of Bitstate Hashing. Formal Methods Syst. Des. 13(3): 289-307 (1998) - [c26]Gerard J. Holzmann:
On Checking Model Checkers. CAV 1998: 61-70 - [c25]Gerard J. Holzmann:
Designing executable abstractions. FMSP 1998: 103-108 - [c24]Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann:
Validating Requirements for Fault Tolerant Systems using Model Checking. ICRE 1998: 4-13 - [c23]Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann:
Implementing Statecharts in PROMELA/SPIN. WIFT 1998: 90-101 - 1997
- [j17]Gerard J. Holzmann, Doron A. Peled, Margaret H. Redberg:
Design tools for requirements engineering. Bell Labs Tech. J. 2(1): 86-95 (1997) - [j16]Gerard J. Holzmann:
Designing bug-free protocols with SPIN. Comput. Commun. 20(2): 97-105 (1997) - [j15]Gerard J. Holzmann:
The Model Checker SPIN. IEEE Trans. Software Eng. 23(5): 279-295 (1997) - [e2]Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled:
The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32, DIMACS/AMS 1997, ISBN 978-0-8218-0680-7 [contents] - 1996
- [j14]Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave:
Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). Comput. Networks ISDN Syst. 28(13): 1845-1855 (1996) - [j13]Gerard J. Holzmann:
On-The-Fly Model Checking. ACM Comput. Surv. 28(4es): 120 (1996) - [j12]Gerard J. Holzmann:
Early Fault Detection Tools. Softw. Concepts Tools 17(2): 63-69 (1996) - [j11]Rajeev Alur, Gerard J. Holzmann, Doron A. Peled:
An Analyzer for Message Sequence Charts. Softw. Concepts Tools 17(2): 70-77 (1996) - [c22]Gerard J. Holzmann, Doron A. Peled:
The State of SPIN. CAV 1996: 385-389 - [c21]Gerard J. Holzmann, Orna Kupferman:
Not checking for closure under stuttering. The Spin Verification System 1996: 17-22 - [c20]Gerard J. Holzmann, Doron A. Peled, Mihalis Yannakakis:
On nested depth first search. The Spin Verification System 1996: 23-31 - [c19]V. Natarajan, Gerard J. Holzmann:
Outline for an operational semantics of Promela. The Spin Verification System 1996: 133-152 - [c18]Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled:
Preface. The Spin Verification System 1996: ix- - [c17]Gerard J. Holzmann:
Formal Methods for Early Fault Detection. FTRTFT 1996: 40-54 - [c16]Gerard J. Holzmann:
Early Fault Detection Tools. TACAS 1996: 1-13 - [c15]Rajeev Alur, Gerard J. Holzmann, Doron A. Peled:
An Analyser for Mesage Sequence Charts. TACAS 1996: 35-48 - [e1]Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann:
Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29, DIMACS/AMS 1996, ISBN 978-0-8218-0579-4 [contents] - 1995
- [b1]Gerard J. Holzmann, Björn Pehrson:
The early history of data networks. IEEE 1995, ISBN 978-0-8186-6782-4, pp. I-XI, 1-291 - [j10]Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin:
State-Space Caching Revisited. Formal Methods Syst. Des. 7(3): 227-241 (1995) - [c14]Gerard J. Holzmann:
Tutorial: Proving Properties of Concurrent System with SPIN. CONCUR 1995: 453-455 - [c13]Gerard J. Holzmann:
An analysis of bistate hashing. PSTV 1995: 301-314 - 1994
- [c12]Gerard J. Holzmann, Doron A. Peled:
An improvement in formal verification. FORTE 1994: 197-211 - [c11]Gerard J. Holzmann:
Proving the value of formal methods. FORTE 1994: 385-396 - [c10]Gerard J. Holzmann:
The Theory and Practice of A Formal Method: NewCoRe. IFIP Congress (1) 1994: 35-44 - [c9]Gerard J. Holzmann:
Data Communications: The First 2500 Years. IFIP Congress (2) 1994: 271-278 - 1993
- [j9]Gerard J. Holzmann:
Design and Validation of Protocols: A Tutorial. Comput. Networks ISDN Syst. 25(9): 981-1017 (1993) - [j8]Gerard J. Holzmann:
Standardized Protocol Interfaces. Softw. Pract. Exp. 23(7): 711-731 (1993) - [c8]Patrice Godefroid, Gerard J. Holzmann:
On the Verification of Temporal Properties. PSTV 1993: 109-124 - 1992
- [j7]Gerard J. Holzmann:
Practical methods for the formal validation of SDL specifications. Comput. Commun. 15(2): 129-134 (1992) - [j6]Gerard J. Holzmann:
Protocol Design: Redefining the State of the Art. IEEE Softw. 9(1): 17-22 (1992) - [c7]Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin:
State-Space Caching Revisited. CAV 1992: 178-191 - [c6]Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin:
Coverage Preserving Reduction Strategies for Reachability Analysis. PSTV 1992: 349-363
1980 – 1989
- 1989
- [c5]Gerard J. Holzmann, Joanna Patti:
Validating SDL Specifications: an Experiment. PSTV 1989: 317-326 - 1988
- [j5]Gerard J. Holzmann:
An Improved Protocol Reachability Analysis Technique. Softw. Pract. Exp. 18(2): 137-161 (1988) - 1987
- [j4]Gerard J. Holzmann:
Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching. IEEE Trans. Software Eng. 13(6): 683-696 (1987) - [c4]Gerard J. Holzmann:
On Limits and Possibilities of Automated Protocol Analysis. PSTV 1987: 339-344 - 1985
- [j3]Gerard J. Holzmann:
Tracing protocols. AT&T Tech. J. 64(10): 2413-2433 (1985) - 1984
- [j2]Gerard J. Holzmann:
The Pandora System: An Interactive System for the Design of Data Communication Protocols. Comput. Networks 8: 71-79 (1984) - [c3]Gerard J. Holzmann:
Backward Symbolic Execution of Protocols. PSTV 1984: 19-30 - 1983
- [c2]Gerard J. Holzmann, Rob A. Beukers:
The Pandora Protocol Development System. Protocol Specification, Testing, and Verification 1983: 357-368 - 1982
- [j1]Gerard J. Holzmann:
A Theory for Protocol Validation. IEEE Trans. Computers 31(8): 730-738 (1982) - [c1]Gerard J. Holzmann:
Algebraic Validation Methods-A Comparison of Three Techniques. PSTV 1982: 383-390
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:03 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: