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.

7873 Publications


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
 

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

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

2019 | Conference Paper | LibreCat-ID: 13138 | OA
S. Gottschalk, F. Rittmeier, and G. Engels, “Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach,” in Software Business, Jyväskylä, 2019, vol. 370, no. 1, pp. 192–207.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13140
N. Weidmann, A. Anjorin, F. Stolte, and F. Kraus, “From Pattern Invocation Networks to Rule Preconditions,” in Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, 2019, pp. 195–211.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13141
N. Weidmann, A. Anjorin, P. Robrecht, and G. Varró, “Incremental (Unidirectional) Model Transformation with eMoflon::IBeX,” in Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, 2019, pp. 131–140.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13143
L. Claes et al., “Acoustic absorption measurement for the determination of the volume viscosity of pure fluids / Messverfahren für die akustischen Absorption zur Bestimmung der Volumenviskosität reiner Fluide,” tm - Technisches Messen, pp. 2–6, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 13178
D. Beverungen, C. Bartelheimer, and V. Wolf, “Smart Service Systems als Handlungsfeld einer konvergierenden Dienstleistungsforschung,” in Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln, Stich, V.; Schumann, J.H.; Beverungen, D.; Gudergan, G.; Jussen, P. , Ed. Wiesbaden: SpringerVieweg, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13182
M. Feldmann, T. Götte, and C. Scheideler, “A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory,” in Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2019, pp. 149–164.
LibreCat | Files available | DOI | arXiv
 

2019 | Conference Paper | LibreCat-ID: 13250
C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, and K. Tierney, “Hyper-Reactive Tabu Search for MaxSAT,” in Learning and Intelligent Optimization, 2019, pp. 309–325.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13261
D. Wolters, J. Kirchhoff, and G. Engels, “Specifying Web Interfaces for Command-line Applications Based on OpenAPI,” in Service-Oriented Computing – ICSOC 2019 Workshops, 2019, vol. 12019, pp. 30–41.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13271 | OA
T. von Neumann, K. Kinoshita, M. Delcroix, S. Araki, T. Nakatani, and R. Haeb-Umbach, “All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis,” in ICASSP 2019, Brighton, UK, 2019.
LibreCat | Files available
 

2019 | Bachelorsthesis | LibreCat-ID: 13435
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn, 2019.
LibreCat
 

Filters and Search Terms

isbn%3D978-3-89336-912-6

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed