default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHana Chockler
Person information
- affiliation: King's College London, UK
- affiliation (former): IBM Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2003
[b1]Hana Chockler:
Coverage metrics for model checking (מטריקות כיסוי לבדיקות מודל.). Hebrew University of Jerusalem, Israel, 2003
Journal Articles
- 2024
- [j21]Sander Beckers
, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. Minds Mach. 34(3): 34 (2024) - 2022
- [j20]Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman:
Specifiable robustness in reactive synthesis. Formal Methods Syst. Des. 60(2): 259-276 (2022) - 2021
- [j19]Hana Chockler, Georg Weissenbacher:
Preface of the special issue on the conference on computer-aided verification 2018. Formal Methods Syst. Des. 57(1): 1-2 (2021) - [j18]Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman:
Vacuity in synthesis. Formal Methods Syst. Des. 57(3): 473-495 (2021) - 2020
- [j17]Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining experts' causal judgments. Artif. Intell. 288: 103355 (2020) - [j16]Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman:
Learning the Language of Software Errors. J. Artif. Intell. Res. 67: 881-903 (2020) - 2017
- [j15]Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. J. Artif. Intell. Res. 58: 431-451 (2017) - 2013
- [j14]Hana Chockler, Arie Gurfinkel, Ofer Strichman:
Beyond vacuity: towards the strongest passing formula. Formal Methods Syst. Des. 43(3): 552-571 (2013) - [j13]Sara Bouchenak, Gregory V. Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer:
Verifying cloud services: present and future. ACM SIGOPS Oper. Syst. Rev. 47(2): 6-19 (2013) - 2012
- [j12]Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler:
Explaining counterexamples using causality. Formal Methods Syst. Des. 40(1): 20-40 (2012) - [j11]Hana Chockler, Daniel Kroening, Mitra Purandare:
Computing Mutation Coverage in Interpolation-Based Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(5): 765-778 (2012) - 2011
- [j10]Hana Chockler, Alan J. Hu:
Preface. Int. J. Softw. Tools Technol. Transf. 13(3): 201-205 (2011) - 2010
- [j9]Hana Chockler, Joseph Y. Halpern, Orna Kupferman:
Erratum for "What causes a system to satisfy a specification?". ACM Trans. Comput. Log. 11(4): 29:1-29:2 (2010) - 2009
- [j8]Hana Chockler, Ofer Strichman:
Before and after vacuity. Formal Methods Syst. Des. 34(1): 37-58 (2009) - 2008
- [j7]Hana Chockler, Joseph Y. Halpern, Orna Kupferman:
What causes a system to satisfy a specification?. ACM Trans. Comput. Log. 9(3): 20:1-20:26 (2008) - 2006
- [j6]Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage metrics for temporal logic model checking*. Formal Methods Syst. Des. 28(3): 189-212 (2006) - [j5]Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage metrics for formal verification. Int. J. Softw. Tools Technol. Transf. 8(4-5): 373-386 (2006) - 2004
- [j4]Hana Chockler, Dan Gutfreund:
A lower bound for testing juntas. Inf. Process. Lett. 90(6): 301-305 (2004) - [j3]Hana Chockler, Joseph Y. Halpern:
Responsibility and Blame: A Structural-Model Approach. J. Artif. Intell. Res. 22: 93-115 (2004) - [j2]Hana Chockler, Orna Kupferman:
w-Regular languages are testable with a constant number of queries. Theor. Comput. Sci. 329(1-3): 71-92 (2004) - 2001
- [j1]Hana Chockler, Uri Zwick:
Which bases admit non-trivial shrinkage of formulae? Comput. Complex. 10(1): 28-40 (2001)
Conference and Workshop Papers
- 2023
- [c56]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. EWAF 2023 - [c55]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
Quantifying Harm. IJCAI 2023: 363-371 - [c54]Bénédicte Legastelois, Amy Rafferty, Paul Brennan, Hana Chockler, Ajitha Rajan, Vaishak Belle:
Challenges in Explaining Brain Tumor Detection. TAS 2023: 21:1-21:8 - 2022
- [c53]Hana Chockler, Joseph Y. Halpern:
On Testing for Discrimination Using Causal Models. AAAI 2022: 5548-5555 - [c52]Hana Chockler:
Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification. FMCAD 2022: 1 - [c51]Stefanos Ioannou, Hana Chockler, Alexander Hammers, Andrew P. King:
A Study of Demographic Bias in CNN-Based Brain MR Segmentation. MLCN@MICCAI 2022: 13-22 - [c50]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. NeurIPS 2022 - 2021
- [c49]Hana Chockler, Daniel Kroening, Youcheng Sun:
Explanations for Occluded Images. ICCV 2021: 1214-1223 - [c48]Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening:
Ranking Policy Decisions. NeurIPS 2021: 8702-8713 - 2020
- [c47]Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening:
Explaining Image Classifiers Using Statistical Fault Localization. ECCV (28) 2020: 391-406 - 2019
- [c46]Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman:
Synthesizing Reactive Systems Using Robustness and Recovery Specifications. FMCAD 2019: 147-151 - [c45]Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina:
Lattice-based SMT for program verification. MEMOCODE 2019: 16:1-16:11 - 2018
- [c44]Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining Experts' Causal Judgments. AAAI 2018: 6311-6318 - [c43]Hana Chockler, Shibashis Guha, Orna Kupferman:
Timed Vacuity. FM 2018: 438-455 - [c42]Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler:
Function Summarization Modulo Theories. LPAR 2018: 56-75 - [c41]Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina:
Lookahead-Based SMT Solving. LPAR 2018: 418-434 - [c40]Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina:
Lattice-Based Refinement in Bounded Model Checking. VSTTE 2018: 50-68 - 2017
- [c39]Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina:
Theory Refinement for Program Verification. SAT 2017: 347-363 - [c38]Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) 2017: 207-213 - [c37]Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman:
Synthesizing Non-Vacuous Systems. VMCAI 2017: 55-72 - 2016
- [c36]David Landsberg, Hana Chockler, Daniel Kroening:
Probabilistic Fault Localisation. Haifa Verification Conference 2016: 65-81 - [c35]Hana Chockler:
Causality and Responsibility for Formal Verification and Beyond. CREST@ETAPS 2016: 1-8 - 2015
- [c34]Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig:
Learning the Language of Error. ATVA 2015: 114-130 - [c33]David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis:
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. FASE 2015: 115-129 - [c32]Hana Chockler, Norman E. Fenton, Jeroen Keppens, David A. Lagnado:
Causal analysis for attributing responsibility in legal cases. ICAIL 2015: 33-42 - 2014
- [c31]Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. AAAI 2014: 974-980 - 2013
- [c30]Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig:
PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR 2013: 461-464 - [c29]Shoham Ben-David, Hana Chockler, Orna Kupferman:
Attention-Based Coverage Metrics. Haifa Verification Conference 2013: 230-245 - [c28]Hana Chockler, Dmitry Pidan, Sitvanit Ruah:
Improving Representative Computation in ExpliSAT. Haifa Verification Conference 2013: 359-364 - [c27]Hana Chockler, Karine Even, Eran Yahav:
Finding rare numerical stability errors in concurrent computations. ISSTA 2013: 12-22 - [c26]Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina:
Using cross-entropy for satisfiability. SAC 2013: 1196-1203 - [c25]Hana Chockler:
Preface. VSSE 2013: 1 - 2012
- [c24]Hana Chockler, Sitvanit Ruah:
Verification of software changes with ExpliSAT. HotSWUp 2012: 31-35 - [c23]Hana Chockler, Alexander Ivrii, Arie Matsliah:
Computing Interpolants without Proofs. Haifa Verification Conference 2012: 72-85 - 2011
- [c22]Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo:
Incremental formal verification of hardware. FMCAD 2011: 135-143 - 2010
- [c21]Hana Chockler, Daniel Kroening, Mitra Purandare:
Coverage in interpolation-based model checking. DAC 2010: 182-187 - [c20]Hana Chockler:
PINCETTE - Validating changes and upgrades in networked software. FMCAD 2010: 277 - [c19]Hana Chockler, Arie Gurfinkel, Ofer Strichman:
Variants of LTL Query Checking. Haifa Verification Conference 2010: 76-92 - 2009
- [c18]Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler:
Explaining Counterexamples Using Causality. CAV 2009: 94-108 - [c17]Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov:
Cross-Entropy-Based Replay of Concurrent Programs. FASE 2009: 201-215 - 2008
- [c16]Hana Chockler, Arie Gurfinkel, Ofer Strichman:
Beyond Vacuity: Towards the Strongest Passing Formula. FMCAD 2008: 1-8 - [c15]Hana Chockler, Orna Grumberg, Avi Yadgar:
Efficient Automatic STE Refinement Using Responsibility. TACAS 2008: 233-248 - 2007
- [c14]Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov:
Cross-Entropy Based Testing. FMCAD 2007: 101-108 - [c13]Hana Chockler, Ofer Strichman:
Easier and More Informative Vacuity Checks. MEMOCODE 2007: 189-198 - 2006
- [c12]Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler:
Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System. CBSE 2006: 33-49 - [c11]Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz:
Formal verification of concurrent software: two case studies. PADTAD 2006: 11-22 - 2005
- [c10]Hana Chockler, Kathi Fisler:
Temporal Modalities for Concisely Capturing Timing Diagrams. CHARME 2005: 176-190 - [c9]Paul C. Attie, Hana Chockler:
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. VMCAI 2005: 465-481 - [c8]Paul C. Attie, Hana Chockler:
Automatic Verification of Fault-Tolerant Register Emulations. INFINITY 2005: 49-60 - 2003
- [c7]Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage Metrics for Formal Verification. CHARME 2003: 111-125 - [c6]Hana Chockler, Joseph Y. Halpern:
Responsibility and Blame: A Structural-Model Approach. IJCAI 2003: 147-153 - 2002
- [c5]Hana Chockler, Orna Kupferman:
Coverage of Implementations by Simulating Specifications. IFIP TCS 2002: 409-421 - [c4]Hana Chockler, Orna Kupferman:
omega-Regular Languages Are Testable with a Constant Number of Queries. RANDOM 2002: 26-28 - 2001
- [c3]Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi:
A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78 - [c2]Hana Chockler, Uri Zwick:
Which formulae shrink under random restrictions? SODA 2001: 702-708 - [c1]Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage Metrics for Temporal Logic Model Checking. TACAS 2001: 528-542
Parts in Books or Collections
- 2015
- [p4]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Introduction. Validation of Evolving Software 2015: 3-5 - [p3]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Challenges of Existing Technology. Validation of Evolving Software 2015: 7-17 - [p2]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Complementarities Among the Technologies Presented in the Book. Validation of Evolving Software 2015: 19-21 - [p1]Hana Chockler, Sitvanit Ruah:
Lightweight Static Analysis Check of Upgrades in C/C++ Software. Validation of Evolving Software 2015: 25-36
Editorship
- 2018
- [e5]Hana Chockler, Georg Weissenbacher:
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10981, Springer 2018, ISBN 978-3-319-96144-6 [contents] - [e4]Hana Chockler, Georg Weissenbacher:
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10982, Springer 2018, ISBN 978-3-319-96141-5 [contents] - 2015
- [e3]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Validation of Evolving Software. Springer 2015, ISBN 978-3-319-10622-9 [contents] - 2013
- [e2]Hana Chockler:
Proceedings of the 2013 Validation Strategies for Software Evolution Workshop, VSSE 2013, Rome, Italy, March 16, 2013. Electronic Notes in Theoretical Computer Science 294, Elsevier 2013 [contents] - 2009
- [e1]Hana Chockler, Alan J. Hu:
Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings. Lecture Notes in Computer Science 5394, Springer 2009, ISBN 978-3-642-01701-8 [contents]
Informal and Other Publications
- 2024
- [i26]Hana Chockler, Joseph Y. Halpern:
Explaining Image Classifiers. CoRR abs/2401.13752 (2024) - [i25]Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti:
Counterfactual Influence in Markov Decision Processes. CoRR abs/2402.08514 (2024) - [i24]Aditi Ramaswamy, Melane Navaratnarajah, Hana Chockler:
It's a Feature, Not a Bug: Measuring Creative Fluidity in Image Generators. CoRR abs/2406.18570 (2024) - [i23]Santiago Calderon Pena, Hana Chockler, David A. Kelly:
Real-Time Incremental Explanations for Object Detectors. CoRR abs/2408.11963 (2024) - [i22]Vaishak Belle, Hana Chockler, Shannon Vallor, Kush R. Varshney, Joost Vennekens, Sander Beckers:
Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121). Dagstuhl Reports 14(3): 75-91 (2024) - 2023
- [i21]Hana Chockler, David A. Kelly, Daniel Kroening:
Multiple Different Explanations for Image Classifiers. CoRR abs/2309.14309 (2023) - [i20]Mark Levin, Hana Chockler:
Clustered Policy Decision Ranking. CoRR abs/2311.12970 (2023) - [i19]David A. Kelly, Hana Chockler, Daniel Kroening, Nathan Blake, Aditi Ramaswamy, Melane Navaratnarajah, Aaditya Shivakumar:
You Only Explain Once. CoRR abs/2311.14081 (2023) - [i18]Nathan Blake, Hana Chockler, David A. Kelly, Santiago Calderon Pena, Akchunya Chanchal:
MRxaI: Black-Box Explainability for Image Classifiers in a Medical Setting. CoRR abs/2311.14471 (2023) - 2022
- [i17]Xin Du, Bénédicte Legastelois, Bhargavi Ganesh, Ajitha Rajan, Hana Chockler, Vaishak Belle, Stuart Anderson, Subramanian Ramamoorthy:
Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities. CoRR abs/2201.11674 (2022) - [i16]Stefanos Ioannou, Hana Chockler, Alexander Hammers, Andrew P. King:
A Study of Demographic Bias in CNN-based Brain MR Segmentation. CoRR abs/2208.06613 (2022) - [i15]Steven Kleinegesse, Andrew R. Lawrence, Hana Chockler:
Domain Knowledge in A*-Based Causal Discovery. CoRR abs/2208.08247 (2022) - [i14]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Quantitative Account of Harm. CoRR abs/2209.15111 (2022) - [i13]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. CoRR abs/2210.05327 (2022) - [i12]Francesca E. D. Raimondi, Andrew R. Lawrence, Hana Chockler:
Equality of Effort via Algorithmic Recourse. CoRR abs/2211.11892 (2022) - [i11]Francesca E. D. Raimondi, Tadhg O'Keeffe, Hana Chockler, Andrew R. Lawrence, Tamara Stemberga, Andre Franca, Maksim Sipos, Javed Butler, Shlomo Ben-Haim:
Causal Analysis of the TOPCAT Trial: Spironolactone for Preserved Cardiac Function Heart Failure. CoRR abs/2211.12983 (2022) - 2021
- [i10]Hana Chockler, Daniel Kroening, Youcheng Sun:
Compositional Explanations for Image Classifiers. CoRR abs/2103.03622 (2021) - [i9]Ayman Boustati, Hana Chockler, Daniel C. McNamee:
Transfer learning with causal counterfactual reasoning in Decision Transformers. CoRR abs/2110.14355 (2021) - [i8]Daniel C. McNamee, Hana Chockler:
Causal policy ranking. CoRR abs/2111.08415 (2021) - 2020
- [i7]Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining Experts' Causal Judgments. CoRR abs/2005.10180 (2020) - [i6]Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening:
Ranking Policy Decisions. CoRR abs/2008.13607 (2020) - [i5]Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener:
Safety Synthesis Sans Specification. CoRR abs/2011.07630 (2020) - 2019
- [i4]Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening:
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. CoRR abs/1908.02374 (2019) - 2014
- [i3]Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. CoRR abs/1412.3076 (2014) - 2003
- [i2]Hana Chockler, Joseph Y. Halpern:
Responsibility and blame: a structural-model approach. CoRR cs.AI/0312038 (2003) - [i1]Hana Chockler, Joseph Y. Halpern, Orna Kupferman:
What Causes a System to Satisfy a Specification? CoRR cs.LO/0312036 (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-10-07 22:18 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:
