Daniel Kirchner

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 7

Top Topics

Management Science

Theoretical Framework

Top Venues

Arch. Formal Proofs

Publications

Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin
Formally Verified EVM Block-Optimizations. CAV (3) (2023)
Daniel Kirchner
Abstract Object Theory. Arch. Formal Proofs 2022 (2022)
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
The High-Resolution Digital-Beamforming Airborne SAR System DBFSAR. Remote. Sens. 12 (11) (2020)
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Mechanizing Principia Logico-Metaphysica in Functional Type-Theory. Rev. Symb. Log. 13 (1) (2020)
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Computer Science and Metaphysics: A Cross-Fertilization. CoRR (2019)
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Mechanizing Principia Logico-Metaphysica in Functional Type Theory. CoRR (2017)
Daniel Kirchner
Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL. Arch. Formal Proofs 2017 (2017)
Thomas Mahr, Patrick Schillinger, Andreas Fürchthauer, Daniel Kirchner
UML-based Automatic Code Generation for Hybrid CPU-FPGA. FDL (2006)
Wolfgang Funk, Daniel Kirchner
A framework for data-driven algorithm testing. Security, Steganography, and Watermarking of Multimedia Contents (2005)