Dr. Daniel Kirchner

Email: daniel.kirchner@uni-bamberg.de

Persönliche Webseite: https://github.com/ekpyron

Weitere Inhalte folgen in Kürze.

Publikationen

Aguiar, Matheus Araújo et al. (2025): Neural-guided superoptimization in ethereum. In: Information and Software Technology 186, S. 1–15.

Albert, Elvira et al. (2025): Secure Optimizations on Ethereum Bytecode Jump-Free Sequences. In: IEEE Transactions on Dependable and Secure Computing 22, S. 3676–3691.

Kirchner, Daniel (2024): Computer-Verified Foundations of Metaphysics. In: Künstliche Intelligenz 38, S. 95–98.

Albert, Elvira et al. (2023): Artifact of the Paper „Formally Verified EVM Block-Optimizations“. Zenodo.

Kirchner, Daniel et al. (2023): Formally Verified EVM Block-Optimizations. In: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. Cham: Springer Nature Switzerland. S. 176–189. (= Lecture Notes in Computer Science 13966).

Kirchner, Daniel (2022a): Abstract Object Theory. In: Archive of Formal Proofs, S. 392.

Kirchner, Daniel (2022b): Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL. Berlin: Refubium - Repositorium der Freien Universität Berlin.

Kirchner, Daniel/Benzmüller, Christoph/Zalta, Edward N. (2019a): Computer Science and Metaphysics: a Cross-Fertilization. In: Open Philosophy 2, S. 230–251.

Kirchner, Daniel/Benzmüller, Christoph/Zalta, Edward N. (2019b): Computer Science and Metaphysics: a Cross-Fertilization. arXiv. S. 1–39.

Kirchner, Daniel/Benzmüller, Christoph/Zalta, Edward N. (2019c): Mechanizing prinzipia Logico-Metaphysica in functional type-theory. In: The review of symbolic logic 13, S. 206–218.