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.
9761 Publications
2019 | Conference Paper | LibreCat-ID: 16215
Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “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, edited by Maurice H. ter Beek, Annabelle McIver, and Jos{\’{e}} N. Oliveira, 11800:179–95. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16251
Müller, Oliver. “Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier.” In The Art of Structuring, 2019. https://doi.org/10.1007/978-3-030-06234-7_29.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16314
Preiß, Sebastian, Ayla Päpcke, Lukas Burkhardt, Luca Großmann, Stefan Lochbrunner, Matthias Bauer, Till Opatz, and Katja Heinze. “Gold(II) Porphyrins in Photoinduced Electron Transfer Reactions.” Chemistry – A European Journal, 2019, 5940–49. https://doi.org/10.1002/chem.201900050.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16320
Müller, Patrick, Adam Neuba, Ulrich Flörke, Gerald Henkel, Thomas D. Kühne, and Matthias Bauer. “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–81. https://doi.org/10.1021/acs.jpca.9b00463.
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 16325
Burkhardt, Lukas. 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. https://doi.org/10.17619/UNIPB/1-745.
LibreCat
| DOI
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 16327
Müller, Patrick. 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. https://doi.org/10.17619/UNIPB/1-705.
LibreCat
| DOI
| Download (ext.)
2019 | Book Chapter | LibreCat-ID: 16361
Fischer, Holger Gerhard, Florian Rittmeier, Thim Frederik Strothmann, and Nina Schwenniger. “Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode.” In Arbeit 4.0 im Mittelstand, edited by Christian K. Bosse and Klaus J. Zink. Berlin, Heidelberg: Springer Gabler, 2019. https://doi.org/10.1007/978-3-662-59474-2_11.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16377
Reinold, Peter, Norbert Meyer, Dominik Buse, Florian Klingler, Christoph Sommer, Falko Dressler, Markus Eisenbarth, and Jakob Andert. “Verkehrssimulation Im Hardware-in-the-Loop-Steuergerätetest.” In Proceedings. Wiesbaden, 2019. https://doi.org/10.1007/978-3-658-25294-6_15.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13872
Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based Testing.” In Fundamental Approaches to Software Engineering. Cham, 2019. https://doi.org/10.1007/978-3-030-16722-6_23.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13873
Feldkord, Björn, and Friedhelm Meyer auf der Heide. “The Mobile Server Problem.” ACM Transactions on Parallel Computing (TOPC) 6, no. 3 (2019). https://doi.org/10.1145/3364204.
LibreCat
| Files available
| DOI
2019 | Book Chapter | LibreCat-ID: 13939
Kling, Peter, and Friedhelm Meyer auf der Heide. “Continuous Protocols for Swarm Robotics.” In Distributed Computing by Mobile Entities, Current Research in Moving and Computing, 11340:317–34. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-11072-7\_13.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13942
Markarian, Christine, and Friedhelm Meyer auf der Heide. “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, 315–21. SciTePress, 2019. https://doi.org/10.5220/0007369503150321.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13946
Abu-Khzam, Faisal N., Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, and Pavel Podlipyan. “Efficient Parallel Algorithms for Parameterized Problems.” Theoretical Computer Science 786 (2019): 2–12. https://doi.org/10.1016/j.tcs.2018.11.006.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13966
Baron, Elias, Rüdiger Goldhahn, Michael Deppe, Donat Josef As, and Martin Feneberg. “Influence of the Free-Electron Concentration on the Optical Properties of Zincblende GaN up to 1×1020cm−3.” Physical Review Materials, 2019. https://doi.org/10.1103/physrevmaterials.3.104603.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13973
Krimphove, Dieter, and Oliver Kruse. “AT 2 Quellen.” In Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen, edited by Dieter Krimphove and Oliver Kruse, 2nd ed., 24–49. München: C. H. Beck, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13993
Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “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, 179–95, 2019. https://doi.org/10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14539
Castenow, Jannik, Christina Kolb, and Christian Scheideler. “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), 345–48, 2019. https://doi.org/10.1007/978-3-030-24922-9\_26.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13048
Kampmann, Matthias, Michael A. Kochte, Chang Liu, Eric Schneider, Sybille Hellebrand, and Hans-Joachim Wunderlich. “Built-in Test for Hidden Delay Faults.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 38, no. 10 (2019): 1956–68.
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
Khaluf, Lial. Organic Programming of Dynamic Real-Time Applications. Universität Paderborn, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13132
Mohr, Felix, Marcel Dominik Wever, Alexander Tornede, and Eyke Hüllermeier. “From Automated to On-The-Fly Machine Learning.” In INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft, 273–74. INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft Für Informatik. Bonn: Gesellschaft für Informatik e.V., 2019.
LibreCat