Matthias Kauer
Orcid: 0000-0002-7146-4756
According to our database1,
Matthias Kauer
authored at least 20 papers
between 2012 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
IEEE Trans. Veh. Technol., 2019
Proceedings of the 9th IEEE International Conference on Consumer Electronics, 2019
2017
IEEE Trans. Very Large Scale Integr. Syst., 2017
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
Development of an Indoor Photovoltaic Energy Harvesting Module for Autonomous Sensors in Building Air Quality Applications.
IEEE Internet Things J., 2017
2016
ACM Trans. Design Autom. Electr. Syst., 2016
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016
2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015
2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014
Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification.
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014
2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Formal verification of distributed controllers using Time-Stamped Event Count Automata.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013
2012
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012