David Müller

Available identifiers

zbMath Open muller.davidMaRDI QIDQ321897

List of research outcomes

Publication	Date of Publication	Type
Network manipulation algorithm based on inexact alternating minimization	2022-12-20	Paper
From LTL to unambiguous Büchi automata via disambiguation of alternating automata	2022-06-20	Paper
An algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learning	2022-06-08	Paper
Discrete Choice Prox-Functions on the Simplex	2022-05-17	Paper
Optimally Blended Spectral Elements in Structural Dynamics: Selective Integration and Mesh Distortion	2022-03-14	Paper
Semiconductor final-test scheduling under setup operator constraints	2022-03-09	Paper
Dynamic pricing under nested logit demand	2022-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q3384171	2021-12-14	Paper
Mathematical Foundations of Big Data Analytics	2021-01-28	Paper
Generic Emptiness Check for Fun and Profit	2020-07-20	Paper
Markov Chains and Unambiguous Büchi Automata	2019-05-03	Paper
A worker constrained flexible job shop scheduling problem with sequence-dependent setup times	2019-03-20	Paper
Investigations of the gas-liquid multiphase system involving macro-instability in a baffled stirred tank reactor	2018-10-08	Paper
Lieb-Thirring and Cwickel-Lieb-Rozenblum inequalities for perturbed graphene with a Coulomb impurity	2018-08-31	Paper
On the virtual levels of positively projected massless Coulomb-Dirac operators	2017-10-06	Paper
Lower bounds on the moduli of three-dimensional Coulomb-Dirac operators via fractional Laplacians with applications	2017-09-05	Paper
Minimax principles, Hardy-Dirac inequalities, and operator cores for two and three dimensional Coulomb-Dirac operators	2016-10-14	Paper
On the minimax principle for Coulomb-Dirac operators	2015-08-03	Paper
Are Good-for-Games Automata Good for Probabilistic Model Checking?	2014-03-31	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David Müller