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.
4770 Publications
2016 | Bachelorsthesis | LibreCat-ID: 152
F. Dallmeier, Short Randomizable Aggregatable Signatures: Constructions and Security Analysis. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 160
L. van Rooijen and H. Hamann, “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm,” in Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 2016, pp. 3--9.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 161
T. Kenter, Reconfigurable Accelerators in the World of General-Purpose Computing. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Mastersthesis | LibreCat-ID: 162
G. Zhang, Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 164
M. Czech, Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 139
S. Abshoff, P. Kling, C. Markarian, F. Meyer auf der Heide, and P. Pietrzyk, “Towards the price of leasing online,” Journal of Combinatorial Optimization, no. 4, pp. 1197--1216, 2016.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 140
A. Jungmann, Towards On-The-Fly Image Processing. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 142
C. Scheideler, A. Setzer, and T. F. Strothmann, “Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks,” in Proceedings of the 30th International Symposium on Distributed Computing (DISC), 2016, pp. 71--84.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 143
F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “The Monotone Circuit Value Problem with Bounded Genus Is in NC,” in Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON), 2016, pp. 92–102.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 144
B. Monien and M. Mavronicolas, “The complexity of equilibria for risk-modeling valuations,” Theoretical Computer Science, vol. 634, pp. 67–96, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 145
M. Feldotto and K. Graffi, “Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM,” Concurrency and Computation: Practice and Experience, vol. 28, no. 5, pp. 1655–1677, 2016.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 131
A. Holzmann, 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
T. Wiersema and M. Platzner, “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), 2016, pp. 1--8.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 13218
E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “Non-destructive characterization of hygrothermally aged polymers,” presented at the ANTEC 2016, Indianapolis, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 13223
M. Webersen, M. Hüttner, F. Bause, E. Moritzer, and B. Henning, “Zerstörungsfreie Charakterisierung des hydrothermischen Alterungsverhaltens von Polymeren,” presented at the 18. GMA/ITG-Fachtagung Sensoren und Messsysteme 2016, Nürnberg, 2016, pp. 683–688.
LibreCat
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 133
M. Dewender, Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 134
P. Heinisch, Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.
LibreCat