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.
8631 Publications
2013 | Journal Article | LibreCat-ID: 476
Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing
P. Kolman, C. Scheideler, Theory of Computing Systems (2013) 341–363.
LibreCat
| Files available
| DOI
P. Kolman, C. Scheideler, Theory of Computing Systems (2013) 341–363.
2013 | Conference Paper | LibreCat-ID: 477
Token Dissemination in Geometric Dynamic Networks
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, F. Meyer auf der Heide, in: Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers, 2013, pp. 22–34.
LibreCat
| Files available
| DOI
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, F. Meyer auf der Heide, in: Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers, 2013, pp. 22–34.
2013 | Dissertation | LibreCat-ID: 478
Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems
N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, Universität Paderborn, 2013.
LibreCat
| Files available
N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, Universität Paderborn, 2013.
2013 | Bachelorsthesis | LibreCat-ID: 482
Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen
M. Bieshaar, Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen, Universität Paderborn, 2013.
LibreCat
M. Bieshaar, Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 483
SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems
M. Becker, S. Becker, J. Meyer, in: Proceedings of the Software Engineering Conference (SE), 2013, pp. 71–84.
LibreCat
| Files available
| Download (ext.)
M. Becker, S. Becker, J. Meyer, in: Proceedings of the Software Engineering Conference (SE), 2013, pp. 71–84.
2013 | Conference Paper | LibreCat-ID: 484
Service Matching under Consideration of Explicitly Specified Service Variants
M.C. Platenius, M. von Detten, C. Gerth, W. Schäfer, G. Engels, in: IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
LibreCat
| Files available
| DOI
M.C. Platenius, M. von Detten, C. Gerth, W. Schäfer, G. Engels, in: IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
2013 | Conference Paper | LibreCat-ID: 485
Semi-Automated Software Composition Through Generated Components
F. Mohr, H. Kleine Büning, in: Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS), 2013, pp. 676–680.
LibreCat
| Files available
| DOI
F. Mohr, H. Kleine Büning, in: Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS), 2013, pp. 676–680.
2013 | Bachelorsthesis | LibreCat-ID: 490
Routing in heterogenen OpenFlow Netzwerken
F. Wallaschek, Routing in heterogenen OpenFlow Netzwerken, Universität Paderborn, 2013.
LibreCat
F. Wallaschek, Routing in heterogenen OpenFlow Netzwerken, Universität Paderborn, 2013.
2013 | Bachelorsthesis | LibreCat-ID: 492
Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case
C. Robbert, Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case, Universität Paderborn, 2013.
LibreCat
C. Robbert, Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case, Universität Paderborn, 2013.
2013 | Dissertation | LibreCat-ID: 494
Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies
M. von Detten, Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies, Universität Paderborn, 2013.
LibreCat
| Files available
M. von Detten, Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 495
Reducing Nondeterminism in Automated Service Composition
F. Mohr, T. Lettmann, H. Kleine Büning, in: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–161.
LibreCat
| Files available
| DOI
F. Mohr, T. Lettmann, H. Kleine Büning, in: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–161.
2013 | Conference Paper | LibreCat-ID: 496
Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks
M. Benter, F. Neumann, H. Frey, in: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–2201.
LibreCat
| Files available
| DOI
M. Benter, F. Neumann, H. Frey, in: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–2201.
2013 | Conference Paper | LibreCat-ID: 498
Programs from Proofs – A PCC Alternative
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.
LibreCat
| Files available
| DOI
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.
2013 | Journal Article | LibreCat-ID: 7271
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
R. de Lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. M. Villegas, T. Vogel, D. Weyns, L. Baresi, B. Becker, N. Bencomo, Y. Brun, B. Cukic, R. Desmarais, S. Dustdar, G. Engels, K. Geihs, K. M. Göschka, A. Gorla, V. Grassi, P. Inverardi, G. Karsai, J. Kramer, A. Lopes, J. Magee, S. Malek, S. Mankovskii, R. Mirandola, J. Mylopoulos, O. Nierstrasz, M. Pezzè, C. Prehofer, W. Schäfer, R. Schlichting, D. B. Smith, J. Pedro Sousa, L. Tahvildari, K. Wong, J. Wuttke, Software Engineering for Self-Adaptive Systems II (2013) 1–32.
LibreCat
| DOI
R. de Lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. M. Villegas, T. Vogel, D. Weyns, L. Baresi, B. Becker, N. Bencomo, Y. Brun, B. Cukic, R. Desmarais, S. Dustdar, G. Engels, K. Geihs, K. M. Göschka, A. Gorla, V. Grassi, P. Inverardi, G. Karsai, J. Kramer, A. Lopes, J. Magee, S. Malek, S. Mankovskii, R. Mirandola, J. Mylopoulos, O. Nierstrasz, M. Pezzè, C. Prehofer, W. Schäfer, R. Schlichting, D. B. Smith, J. Pedro Sousa, L. Tahvildari, K. Wong, J. Wuttke, Software Engineering for Self-Adaptive Systems II (2013) 1–32.
2013 | Journal Article | LibreCat-ID: 7294
Aharonov–Bohm rings with strong spin–orbit interaction: the role of sample-specific properties
F. Nichele, Y. Komijani, S. Hennel, C. Gerl, W. Wegscheider, D. Reuter, A.D. Wieck, T. Ihn, K. Ensslin, New Journal of Physics 15 (2013).
LibreCat
| DOI
F. Nichele, Y. Komijani, S. Hennel, C. Gerl, W. Wegscheider, D. Reuter, A.D. Wieck, T. Ihn, K. Ensslin, New Journal of Physics 15 (2013).
2013 | Conference Paper | LibreCat-ID: 7331
Observation of the Kondo effect in a spin-3/2 hole quantum dot
O. Klochan, A.P. Micolich, A.R. Hamilton, K. Trunov, D. Reuter, A.D. Wieck, in: COMMAD 2012, IEEE, 2013.
LibreCat
| DOI
O. Klochan, A.P. Micolich, A.R. Hamilton, K. Trunov, D. Reuter, A.D. Wieck, in: COMMAD 2012, IEEE, 2013.
2013 | Conference Paper | LibreCat-ID: 7332
Excitons, Biexcitons, and Trions in an InAs Quantum Dot Ensemble Studied with 2D Fourier-Transform Spectroscopy
G. Moody, R. Singh, H. Li, I. Akimov, M. Bayer, D. Reuter, A. Wieck, S.T. Cundiff, in: Conference on Lasers and Electro-Optics 2012, OSA, 2013.
LibreCat
| DOI
G. Moody, R. Singh, H. Li, I. Akimov, M. Bayer, D. Reuter, A. Wieck, S.T. Cundiff, in: Conference on Lasers and Electro-Optics 2012, OSA, 2013.
2013 | Dissertation | LibreCat-ID: 7569
Quality Assurance with Dynamic Meta Modeling
C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität Paderborn, 2013.
LibreCat
| DOI
C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität Paderborn, 2013.
2013 | Journal Article | LibreCat-ID: 9866
Study on optimizing ultrasonic irradiation period for thick polycrystalline PZT film by hydrothermal method
K. Ohta, G. Isobe, P. Bornmann, T. Hemsel, T. Morita, Ultrasonics 53 (2013) 837–841.
LibreCat
| DOI
K. Ohta, G. Isobe, P. Bornmann, T. Hemsel, T. Morita, Ultrasonics 53 (2013) 837–841.
2013 | Book Chapter | LibreCat-ID: 4094
Cubic GaN on nano-patterned 3C-SiC/Si (001) substrates
R.M. Kemper, D. As, J. Lindner, in: H. Li, J. Wu, Z.M. Wang (Eds.), Silicon-Based Nanomaterials, Springer Series in Materials Science, 2013, pp. 381–405.
LibreCat
R.M. Kemper, D. As, J. Lindner, in: H. Li, J. Wu, Z.M. Wang (Eds.), Silicon-Based Nanomaterials, Springer Series in Materials Science, 2013, pp. 381–405.