Matthias Krebs

According to our database, Matthias Krebs authored at least 8 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Dependently-typed data plane programming.

Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini

Proc. ACM Program. Lang., 2022

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

Vorbereitung von SAP Event Logs für Process Mining mit ProM.

Matthias Krebs, Fabian Stadler, Jürgen Anke

HMD Prax. Wirtsch., 2018

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

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Secure Communications for Ancillary Services.

Matthias Krebs, Stefan Röthlisberger, Peter Gysel

Proceedings of the Energy Informatics, 2015

2014

A Simple Architecture for Server-based (Indoor) Audio Walks.

Thomas Resch, Matthias Krebs

Proceedings of the 14th International Conference on New Interfaces for Musical Expression, 2014

2013

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, N. Vuilliomenet, J. Weichart, Konrad Rudin, Stefan Leutenegger, Javier Alonso-Mora, Roland Siegwart, Paul A. Beardsley

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

2012

EoD designer: A computation tool for energy optimization of data centers.

Cyrill Grüter, Peter Gysel, Matthias Krebs, Christoph Meier

Proceedings of the First International Workshop on Green and Sustainable Software, 2012