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.
11509 Publications
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, Dirk, et al. “Combining Verifiers in Conditional Model Checking via Reducers.” Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. P-292, GI, 2019, pp. 151--152, doi:10.18420/se2019-46.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10094
Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.” Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. {P-292}, {GI}, 2019, pp. 157–58, doi:10.18420/se2019-48.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).” Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, edited by Dirk Beyer et al., vol. 11429, Springer, 2019, pp. 229–33, doi:10.1007/978-3-030-17502-3_19.
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
Wever, Marcel Dominik, et al. Automating Multi-Label Classification Extending ML-Plan. 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10258
Dunst, Paul, et al. “Modellbasierte Und Experimentelle Charakterisierung von Intensiven Ultraschall-Stehwellenfeldern Für Die Zerstäubung Hochviskoser Flüssigkeiten.” DAGA 2019, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10271
N., N. Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves. Universität Paderborn, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10277
Althaus, Steffen. Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10281
Feldotto, Matthias, et al. “ From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation.” Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2019, pp. 1949--1951.
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 10282 |
Lin, Zemeng, et al. “Dynamic Control of Mode Modulation and Spatial Multiplexing Using Hybrid Metasurfaces.” Optics Express, vol. 27, no. 13, 2019, pp. 18740–50, doi:10.1364/oe.27.018740.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 10284
Alshomary, Milad, et al. “Wikipedia Text Reuse: Within and Without.” Advances in Information Retrieval, edited by Leif Azzopardi et al., Springer International Publishing, 2019, pp. 747–54.
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 10290
Gutt, Dominik. Essays on Drivers and Economic Outcomes of Online-Reviews. 2019, doi:10.17619/UNIPB/1-688.
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10306 |
Porzenheim, Laurens Alexander. Post-Quantum Secure Group Signatures. 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10325 |
Peuster, Manuel, et al. “Automated Testing of NFV Orchestrators against Carrier-Grade Multi-PoP Scenarios Using Emulation-Based Smoke Testing.” EURASIP Journal on Wireless Communications and Networking, Springer, 2019, doi:10.1186/s13638-019-1493-2.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Report | LibreCat-ID: 10332
Heinzel, Joachim Maria Josef. Bundling in a Distribution Channel with Retail Competition. CIE Working Paper Series, 2019.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 10344
Pukrop, Simon. Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13554 |
Blömer, Johannes, and Nils Löken. “Personal Cross-Platform Reputation.” Security and Trust Management, STM 2019, vol. 11738, 2019, doi:10.1007/978-3-030-31511-5_9.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13557 |
Blömer, Johannes, and Nils Löken. “Dynamic Searchable Encryption with Access Control.” 12th International Symposium on Foundations and Practice of Security, FPS 2019, vol. 12056, Springer, 2019.
LibreCat
| Download (ext.)
2019 | Conference Abstract | LibreCat-ID: 13586
Seutter, Janina, and Jürgen Neumann. “Head over Feels? Differences in Online Rating Behavior for Utilitarian and Hedonic Service Aspects.” Proceedings of the 40th International Conference on Information Systems (ICIS), 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13587
Gutt, Dominik, et al. “The App Updating Conundrum: Implications of Platform’s Rating Resetting on Developers’ Behavior.” Proceedings of the 40th International Conference on Information Systems (ICIS), 2019.
LibreCat