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, Lorijn, and Heiko Hamann. “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm.” Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 2016, pp. 3--9, doi:10.1109/REW.2016.015.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 161
Kenter, Tobias. Reconfigurable Accelerators in the World of General-Purpose Computing. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Mastersthesis | LibreCat-ID: 162
Zhang, Guangli. Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn, 2016.
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 163
Dressler, Falko, and Friedhelm Meyer auf der Heide, editors. Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc). ACM, 2016, doi:10.1145/2942358.
LibreCat
| DOI
2016 | Mastersthesis | LibreCat-ID: 164
Czech, Mike. Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 139
Abshoff, Sebastian, et al. “Towards the Price of Leasing Online.” Journal of Combinatorial Optimization, no. 4, Springer, 2016, pp. 1197--1216, doi:10.1007/s10878-015-9915-5.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 140
Jungmann, Alexander. Towards On-The-Fly Image Processing. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Dissertation | LibreCat-ID: 141
Mohr, Felix. Towards Automated Service Composition Under Quality Constraints. Universität Paderborn, 2016, doi:10.17619/UNIPB/1-171.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 142
Scheideler, Christian, et al. “Towards a Universal Approach for Monotonic Searchability in Self-Stabilizing Overlay Networks.” Proceedings of the 30th International Symposium on Distributed Computing (DISC), 2016, pp. 71--84, doi:10.1007/978-3-662-53426-7_6.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 143
Abu-Khzam, Faisal N., et al. “The Monotone Circuit Value Problem with Bounded Genus Is in NC.” Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON), 2016, pp. 92–102, doi:10.1007/978-3-319-42634-1_8.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 144
Monien, Burkhard, and Marios Mavronicolas. “The Complexity of Equilibria for Risk-Modeling Valuations.” Theoretical Computer Science, vol. 634, Elsevier, 2016, pp. 67–96, doi:10.1016/j.tcs.2016.04.013.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 145
Feldotto, Matthias, and Kalman Graffi. “Systematic Evaluation of Peer-to-Peer Systems Using PeerfactSim.KOM.” Concurrency and Computation: Practice and Experience, vol. 28, no. 5, Wiley Online Library, 2016, pp. 1655–77, doi:10.1002/cpe.3716.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 131
Holzmann, Annabel. Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 132
Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.” Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8, doi:10.1109/ReCoSoC.2016.7533910.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 13218
Moritzer, Elmar, et al. Non-Destructive Characterization of Hygrothermally Aged Polymers. Edited by Society of Plastics Engineers, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 13223
Webersen, Manuel, et al. Zerstörungsfreie Charakterisierung des hydrothermischen Alterungsverhaltens von Polymeren. Edited by AMA Service GmbH, 2016, pp. 683–88, doi:10.5162/sensoren2016/P6.4.
LibreCat
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 133
Dewender, Markus. Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 134
Heinisch, Philipp. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 10136
Eikel, Martina. Insider-Resistent Distributed Storage Systems. Universität Paderborn, 2016.
LibreCat
| Files available