Hetkämper T, Claes L, Henning B. Evolutionary algorithm for the design of passive electric matching networks for ultrasonic transducers. In: 2019 International Congress on Ultrasonics. ; 2019. doi:10.1121/2.0001110
LibreCat: /record/16076
DOI: 10.1121/2.0001110

Tiedau J, Bartley T, Harder G, et al. Scalability of parametric down-conversion for generating higher-order Fock states. Physical Review A. 2019. doi:10.1103/physreva.100.041802
LibreCat: /record/16113
DOI: 10.1103/physreva.100.041802

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: /record/16215
DOI: 10.1007/978-3-030-30942-8‑12

Russo A, Schürr A, Wehrheim H. Editorial. Formal Asp Comput. 2019;31(5):457-458. doi:10.1007/s00165-019-00495-y
LibreCat: /record/16216
DOI: 10.1007/s00165-019-00495-y

Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. Formal Asp Comput. 2019;31(1):1. doi:10.1007/s00165-018-00477-6
LibreCat: /record/16217
DOI: 10.1007/s00165-018-00477-6

Claes L, Johannesmann S, Baumhögger E, Henning B. Quantification of frequency-dependent absorption phenomena. In: 2019 International Congress on Ultrasonics. ; 2019. doi:10.1121/2.0001043
LibreCat: /record/16271
DOI: 10.1121/2.0001043

Franke-Wiekhorst A, Günther C, Brünger K, Magenheim J, Romeike R. eDer Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material. GdSU-Journal,(9). 2019:10-21.
LibreCat: /record/16275

Linnemann M, Nikolaychuk PA, Muñoz-Muñoz YM, Baumhögger E, Vrabec J. 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-1188. doi:10.1021/acs.jced.9b00565
LibreCat: /record/16305
DOI: 10.1021/acs.jced.9b00565

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: /record/16314
DOI: 10.1002/chem.201900050

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 Cu2 Complexes. The Journal of Physical Chemistry A. 2019:3575-3581. doi:10.1021/acs.jpca.9b00463
LibreCat: /record/16320
DOI: 10.1021/acs.jpca.9b00463

Burkhardt L.   Probing Iron-Ligand Interactions by Combining Modern High-Resolution Hard X-Ray Spectroscopy and Density Functional Theoryf: A Powerful Methodology in Cases Where Conventional Methods Fail / Vorgelegt von Lukas Burkhardtf; [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: /record/16325
DOI: 10.17619/UNIPB/1-745

Müller P.   Experimental and Theoretical (High Energy Resolution) X-Ray Absorption and Emission Spectroscopy / Vorgelegt von Patrick Müllerf; [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: /record/16327
DOI: 10.17619/UNIPB/1-705

Brandt S, Jähn C, Fischer M, Meyer auf der Heide F. Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels. arXiv:190408225. 2019.
LibreCat: /record/16341
arXiv: 1904.08225

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: /record/16361
DOI: 10.1007/978-3-662-59474-2_11

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: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

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: /record/13873
DOI: 10.1145/3364204

Meyer auf der Heide F. Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln. Mathematische Semesterberichte. 2019;66(2):259-260. doi:10.1007/s00591-019-00249-0
LibreCat: /record/13937
DOI: 10.1007/s00591-019-00249-0

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: /record/13939
DOI: 10.1007/978-3-030-11072-7‑13

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: /record/13942
DOI: 10.5220/0007369503150321

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: /record/13946
DOI: 10.1016/j.tcs.2018.11.006