Tim M. Müller

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Optimization and validation of pumping system design and operation for water supply in high-rise buildings
Optimization and Engineering
2022-05-17Paper
scientific article; zbMATH DE number 7315073 (Why is no real title available?)2021-02-24Paper
Information theory for subjective logic
Modeling Decisions for Artificial Intelligence
2017-06-20Paper
Expressiveness modulo bisimilarity of regular expressions with parallel composition
Mathematical Structures in Computer Science
2017-04-04Paper
A Formal Derivation of Composite Trust
Foundations and Practice of Security
2013-08-07Paper


Research outcomes over time


This page was built for person: Tim M. Müller