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.
4679 Publications
2016 | Conference Paper | LibreCat-ID: 160
van Rooijen, L., & Hamann, H. (2016). Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm. In Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016) (pp. 3--9). https://doi.org/10.1109/REW.2016.015
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 161
Kenter, T. (2016). Reconfigurable Accelerators in the World of General-Purpose Computing. Universität Paderborn.
LibreCat
| Files available
2016 | Mastersthesis | LibreCat-ID: 162
Zhang, G. (2016). Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn.
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 163
Dressler, F., & Meyer auf der Heide, F. (Eds.). (2016). Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc). Presented at the MobiHoc, Paderborn, Germany: ACM. https://doi.org/10.1145/2942358
LibreCat
| DOI
2016 | Mastersthesis | LibreCat-ID: 164
Czech, M. (2016). Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn.
LibreCat
2016 | Journal Article | LibreCat-ID: 139
Abshoff, S., Kling, P., Markarian, C., Meyer auf der Heide, F., & Pietrzyk, P. (2016). Towards the price of leasing online. Journal of Combinatorial Optimization, (4), 1197--1216. https://doi.org/10.1007/s10878-015-9915-5
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 140
Jungmann, A. (2016). Towards On-The-Fly Image Processing. Universität Paderborn.
LibreCat
| Files available
2016 | Dissertation | LibreCat-ID: 141
Mohr, F. (2016). Towards Automated Service Composition Under Quality Constraints. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-171
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 142
Scheideler, C., Setzer, A., & Strothmann, T. F. (2016). Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks. In Proceedings of the 30th International Symposium on Distributed Computing (DISC) (pp. 71--84). https://doi.org/10.1007/978-3-662-53426-7_6
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 143
Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., & Podlipyan, P. (2016). The Monotone Circuit Value Problem with Bounded Genus Is in NC. In Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON) (pp. 92–102). https://doi.org/10.1007/978-3-319-42634-1_8
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 144
Monien, B., & Mavronicolas, M. (2016). The complexity of equilibria for risk-modeling valuations. Theoretical Computer Science, 634, 67–96. https://doi.org/10.1016/j.tcs.2016.04.013
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 145
Feldotto, M., & Graffi, K. (2016). Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM. Concurrency and Computation: Practice and Experience, 28(5), 1655–1677. https://doi.org/10.1002/cpe.3716
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 131
Holzmann, A. (2016). Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren. Universität Paderborn.
LibreCat
2016 | Conference Paper | LibreCat-ID: 132
Wiersema, T., & Platzner, M. (2016). Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016) (pp. 1--8). https://doi.org/10.1109/ReCoSoC.2016.7533910
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 13218
Moritzer, E., Hüttner, M., Henning, B., & Webersen, M. (2016). Non-destructive characterization of hygrothermally aged polymers. In Society of Plastics Engineers (Ed.). Presented at the ANTEC 2016, Indianapolis.
LibreCat
2016 | Conference Paper | LibreCat-ID: 13223
Webersen, M., Hüttner, M., Bause, F., Moritzer, E., & Henning, B. (2016). Zerstörungsfreie Charakterisierung des hydrothermischen Alterungsverhaltens von Polymeren. In AMA Service GmbH (Ed.) (pp. 683–688). Presented at the 18. GMA/ITG-Fachtagung Sensoren und Messsysteme 2016, Nürnberg. https://doi.org/10.5162/sensoren2016/P6.4
LibreCat
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 133
Dewender, M. (2016). Verifikation von Service Kompositionen mit Spin. Universität Paderborn.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 134
Heinisch, P. (2016). Verifikation von Service Kompositionen mit Prolog. Universität Paderborn.
LibreCat
2016 | Dissertation | LibreCat-ID: 10136
Eikel, M. (2016). Insider-resistent Distributed Storage Systems. Universität Paderborn.
LibreCat
| Files available