( en | de | ru )

 

Disambiguation of "Müller, Dennis"

Author of the publication

copydeleteadd this publication to your clipboard
Mathematical Models as Research Data via Flexiformal Theory Graphs.

, , , and . CICM, volume 10383 of Lecture Notes in Computer Science, page 224-238. Springer, (2017)

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.

Dennis Müller

Dennis Müller

Dennis Rubbenstroth

Studies on pathogenesis of avian Metapneumovirus (aMPV) infection in turkeys and the role of immune mechanisms for the protection against aMPV. TierH Hannover, (2009)

Dennis Bock

Dennis Hartmann

 

Other publications of authors with the same name

Disambiguating Symbolic Expressions in Informal Documents., and . ICLR, OpenReview.net, (2021)Representing Structural Language Features in Formal Meta-languages., , , and . CICM, volume 12236 of Lecture Notes in Computer Science, page 206-221. Springer, (2020)Structuring Theories with Implicit Morphisms., and . WADT, volume 11563 of Lecture Notes in Computer Science, page 154-173. Springer, (2018)Learning Support Systems Based on Mathematical Knowledge Management., , , , , and . CICM, volume 14101 of Lecture Notes in Computer Science, page 84-97. Springer, (2023)Modelling Epidermal Homeostasis as an Approach for Clinical Bioinformatics., , , , , and . MIE, volume 124 of Studies in Health Technology and Informatics, page 105-110. IOS Press, (2006)Explaining Image Classifications with Near Misses, Near Hits and Prototypes - Supporting Domain Experts in Understanding Decision Boundaries., , , and . ICPRAI (2), volume 13364 of Lecture Notes in Computer Science, page 419-430. Springer, (2022)Knowledge Management across Formal Libraries.. FM4M/MathUI/ThEdu/DP/WIP@CIKM, volume 1785 of CEUR Workshop Proceedings, page 98-101. CEUR-WS.org, (2016)Mathematical Knowledge Management Across Formal Libraries (Mathematisches Wissensmanagement Über Formale Bibliotheksgrenzen Hinaus). University of Erlangen-Nuremberg, Germany, (2019)base-search.net (ftuniverlangen:oai:ub.uni-erlangen.de-opus:12359).The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems., , , , , , and . CoRR, (2020)HD Lane Map Generation Based on Trail Map Aggregation., , and . IV, page 600-606. IEEE, (2022)