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.

7886 Publications


2019 | Conference Paper | LibreCat-ID: 15244
O. E. C. Hagedorn, D. Pielsticker, T. Hemsel, and W. Sextro, “Messung hochfrequenter In-Plane-Schwingungen mittels Laservibrometrie in räumlich eingeschränkten Umgebungen,” in 2. VDI-Fachtagung Schwingungen 2019, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15247
M. Grabo et al., “Entwicklung eines thermischen 1D-Simulationsmodells zur Bestimmung der Temperaturverteilung in Solarmodulen,” presented at the 2. Regenerative Energietechnik Konferenz (RET.Con 2019), Nordhausen, 2019.
LibreCat
 

2019 | Conference Abstract | LibreCat-ID: 15248
M. Grabo, D. Weber, A. Paul, T. Klaus, W. Bermpohl, and E. Kenig, “Numerische Untersuchung der Temperaturverteilung in PCM-integrierten Solarmodulen,” presented at the Jahrestreffen der ProcessNet-Fachgruppe Energieverfahrenstechnik und des Arbeitsausschusses Thermische Energiespeicherung, Frankfurt am Main, 2019.
LibreCat
 

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 | 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: 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 | 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 | 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 | 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
 

2019 | Book Chapter | LibreCat-ID: 13976
D. Krimphove, “BT 6 Zur Verfügungstellen der Geeignetheitserklärung: nach § 64 Abs. 4 WpHG,” in Kommentar: MaComp - Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wertpapierdienstleistungsunternehmen, 2nd ed., D. Krimphove and O. Kruse, Eds. München: C. H. Beck, 2019, pp. 447–458.
LibreCat
 

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: 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
 

2019 | Journal Article | LibreCat-ID: 13048
M. Kampmann, M. A. Kochte, C. Liu, E. Schneider, S. Hellebrand, and H.-J. Wunderlich, “Built-in Test for Hidden Delay Faults,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 38, no. 10, pp. 1956–1968, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13107
J. Schumacher and S. Rezat, “A Hypothetical Learning Trajectory for the Learning of the Rules for Manipulating Integers,” in Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (CERME11, February 6 – 10, 2019), Utrecht.
LibreCat
 

Filters and Search Terms

isbn%3D978-3-540-44769-6

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed