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.

9825 Publications


2019 | Conference Abstract | LibreCat-ID: 15186 LibreCat
 

2019 | Conference (Editor) | LibreCat-ID: 15235
Proceedings of the 6th Workshop on Argument Mining
B. Stein, H. Wachsmuth, eds., Proceedings of the 6th Workshop on Argument Mining, Association for Computational Linguistics, Florence, Italy, 2019.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15247
Entwicklung eines thermischen 1D-Simulationsmodells zur Bestimmung der Temperaturverteilung in Solarmodulen
M. Grabo, D. Weber, A. Paul, T. Klaus, W. Bermpohl, S. Krauter, E. Kenig, in: 2019.
LibreCat
 

2019 | Conference Abstract | LibreCat-ID: 15248
Numerische Untersuchung der Temperaturverteilung in PCM-integrierten Solarmodulen
M. Grabo, D. Weber, A. Paul, T. Klaus, W. Bermpohl, E. Kenig, in: 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15261
Analysis of Lamb wave mode repulsion and its implications to the characterisation of adhesive bonding strength
Y. Lugovtsova, S. Johannesmann, B. Henning, J. Prager, in: 2019 International Congress on Ultrasonics, Acoustical Society of America, Bruges, 2019.
LibreCat | DOI
 

2019 | Book (Editor) | LibreCat-ID: 15265
Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel.
O. Linssen, M. Mikusz, A. Volland, E. Yigitbas, M. Engstler, M. Fazal-Baqaie, M. Kuhrmann, eds., Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel., 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 15946
Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon􏰃gurable System-on-Chip
J. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recon􏰃gurable System-on-Chip, 2019.
LibreCat
 

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
 

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
 

2019 | Journal Article | LibreCat-ID: 16216
Editorial
A. Russo, A. Schürr, H. Wehrheim, Formal Asp. Comput. 31 (2019) 457–458.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 16217
Editorial
M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1.
LibreCat | DOI
 

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
 

2019 | Preprint | LibreCat-ID: 16341 | OA
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
 

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
 

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
 

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
 

2019 | Journal Article | LibreCat-ID: 13937 LibreCat | DOI
 

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
 

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
 

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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed