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.
32154 Publications
2019 | Conference Paper | LibreCat-ID: 16215
Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., & Wehrheim, H. (2019). Verifying Correctness of Persistent Concurrent Data Structures. In M. H. ter Beek, A. McIver, & J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Vol. 11800, pp. 179–195). Springer. https://doi.org/10.1007/978-3-030-30942-8\_12
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16216
Russo, A., Schürr, A., & Wehrheim, H. (2019). Editorial. Formal Asp. Comput., 31(5), 457–458. https://doi.org/10.1007/s00165-019-00495-y
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
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: 16271
Claes, L., Johannesmann, S., Baumhögger, E., & Henning, B. (2019). Quantification of frequency-dependent absorption phenomena. In 2019 International Congress on Ultrasonics. https://doi.org/10.1121/2.0001043
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16275
Franke-Wiekhorst, A., Günther, C., Brünger, K., Magenheim, J., & Romeike, R. (2019). „Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material. GdSU-Journal,(9), 10–21.
LibreCat
2019 | Journal Article | LibreCat-ID: 16305
Linnemann, M., Nikolaychuk, P. A., Muñoz-Muñoz, Y. M., Baumhögger, E., & Vrabec, J. (2019). Henry’s Law Constant of Noble Gases in Water, Methanol, Ethanol, and Isopropanol by Experiment and Molecular Simulation. Journal of Chemical & Engineering Data, 1180–1188. https://doi.org/10.1021/acs.jced.9b00565
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16314
Preiß, S., Päpcke, A., Burkhardt, L., Großmann, L., Lochbrunner, S., Bauer, M., … Heinze, K. (2019). Gold(II) Porphyrins in Photoinduced Electron Transfer Reactions. Chemistry – A European Journal, 5940–5949. https://doi.org/10.1002/chem.201900050
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16320
Müller, P., Neuba, A., Flörke, U., Henkel, G., Kühne, T. D., & Bauer, M. (2019). Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes. The Journal of Physical Chemistry A, 3575–3581. https://doi.org/10.1021/acs.jpca.9b00463
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 16325
Burkhardt, L. (2019). 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. https://doi.org/10.17619/UNIPB/1-745
LibreCat
| DOI
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 16327
Müller, P. (2019). 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. https://doi.org/10.17619/UNIPB/1-705
LibreCat
| DOI
| Download (ext.)
2019 | Preprint | LibreCat-ID: 16341 | 
Brandt, S., Jähn, C., Fischer, M., & Meyer auf der Heide, F. (2019). Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels. ArXiv:1904.08225.
LibreCat
| Download (ext.)
| arXiv
2019 | Book Chapter | LibreCat-ID: 16361
Fischer, H. G., Rittmeier, F., Strothmann, T. F., & Schwenniger, N. (2019). Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode. In C. K. Bosse & K. J. Zink (Eds.), Arbeit 4.0 im Mittelstand. Berlin, Heidelberg: Springer Gabler. https://doi.org/10.1007/978-3-662-59474-2_11
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13872
Beyer, D., & Jakobs, M.-C. (2019). CoVeriTest: Cooperative Verifier-Based Testing. In Fundamental Approaches to Software Engineering. Cham. https://doi.org/10.1007/978-3-030-16722-6_23
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13873
Feldkord, B., & Meyer auf der Heide, F. (2019). The Mobile Server Problem. ACM Transactions on Parallel Computing (TOPC), 6(3). https://doi.org/10.1145/3364204
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 13937
Meyer auf der Heide, F. (2019). Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln. Mathematische Semesterberichte, 66(2), 259–260. https://doi.org/10.1007/s00591-019-00249-0
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13939
Kling, P., & Meyer auf der Heide, F. (2019). Continuous Protocols for Swarm Robotics. In Distributed Computing by Mobile Entities, Current Research in Moving and Computing (Vol. 11340, pp. 317–334). Springer. https://doi.org/10.1007/978-3-030-11072-7\_13
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13942
Markarian, C., & Meyer auf der Heide, F. (2019). 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 (pp. 315–321). SciTePress. https://doi.org/10.5220/0007369503150321
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13946
Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., & Podlipyan, P. (2019). Efficient parallel algorithms for parameterized problems. Theoretical Computer Science, 786, 2–12. https://doi.org/10.1016/j.tcs.2018.11.006
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13965
Buß, J. H., Schupp, T., As, D. J., Hägele, D., & Rudolph, J. (2019). Optical excitation density dependence of spin dynamics in bulk cubic GaN. Journal of Applied Physics. https://doi.org/10.1063/1.5123914
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13966
Baron, E., Goldhahn, R., Deppe, M., As, D. J., & Feneberg, M. (2019). Influence of the free-electron concentration on the optical properties of zincblende GaN up to 1×1020cm−3. Physical Review Materials. https://doi.org/10.1103/physrevmaterials.3.104603
LibreCat
| DOI