default search action
Natasha Sharygina
Person information
- affiliation: University of Lugano, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c99]Konstantin Britikov
, Ilia Zlatkin
SolTG: A CHC-Based Solidity Test Case Generator. CAV (1) 2024: 466-479 - [c98]Konstantin Britikov
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction. FM (1) 2024: 558-576 - 2023
- [j19]Rodrigo Otoni
A Solicitous Approach to Smart Contract Verification. ACM Trans. Priv. Secur. 26(2): 15:1-15:28 (2023) - [c97]Martin Blicha
The Golem Horn Solver. CAV (2) 2023: 209-223 - [c96]Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina:
CHC Model Validation with Proof Guarantees. iFM 2023: 62-81 - [c95]Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina:
Symbolic Model Checking for TLA+ Made Faster. TACAS (1) 2023: 126-144 - [c94]Konstantin Britikov, Antti E. J. Hyvärinen, Natasha Sharygina:
Picky CDCL: SMT-Solving with Flexible Literal Selection. VSTTE 2023: 1-19 - [e6]Sriram Sankaranarayanan
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13993, Springer 2023, ISBN 978-3-031-30822-2 [contents] - [e5]Sriram Sankaranarayanan
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13994, Springer 2023, ISBN 978-3-031-30819-2 [contents] - 2022
- [j18]Sepideh Asadi
SMT-based verification of program changes through summary repair. Formal Methods Syst. Des. 60(3): 350-380 (2022) - [j17]Martin Blicha
Using linear algebra in decomposition of Farkas interpolants. Int. J. Softw. Tools Technol. Transf. 24(1): 111-125 (2022) - [c93]Leonardo Alt, Martin Blicha
SolCMC: Solidity Compiler's Model Checker. CAV (1) 2022: 325-338 - [c92]Martin Blicha
Split Transition Power Abstraction for Unbounded Safety. FMCAD 2022: 349-358 - [c91]Martin Blicha
Transition Power Abstractions for Deep Counterexample Detection. TACAS (1) 2022: 524-542 - [e4]Roderick Bloem, Rayna Dimitrova, Chuchu Fan
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13124, Springer 2022, ISBN 978-3-030-95560-1 [contents] - 2021
- [c90]Rodrigo Otoni
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. DAC 2021: 541-546 - [c89]Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina:
Lookahead in Partitioning SMT. FMCAD 2021: 271-279 - 2020
- [c88]Sepideh Asadi
Incremental Verification by SMT-based Summary Repair. FMCAD 2020: 77-82 - [c87]Matteo Marescotti, Rodrigo Otoni
Accurate Smart Contract Verification Through Direct Modelling. ISoLA (3) 2020: 178-194 - [c86]Sepideh Asadi
Farkas-Based Tree Interpolation. SAS 2020: 357-379 - [c85]Martin Blicha
A Cooperative Parallelization Approach for Property-Directed k-Induction. VMCAI 2020: 270-292
2010 – 2019
- 2019
- [j16]Pavel Jancík, Jan Kofron
Exploiting partial variable assignment in interpolation-based model checking. Formal Methods Syst. Des. 55(1): 33-71 (2019) - [c84]Karine Even-Mendoza
Lattice-based SMT for program verification. MEMOCODE 2019: 16:1-16:11 - [c83]Martin Blicha
Decomposing Farkas Interpolants. TACAS (1) 2019: 3-20 - 2018
- [c82]Matteo Marescotti, Martin Blicha
Computing Exact Worst-Case Gas Consumption for Smart Contracts. ISoLA (4) 2018: 450-465 - [c81]Sepideh Asadi
Function Summarization Modulo Theories. LPAR 2018: 56-75 - [c80]Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina
Lookahead-Based SMT Solving. LPAR 2018: 418-434 - [c79]Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
SMTS: Distributed, Visualized Constraint Solving. LPAR 2018: 534-542 - [c78]Karine Even-Mendoza
Lattice-Based Refinement in Bounded Model Checking. VSTTE 2018: 50-68 - [p9]Sanjit A. Seshia, Natasha Sharygina, Stavros Tripakis:
Modeling for Verification. Handbook of Model Checking 2018: 75-105 - 2017
- [j15]Francesco Alberti, Silvio Ghilardi
A Framework for the Verification of Parameterized Infinite-state Systems. Fundam. Informaticae 150(1): 1-24 (2017) - [j14]Grigory Fedyukovich
Flexible SAT-based framework for incremental bounded upgrade checking. Int. J. Softw. Tools Technol. Transf. 19(5): 517-534 (2017) - [c77]Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi
Duality-based interpolation for quantifier-free equalities and uninterpreted functions. FMCAD 2017: 39-46 - [c76]Matteo Marescotti, Arie Gurfinkel
Designing parallel PDR. FMCAD 2017: 156-163 - [c75]Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina:
LRA Interpolants from No Man's Land. Haifa Verification Conference 2017: 195-210 - [c74]Antti E. J. Hyvärinen, Sepideh Asadi
Theory Refinement for Program Verification. SAT 2017: 347-363 - [c73]Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
Visualising SMT-Based Parallel Constraint Solving. SMT 2017: 40-49 - [c72]Leonardo Alt, Sepideh Asadi
HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) 2017: 207-213 - 2016
- [c71]Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
Clause Sharing and Partitioning for Cloud-Based SMT Solving. ATVA 2016: 428-443 - [c70]Grigory Fedyukovich
Property Directed Equivalence via Abstract Simulation. CAV (2) 2016: 433-453 - [c69]Pavel Jancík, Leonardo Alt, Grigory Fedyukovich
PVAIR: Partial Variable Assignment InterpolatoR. FASE 2016: 419-434 - [c68]Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. SAT 2016: 547-553 - 2015
- [j13]Francesco Alberti, Silvio Ghilardi
Decision Procedures for Flat Array Properties. J. Autom. Reason. 54(4): 327-352 (2015) - [c67]Grigory Fedyukovich
Symbolic Detection of Assertion Dependencies for Bounded Model Checking. FASE 2015: 186-201 - [c66]Francesco Alberti, Silvio Ghilardi
A New Acceleration-Based Combination Framework for Array Properties. FroCos 2015: 169-185 - [c65]Grigory Fedyukovich
Automated Discovery of Simulation Between Programs. LPAR 2015: 606-621 - [c64]Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina
Flexible Interpolation for Efficient Model Checking. MEMICS 2015: 11-22 - [c63]Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
Search-Space Partitioning for Parallelizing SMT Solvers. SAT 2015: 369-386 - [c62]Leonardo Alt, Grigory Fedyukovich
A Proof-Sensitive Approach for Small Propositional Interpolants. VSTTE 2015: 1-18 - [p8]Hana Chockler, Daniel Kroening
Introduction. Validation of Evolving Software 2015: 3-5 - [p7]Hana Chockler
Challenges of Existing Technology. Validation of Evolving Software 2015: 7-17 - [p6]Hana Chockler
Complementarities Among the Technologies Presented in the Book. Validation of Evolving Software 2015: 19-21 - [p5]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
Function Summarization-Based Bounded Model Checking. Validation of Evolving Software 2015: 37-53 - [p4]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
Incremental Upgrade Checking. Validation of Evolving Software 2015: 55-72 - [p3]Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina:
Optimizing Function Summaries Through Interpolation. Validation of Evolving Software 2015: 73-82 - [p2]Fabrizio Pastore
Regression Checking of Changes in C Software. Validation of Evolving Software 2015: 185-207 - [e3]Hana Chockler
Validation of Evolving Software. Springer 2015, ISBN 978-3-319-10622-9 [contents] - 2014
- [j12]Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina
Resolution proof transformation for compression and interpolation. Formal Methods Syst. Des. 45(1): 1-41 (2014) - [j11]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi
An extension of lazy abstraction with interpolation for programs with arrays. Formal Methods Syst. Des. 45(1): 63-109 (2014) - [c61]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Booster: An Acceleration-Based Verification Framework for Array Programs. ATVA 2014: 18-23 - [c60]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
A Framework for the Verification of Parameterized Infinite-State Systems. CILC 2014: 303-308 - [c59]Pavel Jancík, Jan Kofron
On interpolants and variable assignments. FMCAD 2014: 123-130 - [c58]Fabrizio Pastore
Verification-aided regression testing. ISSTA 2014: 37-48 - [c57]Grigory Fedyukovich
Incremental Verification of Compiler Optimizations. NASA Formal Methods 2014: 300-306 - [c56]Grigory Fedyukovich
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection. SBMF 2014: 96-112 - [c55]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Decision Procedures for Flat Array Properties. SMT 2014: 51 - [c54]Nicolas Latorre, Francesco Alberti, Natasha Sharygina
Verige: verification with invariant generation engine. SPIN 2014: 121-124 - [c53]Francesco Alberti, Silvio Ghilardi
Decision Procedures for Flat Array Properties. TACAS 2014: 15-30 - [c52]Francesco Alberti, Silvio Ghilardi
Monotonic Abstraction Techniques: from Parametric to Software Model Checking. MOD* 2014: 1-11 - 2013
- [j10]Daniel Kroening
Loop summarization using state and transition invariants. Formal Methods Syst. Des. 42(3): 221-261 (2013) - [c51]Arie Gurfinkel
Interpolation Properties and SAT-Based Model Checking. ATVA 2013: 255-271 - [c50]Hana Chockler, Giovanni Denaro
PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR 2013: 461-464 - [c49]Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
Interpolation-based model checking for efficient incremental analysis of software. DDECS 2013: 8-9 - [c48]Francesco Alberti, Silvio Ghilardi
Definability of Accelerated Relations in a Theory of Arrays and Its Applications. FroCos 2013: 23-39 - [c47]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Acceleration-based safety decision procedure for programs with arrays. LPAR (short papers) 2013: 1-8 - [c46]Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. LPAR 2013: 683-693 - [c45]Laura Kovács
A Parametric Interpolation Framework for First-Order Theories. MICAI (1) 2013: 24-40 - [c44]Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina
Using cross-entropy for satisfiability. SAC 2013: 1196-1203 - [c43]Grigory Fedyukovich
eVolCheck: Incremental Upgrade Checker for C. TACAS 2013: 292-307 - [e2]Natasha Sharygina
Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Lecture Notes in Computer Science 8044, Springer 2013, ISBN 978-3-642-39798-1 [contents] - [i3]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs. CoRR abs/1304.4499 (2013) - [i2]Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich:
Resolution Proof Transformation for Compression and Interpolation. CoRR abs/1307.2028 (2013) - 2012
- [j9]Natasha Sharygina
An abstraction refinement approach combining precise and approximated techniques. Int. J. Softw. Tools Technol. Transf. 14(1): 1-14 (2012) - [c42]Ondrej Sery, Grigory Fedyukovich
FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization. ATVA 2012: 203-207 - [c41]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
Reachability Modulo Theory Library. SMT@IJCAR 2012: 67-76 - [c40]Simone Fulvio Rollini, Ondrej Sery, Natasha Sharygina:
Leveraging Interpolant Strength in Model Checking. CAV 2012: 193-209 - [c39]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi
SAFARI: SMT-Based Abstraction for Arrays with Interpolants. CAV 2012: 679-685 - [c38]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
Incremental upgrade checking by means of interpolation-based function summaries. FMCAD 2012: 114-121 - [c37]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi
Lazy Abstraction with Interpolants for Arrays. LPAR 2012: 46-61 - [i1]Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina:
Propositional Interpolation Systems for Model Checking. CoRR abs/1212.4650 (2012) - 2011
- [j8]Chiara Braghin, Natasha Sharygina
A model checking-based approach for security policy verification of mobile systems. Formal Aspects Comput. 23(5): 627-648 (2011) - [c36]Ondrej Sery, Grigory Fedyukovich
Interpolation-Based Function Summaries in Bounded Model Checking. Haifa Verification Conference 2011: 160-175 - [c35]Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina:
Function Summaries in Software Upgrade Checking. Haifa Verification Conference 2011: 257-258 - [c34]Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger
Loop Summarization and Termination Analysis. TACAS 2011: 81-95 - 2010
- [c33]Daniel Kroening, Natasha Sharygina
Loopfrog - loop summarization for static analysis. WING@ETAPS/IJCAR 2010: 130-131 - [c32]Daniel Kroening
Termination Analysis with Compositional Transition Invariants. CAV 2010: 89-103 - [c31]Simone Rollini, Roberto Bruttomesso, Natasha Sharygina:
An Efficient and Flexible Approach to Resolution Proof Reduction. Haifa Verification Conference 2010: 182-196 - [c30]Roberto Bruttomesso, Simone Rollini, Natasha Sharygina
Flexible interpolation with local proof transformations. ICCAD 2010: 770-777 - [c29]Roberto Bruttomesso, Edgar Pek, Natasha Sharygina
A flexible schema for generating explanations in lazy theory propagation. MEMOCODE 2010: 41-48 - [c28]Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich:
The OpenSMT Solver. TACAS 2010: 150-153 - [e1]Roderick Bloem, Natasha Sharygina:
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. IEEE 2010, ISBN 978-1-4577-0734-6 [contents]
2000 – 2009
- 2009
- [c27]Roberto Bruttomesso, Natasha Sharygina
A scalable decision procedure for fixed-width bit-vectors. ICCAD 2009: 13-20 - [c26]Daniel Kroening
Loopfrog: A Static Analyzer for ANSI-C Programs. ASE 2009: 668-670 - [c25]Natasha Sharygina
The synergy of precise and fast abstractions for program verification. SAC 2009: 566-573 - [c24]Natasha Sharygina
An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk. SAVCBS 2009: 35-36 - 2008
- [j7]Sagar Chaki, Edmund M. Clarke, Natasha Sharygina
Verification of evolving software via component substitutability analysis. Formal Methods Syst. Des. 32(3): 235-266 (2008) - [j6]Himanshu Jain, Daniel Kroening
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(2): 366-379 (2008) - [c23]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125 - [c22]Nicolas Blanc, Daniel Kroening
Scoot: A Tool for the Analysis of SystemC Models. TACAS 2008: 467-470 - 2007
- [j5]Byron Cook, Daniel Kroening
Verification of Boolean programs with unbounded thread creation. Theor. Comput. Sci. 388(1-3): 227-242 (2007) - [c21]Daniel Kroening, Natasha Sharygina
Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs. DATE 2007: 1325-1330 - [c20]Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi:
Automated Verification of Security Policies in Mobile Code. IFM 2007: 37-53 - [c19]Jonathan Aldrich
Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE 2007: 609-610 - [c18]Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke:
VCEGAR: Verilog CounterExample Guided Abstraction Refinement. TACAS 2007: 583-586 - [p1]Natasha Sharygina, Daniel Kröning:
Model Checking with Abstraction for Web Services. Test and Analysis of Web Services 2007: 121-145 - 2006
- [c17]Byron Cook, Daniel Kroening
Over-Approximating Boolean Programs with Unbounded Thread Creation. FMCAD 2006: 53-59 - [c16]Daniel Kroening
Approximating Predicate Images for Bit-Vector Logic. TACAS 2006: 242-256 - 2005
- [j4]Sagar Chaki, Edmund M. Clarke, Joël Ouaknine
Concurrent software verification with states, events, and deadlocks. Formal Aspects Comput. 17(4): 461-483 (2005) - [c15]Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau:
The ComFoRT Reasoning Framework. CAV 2005: 164-169 - [c14]Byron Cook, Daniel Kroening, Natasha Sharygina:
Cogent: Accurate Theorem Proving for Program Verification. CAV 2005: 296-300 - [c13]Himanshu Jain, Daniel Kroening
Word level predicate abstraction and refinement for verifying RTL verilog. DAC 2005: 445-450 - [c12]Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha:
Dynamic Component Substitutability Analysis. FM 2005: 512-528 - [c11]Edmund M. Clarke, Natasha Sharygina, Nishant Sinha:
Program Compatibility Approaches. FMCO 2005: 243-258 - [c10]Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith:
State/Event Software Verification for Branching-Time Specifications. IFM 2005: 53-69 - [c9]Daniel Kroening
Formal verification of SystemC by automatic hardware/software partitioning. MEMOCODE 2005: 101-110 - [c8]Byron Cook, Daniel Kroening, Natasha Sharygina:
Symbolic Model Checking for Asynchronous Boolean Programs. SPIN 2005: 75-90 - [c7]Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav:
SATABS: SAT-Based Predicate Abstraction for ANSI-C. TACAS 2005: 570-574 - 2004
- [j3]Natasha Sharygina
Guest Editorial. Formal Methods Syst. Des. 25(2-3): 103 (2004) - [j2]Edmund M. Clarke, Daniel Kroening
Predicate Abstraction of ANSI-C Programs Using SAT. Formal Methods Syst. Des. 25(2-3): 105-127 (2004) - [j1]Natasha Sharygina
Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods Syst. Des. 25(2-3): 241-270 (2004) - [c6]Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha:
State/Event-Based Software Model Checking. IFM 2004: 128-147 - [c5]Byron Cook, Daniel Kroening, Natasha Sharygina:
Accurate Theorem Proving for Program Verification. ISoLA 2004: 96-114 - [c4]Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina
Automated, compositional and iterative deadlock detection. MEMOCODE 2004: 201-210 - 2003
- [c3]Natasha Sharygina, James C. Browne:
Model Checking Software via Abstraction of Loop Transitions. FASE 2003: 325-340 - 2001
- [c2]Natasha Sharygina, James C. Browne, Robert P. Kurshan:
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. FASE 2001: 318-332 - [c1]Natasha Sharygina, Doron A. Peled:
A Combined Testing and Verification Approach for Software Reliability. FME 2001: 611-628
Coauthor Index
Antti Eero Johannes Hyvärinen
aka: Antti E. J. Hyvärinen
aka: Antti E. J. Hyvärinen
Daniel Kroening
aka: Daniel Kröning
aka: Daniel Kröning
Simone Rollini
aka: Simone Fulvio Rollini
aka: Simone Fulvio Rollini
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-12-10 21:42 CET 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: