Patrick Bittner

According to our database, Patrick Bittner authored at least 5 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Modulempfehlungen über Vorgänger- und Nachfolgemodule.

Patrick Bittner

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

2014

Get Your Study Plan.

Patrick Bittner, Christopher Ritter, Thomas Hildmann

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

Vom BYOE zu GYSE.

Christopher Ritter, Patrick Bittner, Odej Kao

Proceedings of the 7. DFN-Forum, 2014

2013

Local authentication and authorization system for immediate setup of cloud environments.

Alexander Stanik, Patrick Bittner, Marvin Byfield, Fridtjof Sander, Daniel Schoder

Proceedings of the International Conference on Advances in Computing, 2013

Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving.

Paula Herber, Robert Reicherdt, Patrick Bittner

Proceedings of the International Conference on Embedded Software, 2013