David Müller

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
Network manipulation algorithm based on inexact alternating minimization Computational Management Science	2022-12-20	Paper
From LTL to unambiguous Büchi automata via disambiguation of alternating automata Formal Methods in System Design	2022-06-20	Paper
An algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learning European Journal of Operational Research	2022-06-08	Paper
Discrete choice prox-functions on the simplex Mathematics of Operations Research	2022-05-17	Paper
Optimally Blended Spectral Elements in Structural Dynamics: Selective Integration and Mesh Distortion International Journal of Computational Methods	2022-03-14	Paper
Semiconductor final-test scheduling under setup operator constraints Computers & Operations Research	2022-03-09	Paper
Dynamic pricing under nested logit demand	2022-02-01	Paper
LTL to deterministic Emerson-Lei automata	2021-12-14	Paper
Mathematical foundations of big data analytics	2021-01-28	Paper
Generic emptiness check for fun and profit Automated Technology for Verification and Analysis	2020-07-20	Paper
Markov chains and unambiguous Büchi automata Computer Aided Verification	2019-05-03	Paper
A worker constrained flexible job shop scheduling problem with sequence-dependent setup times OR Spectrum	2019-03-20	Paper
Investigations of the gas-liquid multiphase system involving macro-instability in a baffled stirred tank reactor Journal of Control Science and Engineering	2018-10-08	Paper
Lieb-Thirring and Cwickel-Lieb-Rozenblum inequalities for perturbed graphene with a Coulomb impurity Journal of Spectral Theory	2018-08-31	Paper
On the virtual levels of positively projected massless Coulomb-Dirac operators Annales Henri Poincaré	2017-10-06	Paper
Lower bounds on the moduli of three-dimensional Coulomb-Dirac operators via fractional Laplacians with applications Journal of Mathematical Physics	2017-09-05	Paper
On the minimax principle for Coulomb-Dirac operators Mathematische Zeitschrift	2015-08-03	Paper
Are good-for-games automata good for probabilistic model checking? Language and Automata Theory and Applications	2014-03-31	Paper

Research outcomes over time

This page was built for person: David Müller