Daniel Kirchner

According to our database, Daniel Kirchner authored at least 13 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Computer-Verified Foundations of Metaphysics.

Daniel Kirchner

Künstliche Intell., August, 2024

2023

Artifact of the Paper "Formally Verified EVM Block-Optimizations".

Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin

Dataset, April, 2023

Artifact of the Paper "Formally Verified EVM Block-Optimizations".

Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin

Dataset, April, 2023

Formally Verified EVM Block-Optimizations.

Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Artifact of the Paper "Formally Verified EVM Block-Optimizations".

Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin

Dataset, November, 2022

Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL.

Daniel Kirchner

PhD thesis, 2022

Abstract Object Theory.

Daniel Kirchner

Arch. Formal Proofs, 2022

2020

Mechanizing Principia Logico-Metaphysica in Functional Type-Theory.

Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta

Rev. Symb. Log., 2020

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, Ralf Horn, Marc Jäger, Rolf Scheiber, Stefan Valentin Baumgartner, Sushil Kumar Joshi, André Barros Cardoso da Silva, Alberto Moreira

Remote. Sens., 2020

2019

Computer Science and Metaphysics: A Cross-Fertilization.

Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta

CoRR, 2019

2017

Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL.

Daniel Kirchner

Arch. Formal Proofs, 2017

2006

UML-based Automatic Code Generation for Hybrid CPU-FPGA.

Thomas Mahr, Patrick Schillinger, Andreas Fürchthauer, Daniel Kirchner

Proceedings of the Forum on specification and Design Languages, 2006

2005

A framework for data-driven algorithm testing.

Wolfgang Funk, Daniel Kirchner

Proceedings of the Security, Steganography, and Watermarking of Multimedia Contents VII, 2005