A framework for data-driven algorithm testing. - Wolfgang Funk; Daniel Kirchner (Security, Steganography, and Watermarking of Multimedia Contents, 2005)

UML-based Automatic Code Generation for Hybrid CPU-FPGA. - Thomas Mahr; Patrick Schillinger; Andreas Fürchthauer; Daniel Kirchner (FDL, 2006)

Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL. - Daniel Kirchner (Arch. Formal Proofs, 2017)

Computer Science and Metaphysics: A Cross-Fertilization. - Daniel Kirchner; Christoph Benzmüller; Edward N. Zalta (CoRR, 2019)

The High-Resolution Digital-Beamforming Airborne SAR System DBFSAR. - Andreas Reigber; Eric Schreiber; Kurt Trappschuh; Sebastian Pasch; Gerhard Müller; Daniel Kirchner; Daniel Geßwein; Stefan Schewe; Anton Nottensteiner; Markus Limbach; Alicja Schreiber; Tobias Rommel; et al. (Remote. Sens., 2020)

Mechanizing Principia Logico-Metaphysica in Functional Type-Theory. - Daniel Kirchner; Christoph Benzmüller; Edward N. Zalta (Rev. Symb. Log., 2020)

Abstract Object Theory. - Daniel Kirchner (Arch. Formal Proofs, 2022)

Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL. - Daniel Kirchner (2022)

Artifact of the Paper "Formally Verified EVM Block-Optimizations". - Elvira Albert; Samir Genaim; Daniel Kirchner; Enrique Martin-Martin (Zenodo, 2022)

Formally Verified EVM Block-Optimizations. - Elvira Albert; Samir Genaim; Daniel Kirchner; Enrique Martin-Martin (CAV (3), 2023)

Artifact of the Paper "Formally Verified EVM Block-Optimizations". - Elvira Albert; Samir Genaim; Daniel Kirchner; Enrique Martin-Martin (Zenodo, 2023)

Artifact of the Paper "Formally Verified EVM Block-Optimizations". - Elvira Albert; Samir Genaim; Daniel Kirchner; Enrique Martin-Martin (Zenodo, 2023)

Computer-Verified Foundations of Metaphysics. - Daniel Kirchner (Künstliche Intell., 2024)

Neural-guided superoptimization in ethereum. - Matheus Araújo Aguiar; Elvira Albert; Samir Genaim; Pablo Gordillo; Alejandro Hernández-Cerezo; Daniel Kirchner; Albert Rubio (Inf. Softw. Technol., 2025)

Secure Optimizations on Ethereum Bytecode Jump-Free Sequences. - Elvira Albert; Samir Genaim; Daniel Kirchner; Enrique Martin-Martin (IEEE Trans. Dependable Secur. Comput., 2025)