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.
30674 Publications
2019 | Journal Article | LibreCat-ID: 16216
Russo, Alessandra, Andy Schürr, and Heike Wehrheim. “Editorial.” Formal Asp. Comput. 31, no. 5 (2019): 457–58. https://doi.org/10.1007/s00165-019-00495-y.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16271
Claes, Leander, Sarah Johannesmann, Elmar Baumhögger, and Bernd Henning. “Quantification of Frequency-Dependent Absorption Phenomena.” In 2019 International Congress on Ultrasonics, 2019. https://doi.org/10.1121/2.0001043.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16275
Franke-Wiekhorst, Antonia, Christine Günther, Karen Brünger, Johannes Magenheim, and Ralf Romeike. “„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material.” GdSU-Journal,(9), 2019, 10–21.
LibreCat
2019 | Journal Article | LibreCat-ID: 16305
Linnemann, Matthias, Pavel Anatolyevich Nikolaychuk, Y. Mauricio Muñoz-Muñoz, Elmar Baumhögger, and Jadran Vrabec. “Henry’s Law Constant of Noble Gases in Water, Methanol, Ethanol, and Isopropanol by Experiment and Molecular Simulation.” Journal of Chemical & Engineering Data, 2019, 1180–88. https://doi.org/10.1021/acs.jced.9b00565.
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 | Preprint | LibreCat-ID: 16341 | 
Brandt, Sascha, Claudius Jähn, Matthias Fischer, and Friedhelm Meyer auf der Heide. “Rendering of Complex Heterogenous Scenes Using Progressive Blue Surfels.” ArXiv:1904.08225, 2019.
LibreCat
| Download (ext.)
| arXiv
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: 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 | Journal Article | LibreCat-ID: 13937
Meyer auf der Heide, Friedhelm. “Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln.” Mathematische Semesterberichte 66, no. 2 (2019): 259–60. https://doi.org/10.1007/s00591-019-00249-0.
LibreCat
| 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 | Book | LibreCat-ID: 13968
Krimphove, Dieter, and Oliver Kruse. Kommentar: MaComp Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wert-Papierdienstleistungsunternehmen. 2nd ed. München: C. H. Beck, 2019.
LibreCat
2019 | Book (Editor) | LibreCat-ID: 13969
Krimphove, Dieter, and Oliver Kruse, eds. Kommentar: MaComp Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wert-Papierdienstleistungsunternehmen. 2nd ed. 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