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.
12165 Publications
2019 | Conference Paper | LibreCat-ID: 16030
Triebus, M., Bienia, S., Marten, T., Tröster, T., & Dröder, K. (2019). Press Hardening Integrated Structuring for Hybrid Components. Presented at the 7th International Conference on Hot Sheet Metal Forming of High-Performance Steel, Lulea, Sweden: Verlag Wissenschaftliche Scripten.
LibreCat
2019 | Conference Paper | LibreCat-ID: 16076
Hetkämper, T., Claes, L., & Henning, B. (2019). Evolutionary algorithm for the design of passive electric matching networks for ultrasonic transducers. In 2019 International Congress on Ultrasonics. Bruges. https://doi.org/10.1121/2.0001110
LibreCat
| DOI
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 | Book Chapter | LibreCat-ID: 16251
Müller, O. (2019). Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier. In The Art of Structuring. https://doi.org/10.1007/978-3-030-06234-7_29
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 | 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: 16377
Reinold, P., Meyer, N., Buse, D., Klingler, F., Sommer, C., Dressler, F., … Andert, J. (2019). Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest. In Proceedings. Wiesbaden. https://doi.org/10.1007/978-3-658-25294-6_15
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: 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
2019 | Book Chapter | LibreCat-ID: 13975
Krimphove, D. (2019). AT 7 der MaComp: Verhältnis §§ 63 ff. WpHG zu § 25a , §25e KWG. In 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 Wertpapierdienstleistungsunternehmen (2nd ed., pp. 88–102). München: C. H. Beck.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13993
Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., & Wehrheim, H. (2019). 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 (pp. 179–195). https://doi.org/10.1007/978-3-030-30942-8\_12
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14025
Weidmann, N., Oppermann, R., & Robrecht, P. (2019). A feature-based classification of triple graph grammar variants. In O. Nierstrasz, J. Gray, & B. Oliveira (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019. Athens, Greece: ACM. https://doi.org/10.1145/3357766.3359529
LibreCat
| DOI