PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kraus, Nicolai"

Author of the publication

copydeleteadd this publication to your clipboard
TIBA: A web application for the visual analysis of temporal occurrences, interactions, and transitions of animal behavior

, , , , , and . PLOS Computational Biology, 20 (10): e1012425 (2024)
DOI: 10.1371/journal.pcbi.1012425

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Werner Kraus University of Stuttgart

Dr. rer. nat. Simon Krause University of Stuttgart

Data models, synthetic procedures, PXRD patterns, and analysis results for "Data-Model-Driven Management and Analysis of MOF Synthesis Data", , , , , , , and . Software, (2026)Related to: To be published.

Dr. rer. pol. Thomas Krause University of Stuttgart

Dr. rer. nat. Nicolai Lang University of Stuttgart

Nicolai Grünvogel University of Stuttgart

 

Other publications of authors with the same name

Two-Level Type Theory and Applications., , and . CoRR, (2017)Generalizations of Hedberg's Theorem., , , and . TLCA, volume 7941 of Lecture Notes in Computer Science, page 173-188. Springer, (2013)Univalent higher categories via complete Semi-Segal types., and . Proc. ACM Program. Lang., 2 (POPL): 44:1-44:29 (2018)Space-Valued Diagrams, Type-Theoretically (Extended Abstract)., and . CoRR, (2017)On the Hierarchy of Univalent Universes: U(n) is not n-Truncated., and . CoRR, (2013)Partiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type., , and . FoSSaCS, volume 10203 of Lecture Notes in Computer Science, page 534-549. (2017)Free Higher Groups in Homotopy Type Theory., and . LICS, page 599-608. ACM, (2018)Constructions with Non-Recursive Higher Inductive Types.. LICS, page 595-604. ACM, (2016)Functions out of Higher Truncations., , and . CSL, volume 41 of LIPIcs, page 359-373. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)Shallow Embedding of Type Theory is Morally Correct., , and . MPC, volume 11825 of Lecture Notes in Computer Science, page 329-365. Springer, (2019)