Matthias Krebs
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2013–2015
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | OOPSLA | A co-contextual formulation of type rules and its application to incremental type checking. | Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini |
| 2013 | IROS | Design and control of a spherical omnidirectional blimp. | Michael Burri, Laura Gasser, M. Kch, Matthias Krebs, S. Laube, Anton Ledergerber, Daniel Meier, R. Michaud, Lukas Mosimann, L. Mri, Claudio Ruch, Andreas Schaffner, N. Vuilliomenet, Johannes Weichart, Konrad Rudin, Stefan Leutenegger, Javier Alonso-Mora, Roland Siegwart, Paul A. Beardsley |