Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2176 Publications
2017 | Mastersthesis | LibreCat-ID: 701
Self-Stabilizing Spanners for Tree Metrics
T. Götte, Self-Stabilizing Spanners for Tree Metrics, Universität Paderborn, 2017.
LibreCat
T. Götte, Self-Stabilizing Spanners for Tree Metrics, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 7011
Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem
A. Hottung, S. Tanaka, K. Tierney, CoRR Abs/1709.09972 (2017).
LibreCat
A. Hottung, S. Tanaka, K. Tierney, CoRR Abs/1709.09972 (2017).
2017 | Journal Article | LibreCat-ID: 7012
Towards DevOps in Multi-provider Projects
M. Fazal-Baqaie, B. Güldali, S. Oberthür, CSE@SE 2017 (2017) 18–21.
LibreCat
M. Fazal-Baqaie, B. Güldali, S. Oberthür, CSE@SE 2017 (2017) 18–21.
2017 | Journal Article | LibreCat-ID: 7020
Overcoming Ehrlich-Schwöbel barrier in (1 1 1)A GaAs molecular beam epitaxy
J. Ritzmann, R. Schott, K. Gross, D. Reuter, A. Ludwig, A.D. Wieck, Journal of Crystal Growth 481 (2017) 7–10.
LibreCat
| DOI
J. Ritzmann, R. Schott, K. Gross, D. Reuter, A. Ludwig, A.D. Wieck, Journal of Crystal Growth 481 (2017) 7–10.
2017 | Journal Article | LibreCat-ID: 7026
Robust Si 3 N 4 masks for 100 nm selective area epitaxy of GaAs-based nanostructures
V. Zolatanosha, D. Reuter, Microelectronic Engineering 180 (2017) 35–39.
LibreCat
| DOI
V. Zolatanosha, D. Reuter, Microelectronic Engineering 180 (2017) 35–39.
2017 | Journal Article | LibreCat-ID: 7027
Focused ion beam supported growth of monocrystalline wurtzite InAs nanowires grown by molecular beam epitaxy
S. Scholz, R. Schott, P.A. Labud, C. Somsen, D. Reuter, A. Ludwig, A.D. Wieck, Journal of Crystal Growth 470 (2017) 46–50.
LibreCat
| DOI
S. Scholz, R. Schott, P.A. Labud, C. Somsen, D. Reuter, A. Ludwig, A.D. Wieck, Journal of Crystal Growth 470 (2017) 46–50.
2017 | Journal Article | LibreCat-ID: 7028
Spin dynamics of quadrupole nuclei in InGaAs quantum dots
M.S. Kuznetsova, R.V. Cherbunin, I.Y. Gerlovin, I.V. Ignatiev, S.Y. Verbin, D.R. Yakovlev, D. Reuter, A.D. Wieck, M. Bayer, Physical Review B 95 (2017).
LibreCat
| DOI
M.S. Kuznetsova, R.V. Cherbunin, I.Y. Gerlovin, I.V. Ignatiev, S.Y. Verbin, D.R. Yakovlev, D. Reuter, A.D. Wieck, M. Bayer, Physical Review B 95 (2017).
2017 | Journal Article | LibreCat-ID: 7029
Detection and Control of Spin-Orbit Interactions in a GaAs Hole Quantum Point Contact
A. Srinivasan, D.S. Miserev, K.L. Hudson, O. Klochan, K. Muraki, Y. Hirayama, D. Reuter, A.D. Wieck, O.P. Sushkov, A.R. Hamilton, Physical Review Letters 118 (2017).
LibreCat
| DOI
A. Srinivasan, D.S. Miserev, K.L. Hudson, O. Klochan, K. Muraki, Y. Hirayama, D. Reuter, A.D. Wieck, O.P. Sushkov, A.R. Hamilton, Physical Review Letters 118 (2017).
2017 | Dissertation | LibreCat-ID: 703
Local Algorithms for the Continuous Gathering Problem
P. Podlipyan, Local Algorithms for the Continuous Gathering Problem, Universität Paderborn, 2017.
LibreCat
| Files available
| DOI
P. Podlipyan, Local Algorithms for the Continuous Gathering Problem, Universität Paderborn, 2017.
2017 | Dissertation | LibreCat-ID: 704
Scheduling with Scarce Resources
S. Riechers, Scheduling with Scarce Resources, Universität Paderborn, 2017.
LibreCat
| Files available
| DOI
S. Riechers, Scheduling with Scarce Resources, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 706
Cost-efficient Scheduling on Machines from the Cloud
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2017) 1168–1194.
LibreCat
| Files available
| DOI
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2017) 1168–1194.
2017 | Dissertation | LibreCat-ID: 707
Knowledge-based Verification of Service Compositions
S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.
LibreCat
| DOI
S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 708
Minimizing downtimes: Using dynamic reconfiguration and state management in SDN
A. Schwabe, E. Rojas, H. Karl, in: 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--5.
LibreCat
| DOI
A. Schwabe, E. Rojas, H. Karl, in: 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--5.
2017 | Conference Paper | LibreCat-ID: 709
Demo: OpenC2X — An open source experimental and prototyping platform supporting ETSI ITS-G5
S. Laux, G.S. Pannu, S.B. Schneider, J. Tiemann, F. Klingler, C. Sommer, F. Dressler, in: 2016 IEEE Vehicular Networking Conference (VNC), IEEE, 2017.
LibreCat
| DOI
S. Laux, G.S. Pannu, S.B. Schneider, J. Tiemann, F. Klingler, C. Sommer, F. Dressler, in: 2016 IEEE Vehicular Networking Conference (VNC), IEEE, 2017.
2017 | Conference Paper | LibreCat-ID: 71
Predicting Rankings of Software Verification Tools
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.
LibreCat
| Files available
| DOI
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.
2017 | Conference Paper | LibreCat-ID: 717 |
SONATA: Service programming and orchestration for virtualized software networks
S. Dräxler, H. Karl, M. Peuster, H. Razzaghi Kouchaksaraei, M. Bredel, J. Lessmann, T. Soenen, W. Tavernier, S. Mendel-Brin, G. Xilouris, in: 2017 IEEE International Conference on Communications Workshops (ICC Workshops), IEEE, 2017.
LibreCat
| Files available
| DOI
| Download (ext.)
S. Dräxler, H. Karl, M. Peuster, H. Razzaghi Kouchaksaraei, M. Bredel, J. Lessmann, T. Soenen, W. Tavernier, S. Mendel-Brin, G. Xilouris, in: 2017 IEEE International Conference on Communications Workshops (ICC Workshops), IEEE, 2017.
2017 | Report | LibreCat-ID: 72
Predicting Rankings of Software Verification Competitions
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
LibreCat
| Files available
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
2017 | Conference Paper | LibreCat-ID: 723 |
A flexible multi-pop infrastructure emulator for carrier-grade MANO systems
M. Peuster, S. Dräxler, H. Razzaghi Kouchaksaraei, S. van Rossem, W. Tavernier, H. Karl, in: IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--3.
LibreCat
| Files available
| DOI
M. Peuster, S. Dräxler, H. Razzaghi Kouchaksaraei, S. van Rossem, W. Tavernier, H. Karl, in: IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--3.
2017 | Conference Paper | LibreCat-ID: 73
PART_PW: From Partial Analysis Results to a Proof Witness
M.-C. Jakobs, in: A. Cimatti, M. Sirjani (Eds.), Software Engineering and Formal Methods, 2017, pp. 120–135.
LibreCat
| Files available
| DOI
M.-C. Jakobs, in: A. Cimatti, M. Sirjani (Eds.), Software Engineering and Formal Methods, 2017, pp. 120–135.
2017 | Mastersthesis | LibreCat-ID: 74
OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten, Universität Paderborn, 2017.
LibreCat
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten, Universität Paderborn, 2017.