Matthias Krebs
Orcid: 0000-0003-2508-1428
According to our database1,
Matthias Krebs
authored at least 9 papers
between 2012 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
2018
IEEE Robotics Autom. Lett., 2018
HMD Prax. Wirtsch., 2018
2016
Praxisnahes Lehrkonzept zum Aufbau von zeitwirtschaftlicher Kompetenz mit IT-Systemen von dmc-ortim und SAP.
Proceedings of the Multikonferenz Wirtschaftsinformatik, 2016
2015
A co-contextual formulation of type rules and its application to incremental type checking.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
Proceedings of the Energy Informatics, 2015
2014
Proceedings of the 14th International Conference on New Interfaces for Musical Expression, 2014
2013
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013
2012
Proceedings of the First International Workshop on Green and Sustainable Software, 2012