Daniel Kienitz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2020–2023
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CAV | ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. | Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya |
| 2022 | AAAI | The Effect of Manifold Entanglement and Intrinsic Dimensionality on Learning. | Daniel Kienitz, Ekaterina Komendantskaya, Michael A. Lones |
| 2022 | ACCV | Comparing Complexities of Decision Boundaries for Robust Training: A Universal Approach. | Daniel Kienitz, Ekaterina Komendantskaya, Michael A. Lones |
| 2020 | APLAS | Neural Networks, Secure by Construction - An Exploration of Refinement Types. | Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall |
| 2020 | PPDP | Continuous Verification of Machine Learning: a Declarative Programming Approach. | Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz |