Patrick Bittner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2013–2015
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | GI | Modulempfehlungen ber Vorgnger- und Nachfolgemodule. | Patrick Bittner |
| 2014 | GI | Get Your Study Plan. | Patrick Bittner, Christopher Ritter, Thomas Hildmann |
| 2013 | EMSOFT | Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. | Paula Herber, Robert Reicherdt, Patrick Bittner |