CoVeriTest: Cooperative Verifier-Based Testing
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

The Mobile Server Problem
B. Feldkord, F. Meyer auf der Heide, ACM Transactions on Parallel Computing (TOPC) 6 (2019).
LibreCat: /record/13873
DOI: 10.1145/3364204

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

Continuous Protocols for Swarm Robotics
P. Kling, F. Meyer auf der Heide, in: Distributed Computing by Mobile Entities, Current Research in Moving and Computing, Springer, 2019, pp. 317–334.
LibreCat: /record/13939
DOI: 10.1007/978-3-030-11072-7‑13

Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location
C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, SciTePress, 2019, pp. 315–321.
LibreCat: /record/13942
DOI: 10.5220/0007369503150321

Efficient parallel algorithms for parameterized problems
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, Theoretical Computer Science 786 (2019) 2–12.
LibreCat: /record/13946
DOI: 10.1016/j.tcs.2018.11.006

Kommentar: MaComp  Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wert-papierdienstleistungsunternehmen
D. Krimphove, O. 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., C. H. Beck, München, 2019.
LibreCat: /record/13968

Kommentar: MaComp  Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wert-papierdienstleistungsunternehmen
D. Krimphove, O. 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., C. H. Beck, München, 2019.
LibreCat: /record/13969

Verifying Correctness of Persistent Concurrent Data Structures
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–195.
LibreCat: /record/13993
DOI: 10.1007/978-3-030-30942-8‑12

Teaching business model innovation to large and interdisciplinary IS/IT classes: A didactic approach involving peer feedback via self-recorded video presentations
D. Szopinski, T. John, D. Kundisch, in: TREO Talks in Conjunction with the 40th International Conference on Information Systems (ICIS), 2019.
LibreCat: /record/14017