Daniel Kirchner

13 papers C 1Journal 9Unranked 2

Year	Rank	Type	Title / 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