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.
6465 Publications
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 | Journal Article | LibreCat-ID: 16323
Vollmers, Nora Jenny, et al. “Experimental and Theoretical High-Energy-Resolution X-Ray Absorption Spectroscopy: Implications for the Investigation of the Entatic State.” Inorganic Chemistry, 2016, pp. 11694–706, doi:10.1021/acs.inorgchem.6b01704.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 16359
Cord-Landwehr, Andreas, et al. “Asymptotically Optimal Gathering on a Grid.” Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2016, pp. 301–12, doi:10.1145/2935764.2935789.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 16360
Abshoff, Sebastian, et al. “Gathering a Closed Chain of Robots on a Grid.” Proceedings of the 30th International Parallel and Distributed Processing Symposium (IPDPS), IEEE, 2016, pp. 689–99, doi:10.1109/IPDPS.2016.51.
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 | Journal Article | LibreCat-ID: 13240
Partovi-Azar, Pouya, et al. “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, 2016, pp. 1160–65, doi:10.1002/qua.25150.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 13241
Köster, Andreas, et al. “Assessing the Accuracy of Improved Force-Matched Water Models Derived from Ab Initio Molecular Dynamics Simulations.” Journal of Computational Chemistry, vol. 37, no. 19, 2016, pp. 1828–38, doi:10.1002/jcc.24398.
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 | Journal Article | LibreCat-ID: 13458
Liebhaber, M., et al. “Vibration Eigenmodes of the Au-(5×2)/Si(111) Surface Studied by Raman Spectroscopy and First-Principles Calculations.” Physical Review B, vol. 94, no. 23, 2016, doi:10.1103/physrevb.94.235304.
LibreCat
| DOI