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 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 | 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
2016 | Dissertation | LibreCat-ID: 10136
Eikel M. Insider-Resistent Distributed Storage Systems. Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 10226
Pfannschmidt K, Hüllermeier E, Held S, Neiger R. Evaluating tests in medical diagnosis-Combining machine learning with game-theoretical concepts. In: In Proceedings IPMU 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part 1, Eindhoven, The Netherlands. Springer; 2016:450-461.
LibreCat
2016 | Journal Article | LibreCat-ID: 10266
Riemenschneider M, Senge R, Neumann U, Hüllermeier E, Heider D. Exploiting HIV-1 protease and reverse transcriptase cross-resistance information for improved drug resistance prediction by means of multi-label classification. BioData Mining. 2016;9(10).
LibreCat
2016 | Dissertation | LibreCat-ID: 10292
John T. Business Model Modeling Languages as Tools for Innovation: Theory and Empirical Evidence. Universität Paderborn; 2016. doi:10.17619/UNIPB/1-259
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 13478
Speiser E, Esser N, Wippermann S, Schmidt WG. Surface vibrational Raman modes of In:Si(111)(4×1)and(8×2)nanowires. Physical Review B. 2016;94(7). doi:10.1103/physrevb.94.075417
LibreCat
| DOI
2016 | Conference Abstract | LibreCat-ID: 135
Strotmeyer S, John T, Kundisch D. Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung. In: Multikonferenz Wirtschaftsinformatik (MKWI). ; 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 136
Vollmers D. Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 24264
Adelt P, Koppelmann B, Müller W, Becker M, Kleinjohann B, Scheytt C. Fast Dynamic Fault Injection for Virtual Microcontroller Platforms. In: Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC). ; 2016. doi:10.1109/VLSI-SoC.2016.7753545
LibreCat
| Files available
| DOI