Peter Müller

发表

Faculty Opinions recommendation of High-throughput operating room system for joint arthroplasties durably outperforms routine processes.

Christoph Kindler, Peter Müller, 2008 .

Nonparametric Bayesian inference in applications

Fernando A. Quintana, Garritt L. Page, Peter Müller, 2017, Statistical Methods & Applications.

VerifyThis 2016: A Program Verification Competition

Erik Poll, Rosemary Monahan, Marieke Huisman, 2016 .

Faculty Opinions recommendation of Using mean duration and variation of procedure times to plan a list of surgical operations to fit into the scheduled list time.

Christoph Kindler, Peter Müller, 2011 .

Bayesian Adaptive Methods for Clinical Trials

Bradley P. Carlin, Scott M. Berry, Jiun-Kae Jack Lee, 2010 .

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Peter Müller, 2020, ESOP.

Faculty Opinions recommendation of Numbers of simultaneous turnovers calculated from anesthesia or operating room information management system data.

Christoph Kindler, Peter Müller, 2010 .

Faculty Opinions recommendation of What is the best workflow for an operating room? A simulation study of five scenarios.

Christoph Kindler, Peter Müller, 2009 .

Faculty Opinions recommendation of Predicting the unpredictable: a new prediction model for operating room times using individual characteristics and the surgeon's estimate.

Christoph Kindler, Peter Müller, 2010 .

Technologies for finding errors in object-oriented software

Gary T. Leavens, K. Rustan M. Leino, Gary T. Leavens, 2017 .