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!
| Publication | Date of Publication | Type |
|---|---|---|
| Optimization and validation of pumping system design and operation for water supply in high-rise buildings Optimization and Engineering | 2022-05-17 | Paper |
| scientific article; zbMATH DE number 7315073 (Why is no real title available?) | 2021-02-24 | Paper |
| Information theory for subjective logic Modeling Decisions for Artificial Intelligence | 2017-06-20 | Paper |
| Expressiveness modulo bisimilarity of regular expressions with parallel composition Mathematical Structures in Computer Science | 2017-04-04 | Paper |
| A Formal Derivation of Composite Trust Foundations and Practice of Security | 2013-08-07 | Paper |
Research outcomes over time
This page was built for person: Tim M. Müller