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.

6889 Publications


2016 | Conference Paper | LibreCat-ID: 160
Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm
L. van Rooijen, H. Hamann, in: Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 2016, pp. 3--9.
LibreCat | Files available | DOI
 

2016 | Dissertation | LibreCat-ID: 161
Reconfigurable Accelerators in the World of General-Purpose Computing
T. Kenter, Reconfigurable Accelerators in the World of General-Purpose Computing, Universität Paderborn, 2016.
LibreCat | Files available
 

2016 | Mastersthesis | LibreCat-ID: 162
Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions
G. Zhang, Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions, Universität Paderborn, 2016.
LibreCat
 

2016 | Conference (Editor) | LibreCat-ID: 163
Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc)
F. Dressler, F. Meyer auf der Heide, eds., Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), ACM, 2016.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 16323
Experimental and Theoretical High-Energy-Resolution X-ray Absorption Spectroscopy: Implications for the Investigation of the Entatic State
N.J. Vollmers, P. Müller, A. Hoffmann, S. Herres-Pawlis, M. Rohrmüller, W.G. Schmidt, U. Gerstmann, M. Bauer, Inorganic Chemistry (2016) 11694–11706.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 16359
Asymptotically Optimal Gathering on a Grid
A. Cord-Landwehr, M. Fischer, D. Jung, F. Meyer auf der Heide, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2016, pp. 301–312.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 16360
Gathering a Closed Chain of Robots on a Grid
S. Abshoff, A. Cord-Landwehr, M. Fischer, D. Jung, F. Meyer auf der Heide, in: Proceedings of the 30th International Parallel and Distributed Processing Symposium (IPDPS), IEEE, 2016, pp. 689–699.
LibreCat | DOI
 

2016 | Preprint | LibreCat-ID: 16396
Cost-efficient Scheduling on Machines from the Cloud
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, ArXiv:1609.01184 (2016).
LibreCat | arXiv
 

2016 | Mastersthesis | LibreCat-ID: 164
Predicting Rankings of Software Verification Tools Using Kernels for Structured Data
M. Czech, Predicting Rankings of Software Verification Tools Using Kernels for Structured Data, Universität Paderborn, 2016.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 139
Towards the price of leasing online
S. Abshoff, P. Kling, C. Markarian, F. Meyer auf der Heide, P. Pietrzyk, Journal of Combinatorial Optimization (2016) 1197--1216.
LibreCat | Files available | DOI
 

2016 | Dissertation | LibreCat-ID: 140
Towards On-The-Fly Image Processing
A. Jungmann, Towards On-The-Fly Image Processing, Universität Paderborn, 2016.
LibreCat | Files available
 

2016 | Dissertation | LibreCat-ID: 141
Towards Automated Service Composition Under Quality Constraints
F. Mohr, Towards Automated Service Composition Under Quality Constraints, Universität Paderborn, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 142
Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks
C. Scheideler, A. Setzer, T.F. Strothmann, 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
The Monotone Circuit Value Problem with Bounded Genus Is in NC
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, 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
The complexity of equilibria for risk-modeling valuations
B. Monien, M. Mavronicolas, Theoretical Computer Science 634 (2016) 67–96.
LibreCat | Files available | DOI
 

2016 | Journal Article | LibreCat-ID: 145
Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM
M. Feldotto, K. Graffi, Concurrency and Computation: Practice and Experience 28 (2016) 1655–1677.
LibreCat | Files available | DOI
 

2016 | Bachelorsthesis | LibreCat-ID: 131
Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren
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
Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware
T. Wiersema, M. Platzner, 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
Improved parameterization of the quantum harmonic oscillator model based on localized wannier functions to describe Van der Waals interactions in density functional theory
P. Partovi-Azar, M. Berg, S. Sanna, T.D. Kühne, International Journal of Quantum Chemistry 116 (2016) 1160–1165.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 13241
Assessing the accuracy of improved force-matched water models derived from Ab initio molecular dynamics simulations
A. Köster, T. Spura, G. Rutkai, J. Kessler, H. Wiebeler, J. Vrabec, T.D. Kühne, Journal of Computational Chemistry 37 (2016) 1828–1838.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D978-1-4244-4450-2

Search

Filter Publications

Display / Sort

Export / Embed