default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFabio Fioravanti
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c58]Marco Di Ianni, Fabio Fioravanti, Giulia Matricardi:
Visualizing CHC Verification Conditions for Smart Contracts Auditing. CILC 2024- [c57]Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas:
Towards Benchmarking of Solidity Verification Tools. FMBC@CAV 2024: 6:1-6:15 - [c56]Gianluca Amato, Alessia Amelio, Luciano Caroprese, Piero Chiacchiaretta, Fabio Fioravanti, Luigi Ippoliti, Maria Chiara Meo, Gianpiero Monaco, Christian Morbidoni, Luca Moscardelli, Maurizio Parton, Francesca Scozzari:
AI for Sustainability: Research at Ud'A Node. Ital-IA 2024: 516-521 - [c55]Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis:
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution). PEPM 2024: 16-38 - [i16]Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas:
Towards benchmarking of Solidity verification tools. CoRR abs/2402.10750 (2024) - [i15]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Catamorphic Abstractions for Constrained Horn Clause Satisfiability. CoRR abs/2408.06988 (2024) - 2023
- [c54]Emanuele De Angelis
, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions. LOPSTR 2023: 39-57 - [c53]Loris Di Quilio, Fabio Fioravanti:
Evaluating the Aspect-Category-Opinion-Sentiment Analysis Task on a Custom Dataset (short paper). NL4AI@AI*IA 2023 - [c52]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Multiple Query Satisfiability of Constrained Horn Clauses. PADL 2023: 125-143 - 2022
- [j22]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach. J. Log. Comput. 32(2): 402-442 (2022) - [j21]Emanuele De Angelis, Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi:
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. Theory Pract. Log. Program. 22(4): 555-572 (2022) - [j20]Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti:
Analysis and Transformation of Constrained Horn Clauses for Program Verification. Theory Pract. Log. Program. 22(6): 974-1042 (2022) - [c51]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Contract Strengthening through Constrained Horn Clause Verification. HCVS/VPT@ETAPS 2022: 23-34 - [i14]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. CoRR abs/2205.06236 (2022) - [i13]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Multiple Query Satisfiability of Constrained Horn Clauses. CoRR abs/2211.15207 (2022) - 2021
- [i12]Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti:
Analysis and Transformation of Constrained Horn Clauses for Program Verification. CoRR abs/2108.00739 (2021) - [i11]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach. CoRR abs/2111.11819 (2021) - 2020
- [j19]Fabio Fioravanti, John P. Gallagher, Maurizio Proietti:
Preface. Fundam. Informaticae 173(4) (2020) - [c50]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates. IJCAR (1) 2020: 83-102 - [c49]Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti:
Transformational Verification of Quicksort. VPT/HCVS@ETAPS 2020: 95-109 - [i10]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates. CoRR abs/2004.07749 (2020)
2010 – 2019
- 2019
- [j18]Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Semantics and Controllability of Time-Aware Business Processes. Fundam. Informaticae 165(3-4): 205-244 (2019) - [j17]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM. Theory Pract. Log. Program. 19(4): 629 (2019) - [c48]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. CILC 2019 - [c47]Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti:
Property-Based Test Case Generators for Free. TAP@FM 2019: 186-206 - [c46]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study. VPT@Programming 2019: 4-18 - [c45]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. HCVS/PERR@ETAPS 2019: 48-75 - 2018
- [j16]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Predicate Pairing for program verification. Theory Pract. Log. Program. 18(2): 126-166 (2018) - [j15]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Solving Horn Clauses on Inductive Data Types Without Induction. Theory Pract. Log. Program. 18(3-4): 452-469 (2018) - [c44]Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti:
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs. HCVS 2018: 19-26 - [e3]Fabio Fioravanti, John P. Gallagher:
Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10855, Springer 2018, ISBN 978-3-319-94459-3 [contents] - [i9]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Solving Horn Clauses on Inductive Data Types Without Induction. CoRR abs/1804.09007 (2018) - 2017
- [j14]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. Fundam. Informaticae 150(1): 73-117 (2017) - [j13]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Semantics-based generation of verification conditions via program specialization. Sci. Comput. Program. 147: 78-108 (2017) - [c43]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Predicate Pairing with Abstraction for Relational Verification. LOPSTR 2017: 289-305 - [c42]Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Verifying Controllability of Time-Aware Business Processes. RuleML+RR 2017: 103-118 - [i8]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Predicate Pairing for Program Verification. CoRR abs/1708.01473 (2017) - [i7]Fabio Fioravanti, John P. Gallagher:
Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017). CoRR abs/1708.07854 (2017) - [i6]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Enhancing Predicate Pairing with Abstraction for Relational Verification. CoRR abs/1709.04809 (2017) - 2016
- [c41]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verifying Relational Program Properties by Transforming Constrained Horn clauses. CILC 2016: 69-85 - [c40]Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Verification of Time-Aware Business Processes Using Constrained Horn Clauses. LOPSTR 2016: 38-55 - [c39]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Relational Verification Through Horn Clause Transformation. SAS 2016: 147-169 - [c38]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Removing Unnecessary Variables from Horn Clause Verification Conditions. HCVS@ETAPS 2016: 49-55 - [i5]Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Verification of Time-Aware Business Processes using Constrained Horn Clauses. CoRR abs/1608.02807 (2016) - 2015
- [j12]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
A Rule-based Verification Strategy for Array Manipulating Programs. Fundam. Informaticae 140(3-4): 329-355 (2015) - [j11]Fabio Fioravanti, Maurizio Proietti, Valerio Senni:
Efficient generation of test data structures using constraint logic programming and program transformation. J. Log. Comput. 25(6): 1263-1283 (2015) - [j10]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving correctness of imperative programs by linearizing constrained Horn clauses. Theory Pract. Log. Program. 15(4-5): 635-650 (2015) - [c37]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Semantics-based generation of verification conditions by program specialization. PPDP 2015: 91-102 - [i4]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses. CoRR abs/1507.05877 (2015) - 2014
- [j9]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Program verification via iterated specialization. Sci. Comput. Program. 95: 149-175 (2014) - [c36]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. VPT@CAV 2014: 3-18 - [c35]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. CILC 2014: 114-131 - [c34]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
VeriMAP: A Tool for Verifying Programs through Transformations. TACAS 2014: 568-574 - [c33]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verifying Array Programs by Transforming Verification Conditions. VMCAI 2014: 182-202 - [c32]Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti:
Verification of Programs by Combining Iterated Specialization with Interpolation. HCVS 2014: 3-18 - [e2]Nikolaj S. Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni:
Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. EPTCS 169, 2014 [contents] - 2013
- [j8]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Controlling Polyvariance for Specialization-based Verification. Fundam. Informaticae 124(4): 483-502 (2013) - [j7]Fabio Fioravanti, Alberto Pettorossi, Gianfranco Rossi:
Preface. Fundam. Informaticae 124(4): i-ii (2013) - [j6]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Proving Theorems by Program Transformation. Fundam. Informaticae 127(1-4): 115-134 (2013) - [j5]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Generalization strategies for the verification of infinite state systems. Theory Pract. Log. Program. 13(2): 175-199 (2013) - [c31]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Imperative Programs through Transformation of Constraint Logic Programs. VPT@CAV 2013: 30-41 - [c30]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Imperative Programs by Transforming Constraint Logic Programs. CILC 2013: 83-98 - [c29]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verifying programs via iterated specialization. PEPM 2013: 43-52 - [c28]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Imperative Programs by Constraint Logic Program Transformation. Festschrift for Dave Schmidt 2013: 186-210 - 2012
- [j4]Fabio Fioravanti, Manuela Helmer-Citterich, Enrico Nardelli:
Modeling gene regulatory network motifs using statecharts. BMC Bioinform. 13(S-4): S20 (2012) - [j3]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Improving Reachability Analysis of Infinite State Systems by Specialization. Fundam. Informaticae 119(3-4): 281-300 (2012) - [j2]Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti, Francesco Santini:
Evaluation of complex security scenarios using defense trees and economic indexes. J. Exp. Theor. Artif. Intell. 24(2): 161-192 (2012) - [c27]Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi:
Software Model Checking by Program Specialization. CILC 2012: 89-103 - [c26]Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Specialization with Constrained Generalization for Software Model Checking. LOPSTR 2012: 51-70 - [c25]Valerio Senni, Fabio Fioravanti:
Generation of Test Data Structures Using Constraint Logic Programming. TAP@TOOLS 2012: 115-131 - 2011
- [j1]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Program transformation for development, verification, and synthesis of programs. Intelligenza Artificiale 5(1): 119-125 (2011) - [c24]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Controlling Polyvariance for Specialization-based Verification. CILC 2011: 179-197 - [c23]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Using Real Relaxations during Program Specialization. LOPSTR 2011: 106-122 - [c22]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Improving Reachability Analysis of Infinite State Systems by Specialization. RP 2011: 165-179 - [e1]Fabio Fioravanti:
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011. CEUR Workshop Proceedings 810, CEUR-WS.org 2011 [contents] - [i3]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Generalization Strategies for the Verification of Infinite State Systems. CoRR abs/1110.0999 (2011) - 2010
- [c21]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Generalization Strategies for the Verification of Infinite State Systems. CILC 2010 - [c20]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. LOPSTR 2010: 164-183
2000 – 2009
- 2008
- [p2]Fabio Fioravanti, Enrico Nardelli:
Identity Management for e-Government Services. Digital Government 2008: 331-352 - 2007
- [c19]Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti:
Using CP-nets as a guide for countermeasure selection. SAC 2007: 300-304 - 2006
- [c18]Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti:
Defense trees for economic evaluation of security investments. ARES 2006: 416-423 - 2005
- [c17]Franco Arcieri, Andrea Dimitri, Fabio Fioravanti, Enrico Nardelli, Katia Pallucca, Alberto Postiglione, Maurizio Talamo:
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone. EGOV 2005: 291-299 - 2004
- [c16]Franco Arcieri, Mario Ciclosi, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo:
The Italian Electronic Identity Card: a short introduction. DG.O 2004 - [c15]Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo:
Reliable Peer-to-Peer Access for Italian Citizens to Digital Government Services on the Internet. EGOV 2004: 250-255 - [c14]Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo:
A Specification for Security Services on Computational Grids. GSEM 2004: 119-135 - [c13]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Automatic Proofs of Protocols via Program Transformation. MSRAS 2004: 99-116 - [c12]Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo:
A Layered IT Infrastructure for Secure Interoperability in Personal Data Registry Digital Government Services. RIDE 2004: 95-102 - [p1]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Transformation Rules for Locally Stratified Constraint Logic Programs. Program Development in Computational Logic 2004: 291-339 - [i2]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Transformation Rules for Locally Stratified Constraint Logic Programs. CoRR cs.PL/0402048 (2004) - 2003
- [c11]Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo:
Inter-Organizational E-Services Accounting Management on Computational Grids. I3E 2003: 267-278 - [c10]Vittorio Bilò, Adriano Di Pasquale, Fabio Fioravanti, Michele Flammini, Luca Forlizzi, Francesco Lo Presti, Giovanna Melideo, Enrico Nardelli, Alfredo Navarra, Guido Proietti:
Quality of Service in Wireless Networks. IPDPS 2003: 224 - [c9]Franco Arcieri, Fabio Fioravanti, Roberto Giaccio, Enrico Nardelli, Maurizio Talamo:
Certifying performance of cooperative services in a digital government framework. SAINT 2003: 249-256 - [i1]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Combining Logic Programs and Monadic Second Order Logics by Program Transformation. CoRR cs.PL/0311043 (2003) - 2002
- [c8]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs. APPIA-GULP-PRODE 2002: 241-257 - [c7]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Combining Logic Programs and Monadic Second Order Logics by Program Transformation. LOPSTR 2002: 160-181 - 2001
- [c6]Fabio Fioravanti:
Verification of Infinite-State Systems by Specialization of CLP Programs. CP 2001: 762 - [c5]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Sets of Infinite State Processes Using Program Transformation. LOPSTR 2001: 111-128 - 2000
- [c4]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Automated strategies for specializing constraint logic programs. LOPSTR 2000 - [c3]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Automated Strategies for Specializing Constraint Logic Programs. LOPSTR (LNCS 2042: Selected Papers) 2000: 125-146
1990 – 1999
- 1999
- [c2]Fabio Fioravanti, Maurizio Proietti:
Contextual Specialization of Constraint Logic Programs. APPIA-GULP-PRODE 1999: 455-470 - [c1]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Rules and Strategies for Contextual Specialization of Constraint Logic Programs. WOID@ICLP 1999: 129-144
Coauthor Index
[c55] [i15] [c54] [c52] [j22] [j21] [j20] [c51] [i14] [i13] [i12] [i11] [c50] [c49] [i10] [j18] [j17] [c48] [c47] [c46] [c45] [j16] [j15] [c44] [i9] [j14] [j13] [c43] [c42] [i8] [i6] [c41] [c40] [c39] [c38] [i5] [j12] [j10] [c37] [i4] [j9] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26]
[c55] [i15] [c54] [c52] [j22] [j21] [j20] [c51] [i14] [i13] [i12] [i11] [c50] [i10] [j18] [j17] [c48] [c47] [c46] [c45] [j16] [j15] [c44] [i9] [j14] [j13] [c43] [c42] [i8] [i6] [c41] [c40] [c39] [c38] [i5] [j12] [j10] [c37] [i4] [j9] [c36] [c35] [c34] [c33] [j8] [j7] [j6] [j5] [c31] [c30] [c29] [c28] [j3] [c27] [c26] [j1] [c24] [c23] [c22] [i3] [c21] [c20] [c13] [p1] [i2] [i1] [c8] [c7] [c5] [c4] [c3] [c1]
[c55] [i15] [c54] [c52] [j22] [j21] [j20] [c51] [i14] [i13] [i12] [i11] [j19] [c50] [c49] [i10] [j18] [j17] [c48] [c47] [c46] [c45] [j16] [j15] [c44] [i9] [j14] [j13] [c43] [c42] [i8] [i6] [c41] [c40] [c39] [c38] [i5] [j12] [j11] [j10] [c37] [i4] [j9] [c36] [c35] [c34] [c33] [c32] [j8] [j6] [j5] [c31] [c30] [c29] [c28] [j3] [c27] [c26] [j1] [c24] [c23] [c22] [i3] [c21] [c20] [c13] [p1] [i2] [i1] [c8] [c7] [c5] [c4] [c3] [c2] [c1]
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-09 20:31 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:
