Christian Müller

22 papers A* 1B 1C 2Misc 1Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Stratified guarded first-order transition systems.
Formal Methods Syst. Des.
Christian Müller, Helmut Seidl
2022 C conf
Business Model Innovation in Times of Crisis: Highway2Hybrid - A Trade Fairs Digital Transformation.
ICIS
Markus Böhm, Christian Müller
2021 — conf
Bots Don't Mind Waiting, Do They? Comparing the Interaction With Automatically and Manually Created Pull Requests.
BotSE@ICSE
Marvin Wyrich, Raoul Ghit, Tobias Haller, Christian Müller
2021 J jnl
Bots Don't Mind Waiting, Do They? Comparing the Interaction With Automatically and Manually Created Pull Requests.
CoRR
Marvin Wyrich, Raoul Ghit, Tobias Haller, Christian Müller
2021 J jnl
GGLasso - a Python package for General Graphical Lasso computation.
J. Open Source Softw.
Fabian Schaipp, Oleg Vlasovets, Christian Müller
2020 J jnl
A neural network assisted Metropolis adjusted Langevin algorithm.
Monte Carlo Methods Appl.
Christian Müller, Holger Diedam, Thomas Mrziglod, Andreas Schuppert
2019 Misc conf
Facing the Unplanned Migration of Serverless Applications: A Study on Portability Problems, Solutions, and Dead Ends.
UCC
Vladimir Yussupov, Uwe Breitenbücher, Frank Leymann, Christian Müller
2018 J jnl
Markov-Chain Monte-Carlo methods and non-identifiabilities.
Monte Carlo Methods Appl.
Christian Müller, Fabian Weysser, Thomas Mrziglod, Andreas Schuppert
2017 J jnl
A real-time quality monitoring system for optimal recording of 12-lead resting ECG.
Biomed. Signal Process. Control.
Irena Jekova, Vessela Tz. Krasteva, Remo Leber, Ramun Schmid, Raphael Twerenbold, Tobias Reichlin, Christian Müller, Roger Abächerli
2016 J jnl
Inter-lead correlation analysis for automated detection of cable reversals in 12/16-lead ECG.
Comput. Methods Programs Biomed.
Irena Jekova, Vessela Tz. Krasteva, Remo Leber, Ramun Schmid, Raphael Twerenbold, Christian Müller, Tobias Reichlin, Roger Abächerli
2015 B conf
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation.
CC
Hilmar Ackermann, Christoph Reichenbach, Christian Müller, Yannis Smaragdakis
2015 — conf
A Mobile Application to Manage and Minimise the Risk of Late Effects Caused by Childhood Cancer.
MIE
Ann-Kristin Kock, Rafiye Kaya, Christian Müller, Björn Andersen, Thorsten Langer, Josef Ingenerf
2015 J jnl
Smart Traffic Flow.
HMD Prax. Wirtsch.
Werner Schmidt, Stephan Borgert, Albert Fleischmann, Lutz Heuser, Christian Müller, Immanuel Schweizer
2015 A* conf
Thermal Covert Channels on Multi-core Platforms.
USENIX Security Symposium
Ramya Jayaram Masti, Devendra Rai, Aanjhan Ranganathan, Christian Müller, Lothar Thiele, Srdjan Capkun
2015 J jnl
Thermal Covert Channels on Multi-core Platforms.
CoRR
Ramya Jayaram Masti, Devendra Rai, Aanjhan Ranganathan, Christian Müller, Lothar Thiele, Srdjan Capkun
2012 J jnl
Optimale Verteilung von Mautgebühren zur Verkehrsführung: Einführung in die Modellierung und Analyse.
Autom.
Christian Müller, Andreas Rehkopf, Sindy Bauersfeld
2011 J jnl
Optimale Betriebsführung eines virtuellen Kraftwerks auf Basis von gasbetriebenen Mikro-Blockheizkraftwerken (Optimal Operation Control of a Virtual Power Plant Based on Gas-Powered Micro-Cogeneration Units).
Autom.
Christian Müller, Andreas Rehkopf
2009 — conf
Automating Periodic Role-Checks - A Tool-based Approach.
Wirtschaftsinformatik (1)
Ludwig Fuchs, Christian Müller
2007 C conf
Algebraic Knowledge Discovery Using Haskell.
PADL
Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller
2005 — conf
Implementierung von Default-Regeln durch optimale konditionale Rangfunktionen.
Informatiktage
Christian Müller
1993 — conf
Software-Entwicklung zur Unterstützung der Konstruktionsarbeit.
Menschengerechte Software als Wettbewerbsfaktor
Willi Schwier, Christian Müller
1977 J jnl
Optimale Bestellpolitiken bei diskreten, stochastisch abhängigen Nachfrageverteilungen.
Math. Methods Oper. Res.
Christian Müller, Thomas Witte