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.
7306 Publications
2013 | Dissertation | LibreCat-ID: 478
Timm, N. (2013). Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 482
Bieshaar, M. (2013). Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 483
Becker, M., Becker, S., & Meyer, J. (2013). SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems. In Proceedings of the Software Engineering Conference (SE) (pp. 71–84).
LibreCat
| Files available
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 484
Platenius, M. C., von Detten, M., Gerth, C., Schäfer, W., & Engels, G. (2013). Service Matching under Consideration of Explicitly Specified Service Variants. In IEEE 20th International Conference on Web Services (ICWS 2013) (pp. 613–614). https://doi.org/10.1109/ICWS.2013.98
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
Mohr, F., & Kleine Büning, H. (2013). Semi-Automated Software Composition Through Generated Components. In Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS) (pp. 676–680). https://doi.org/10.1145/2539150.2539235
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 494
von Detten, M. (2013). Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 495
Mohr, F., Lettmann, T., & Kleine Büning, H. (2013). Reducing Nondeterminism in Automated Service Composition. In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA) (pp. 154–161). https://doi.org/10.1109/SOCA.2013.25
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
Wonisch, D., Schremmer, A., & Wehrheim, H. (2013). Programs from Proofs – A PCC Alternative. In Proceedings of the 25th International Conference on Computer Aided Verification (CAV) (pp. 912–927). https://doi.org/10.1007/978-3-642-39799-8_65
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 7271
de Lemos, R., Giese, H., A. Müller, H., Shaw, M., Andersson, J., Litoiu, M., … Wuttke, J. (2013). Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems II, 1–32. https://doi.org/10.1007/978-3-642-35813-5_1
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 7294
Nichele, F., Komijani, Y., Hennel, S., Gerl, C., Wegscheider, W., Reuter, D., … Ensslin, K. (2013). Aharonov–Bohm rings with strong spin–orbit interaction: the role of sample-specific properties. New Journal of Physics, 15(3). https://doi.org/10.1088/1367-2630/15/3/033029
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 7331
Klochan, O., Micolich, A. P., Hamilton, A. R., Trunov, K., Reuter, D., & Wieck, A. D. (2013). Observation of the Kondo effect in a spin-3/2 hole quantum dot. In COMMAD 2012. IEEE. https://doi.org/10.1109/commad.2012.6472429
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 7332
Moody, G., Singh, R., Li, H., Akimov, I., Bayer, M., Reuter, D., … Cundiff, S. T. (2013). Excitons, Biexcitons, and Trions in an InAs Quantum Dot Ensemble Studied with 2D Fourier-Transform Spectroscopy. In Conference on Lasers and Electro-Optics 2012. OSA. https://doi.org/10.1364/qels.2012.qm3g.3
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn, C. (2013). Quality Assurance with Dynamic Meta Modeling. Universität Paderborn. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 4094
Kemper, R. M., As, D., & Lindner, J. (2013). Cubic GaN on nano-patterned 3C-SiC/Si (001) substrates. In H. Li, J. Wu, & Z. M. Wang (Eds.), Silicon-based Nanomaterials (Vol. 187, pp. 381–405). Springer Series in Materials Science.
LibreCat
2013 | Journal Article | LibreCat-ID: 4098
Brassat, K., Assion, F., Hilleringmann, U., & Lindner, J. (2013). Self-organization of nanospheres in trenches on silicon surfaces. Physica Status Solidi (A), 210(8), 1485–1489. https://doi.org/10.1002/pssa.201200899
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 501
Happe, M. (2013). Performance and thermal management on self-adaptive hybrid multi-cores. Berlin: Logos Verlag Berlin GmbH.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 502
Becker, M., Luckey, M., & Becker, S. (2013). Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13) (pp. 43–52). https://doi.org/10.1145/2465478.2465489
LibreCat
| Files available
| DOI
2013 | Book Chapter | LibreCat-ID: 5031
Becker, J., Bernhold, T., Beverungen, D., Kaling, N., Knackstedt, R., Vanessa, L., & Peter Rauer, H. (2013). Softwaregestützte Konstruktion von Produktivitätsmodellen im Facility Management. In O. Thomas & M. Nüttgens (Eds.), Dienstleistungsmodellierung 2012: Product-Service Systems und Produktivität (pp. 208--226). Wiesbaden. https://doi.org/10.1007/978-3-658-00863-5
LibreCat
| DOI
2013 | Mastersthesis | LibreCat-ID: 504
Schwichtenberg, S. (2013). Ontology-based Normalization and Matching of Rich Service Descriptions. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 506
Engels, G. (2013). On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft. In Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013) (pp. 17–18).
LibreCat
| Files available