Nicolai Kraus - RankMe

51 papers A* 8B 6Journal 30Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Generalized Decidability via Brouwer Trees. CoRR Tom de Jong, Nicolai Kraus, Aref Mohammadzadeh, Fredrik Nordvall Forsberg
2026	J	`jnl`	Syndrome Decoding with Hints. IACR Cryptol. ePrint Arch. Letizia D'Achille, Andre Esser, Nicolai Kraus
2026	J	`jnl`	The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory. CoRR Tom de Jong, Nicolai Kraus, Axel Ljungström
2025	—	`conf`	One Bit to Rule Them All - Imperfect Randomness Harms Lattice Signatures. PKC (1) Simon Damm, Nicolai Kraus, Alexander May, Julian Nowakowski, Jonas Thietke
2025	J	`jnl`	One Bit to Rule Them All - Imperfect Randomness Harms Lattice Signatures. IACR Cryptol. ePrint Arch. Simon Damm, Nicolai Kraus, Alexander May, Julian Nowakowski, Jonas Thietke
2025	A*	`conf`	Ordinal Exponentiation in Homotopy Type Theory. LICS Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2025	J	`jnl`	Ordinal Exponentiation in Homotopy Type Theory. CoRR Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2024	A*	`conf`	On symmetries of spheres in univalent foundations. LICS Pierre Cagne, Ulrik Torben Buchholtz, Nicolai Kraus, Marc Bezem
2024	J	`jnl`	On symmetries of spheres in univalent foundations. CoRR Pierre Cagne, Ulrik Buchholtz, Nicolai Kraus, Marc Bezem
2024	J	`jnl`	TIBA: A web application for the visual analysis of temporal occurrences, interactions, and transitions of animal behavior. PLoS Comput. Biol. Nicolai Kraus, Michael Aichem, Karsten Klein, Etienne Lein, Alex Jordan, Falk Schreiber
2024	J	`jnl`	Two-level type theory and applications - ERRATUM. Math. Struct. Comput. Sci. Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler
2023	A*	`conf`	Set-Theoretic and Type-Theoretic Ordinals Coincide. LICS Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2023	J	`jnl`	Set-Theoretic and Type-Theoretic Ordinals Coincide. CoRR Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2023	J	`jnl`	Two-level type theory and applications. Math. Struct. Comput. Sci. Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler
2023	J	`jnl`	Type-theoretic approaches to ordinals. Theor. Comput. Sci. Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2022	J	`jnl`	A rewriting coherence theorem with applications in homotopy type theory. Math. Struct. Comput. Sci. Nicolai Kraus, Jakob von Raumer
2022	J	`jnl`	Type-Theoretic Approaches to Ordinals. CoRR Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2021	J	`jnl`	A Rewriting Coherence Theorem with Applications in Homotopy Type Theory. CoRR Nicolai Kraus, Jakob von Raumer
2021	B	`conf`	Connecting Constructive Notions of Ordinals in Homotopy Type Theory. MFCS Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2021	J	`jnl`	Connecting Constructive Notions of Ordinals in Homotopy Type Theory. CoRR Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2021	A*	`conf`	Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT. LICS Nicolai Kraus
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	—	`conf`	Control of KNX devices over IEEE 11073 service-oriented device connectivity. ICPS Nicolai Kraus, Marc Viertel, Oliver Burgert
2020	J	`jnl`	Internal ∞-Categorical Models of Dependent Type Theory: Towards 2LTT Eating HoTT. CoRR Nicolai Kraus
2019	—	`conf`	From Cubes to Twisted Cubes via Graph Morphisms in Type Theory. TYPES Gun Pinyo, Nicolai Kraus
2019	J	`jnl`	From Cubes to Twisted Cubes via Graph Morphisms in Type Theory. CoRR Gun Pinyo, Nicolai Kraus
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
2019	B	`conf`	Shallow Embedding of Type Theory is Morally Correct. MPC Ambrus Kaposi, András Kovács, Nicolai Kraus
2019	J	`jnl`	Shallow Embedding of Type Theory is Morally Correct. CoRR Ambrus Kaposi, András Kovács, Nicolai Kraus
2018	A*	`conf`	Free Higher Groups in Homotopy Type Theory. LICS Nicolai Kraus, Thorsten Altenkirch
2018	J	`jnl`	Free Higher Groups in Homotopy Type Theory. CoRR Nicolai Kraus, Thorsten Altenkirch
2018	B	`conf`	Quotient Inductive-Inductive Types. FoSSaCS Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg
2018	J	`jnl`	Univalent higher categories via complete Semi-Segal types. Proc. ACM Program. Lang. Paolo Capriotti, Nicolai Kraus
2017	J	`jnl`	Notions of Anonymous Existence in Martin-Löf Type Theory. Log. Methods Comput. Sci. Nicolai Kraus, Martín Escardó, Thierry Coquand, Thorsten Altenkirch
2017	B	`conf`	Partiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type. FoSSaCS Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus
2017	J	`jnl`	Space-Valued Diagrams, Type-Theoretically (Extended Abstract). CoRR Nicolai Kraus, Christian Sattler
2017	J	`jnl`	Two-Level Type Theory and Applications. CoRR Danil Annenkov, Paolo Capriotti, Nicolai Kraus
2016	A*	`conf`	Constructions with Non-Recursive Higher Inductive Types. LICS Nicolai Kraus
2016	B	`conf`	Extending Homotopy Type Theory with Strict Equality. CSL Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus
2016	J	`jnl`	Extending Homotopy Type Theory with Strict Equality. CoRR Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus
2016	J	`jnl`	Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type. CoRR Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus
2015	B	`conf`	Functions out of Higher Truncations. CSL Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi
2015	J	`jnl`	Functions out of Higher Truncations. CoRR Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi
2015	J	`jnl`	Higher Homotopies in a Hierarchy of Univalent Universes. ACM Trans. Comput. Log. Nicolai Kraus, Christian Sattler
2015	—	`—`	Truncation levels in homotopy type theory. Nicolai Kraus
2014	—	`conf`	The General Universal Property of the Propositional Truncation. TYPES Nicolai Kraus
2013	—	`conf`	Generalizations of Hedberg's Theorem. TLCA Nicolai Kraus, Martín Hötzel Escardó, Thierry Coquand, Thorsten Altenkirch
2013	J	`jnl`	On the Hierarchy of Univalent Universes: U(n) is not n-Truncated. CoRR Nicolai Kraus, Christian Sattler
2011	—	`conf`	A Lambda Term Representation Inspired by Linear Ordered Logic LFMTP Andreas Abel, Nicolai Kraus