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
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

This page was built for person: David Müller