Patrick Bittner
According to our database1,
Patrick Bittner
authored at least 5 papers
between 2013 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
0
1
2
3
1
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015
2014
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014
2013
Local authentication and authorization system for immediate setup of cloud environments.
Proceedings of the International Conference on Advances in Computing, 2013
Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving.
Proceedings of the International Conference on Embedded Software, 2013