PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ahrens, Benedikt"

Author of the publication

copydeleteadd this publication to your clipboard
Digital rock physics and laboratory considerations on a high-porosity volcanic rock: micro-XRCT data sets

, , , , , , , , , , , , , , and . Dataset, (2020)Related to: Schepp, L.L., Ahrens, B., Balcewicz, M., Duda, M., Nehler, M., Osorno, M., Uribe, D., Steeb, S., Nigon, B., Stöckhert, F., Swanson, D.A., Siegert, M., Gurris, M. & Saenger, E.H. (2020). Digital rock physics and laboratory considerations on a high-porosity volcanic rock. Scientific Reports, 10, 5840. doi: 10.1038/s41598-020-62741-1.
DOI: 10.18419/darus-680

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.

Benedikt Kolb University of Stuttgart

Benedikt Maurer University of Stuttgart

Benedikt Wiedemann University of Stuttgart

Benedikt Breitenhuber University of Stuttgart

Benedikt Posner

 

Other publications of authors with the same name

Initial Semantics for higher-order typed syntax in Coq., and . J. Formalized Reasoning, 4 (1): 25-69 (2011)Heterogeneous Substitution Systems Revisited., and . TYPES, volume 69 of LIPIcs, page 2:1-2:23. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)Categorical Structures for Type Theory in Univalent Foundations., , and . CSL, volume 82 of LIPIcs, page 8:1-8:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II., , and . Math. Struct. Comput. Sci., 31 (4): 361-362 (2021)Initiality for Typed Syntax and Semantics.. WoLLIC, volume 7456 of Lecture Notes in Computer Science, page 127-141. Springer, (2012)Non-Wellfounded Trees in Homotopy Type Theory., , and . TLCA, volume 38 of LIPIcs, page 17-30. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)Initial Semantics for Reduction Rules.. Logical Methods in Computer Science, (2019)Categorical structures for type theory in univalent foundations., , and . Logical Methods in Computer Science, (2018)Displayed Categories., and . Logical Methods in Computer Science, (2019)Modules over relative monads for syntax and semantics. CoRR, (2011)