EoD designer: A computation tool for energy optimization of data centers. - Cyrill Grüter; Peter Gysel; Matthias Krebs; Christoph Meier (GREENS, 2012)

Design and control of a spherical omnidirectional blimp. - Michael Burri; Laura Gasser; M. Käch; Matthias Krebs; S. Laube; Anton Ledergerber; Daniel Meier; R. Michaud; Lukas Mosimann; L. Müri; Claudio Ruch; Andreas Schaffner; et al. (IROS, 2013)

A Simple Architecture for Server-based (Indoor) Audio Walks. - Thomas Resch; Matthias Krebs (NIME, 2014)

Secure Communications for Ancillary Services. - Matthias Krebs; Stefan Röthlisberger; Peter Gysel (D-A-CH EI, 2015)

A co-contextual formulation of type rules and its application to incremental type checking. - Sebastian Erdweg; Oliver Bracevac; Edlira Kuci; Matthias Krebs; Mira Mezini (OOPSLA, 2015)

Praxisnahes Lehrkonzept zum Aufbau von zeitwirtschaftlicher Kompetenz mit IT-Systemen von dmc-ortim und SAP. - Fabian Nöhring; Matthias Krebs; Frank Pöschel; Jochen Deuse (MKWI, 2016)

Vorbereitung von SAP Event Logs für Process Mining mit ProM. - Matthias Krebs; Fabian Stadler; Jürgen Anke (HMD Prax. Wirtsch., 2018)

Local Positioning System Using UWB Range Measurements for an Unmanned Blimp. - Vincent Mai; Mina Kamel; Matthias Krebs; Andreas Schaffner; Daniel Meier; Liam Paull; Roland Siegwart (IEEE Robotics Autom. Lett., 2018)

Dependently-typed data plane programming. - Matthias Eichholz 001; Eric Hayden Campbell; Matthias Krebs; Nate Foster; Mira Mezini (Proc. ACM Program. Lang., 2022)