( en | de | ru )

 

Disambiguation of "Müller, Dennis"

Author of the publication

copydeleteadd this publication to your clipboard
System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper).

, , and . CICM Workshops, volume 3377 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)

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 Gabor

Dennis Köder

 

Other publications of authors with the same name

Structuring Theories with Implicit Morphisms., and . WADT, volume 11563 of Lecture Notes in Computer Science, page 154-173. Springer, (2018)Representing Structural Language Features in Formal Meta-languages., , , and . CICM, volume 12236 of Lecture Notes in Computer Science, page 206-221. Springer, (2020)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)Disambiguating Symbolic Expressions in Informal Documents., and . ICLR, OpenReview.net, (2021)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)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).Knowledge Management across Formal Libraries.. FM4M/MathUI/ThEdu/DP/WIP@CIKM, volume 1785 of CEUR Workshop Proceedings, page 98-101. CEUR-WS.org, (2016)HD Lane Map Generation Based on Trail Map Aggregation., , and . IV, page 600-606. IEEE, (2022)Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems - An Experimental Study., and . WSC, page 516-527. IEEE, (2009)