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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2017 | Dissertation | LibreCat-ID: 704
Scheduling with Scarce Resources
S. Riechers, Scheduling with Scarce Resources, Universität Paderborn, 2017.
LibreCat | Files available | DOI
 

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
 

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
 

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
 

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
 

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
 

2017 | Conference Paper | LibreCat-ID: 717 | OA
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.)
 

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
 

2017 | Conference Paper | LibreCat-ID: 723 | OA
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
 

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
 

2017 | Mastersthesis | LibreCat-ID: 74
OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten, Universität Paderborn, 2017.
LibreCat
 

Filters and Search Terms

year=2017

Search

Filter Publications

Display / Sort

Export / Embed