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.

7896 Publications


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 | Conference Paper | LibreCat-ID: 16030
Press Hardening Integrated Structuring for Hybrid Components
M. Triebus, S. Bienia, T. Marten, T. Tröster, K. Dröder, in: Verlag Wissenschaftliche Scripten, 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: 16217
Editorial
M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 16251 LibreCat | DOI
 

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: 16377
Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest
P. Reinold, N. Meyer, D. Buse, F. Klingler, C. Sommer, F. Dressler, M. Eisenbarth, J. Andert, in: Proceedings, Wiesbaden, 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 | 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 | Journal Article | LibreCat-ID: 13966
Influence of the free-electron concentration on the optical properties of zincblende GaN up to 1×1020cm−3
E. Baron, R. Goldhahn, M. Deppe, D.J. As, M. Feneberg, Physical Review Materials (2019).
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 13976
BT 6 Zur Verfügungstellen der Geeignetheitserklärung: nach § 64 Abs. 4 WpHG
D. Krimphove, in: D. Krimphove, O. Kruse (Eds.), Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen, 2nd ed., C. H. Beck, München, 2019, pp. 447–458.
LibreCat
 

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
 

2019 | Conference Paper | LibreCat-ID: 14539
A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks
J. Castenow, C. Kolb, C. Scheideler, in: Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2019, pp. 345–348.
LibreCat | DOI
 

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

2019 | Conference Paper | LibreCat-ID: 13107
A Hypothetical Learning Trajectory for the Learning of the Rules for Manipulating Integers
J. Schumacher, S. Rezat, in: U.T. Jankvist, M. Van den Heuvel-Panhuizen, M. Veldhuis (Eds.), Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (CERME11, February 6 – 10, 2019), Freudenthal Group & Freudenthal Institute, Utrecht University and ERME, Utrecht, the Netherlands, n.d.
LibreCat
 

2019 | Dissertation | LibreCat-ID: 13126
Organic Programming of Dynamic Real-Time Applications
L. Khaluf, Organic Programming of Dynamic Real-Time Applications, Universität Paderborn, 2019.
LibreCat
 

2019 | Conference Abstract | LibreCat-ID: 13132
From Automated to On-The-Fly Machine Learning
F. Mohr, M.D. Wever, A. Tornede, E. Hüllermeier, in: INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft, Gesellschaft für Informatik e.V., Bonn, 2019, pp. 273–274.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13138 | OA
Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach
S. Gottschalk, F. Rittmeier, G. Engels, in: S. Hyrynsalmi, M. Suoranta, A. Nguyen-Duc, P. Tyrväinen, P. Abrahamsson (Eds.), Software Business, Springer International Publishing, Cham, 2019, pp. 192–207.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13140
From Pattern Invocation Networks to Rule Preconditions
N. Weidmann, A. Anjorin, F. Stolte, F. Kraus, in: E. Guerra, F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Springer, 2019, pp. 195–211.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D978-3-00-062166-6

Search

Filter Publications

Display / Sort

Export / Embed