( 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 Ellersiek

Dennis Bock

 

Other publications of authors with the same name

Disambiguating Symbolic Expressions in Informal Documents., and . ICLR, OpenReview.net, (2021)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)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)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)Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems - An Experimental Study., and . WSC, page 516-527. IEEE, (2009)An Interactive Explanatory AI System for Industrial Quality Control., , , and . AAAI, page 12580-12586. AAAI Press, (2022)Ontology Population Framework of MAGNETO for Instantiating Heterogeneous Forensic Data Modalities., , , , , , , , , and . AIAI, volume 559 of IFIP Advances in Information and Communication Technology, page 520-531. Springer, (2019)