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.
5948 Publications
2019 | Mastersthesis | LibreCat-ID: 15946
J. Mehta, Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recongurable System-on-Chip. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 16215
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “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, 2019, vol. 11800, pp. 179–195.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16275
A. Franke-Wiekhorst, C. Günther, K. Brünger, J. Magenheim, and R. Romeike, “„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material,” GdSU-Journal,(9), pp. 10–21, 2019.
LibreCat
2019 | Preprint | LibreCat-ID: 16341 | 
S. Brandt, C. Jähn, M. Fischer, and F. Meyer auf der Heide, “Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels,” arXiv:1904.08225. 2019.
LibreCat
| Download (ext.)
| arXiv
2019 | Book Chapter | LibreCat-ID: 16361
H. G. Fischer, F. Rittmeier, T. F. Strothmann, and N. Schwenniger, “Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode,” in Arbeit 4.0 im Mittelstand, C. K. Bosse and K. J. Zink, Eds. Berlin, Heidelberg: Springer Gabler, 2019.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13873
B. Feldkord and F. Meyer auf der Heide, “The Mobile Server Problem,” ACM Transactions on Parallel Computing (TOPC), vol. 6, no. 3, 2019.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13942
C. Markarian and F. Meyer auf der Heide, “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, 2019, pp. 315–321.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13993
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “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, 2019, pp. 179–195.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14025
N. Weidmann, R. Oppermann, and P. Robrecht, “A feature-based classification of triple graph grammar variants,” in Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, Athens, Greece, 2019.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14026
N. Weidmann, A. Anjorin, E. Leblebici, and A. Schürr, “Consistency management via a combination of triple graph grammars and linear programming,” in Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, Athens, Greece, 2019.
LibreCat
| DOI
2019 | Patent | LibreCat-ID: 14032
T. Göllner, J.-H. Schwarz, S. Gottschalk, and S. Sauer, “Verteiltes Warenwirtschaftssystem [Distributed Warehouse System].” 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 14539
J. Castenow, C. Kolb, and C. Scheideler, “A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks,” in Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO), L’Aquila, Italy, 2019, pp. 345–348.
LibreCat
| DOI