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.

12168 Publications


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

2019 | Book (Editor) | LibreCat-ID: 15265
O. Linssen et al., Eds., 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
J. Mehta, Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon􏰃gurable System-on-Chip. 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 16030
M. Triebus, S. Bienia, T. Marten, T. Tröster, and K. Dröder, “Press Hardening Integrated Structuring for Hybrid Components,” presented at the 7th International Conference on Hot Sheet Metal Forming of High-Performance Steel, Lulea, Sweden, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 16076
T. Hetkämper, L. Claes, and B. Henning, “Evolutionary algorithm for the design of passive electric matching networks for ultrasonic transducers,” in 2019 International Congress on Ultrasonics, Bruges, 2019.
LibreCat | DOI
 

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: 16216
A. Russo, A. Schürr, and H. Wehrheim, “Editorial,” Formal Asp. Comput., vol. 31, no. 5, pp. 457–458, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 16217
M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp. Comput., vol. 31, no. 1, p. 1, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 16251
O. Müller, “Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier,” in The Art of Structuring, 2019.
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 | OA
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 | Book Chapter | LibreCat-ID: 16377
P. Reinold et al., “Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest,” in Proceedings, Wiesbaden, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 13872
D. Beyer and M.-C. Jakobs, “CoVeriTest: Cooperative Verifier-Based Testing,” in Fundamental Approaches to Software Engineering, Cham, 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 | Journal Article | LibreCat-ID: 13937
F. Meyer auf der Heide, “Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln,” Mathematische Semesterberichte, vol. 66, no. 2, pp. 259–260, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 13939
P. Kling and F. Meyer auf der Heide, “Continuous Protocols for Swarm Robotics,” in Distributed Computing by Mobile Entities, Current Research in Moving and Computing, vol. 11340, Springer, 2019, pp. 317–334.
LibreCat | 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 | Journal Article | LibreCat-ID: 13946
F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “Efficient parallel algorithms for parameterized problems,” Theoretical Computer Science, vol. 786, pp. 2–12, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13966
E. Baron, R. Goldhahn, M. Deppe, D. J. As, and M. Feneberg, “Influence of the free-electron concentration on the optical properties of zincblende GaN up to 1×1020cm−3,” Physical Review Materials, 2019.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D978-3-642-53741-7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed