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.
2148 Publications
2019 | Book | LibreCat-ID: 10002
Sextro, W., & Brökelmann, M. (2019). Intelligente Herstellung zuverlässiger Kupferbondverbindungen (Vol. VIII). Springer Verlag. https://doi.org/10.1007/978-3-662-55146-2
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 10011
Fränzle, M., Kapur, D., Wehrheim, H., & Zhan, N. (2019). Editorial. Formal Asp. Comput., 31(1), 1. https://doi.org/10.1007/s00165-018-00477-6
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann, S., Springer, D., Thiel, C., & Henning, B. (2019). Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019 (Vol. 45, pp. 1055–1058). Rostock: Deutsche Gesellschaft für Akustik.
LibreCat
2019 | Journal Article | LibreCat-ID: 10090
Gries, T. (2019). A New Theory of Demand-Restricted Growth: The Basic Idea. The American Economist. https://doi.org/10.1177/0569434519846477
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10091
König, J., & Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger & K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Vol. 11460, pp. 263–279). Springer. https://doi.org/10.1007/978-3-030-20652-9\_18
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10092
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2019). Verifying C11 programs operationally. In J. K. Hollingsworth & I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019 (pp. 355–365). {ACM}. https://doi.org/10.1145/3293883.3295702
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2019). Combining Verifiers in Conditional Model Checking via Reducers. In S. Becker, I. Bogicevic, G. Herzwurm, & S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 151--152). GI. https://doi.org/10.18420/se2019-46
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10094
Sharma, A., & Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In S. Becker, I. Bogicevic, G. Herzwurm, & S. Wagner (Eds.), Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019 (Vol. {P-292}, pp. 157–158). {GI}. https://doi.org/10.18420/se2019-48
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter, C., & Wehrheim, H. (2019). PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In D. Beyer, M. Huisman, F. Kordon, & B. Steffen (Eds.), 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} (Vol. 11429, pp. 229–233). Springer. https://doi.org/10.1007/978-3-030-17502-3_19
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 10096
Beyer, D., & Wehrheim, H. (2019). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR, abs/1905.08505.
LibreCat
2019 | Journal Article | LibreCat-ID: 10103
Hasso, T., Pelster, M., & Breitmayer, B. (2019). Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts. Journal of Behavioral and Experimental Finance, 23, 64–74. https://doi.org/10.1016/j.jbef.2019.04.009
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
Webersen, M., Hüttner, M., Woitschek, F., Moritzer, E., & Henning, B. (2019). Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere. In Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019. Rostock.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
Wever, M. D., Mohr, F., Tornede, A., & Hüllermeier, E. (2019). Automating Multi-Label Classification Extending ML-Plan. Presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10255
Bender, A., Reinke, K., & Sextro, W. (2019). Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement. In 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019 (Vol. VDI-Berichte 2346, pp. 241–248). Bremen 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10257
Kaul, T., Hentze, J., Sextro, W., & Gräßler, I. (2019). Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung. In Fachtagung Mechatronik 2019 Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10258
Dunst, P., Hemsel, T., Bornmann, P., Littmann, W., & Sextro, W. (2019). Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten. In DAGA 2019. Rostock.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10271
N., N. (2019). Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves. Universität Paderborn.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10277
Althaus, S. (2019). Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry. Universität Paderborn.
LibreCat
2019 | Journal Article | LibreCat-ID: 10279
Pelster, M., Breitmayer, B., & Hasso, T. (2019). Are cryptocurrency traders pioneers or just risk-seekers? evidence from brokerage accounts. Economics Letters, 182, 98–100. https://doi.org/10.1016/j.econlet.2019.06.013
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10281
Feldotto, M., Lenzner, P., Molitor, L., & Skopalik, A. (2019). From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation. In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems (pp. 1949--1951). Montreal QC, Canada: International Foundation for Autonomous Agents and Multiagent Systems.
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 10282 |
Lin, Z., Huang, L., Zhao, R., Wei, Q., Zentgraf, T., Wang, Y., & Li, X. (2019). Dynamic control of mode modulation and spatial multiplexing using hybrid metasurfaces. Optics Express, 27(13), 18740–18750. https://doi.org/10.1364/oe.27.018740
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 10284
Alshomary, M., Völske, M., Licht, T., Wachsmuth, H., Stein, B., Hagen, M., & Potthast, M. (2019). Wikipedia Text Reuse: Within and Without. In L. Azzopardi, B. Stein, N. Fuhr, P. Mayr, C. Hauff, & D. Hiemstra (Eds.), Advances in Information Retrieval (pp. 747–754). Cham: Springer International Publishing.
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 10290
Gutt, D. (2019). Essays on Drivers and Economic Outcomes of Online-Reviews. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-688
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10306 |
Porzenheim, L. A. (2019). Post-Quantum Secure Group Signatures.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10325 |
Peuster, M., Marchetti, M., García de Blas, G., & Karl, H. (2019). Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing. EURASIP Journal on Wireless Communications and Networking. https://doi.org/10.1186/s13638-019-1493-2
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Report | LibreCat-ID: 10332
Heinzel, J. M. J. (2019). Bundling in a Distribution Channel with Retail Competition. Paderborn University: CIE Working Paper Series.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 10344
Pukrop, S. (2019). Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine. Universität Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13554 |
Blömer, J., & Löken, N. (2019). Personal Cross-Platform Reputation. In Security and Trust Management, STM 2019 (Vol. 11738). https://doi.org/10.1007/978-3-030-31511-5_9
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13557 |
Blömer, J., & Löken, N. (2019). Dynamic Searchable Encryption with Access Control. In 12th International Symposium on Foundations and Practice of Security, FPS 2019 (Vol. 12056). Springer.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13585
Bohn, N., & Kundisch, D. (2019). All Things Considered? – Technology Design Decision-making Characteristics in Digital Startups. In Proceedings of the 40th International Conference on Information Systems (ICIS). Munich, Germany.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13586
Seutter, J., & Neumann, J. (2019). Head over Feels? Differences in Online Rating Behavior for Utilitarian and Hedonic Service Aspects. In Proceedings of the 40th International Conference on Information Systems (ICIS). Munich, Germany.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13587
Gutt, D., Neumann, J., Jabr, W., & Kundisch, D. (2019). The App Updating Conundrum: Implications of Platform’s Rating Resetting on Developers’ Behavior. In Proceedings of the 40th International Conference on Information Systems (ICIS). Munich, Germany.
LibreCat
2019 | Bachelorsthesis | LibreCat-ID: 13592
Pilot, M. (2019). Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java. Universität Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13647
Claes, L., Johannesmann, S., Baumhögger, E., & Henning, B. (2019). Quantification of frequency-dependent absorption phenomena. In 2019 International Congress on Ultrasonics. Bruges. https://doi.org/10.1121/2.0001043
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 13648 |
Scholz, S. (2019). Implementation and Comparison of Elliptic Curve Algorithms in Java. Universität Paderborn.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 13650
Suwannasopon, S., Meyer, F., Schlickriede, C., Chaisakul, P., T-Thienprasert, J., Limtrakul, J., … Chattham, N. (2019). Miniaturized Metalens Based Optical Tweezers on Liquid Crystal Droplets for Lab-on-a-Chip Optical Motors. Crystals, 9(10), 515. https://doi.org/10.3390/cryst9100515
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13651
Chen, S., Reineke, B., Li, G., Zentgraf, T., & Zhang, S. (2019). Strong Nonlinear Optical Activity Induced by Lattice Surface Modes on Plasmonic Metasurface. Nano Letters, 19(9), 6278–6283. https://doi.org/10.1021/acs.nanolett.9b02417
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13652
Hinnenthal, K., Scheideler, C., & Struijs, M. (2019). Fast Distributed Algorithms for LP-Type Problems of Low Dimension. In 33rd International Symposium on Distributed Computing (DISC 2019). https://doi.org/10.4230/LIPICS.DISC.2019.23
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13654
Goller, M., Ursin, J., Vähäsantanen, K., Festner, D., & Harteis, C. (2019). Finnish and German student teachers’ motivations for choosing teaching as a career. The first application of the FIT-Choice scale in Finland. Teaching and Teacher Education, 235–248. https://doi.org/10.1016/j.tate.2019.06.023
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 13679
Brauer, S. (2019). Classification and Approximation of Geometric Location Problems. Paderborn. https://doi.org/10.17619/UNIPB/1-816
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13805
Mahnken, R., & Ju, X. (2019). Goal‐oriented adaptivity based on a model hierarchy of mean‐field and full‐field homogenization methods in linear elasticity. International Journal for Numerical Methods in Engineering. https://doi.org/10.1002/nme.6209
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13806
Dammann, C., & Mahnken, R. (2019). Simulation of a resin transfer molding process using a phase field approach within the theory of porous media. Composites Part A: Applied Science and Manufacturing, 120, 147–160. https://doi.org/10.1016/j.compositesa.2019.02.022
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13807
Ju, X., & Mahnken, R. (n.d.). “Goal-oriented adaptivity on mean-field and full-field homogenization methods considering hierarchical unit cells.” PAMM, 19.
LibreCat
2019 | Journal Article | LibreCat-ID: 13809
Kremer, H.-H., & Frehe-Halliwell, P. (2019). Entwicklungsförderliche Gestaltung von Qualifizierungsbausteinen in der dualisierten Ausbildungsvorbereitung. BWP, 5.
LibreCat
2019 | Book Chapter | LibreCat-ID: 13811
Kremer, H.-H., & Frehe-Halliwell, P. (2019). Eine Analyse ausbildungsvorbereitender Bildungsgänge. In M. Veber, R. Benölken, & M. Pfitzner (Eds.), Potenzialorientierte Förderung in den Fachdidaktiken (Vol. Band 7, pp. 151–170). Münster: Waxmann.
LibreCat
2019 | Journal Article | LibreCat-ID: 13813
Lenz, P., & Mahnken, R. (2019). “Damage simulation of fiber reinforced composites using mean-field homogenization methods” . PAMM, 19.
LibreCat
2019 | Journal Article | LibreCat-ID: 25030
Schenke, M., Kirchgässner, W., & Wallscheid, O. (2019). Controller Design for Electrical Drives by Deep Reinforcement Learning: A Proof of Concept. IEEE Transactions on Industrial Informatics, 4650–4658. https://doi.org/10.1109/tii.2019.2948387
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 29859
Grosser, C. (2019). Welche Vorstellungen und Nutzenbewertungen äußern Referendare bzgl. des Forschenden Lernens im Referendariat? Zur Erforschung Forschenden Lernens – Implikationen für Lehrer*innenbildung, Wissenschaft und Praxis, Universität Bielefeld.
LibreCat
2019 | Misc | LibreCat-ID: 29860
Grosser, C. (2019). Lernstrategien und Lernhaltungen des Forschenden Lernens im Referendariat.
LibreCat