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.
9900 Publications
2019 | Mastersthesis | LibreCat-ID: 15946
Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recongurable System-on-Chip
J. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recongurable System-on-Chip, 2019.
LibreCat
J. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recongurable System-on-Chip, 2019.
2019 | Conference Paper | LibreCat-ID: 16076
Evolutionary algorithm for the design of passive electric matching networks for ultrasonic transducers
T. Hetkämper, L. Claes, B. Henning, in: 2019 International Congress on Ultrasonics, 2019.
LibreCat
| DOI
T. Hetkämper, L. Claes, B. Henning, in: 2019 International Congress on Ultrasonics, 2019.
2019 | Conference Paper | LibreCat-ID: 16215
Verifying Correctness of Persistent Concurrent Data Structures
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, 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, Springer, 2019, pp. 179–195.
LibreCat
| DOI
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, 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, Springer, 2019, pp. 179–195.
2019 | Journal Article | LibreCat-ID: 16275
„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material
A. Franke-Wiekhorst, C. Günther, K. Brünger, J. Magenheim, R. Romeike, GdSU-Journal,(9) (2019) 10–21.
LibreCat
A. Franke-Wiekhorst, C. Günther, K. Brünger, J. Magenheim, R. Romeike, GdSU-Journal,(9) (2019) 10–21.
2019 | Preprint | LibreCat-ID: 16341 | 
Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels
S. Brandt, C. Jähn, M. Fischer, F. Meyer auf der Heide, ArXiv:1904.08225 (2019).
LibreCat
| Download (ext.)
| arXiv
S. Brandt, C. Jähn, M. Fischer, F. Meyer auf der Heide, ArXiv:1904.08225 (2019).
2019 | Book Chapter | LibreCat-ID: 16361
Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode
H.G. Fischer, F. Rittmeier, T.F. Strothmann, N. Schwenniger, in: C.K. Bosse, K.J. Zink (Eds.), Arbeit 4.0 im Mittelstand, Springer Gabler, Berlin, Heidelberg, 2019.
LibreCat
| DOI
H.G. Fischer, F. Rittmeier, T.F. Strothmann, N. Schwenniger, in: C.K. Bosse, K.J. Zink (Eds.), Arbeit 4.0 im Mittelstand, Springer Gabler, Berlin, Heidelberg, 2019.
2019 | Book Chapter | LibreCat-ID: 13872
CoVeriTest: Cooperative Verifier-Based Testing
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat
| DOI
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
2019 | Journal Article | LibreCat-ID: 13873
The Mobile Server Problem
B. Feldkord, F. Meyer auf der Heide, ACM Transactions on Parallel Computing (TOPC) 6 (2019).
LibreCat
| Files available
| DOI
B. Feldkord, F. Meyer auf der Heide, ACM Transactions on Parallel Computing (TOPC) 6 (2019).
2019 | Journal Article | LibreCat-ID: 13937
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
| DOI
F. Meyer auf der Heide, Mathematische Semesterberichte 66 (2019) 259–260.
2019 | Book Chapter | LibreCat-ID: 13939
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
| DOI
P. Kling, F. Meyer auf der Heide, in: Distributed Computing by Mobile Entities, Current Research in Moving and Computing, Springer, 2019, pp. 317–334.
2019 | Conference Paper | LibreCat-ID: 13942
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
| DOI
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.
2019 | Journal Article | LibreCat-ID: 13946
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
| DOI
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, Theoretical Computer Science 786 (2019) 2–12.
2019 | Conference Paper | LibreCat-ID: 13993
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
| DOI
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.
2019 | Conference Paper | LibreCat-ID: 14025
A feature-based classification of triple graph grammar variants
N. Weidmann, R. Oppermann, P. Robrecht, in: O. Nierstrasz, J. Gray, B. Oliveira (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, ACM, 2019.
LibreCat
| DOI
N. Weidmann, R. Oppermann, P. Robrecht, in: O. Nierstrasz, J. Gray, B. Oliveira (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, ACM, 2019.
2019 | Conference Paper | LibreCat-ID: 14026
Consistency management via a combination of triple graph grammars and linear programming
N. Weidmann, A. Anjorin, E. Leblebici, A. Schürr, in: O. Nierstrasz, J. Gray, B. Oliveira (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, ACM, 2019.
LibreCat
| DOI
N. Weidmann, A. Anjorin, E. Leblebici, A. Schürr, in: O. Nierstrasz, J. Gray, B. Oliveira (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, ACM, 2019.
2019 | Journal Article | LibreCat-ID: 14027
Asymptotic confidence sets for the jump curve in bivariate regression problems
V. Bengs, M. Eulert, H. Holzmann, Journal of Multivariate Analysis (2019) 291–312.
LibreCat
| DOI
V. Bengs, M. Eulert, H. Holzmann, Journal of Multivariate Analysis (2019) 291–312.
2019 | Journal Article | LibreCat-ID: 14028
Adaptive confidence sets for kink estimation
V. Bengs, H. Holzmann, Electronic Journal of Statistics (2019) 1523–1579.
LibreCat
| DOI
V. Bengs, H. Holzmann, Electronic Journal of Statistics (2019) 1523–1579.
2019 | Patent | LibreCat-ID: 14032
Verteiltes Warenwirtschaftssystem [Distributed Warehouse System]
T. Göllner, J.-H. Schwarz, S. Gottschalk, S. Sauer, (2019).
LibreCat
| Download (ext.)
T. Göllner, J.-H. Schwarz, S. Gottschalk, S. Sauer, (2019).