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.