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.
5431 Publications
2016 | Bachelorsthesis | LibreCat-ID: 152
Dallmeier F. Short Randomizable Aggregatable Signatures: Constructions and Security Analysis. Universität Paderborn; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 160
van Rooijen L, Hamann H. Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm. In: Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016). ; 2016:3--9. doi:10.1109/REW.2016.015
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 161
Kenter T. Reconfigurable Accelerators in the World of General-Purpose Computing. Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Mastersthesis | LibreCat-ID: 162
Zhang G. 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 F, Meyer auf der Heide F, eds. 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 M. Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn; 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 139
Abshoff S, Kling P, Markarian C, Meyer auf der Heide F, Pietrzyk P. Towards the price of leasing online. Journal of Combinatorial Optimization. 2016;(4):1197--1216. doi:10.1007/s10878-015-9915-5
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 140
Jungmann A. Towards On-The-Fly Image Processing. Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Dissertation | LibreCat-ID: 141
Mohr F. 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 C, Setzer A, Strothmann TF. Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks. In: Proceedings of the 30th International Symposium on Distributed Computing (DISC). LNCS. ; 2016:71--84. doi:10.1007/978-3-662-53426-7_6
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 143
Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. The Monotone Circuit Value Problem with Bounded Genus Is in NC. In: Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON). LNCS. ; 2016:92-102. doi:10.1007/978-3-319-42634-1_8
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 144
Monien B, Mavronicolas M. The complexity of equilibria for risk-modeling valuations. Theoretical Computer Science. 2016;634:67-96. doi:10.1016/j.tcs.2016.04.013
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 145
Feldotto M, Graffi K. Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM. Concurrency and Computation: Practice and Experience. 2016;28(5):1655-1677. doi:10.1002/cpe.3716
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 131
Holzmann A. 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 T, Platzner M. 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:1--8. doi:10.1109/ReCoSoC.2016.7533910
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 13223
Webersen M, Hüttner M, Bause F, Moritzer E, Henning B. Zerstörungsfreie Charakterisierung des hydrothermischen Alterungsverhaltens von Polymeren. In: AMA Service GmbH, ed. ; 2016:683-688. doi:10.5162/sensoren2016/P6.4
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 13252
Tierney K, Pacino D, Voß S. Solving the Pre-Marshalling Problem to Optimality with A* and IDA*. Flexible Services and Manufacturing Journal. 2016:223-259. doi:10.1007/s10696-016-9246-6
LibreCat
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 133
Dewender M. Verifikation von Service Kompositionen mit Spin. Universität Paderborn; 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 134
Heinisch P. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn; 2016.
LibreCat