Alexander Bentkamp

Identifiers

• name variant Alexander Bentkamp 0.60 · backfill

Papers (8)

1. Verified reductions for optimization cs.LO · 2023 · author #1
2. HHLPy: Practical Verification of Hybrid Systems using Hoare Logic cs.LO · 2022 · author #2
3. Privacy accounting $\varepsilon$conomics: Improving differential privacy composition via a posteriori bounds cs.CR · 2022 · author #3
4. An Impossible Asylum math.LO · 2021 · author #3
5. Verified Optimization math.OC · 2021 · author #1
6. Superposition with Lambdas cs.LO · 2021 · author #1
7. Efficient Full Higher-Order Unification cs.LO · 2020 · author #2
8. Superposition for Lambda-Free Higher-Order Logic cs.LO · 2020 · author #1

Mentions

• 2011.09507 #2 · arxiv_oai · confidence 0.70 Alexander Bentkamp
• 2005.02094 #1 · arxiv_oai · confidence 0.70 Alexander Bentkamp
• 2205.03470 #3 · arxiv_oai · confidence 0.70 Alexander Bentkamp
• 2301.09347 #1 · arxiv_oai · confidence 0.70 Alexander Bentkamp
• 2210.17163 #2 · arxiv_oai · confidence 0.70 Alexander Bentkamp
• 2112.02142 #3 · arxiv_oai · confidence 0.70 Alexander Bentkamp
• 2111.06807 #1 · arxiv_oai · confidence 0.70 Alexander Bentkamp
• 2102.00453 #1 · arxiv_oai · confidence 0.70 Alexander Bentkamp

Frequent Coauthors

• Jeremy Avigad 3 shared papers
• Jasmin Blanchette 2 shared papers
• Petar Vukmirovi\'c 2 shared papers
• Uwe Waldmann 2 shared papers
• Bohua Zhan 1 shared papers
• Huanhuan Sheng 1 shared papers
• Marijn Heule 1 shared papers
• Ramon Fern\'andez Mir 1 shared papers
• Robert West 1 shared papers
• Seulkee Baek 1 shared papers
• Simon Cruanes 1 shared papers
• Sophie Tourret 1 shared papers
• Valentin Hartmann 1 shared papers
• Vincent Bindschaedler 1 shared papers
• Visa Nummelin 1 shared papers
• Wojciech Nawrocki 1 shared papers