Author Info
Name
Affiliation
Papers
DENNIS MULLER
Dept. of Comput. Sci., Dortmund Univ.
21
Collaborators
Citations 
PageRank 
42
9
7.43
Referers 
Referees 
References 
22
64
36
Title
Citations
PageRank
Year
Disambiguating Symbolic Expressions in Informal Documents00.342021
FrameIT - Detangling Knowledge Management from Game Design in Serious Games.00.342020
Representing Structural Language Features in Formal Meta-languages.00.342020
Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019.00.342020
Ontology Population Framework of MAGNETO for Instantiating Heterogeneous Forensic Data Modalities.00.342019
The Coq Library as a Theory Graph.00.342019
Rapid Prototyping Formal Systems in MMT: 5 Case Studies.00.342019
Relational Data Across Mathematical Libraries.00.342019
Automatically Finding Theory Morphisms For Knowledge Management00.342018
Theories as Types.00.342018
Structuring Theories with Implicit Morphisms.00.342018
Mathematical Models As Research Data Via Flexiformal Theory Graphs00.342017
Alignment-Based Translations Across Formal Systems Using Interface Theories00.342017
Classification Of Alignments Between Concepts Of Formal Mathematical Systems00.342017
Knowledge-Based Interoperability for Mathematical Software Systems.00.342017
Making Pvs Accessible To Generic Services By Interpretation In A Universal Format00.342017
Knowledge Management across Formal Libraries.00.342016
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies.00.342016
A Standard for Aligning Mathematical Concepts.00.342016
Combining Response Surface Methodology with Numerical Methods for Optimization of Markovian Models60.552006
Combining Response Surface Methodology with Numerical Models for Optimization of Class-Based Queueing Systems30.462005