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.
4189 Publications
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 | 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 | Dissertation | LibreCat-ID: 10136
Eikel, Martina. Insider-Resistent Distributed Storage Systems. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 10226
Pfannschmidt, Karlson, et al. “Evaluating Tests in Medical Diagnosis-Combining Machine Learning with Game-Theoretical Concepts.” In Proceedings IPMU 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part 1, Eindhoven, The Netherlands, Springer, 2016, pp. 450–61.
LibreCat
2016 | Journal Article | LibreCat-ID: 10266
Riemenschneider, M., et al. “Exploiting HIV-1 Protease and Reverse Transcriptase Cross-Resistance Information for Improved Drug Resistance Prediction by Means of Multi-Label Classification.” BioData Mining, vol. 9, no. 10, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 10292
John, Thomas. Business Model Modeling Languages as Tools for Innovation: Theory and Empirical Evidence. 2016, doi:10.17619/UNIPB/1-259 .
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 13478
Speiser, E., et al. “Surface Vibrational Raman Modes of In:Si(111)(4×1)and(8×2)Nanowires.” Physical Review B, vol. 94, no. 7, 2016, doi:10.1103/physrevb.94.075417.
LibreCat
| DOI
2016 | Conference Abstract | LibreCat-ID: 135
Strotmeyer, Sebastian, et al. “Vergleichende Betrachtung von Software-Werkzeugen Zur Geschäftsmodellentwicklung.” Multikonferenz Wirtschaftsinformatik (MKWI), 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 136
Vollmers, Daniel. Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 24264
Adelt, Peer, et al. “Fast Dynamic Fault Injection for Virtual Microcontroller Platforms.” Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC), 2016, doi:10.1109/VLSI-SoC.2016.7753545.
LibreCat
| Files available
| DOI