M.E.Mueller

Professor for mathematical and theoretical foundations of computer science at H-BRS.
Adjunct professor at the University Augsburg.

Contact Official staff web site at HBRS.
Mails to my official address martin.mueller@h-brs.de are processed only during office time.
CV: See ORCID, WoS/RId, RG, dblp or dnb.
Research interests: (Non-classical) algebraic (modal) logic and semantics, residuated structures, abstract/universal algebra, knowledge discovery, ...

Research & Publications

This list only contains relevant publications (not necessarily top-rated ones). For more, see ORCID, RID, RG, dnb, and dblp. I've never been keen on writing a great number of papers and I don't know my h-index. My Erdős number is at most 4, if you want to consider this an achievement.

Logics, Relation Algebra
- Books, Chapters
  - ed. with P. Höfner, P. Jipsen, W. Kahl, Relational and Algebraic Methods in Computer Science, 2014.
- Journals
  - ed. with P. Höfner, P. Jipsen, W. Kahl, Relational and Algebraic Methods in Computer Science JLAMP 85(4), 2016
- Conferences
  - Roughness by Residuals - Algebraic Description of Rough Sets and an Algorithm for Finding Core Relations, 2015.
  - Towards Finding Maximal Subrelations with Desired Properties, 2014.
- Workshops, Reports
  - Towards Algebraic descriptions of Formal Concept and Rough Set Analysis, 2015
  - ATPPortal: a user-friendly webbased interface for automated theorem provers and for automatically generated proofs, 2010.
- Other
  - Algebras of vagueness, cumulative Habilitation.
Unified theories of programming
- Conferences
  - with T. Hoare, B. Möller, G. Struth, A Discrete Geometric Model of Concurrent Program Execution, 2016.
- Workshops, Reports
  - with B. Möller and T. Hoare, Tracelets and Specifications, 2017.
  - with T. Hoare, B. Möller, G. Struth, A Discrete Geometric Model of Concurrent Program Execution, 2017. Extended version of the 2016 paper.
Machine Learning, ILP
- Books, Chapters
  - Relational Knowledge Discovery, CUP, 2012.
  - Chapter "Learning Adaptive Behavior" in: Adaptable and Adaptive Hypermedia Systems, 2005
- Journals
  - Can user models be learned at all? Inherent problems in machine learning for user modelling, KER 19(1), 2004.
  - Learning Scrutable User Models: Inducing Conceptual Descriptions, KI 16(3), 2002.
- Conferences
  - with Y. Youssef, A Review of Inductive Logic Programming Applications for Robotic Systems, 2023.
  - Modalities, Relations, and Learning, 2009.
  - Why Some Emotional States Are Easier to be Recognized Than Others, 2006.
Other
- Books, Chapters
  - with K.-U. Witt, Algorithmische Informationstheorie, 2020.
- Journals
  - On nothing, JLAMP 83(2), 2014
  - Being aware: where we think the action is CognTechWork, 9, 2007
- Workshops, Reports
  - On the needs for specification and verification of cullaborative and concurrent robots, agents and processes, 2015.

Teaching

Courses: Discrete Mathematics, (Advanced) Algebraic Methods/Logic on undergrad and graduate levels. Lecture material can be accessed through the HBRS learning platform.
Theses: Interested in a thesis or R&D project? - Please send an email!