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.
6440 Publications
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 | Conference Paper | LibreCat-ID: 16360
S. Abshoff, A. Cord-Landwehr, M. Fischer, D. Jung, and F. Meyer auf der Heide, “Gathering a Closed Chain of Robots on a Grid,” in Proceedings of the 30th International Parallel and Distributed Processing Symposium (IPDPS), 2016, pp. 689–699.
LibreCat
| DOI
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 | Journal Article | LibreCat-ID: 13240
P. Partovi-Azar, M. Berg, S. Sanna, and T. D. Kühne, “Improved parameterization of the quantum harmonic oscillator model based on localized wannier functions to describe Van der Waals interactions in density functional theory,” International Journal of Quantum Chemistry, vol. 116, no. 15, pp. 1160–1165, 2016.
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