Daniel Kirchner

13 papers C 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Neural-guided superoptimization in ethereum.
Inf. Softw. Technol.
Matheus Araújo Aguiar, Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Daniel Kirchner, Albert Rubio
2025 J jnl
Secure Optimizations on Ethereum Bytecode Jump-Free Sequences.
IEEE Trans. Dependable Secur. Comput.
Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin
2024 J jnl
Computer-Verified Foundations of Metaphysics.
Künstliche Intell.
Daniel Kirchner
2023 — conf
Formally Verified EVM Block-Optimizations.
CAV (3)
Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin
2022 J jnl
Abstract Object Theory.
Arch. Formal Proofs
Daniel Kirchner
2022 — —
Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL.
Daniel Kirchner
2020 J jnl
Mechanizing Principia Logico-Metaphysica in Functional Type-Theory.
Rev. Symb. Log.
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
2020 J jnl
The High-Resolution Digital-Beamforming Airborne SAR System DBFSAR.
Remote. Sens.
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, Ralf Horn, Marc Jäger, Rolf Scheiber, Stefan Valentin Baumgartner, Sushil Kumar Joshi, André Barros Cardoso da Silva, Alberto Moreira
2019 J jnl
Computer Science and Metaphysics: A Cross-Fertilization.
CoRR
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
2017 J jnl
Mechanizing Principia Logico-Metaphysica in Functional Type Theory.
CoRR
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
2017 J jnl
Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL.
Arch. Formal Proofs
Daniel Kirchner
2006 C conf
UML-based Automatic Code Generation for Hybrid CPU-FPGA.
FDL
Thomas Mahr, Patrick Schillinger, Andreas Fürchthauer, Daniel Kirchner
2005 — conf
A framework for data-driven algorithm testing.
Security, Steganography, and Watermarking of Multimedia Contents
Wolfgang Funk, Daniel Kirchner