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.

9769 Publications


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 | Journal Article | LibreCat-ID: 13148
Y. Gu, B. Hehenkamp, and W. Leininger, “Evolutionary equilibrium in contests with stochastic participation: Entry, effort and overdissipation,” Journal of Economic Behavior & Organization, pp. 469–485, 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 | Journal Article | LibreCat-ID: 13185
R. D. Rittinghaus et al., “New Kids in Lactide Polymerization: Highly Active and Robust Iron Guanidine Complexes as Superior Catalysts,” ChemSusChem, vol. 12, no. 10, pp. 2161–2165, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13236
R. Walczak et al., “Controlling the strength of interaction between carbon dioxide and nitrogen-rich carbon materials by molecular design,” Sustainable Energy Fuels, 2019.
LibreCat | DOI
 

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 | Journal Article | LibreCat-ID: 13270
G. Guevara-Carrion, S. Ancherbak, A. Mialdun, J. Vrabec, and V. Shevtsova, “Diffusion of Methane in Supercritical Carbon Dioxide Across the Widom Line,” Scientific Reports, vol. 9, 2019.
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 | Conference Paper | LibreCat-ID: 13292 | OA
S. B. Schneider et al., “‘Producing Cloud-Native’: Smart Manufacturing Use Cases on Kubernetes,” in IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track, Dallas, TX, USA, 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
 

2019 | Book Chapter | LibreCat-ID: 13436
A. A. Camberg, I. Stratmann, and T. Tröster, “TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES,” in Technologies for economical and functional lightweight design, Berlin, Heidelberg, 2019.
LibreCat | DOI
 

2019 | Book | LibreCat-ID: 10002
W. Sextro and M. Brökelmann, Intelligente Herstellung zuverlässiger Kupferbondverbindungen, vol. VIII. Springer Verlag, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10042
S. Johannesmann, D. Springer, C. Thiel, and B. Henning, “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN,” in Fortschritte der Akustik - DAGA 2019, Rostock, 2019, vol. 45, pp. 1055–1058.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10091
J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,” in {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, 2019, vol. 11460, pp. 263–279.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10093
D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers in Conditional Model Checking via Reducers,” in Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, 2019, vol. P-292, pp. 151--152.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10095
C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution),” in Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, 2019, vol. 11429, pp. 229–233.
LibreCat | Files available | DOI
 

2019 | Mastersthesis | LibreCat-ID: 10105
J. Haltermann, Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10135
M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, and B. Henning, “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere,” in Fortschritte der Akustik - DAGA 2019, Rostock, 2019.
LibreCat
 

Filters and Search Terms

isbn%3D978-3-7705-5730-1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed