Jakob von Raumer

14 papers A* 2A 1B 2Journal 7Unranked 1

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	A rewriting coherence theorem with applications in homotopy type theory. Math. Struct. Comput. Sci. Nicolai Kraus, Jakob von Raumer
2021	J	`jnl`	A Rewriting Coherence Theorem with Applications in Homotopy Type Theory. CoRR Nicolai Kraus, Jakob von Raumer
2020	B	`conf`	A Syntax for Mutual Inductive Families. FSCD Ambrus Kaposi, Jakob von Raumer
2020	A*	`conf`	Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory. LICS Nicolai Kraus, Jakob von Raumer
2020	J	`jnl`	Coherence via Wellfoundedness. CoRR Nicolai Kraus, Jakob von Raumer
2020	—	`—`	Higher inductive types, inductive families, and inductive-inductive types. Jakob von Raumer
2019	A*	`conf`	Path Spaces of Higher Inductive Types in Homotopy Type Theory. LICS Nicolai Kraus, Jakob von Raumer
2019	J	`jnl`	Path Spaces of Higher Inductive Types in Homotopy Type Theory. CoRR Nicolai Kraus, Jakob von Raumer
2017	B	`conf`	Homotopy Type Theory in Lean. ITP Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz
2017	J	`jnl`	Homotopy Type Theory in Lean. CoRR Ulrik Buchholtz, Floris van Doorn, Jakob von Raumer
2016	—	`conf`	Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover. ICMS Jakob von Raumer
2015	A	`conf`	The Lean Theorem Prover (System Description). CADE Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer
2014	J	`jnl`	Secondary Sylow Theorems. Arch. Formal Proofs Jakob von Raumer
2014	J	`jnl`	The Jordan-Hölder Theorem. Arch. Formal Proofs Jakob von Raumer

2025 Best paper conf

Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski