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.
9884 Publications
2019 | Conference Abstract | LibreCat-ID: 15248
Grabo, Matti, et al. Numerische Untersuchung der Temperaturverteilung in PCM-integrierten Solarmodulen. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 15261
Lugovtsova, Yevgeniya, et al. “Analysis of Lamb Wave Mode Repulsion and Its Implications to the Characterisation of Adhesive Bonding Strength.” 2019 International Congress on Ultrasonics, Acoustical Society of America, 2019, doi:10.1121/2.0001074.
LibreCat
| DOI
2019 | Book (Editor) | LibreCat-ID: 15265
Linssen, Oliver, et al., editors. Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel. Vol. Volume P-298, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 15946
Mehta, Jinay. Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recongurable System-on-Chip. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 16076
Hetkämper, Tim, et al. “Evolutionary Algorithm for the Design of Passive Electric Matching Networks for Ultrasonic Transducers.” 2019 International Congress on Ultrasonics, 2019, doi:10.1121/2.0001110.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16215
Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data Structures.” Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, edited by Maurice H. ter Beek et al., vol. 11800, Springer, 2019, pp. 179–95, doi:10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16216
Russo, Alessandra, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 5, 2019, pp. 457–58, doi:10.1007/s00165-019-00495-y.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi:10.1007/s00165-018-00477-6.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16275
Franke-Wiekhorst, Antonia, et al. “„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material.” GdSU-Journal,(9), 2019, pp. 10–21.
LibreCat
2019 | Preprint | LibreCat-ID: 16341 | 
Brandt, Sascha, et al. “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, et al. “Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode.” Arbeit 4.0 im Mittelstand, edited by Christian K. Bosse and Klaus J. Zink, Springer Gabler, 2019, doi: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.” Fundamental Approaches to Software Engineering, 2019, doi: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), vol. 6, no. 3, 14, 2019, doi: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, vol. 66, no. 2, 2019, pp. 259–60, doi: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.” Distributed Computing by Mobile Entities, Current Research in Moving and Computing, vol. 11340, Springer, 2019, pp. 317–34, doi: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.” Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, SciTePress, 2019, pp. 315–21, doi:10.5220/0007369503150321.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13946
Abu-Khzam, Faisal N., et al. “Efficient Parallel Algorithms for Parameterized Problems.” Theoretical Computer Science, vol. 786, 2019, pp. 2–12, doi:10.1016/j.tcs.2018.11.006.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13993
Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data Structures.” Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–95, doi:10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14025
Weidmann, Nils, et al. “A Feature-Based Classification of Triple Graph Grammar Variants.” Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, edited by Oscar Nierstrasz et al., ACM, 2019, doi:10.1145/3357766.3359529.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14026
Weidmann, Nils, et al. “Consistency Management via a Combination of Triple Graph Grammars and Linear Programming.” Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, edited by Oscar Nierstrasz et al., ACM, 2019, doi:10.1145/3357766.3359544.
LibreCat
| DOI