Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alexander Bentkamp
@article{DBLP:journals/cacm/BentkampBNTVW23,
author = {Alexander Bentkamp and
Jasmin Blanchette and
Visa Nummelin and
Sophie Tourret and
Petar Vukmirovic and
Uwe Waldmann},
title = {Mechanical Mathematicians},
journal = {Commun. {ACM}},
volume = {66},
number = {4},
pages = {80--90},
year = {2023},
url = {https://doi.org/10.1145/3557998},
doi = {10.1145/3557998},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/BentkampBNTVW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BentkampBTV23,
author = {Alexander Bentkamp and
Jasmin Blanchette and
Sophie Tourret and
Petar Vukmirovic},
title = {Superposition for Higher-Order Logic},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {10},
year = {2023},
url = {https://doi.org/10.1007/s10817-022-09649-9},
doi = {10.1007/S10817-022-09649-9},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/BentkampBTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/BentkampBNTW23,
author = {Alexander Bentkamp and
Jasmin Blanchette and
Visa Nummelin and
Sophie Tourret and
Uwe Waldmann},
title = {Complete and Efficient Higher-Order Reasoning via Lambda-Superposition},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {4},
pages = {25--40},
year = {2023},
url = {https://doi.org/10.1145/3636362.3636367},
doi = {10.1145/3636362.3636367},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/BentkampBNTW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tamm/AvigadBBHN23,
author = {Jeremy Avigad and
Seulkee Baek and
Alexander Bentkamp and
Marijn Heule and
Wojciech Nawrocki},
title = {An Impossible Asylum},
journal = {Am. Math. Mon.},
volume = {130},
number = {5},
pages = {446--453},
year = {2023},
url = {https://doi.org/10.1080/00029890.2023.2176668},
doi = {10.1080/00029890.2023.2176668},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tamm/AvigadBBHN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ShengBZ23,
author = {Huanhuan Sheng and
Alexander Bentkamp and
Bohua Zhan},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {160--178},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_11},
doi = {10.1007/978-3-031-27481-7\_11},
timestamp = {Mon, 06 Mar 2023 14:12:36 +0100},
biburl = {https://dblp.org/rec/conf/fm/ShengBZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BentkampMA23,
author = {Alexander Bentkamp and
Ramon Fern{\'{a}}ndez Mir and
Jeremy Avigad},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Verified reductions for optimization},
booktitle = {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}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {74--92},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_8},
doi = {10.1007/978-3-031-30820-8\_8},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BentkampMA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-09347,
author = {Alexander Bentkamp and
Ramon Fern{\'{a}}ndez Mir and
Jeremy Avigad},
title = {Verified reductions for optimization},
journal = {CoRR},
volume = {abs/2301.09347},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.09347},
doi = {10.48550/ARXIV.2301.09347},
eprinttype = {arXiv},
eprint = {2301.09347},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-09347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/VukmirovicBBCNT22,
author = {Petar Vukmirovic and
Alexander Bentkamp and
Jasmin Blanchette and
Simon Cruanes and
Visa Nummelin and
Sophie Tourret},
title = {Making Higher-Order Superposition Work},
journal = {J. Autom. Reason.},
volume = {66},
number = {4},
pages = {541--564},
year = {2022},
url = {https://doi.org/10.1007/s10817-021-09613-z},
doi = {10.1007/S10817-021-09613-Z},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/VukmirovicBBCNT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/HartmannBBW22,
author = {Valentin Hartmann and
Vincent Bindschaedler and
Alexander Bentkamp and
Robert West},
title = {Privacy accounting {\(\epsilon\)}conomics: Improving differential
privacy composition via a posteriori bounds},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2022},
number = {3},
pages = {222--246},
year = {2022},
url = {https://doi.org/10.56553/popets-2022-0070},
doi = {10.56553/POPETS-2022-0070},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/popets/HartmannBBW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-03470,
author = {Valentin Hartmann and
Vincent Bindschaedler and
Alexander Bentkamp and
Robert West},
title = {Privacy accounting {\(\epsilon\)}conomics: Improving differential
privacy composition via a posteriori bounds},
journal = {CoRR},
volume = {abs/2205.03470},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.03470},
doi = {10.48550/ARXIV.2205.03470},
eprinttype = {arXiv},
eprint = {2205.03470},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-03470.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-17163,
author = {Huanhuan Sheng and
Alexander Bentkamp and
Bohua Zhan},
title = {HHLPy: Practical Verification of Hybrid Systems using Hoare Logic},
journal = {CoRR},
volume = {abs/2210.17163},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.17163},
doi = {10.48550/ARXIV.2210.17163},
eprinttype = {arXiv},
eprint = {2210.17163},
timestamp = {Thu, 03 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-17163.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Bentkamp21,
author = {Alexander Bentkamp},
title = {The Embedding Path Order for Lambda-Free Higher-Order Terms},
journal = {{FLAP}},
volume = {8},
number = {10},
pages = {2447--2470},
year = {2021},
url = {https://collegepublications.co.uk/ifcolog/?00052},
timestamp = {Mon, 02 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/flap/Bentkamp21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BentkampBTVW21,
author = {Alexander Bentkamp and
Jasmin Blanchette and
Sophie Tourret and
Petar Vukmirovic and
Uwe Waldmann},
title = {Superposition with Lambdas},
journal = {J. Autom. Reason.},
volume = {65},
number = {7},
pages = {893--940},
year = {2021},
url = {https://doi.org/10.1007/s10817-021-09595-y},
doi = {10.1007/S10817-021-09595-Y},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/BentkampBTVW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BentkampBCW21,
author = {Alexander Bentkamp and
Jasmin Blanchette and
Simon Cruanes and
Uwe Waldmann},
title = {Superposition for Lambda-Free Higher-Order Logic},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {2},
year = {2021},
url = {https://lmcs.episciences.org/7349},
timestamp = {Tue, 20 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BentkampBCW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/VukmirovicBN21,
author = {Petar Vukmirovic and
Alexander Bentkamp and
Visa Nummelin},
title = {Efficient Full Higher-Order Unification},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {4},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(4:18)2021},
doi = {10.46298/LMCS-17(4:18)2021},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/VukmirovicBN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NummelinBTV21,
author = {Visa Nummelin and
Alexander Bentkamp and
Sophie Tourret and
Petar Vukmirovic},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Superposition with First-class Booleans and Inprocessing Clausification},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {378--395},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_22},
doi = {10.1007/978-3-030-79876-5\_22},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NummelinBTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BentkampBTV21,
author = {Alexander Bentkamp and
Jasmin Blanchette and
Sophie Tourret and
Petar Vukmirovic},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Superposition for Full Higher-order Logic},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {396--412},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_23},
doi = {10.1007/978-3-030-79876-5\_23},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BentkampBTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/VukmirovicBBCNT21,
author = {Petar Vukmirovic and
Alexander Bentkamp and
Jasmin Blanchette and
Simon Cruanes and
Visa Nummelin and
Sophie Tourret},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Making Higher-Order Superposition Work},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {415--432},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_24},
doi = {10.1007/978-3-030-79876-5\_24},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/VukmirovicBBCNT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BentkampA21,
author = {Alexander Bentkamp and
Jeremy Avigad},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Verified Optimization (work in progress)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fmm7.pdf},
timestamp = {Thu, 14 Sep 2023 09:27:13 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BentkampA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-00453,
author = {Alexander Bentkamp and
Jasmin Blanchette and
Sophie Tourret and
Petar Vukmirovic and
Uwe Waldmann},
title = {Superposition with Lambdas},
journal = {CoRR},
volume = {abs/2102.00453},
year = {2021},
url = {https://arxiv.org/abs/2102.00453},
eprinttype = {arXiv},
eprint = {2102.00453},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-00453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-06807,
author = {Alexander Bentkamp and
Jeremy Avigad},
title = {Verified Optimization},
journal = {CoRR},
volume = {abs/2111.06807},
year = {2021},
url = {https://arxiv.org/abs/2111.06807},
eprinttype = {arXiv},
eprint = {2111.06807},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-06807.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-02142,
author = {Jeremy Avigad and
Seulkee Baek and
Alexander Bentkamp and
Marijn Heule and
Wojciech Nawrocki},
title = {An Impossible Asylum},
journal = {CoRR},
volume = {abs/2112.02142},
year = {2021},
url = {https://arxiv.org/abs/2112.02142},
eprinttype = {arXiv},
eprint = {2112.02142},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-02142.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/VukmirovicBN20,
author = {Petar Vukmirovic and
Alexander Bentkamp and
Visa Nummelin},
editor = {Zena M. Ariola},
title = {Efficient Full Higher-Order Unification},
booktitle = {5th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual
Conference)},
series = {LIPIcs},
volume = {167},
pages = {5:1--5:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.5},
doi = {10.4230/LIPICS.FSCD.2020.5},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/VukmirovicBN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-02094,
author = {Alexander Bentkamp and
Jasmin Blanchette and
Simon Cruanes and
Uwe Waldmann},
title = {Superposition for Lambda-Free Higher-Order Logic},
journal = {CoRR},
volume = {abs/2005.02094},
year = {2020},
url = {https://arxiv.org/abs/2005.02094},
eprinttype = {arXiv},
eprint = {2005.02094},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-02094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-09507,
author = {Petar Vukmirovic and
Alexander Bentkamp and
Visa Nummelin},
title = {Efficient Full Higher-Order Unification},
journal = {CoRR},
volume = {abs/2011.09507},
year = {2020},
url = {https://arxiv.org/abs/2011.09507},
eprinttype = {arXiv},
eprint = {2011.09507},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-09507.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BentkampBK19,
author = {Alexander Bentkamp and
Jasmin Christian Blanchette and
Dietrich Klakow},
title = {A Formal Proof of the Expressiveness of Deep Learning},
journal = {J. Autom. Reason.},
volume = {63},
number = {2},
pages = {347--368},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9481-5},
doi = {10.1007/S10817-018-9481-5},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BentkampBK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BentkampBTVW19,
author = {Alexander Bentkamp and
Jasmin Blanchette and
Sophie Tourret and
Petar Vukmirovic and
Uwe Waldmann},
editor = {Pascal Fontaine},
title = {Superposition with Lambdas},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {55--73},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_4},
doi = {10.1007/978-3-030-29436-6\_4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BentkampBTVW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Bentkamp18,
author = {Alexander Bentkamp},
title = {Formalization of the Embedding Path Order for Lambda-Free Higher-Order
Terms},
journal = {Arch. Formal Proofs},
volume = {2018},
year = {2018},
url = {https://www.isa-afp.org/entries/Lambda\_Free\_EPO.html},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/Bentkamp18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BentkampBCW18,
author = {Alexander Bentkamp and
Jasmin Christian Blanchette and
Simon Cruanes and
Uwe Waldmann},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {Superposition for Lambda-Free Higher-Order Logic},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {28--46},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_3},
doi = {10.1007/978-3-319-94205-6\_3},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/BentkampBCW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BentkampBK17,
author = {Alexander Bentkamp and
Jasmin Christian Blanchette and
Dietrich Klakow},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {A Formal Proof of the Expressiveness of Deep Learning},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {46--64},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0\_4},
doi = {10.1007/978-3-319-66107-0\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/BentkampBK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Bentkamp16,
author = {Alexander Bentkamp},
title = {Expressiveness of Deep Learning},
journal = {Arch. Formal Proofs},
volume = {2016},
year = {2016},
url = {https://www.isa-afp.org/entries/Deep\_Learning.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/Bentkamp16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Bentkamp15,
author = {Alexander Bentkamp},
title = {Latin Square},
journal = {Arch. Formal Proofs},
volume = {2015},
year = {2015},
url = {https://www.isa-afp.org/entries/Latin\_Square.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/Bentkamp15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-02-06 23:53 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:
