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.
9764 Publications
2019 | Conference Paper | LibreCat-ID: 16215
Derrick J, Doherty S, Dongol B, Schellhorn G, Wehrheim H. Verifying Correctness of Persistent Concurrent Data Structures. In: H. ter Beek M, McIver A, N. Oliveira J, eds. Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Vol 11800. Lecture Notes in Computer Science. Springer; 2019:179-195. doi:10.1007/978-3-030-30942-8\_12
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16251
Müller O. Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier. In: The Art of Structuring. ; 2019. doi:10.1007/978-3-030-06234-7_29
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16314
Preiß S, Päpcke A, Burkhardt L, et al. Gold(II) Porphyrins in Photoinduced Electron Transfer Reactions. Chemistry – A European Journal. 2019:5940-5949. doi:10.1002/chem.201900050
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16320
Müller P, Neuba A, Flörke U, Henkel G, Kühne TD, Bauer M. Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes. The Journal of Physical Chemistry A. 2019:3575-3581. doi:10.1021/acs.jpca.9b00463
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 16325
Burkhardt L. Probing Iron-Ligand Interactions by Combining Modern High-Resolution Hard X-Ray Spectroscopy and Density Functional Theory : A Powerful Methodology in Cases Where Conventional Methods Fail / Vorgelegt von Lukas Burkhardt ; [Prof. Dr. Matthias Bauer (Erstgutachter), Prof. Dr. Thomas Kühne (Zweitgutachter), Jun. Prof. Dr. Stephan Hohloch (Drittprüfer)]. Paderborn; 2019. doi:10.17619/UNIPB/1-745
LibreCat
| DOI
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 16327
Müller P. Experimental and Theoretical (High Energy Resolution) X-Ray Absorption and Emission Spectroscopy / Vorgelegt von Patrick Müller ; [Promotionskommission: Prof. Dr.-Ing. Hans-Joachim Warnecke, Vorsitz; Prof. Dr. Matthias Bauer, Erstgutachter; Prof. Dr. Thomas D. Kühne, Zweitgutachter; Prof. Dr. Wolf Gero Schmidt]. Paderborn; 2019. doi:10.17619/UNIPB/1-705
LibreCat
| DOI
| Download (ext.)
2019 | Book Chapter | LibreCat-ID: 16361
Fischer HG, Rittmeier F, Strothmann TF, Schwenniger N. Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode. In: Bosse CK, Zink KJ, eds. Arbeit 4.0 im Mittelstand. Berlin, Heidelberg: Springer Gabler; 2019. doi:10.1007/978-3-662-59474-2_11
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16377
Reinold P, Meyer N, Buse D, et al. Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest. In: Proceedings. Wiesbaden; 2019. doi:10.1007/978-3-658-25294-6_15
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13872
Beyer D, Jakobs M-C. CoVeriTest: Cooperative Verifier-Based Testing. In: Fundamental Approaches to Software Engineering. Cham; 2019. doi:10.1007/978-3-030-16722-6_23
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13873
Feldkord B, Meyer auf der Heide F. The Mobile Server Problem. ACM Transactions on Parallel Computing (TOPC). 2019;6(3). doi:10.1145/3364204
LibreCat
| Files available
| DOI
2019 | Book Chapter | LibreCat-ID: 13939
Kling P, Meyer auf der Heide F. Continuous Protocols for Swarm Robotics. In: Distributed Computing by Mobile Entities, Current Research in Moving and Computing. Vol 11340. Lecture Notes in Computer Science. Springer; 2019:317-334. doi:10.1007/978-3-030-11072-7\_13
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13942
Markarian C, Meyer auf der Heide F. Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location. In: Proceedings of the 8th International Conference on Operations Research and Enterprise Systems. SciTePress; 2019:315-321. doi:10.5220/0007369503150321
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13946
Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. Efficient parallel algorithms for parameterized problems. Theoretical Computer Science. 2019;786:2-12. doi:10.1016/j.tcs.2018.11.006
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13966
Baron E, Goldhahn R, Deppe M, As DJ, Feneberg M. Influence of the free-electron concentration on the optical properties of zincblende GaN up to 1×1020cm−3. Physical Review Materials. 2019. doi:10.1103/physrevmaterials.3.104603
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13973
Krimphove D, Kruse O. AT 2 Quellen. In: Krimphove D, Kruse O, eds. Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen. 2nd ed. München: C. H. Beck; 2019:24-49.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13993
Derrick J, Doherty S, Dongol B, Schellhorn G, Wehrheim H. Verifying Correctness of Persistent Concurrent Data Structures. In: Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings. ; 2019:179-195. doi:10.1007/978-3-030-30942-8\_12
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14539
Castenow J, Kolb C, Scheideler C. A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks. In: Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO). ; 2019:345-348. doi:10.1007/978-3-030-24922-9\_26
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13048
Kampmann M, A. Kochte M, Liu C, Schneider E, Hellebrand S, Wunderlich H-J. Built-in Test for Hidden Delay Faults. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 2019;38(10):1956-1968.
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
Khaluf L. Organic Programming of Dynamic Real-Time Applications. Universität Paderborn; 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13132
Mohr F, Wever MD, Tornede A, Hüllermeier E. From Automated to On-The-Fly Machine Learning. In: INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft. INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik. Bonn: Gesellschaft für Informatik e.V.; 2019:273-274.
LibreCat