Matthias Krebs

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 7

Top Topics

Top Venues

IEEE Robotics Autom. Lett.

Proc. ACM Program. Lang.

Publications

Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
Dependently-Typed Data Plane Programming. CoRR (2022)
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
Dependently-typed data plane programming. Proc. ACM Program. Lang. 6 (POPL) (2022)
Vincent Mai, Mina Kamel, Matthias Krebs, Andreas Schaffner, Daniel Meier, Liam Paull, Roland Siegwart
Local Positioning System Using UWB Range Measurements for an Unmanned Blimp. IEEE Robotics Autom. Lett. 3 (4) (2018)
Matthias Krebs, Fabian Stadler, Jürgen Anke
Vorbereitung von SAP Event Logs für Process Mining mit ProM. HMD Prax. Wirtsch. 55 (1) (2018)
Fabian Nöhring, Matthias Krebs, Frank Pöschel, Jochen Deuse
Praxisnahes Lehrkonzept zum Aufbau von zeitwirtschaftlicher Kompetenz mit IT-Systemen von dmc-ortim und SAP. MKWI (2016)
Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini
A co-contextual formulation of type rules and its application to incremental type checking. OOPSLA (2015)
Matthias Krebs, Stefan Röthlisberger, Peter Gysel
Secure Communications for Ancillary Services. D-A-CH EI (2015)
Thomas Resch, Matthias Krebs
A Simple Architecture for Server-based (Indoor) Audio Walks. NIME (2014)
Michael Burri, Laura Gasser, M. Käch, Matthias Krebs, S. Laube, A. 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
Design and control of a spherical omnidirectional blimp. IROS (2013)
Cyrill Grüter, Peter Gysel, Matthias Krebs, Christoph Meier
EoD designer: A computation tool for energy optimization of data centers. GREENS (2012)