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.
2175 Publications
2019 | Book Chapter | LibreCat-ID: 13178
Smart Service Systems als Handlungsfeld einer konvergierenden Dienstleistungsforschung
D. Beverungen, C. Bartelheimer, V. Wolf, in: Stich, V.; Schumann, J.H.; Beverungen, D.; Gudergan, G.; Jussen, P. (Ed.), Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln, SpringerVieweg, Wiesbaden, 2019.
LibreCat
D. Beverungen, C. Bartelheimer, V. Wolf, in: Stich, V.; Schumann, J.H.; Beverungen, D.; Gudergan, G.; Jussen, P. (Ed.), Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln, SpringerVieweg, Wiesbaden, 2019.
2019 | Report | LibreCat-ID: 13181
DIN SPEC 33453:2019-09, Entwicklung digitaler Dienstleistungssysteme
T. Post, A. Heuermann, S. Wiesner, D. Olschewski, W. Maaß, R. Klatt, P. Jussen, S. Ragab, R. Senderek, B. Höckmayr, T. Schulz, K. Meyer, E. Heinen, C. Hocken, S. Fischer, C. Lattemann, B. Redlich, K. Schlimm, C. Ziegler, C. Rechtien, M. Schröder, B. Kube, J. Pöppelbuß, M. Wiesche, M. Semmann, C. Bartelheimer, D. Beverungen, H. Lüttenberg, V. Wolf, F. Bongers, C. Winkler, J.H. Schumann, M. Li, J. Brinker, S. Hagen, F. Kammler, G. Strina, P. Ernst, M. Falkus, DIN SPEC 33453:2019-09, Entwicklung Digitaler Dienstleistungssysteme, 2019.
LibreCat
| DOI
T. Post, A. Heuermann, S. Wiesner, D. Olschewski, W. Maaß, R. Klatt, P. Jussen, S. Ragab, R. Senderek, B. Höckmayr, T. Schulz, K. Meyer, E. Heinen, C. Hocken, S. Fischer, C. Lattemann, B. Redlich, K. Schlimm, C. Ziegler, C. Rechtien, M. Schröder, B. Kube, J. Pöppelbuß, M. Wiesche, M. Semmann, C. Bartelheimer, D. Beverungen, H. Lüttenberg, V. Wolf, F. Bongers, C. Winkler, J.H. Schumann, M. Li, J. Brinker, S. Hagen, F. Kammler, G. Strina, P. Ernst, M. Falkus, DIN SPEC 33453:2019-09, Entwicklung Digitaler Dienstleistungssysteme, 2019.
2019 | Conference Paper | LibreCat-ID: 13182
A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory
M. Feldmann, T. Götte, C. Scheideler, in: Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2019, pp. 149–164.
LibreCat
| Files available
| DOI
| arXiv
M. Feldmann, T. Götte, C. Scheideler, in: Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2019, pp. 149–164.
2019 | Journal Article | LibreCat-ID: 13184
Stepwise Growth of Ruthenium Terpyridine Complexes on Au Surfaces
S.K. Peter, C. Kaulen, A. Hoffmann, W. Ogieglo, S. Karthäuser, M. Homberger, S. Herres-Pawlis, U. Simon, The Journal of Physical Chemistry C 123 (2019) 6537–6548.
LibreCat
| DOI
S.K. Peter, C. Kaulen, A. Hoffmann, W. Ogieglo, S. Karthäuser, M. Homberger, S. Herres-Pawlis, U. Simon, The Journal of Physical Chemistry C 123 (2019) 6537–6548.
2019 | Journal Article | LibreCat-ID: 13185
New Kids in Lactide Polymerization: Highly Active and Robust Iron Guanidine Complexes as Superior Catalysts
R.D. Rittinghaus, P.M. Schäfer, P. Albrecht, C. Conrads, A. Hoffmann, A.N. Ksiazkiewicz, O. Bienemann, A. Pich, S. Herres-Pawlis, ChemSusChem 12 (2019) 2161–2165.
LibreCat
| DOI
R.D. Rittinghaus, P.M. Schäfer, P. Albrecht, C. Conrads, A. Hoffmann, A.N. Ksiazkiewicz, O. Bienemann, A. Pich, S. Herres-Pawlis, ChemSusChem 12 (2019) 2161–2165.
2019 | Journal Article | LibreCat-ID: 13189
Thermodynamic speed of sound of xenon
M.A. Javed, E. Baumhögger, J. Vrabec, The Journal of Chemical Thermodynamics (2019).
LibreCat
| DOI
M.A. Javed, E. Baumhögger, J. Vrabec, The Journal of Chemical Thermodynamics (2019).
2019 | Journal Article | LibreCat-ID: 13211
Properties of Co-Evaporated RbInSe2 Thin Films
T. Kodalle, R. Kormath Madam Raghupathy, T. Bertram, N. Maticiuc, H.A. Yetkin, R. Gunder, R. Schlatmann, T.D. Kühne, C.A. Kaufmann, H. Mirhosseini, Physica Status Solidi (RRL)--Rapid Research Letters 13 (2019) 1800564.
LibreCat
| DOI
T. Kodalle, R. Kormath Madam Raghupathy, T. Bertram, N. Maticiuc, H.A. Yetkin, R. Gunder, R. Schlatmann, T.D. Kühne, C.A. Kaufmann, H. Mirhosseini, Physica Status Solidi (RRL)--Rapid Research Letters 13 (2019) 1800564.
2019 | Journal Article | LibreCat-ID: 13225
Opposing Electronic and Nuclear Quantum Effects on Hydrogen Bonds in H2O and D2O
T. Clark, J.J. Heske, T. Kühne, ChemPhysChem 20 (2019) 1–6.
LibreCat
| DOI
T. Clark, J.J. Heske, T. Kühne, ChemPhysChem 20 (2019) 1–6.
2019 | Journal Article | LibreCat-ID: 13232
Impact of intermolecular vibrational coupling effects on the sum-frequency generation spectra of the water/air interface
N.K. Kaliannan, A. Henao Aristizabal, H. Wiebeler, F. Zysk, T. Ohto, Y. Nagata, T. D. Kühne, Molecular Physics 0 (2019) 1–10.
LibreCat
| DOI
N.K. Kaliannan, A. Henao Aristizabal, H. Wiebeler, F. Zysk, T. Ohto, Y. Nagata, T. D. Kühne, Molecular Physics 0 (2019) 1–10.
2019 | Journal Article | LibreCat-ID: 13233
Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes
P. Müller, A. Neuba, U. Flörke, G. Henkel, T.D. Kühne, M. Bauer, The Journal of Physical Chemistry A 123 (2019) 3575–3581.
LibreCat
| DOI
P. Müller, A. Neuba, U. Flörke, G. Henkel, T.D. Kühne, M. Bauer, The Journal of Physical Chemistry A 123 (2019) 3575–3581.
2019 | Journal Article | LibreCat-ID: 13236
Controlling the strength of interaction between carbon dioxide and nitrogen-rich carbon materials by molecular design
R. Walczak, A. Savateev, J.J. Heske, N.V. Tarakina, S. Sahoo, J.D. Epping, T. Kühne, B. Kurpil, M. Antonietti, M. Oschatz, Sustainable Energy Fuels (2019).
LibreCat
| DOI
R. Walczak, A. Savateev, J.J. Heske, N.V. Tarakina, S. Sahoo, J.D. Epping, T. Kühne, B. Kurpil, M. Antonietti, M. Oschatz, Sustainable Energy Fuels (2019).
2019 | Journal Article | LibreCat-ID: 13237
Enhancement of the asymmetry in the hydrogen bond network of liquid water by an ultrafast electric field pulse
H. Elgabarty, N.K. Kaliannan, T.D. Kühne, Scientific Reports 9 (2019) 10002.
LibreCat
| DOI
H. Elgabarty, N.K. Kaliannan, T.D. Kühne, Scientific Reports 9 (2019) 10002.
2019 | Journal Article | LibreCat-ID: 13247
A Branch and Bound Approach for Large Pre-Marshalling Problems
S. Tanaka, K. Tierney, C. Parreño-Torres, R. Alvarez-Valdes, R. Ruiz, European Journal of Operational Research (2019) 211–225.
LibreCat
| DOI
S. Tanaka, K. Tierney, C. Parreño-Torres, R. Alvarez-Valdes, R. Ruiz, European Journal of Operational Research (2019) 211–225.
2019 | Conference Paper | LibreCat-ID: 13250
Hyper-Reactive Tabu Search for MaxSAT
C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, K. Tierney, in: Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 309–325.
LibreCat
| DOI
C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, K. Tierney, in: Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 309–325.
2019 | Conference Paper | LibreCat-ID: 13261
Specifying Web Interfaces for Command-line Applications Based on OpenAPI
D. Wolters, J. Kirchhoff, G. Engels, in: S. Yangui, A. Bouguettaya, X. Xue, N. Faci, W. Gaaloul, Q. Yu, Z. Zhou, N. Hernandez, E.Y. Nakagawa (Eds.), Service-Oriented Computing – ICSOC 2019 Workshops, Springer, 2019, pp. 30–41.
LibreCat
| DOI
D. Wolters, J. Kirchhoff, G. Engels, in: S. Yangui, A. Bouguettaya, X. Xue, N. Faci, W. Gaaloul, Q. Yu, Z. Zhou, N. Hernandez, E.Y. Nakagawa (Eds.), Service-Oriented Computing – ICSOC 2019 Workshops, Springer, 2019, pp. 30–41.
2019 | Journal Article | LibreCat-ID: 13270
Diffusion of Methane in Supercritical Carbon Dioxide Across the Widom Line
G. Guevara-Carrion, S. Ancherbak, A. Mialdun, J. Vrabec, V. Shevtsova, Scientific Reports 9 (2019).
LibreCat
| DOI
G. Guevara-Carrion, S. Ancherbak, A. Mialdun, J. Vrabec, V. Shevtsova, Scientific Reports 9 (2019).
2019 | Conference Paper | LibreCat-ID: 13271 | 
All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis
T. von Neumann, K. Kinoshita, M. Delcroix, S. Araki, T. Nakatani, R. Haeb-Umbach, in: ICASSP 2019, Brighton, UK, 2019.
LibreCat
| Files available
T. von Neumann, K. Kinoshita, M. Delcroix, S. Araki, T. Nakatani, R. Haeb-Umbach, in: ICASSP 2019, Brighton, UK, 2019.
2019 | Journal Article | LibreCat-ID: 13273
Diffusion Limited Evaporation of a Binary Liquid Film
R.S. Chatwell, M. Heinen, J. Vrabec, International Journal of Heat and Mass Transfer 132 (2019) 1296–1305.
LibreCat
| DOI
R.S. Chatwell, M. Heinen, J. Vrabec, International Journal of Heat and Mass Transfer 132 (2019) 1296–1305.
2019 | Journal Article | LibreCat-ID: 13274
Kirkwood-Buff Integration: A Promising Route to Entropic Properties?
R. Fingerhut, J. Vrabec, Fluid Phase Equilibria (2019) 270–281.
LibreCat
| DOI
R. Fingerhut, J. Vrabec, Fluid Phase Equilibria (2019) 270–281.
2019 | Journal Article | LibreCat-ID: 13282
Four‐Wave Mixing Holographic Multiplexing Based on Nonlinear Metasurfaces
Z. Lin, L. Huang, Z.T. Xu, X. Li, T. Zentgraf, Y. Wang, Advanced Optical Materials 7 (2019) 1900782.
LibreCat
| DOI
Z. Lin, L. Huang, Z.T. Xu, X. Li, T. Zentgraf, Y. Wang, Advanced Optical Materials 7 (2019) 1900782.
2019 | Conference Paper | LibreCat-ID: 13292 |
"Producing Cloud-Native": Smart Manufacturing Use Cases on Kubernetes
S.B. Schneider, M. Peuster, K. Hannemann, D. Behnke, M. Müller, P.-B. Bök, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track, IEEE, Dallas, TX, USA, 2019.
LibreCat
| Files available
S.B. Schneider, M. Peuster, K. Hannemann, D. Behnke, M. Müller, P.-B. Bök, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track, IEEE, Dallas, TX, USA, 2019.
2019 | Journal Article | LibreCat-ID: 13294
Investigation of Near-Surface Defects of Nanodiamonds by High-Frequency EPR and DFT Calculation
F.H. Cho, Z. Peng, T. Biktagirov, U. Gerstmann, S. Takahashi, The Journal of Chemical Physics 150 (2019) 134702.
LibreCat
| DOI
F.H. Cho, Z. Peng, T. Biktagirov, U. Gerstmann, S. Takahashi, The Journal of Chemical Physics 150 (2019) 134702.
2019 | Journal Article | LibreCat-ID: 13295
Proton Irradiation Induced Defects in β-Ga2O3: A Combined EPR and Theory Study
H.J. von Bardeleben, S. Zhou, U. Gerstmann, D. Skachkov, W.R.L. Lambrecht, Q.D. Ho, P. Deák, APL Materials 7 (2019).
LibreCat
| DOI
H.J. von Bardeleben, S. Zhou, U. Gerstmann, D. Skachkov, W.R.L. Lambrecht, Q.D. Ho, P. Deák, APL Materials 7 (2019).
2019 | Journal Article | LibreCat-ID: 13390
Methode zur Erfassung von Stofftransport an fluiden Phasengrenzflächen
A. Schulz, C. Wecker, E. Kenig, Chemie Ingenieur Technik (2019).
LibreCat
| DOI
A. Schulz, C. Wecker, E. Kenig, Chemie Ingenieur Technik (2019).
2019 | Conference Abstract | LibreCat-ID: 13393
Ein Finite-Volumen Ansatz für den Stoffübergang an bewegten Phasengrenzflächen
A. Schulz, C. Wecker, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Computational Fluid Dynamics, Frankfurt, 2019.
LibreCat
A. Schulz, C. Wecker, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Computational Fluid Dynamics, Frankfurt, 2019.
2019 | Conference Abstract | LibreCat-ID: 13394
Numerische Untersuchungen zum Stofftransport und Fluidmechanik bei der Tropfenbildung
C. Wecker, A. Schulz, J. Heine, H.-J. Bart, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, Essen, 2019.
LibreCat
C. Wecker, A. Schulz, J. Heine, H.-J. Bart, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, Essen, 2019.
2019 | Conference Abstract | LibreCat-ID: 13395
Visualization of Marangoni Phenomena during Droplet Formation
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: 10th International Conference on Multiphase Flow, Rio de Janeiro, Brasilien, 2019.
LibreCat
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: 10th International Conference on Multiphase Flow, Rio de Janeiro, Brasilien, 2019.
2019 | Conference Abstract | LibreCat-ID: 13396
In-situ Messung des Stofftransports bei der Tropfenbildung
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, Essen, 2019.
LibreCat
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, Essen, 2019.
2019 | Conference Abstract | LibreCat-ID: 13397
Stofftransport und Fluidmechanik bei der Tropfenbildung unter Berücksichtigung von Marangonikonvektion mittels CFD
C. Wecker, A. Schulz, J. Heine, H.-J. Bart, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019.
LibreCat
C. Wecker, A. Schulz, J. Heine, H.-J. Bart, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019.
2019 | Conference Abstract | LibreCat-ID: 13398
Stofftransport bei der Tropfenbildung
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019.
LibreCat
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019.
2019 | Conference Abstract | LibreCat-ID: 13399
Reduktion von parasitären Strömungen in Mehrphasensimulationen durch Verwendung der Height-Function Methode
A. Zibart, E. Kenig, in: ProcessNet-Fachgruppe Computational Fluid Dynamics, Frankfurt, 2019.
LibreCat
A. Zibart, E. Kenig, in: ProcessNet-Fachgruppe Computational Fluid Dynamics, Frankfurt, 2019.
2019 | Journal Article | LibreCat-ID: 13431
"A possibilistic finite element method for sparse data"
A. Dridger, I. Caylak, R. Mahnken, E. Penner, Safety and Reliability (2019) 58–82.
LibreCat
| DOI
A. Dridger, I. Caylak, R. Mahnken, E. Penner, Safety and Reliability (2019) 58–82.
2019 | Journal Article | LibreCat-ID: 13432
"Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity"
X. Ju, R. Mahnken, Computer Methods in Applied Mechanics and Engineering (2019) 297–329.
LibreCat
| DOI
X. Ju, R. Mahnken, Computer Methods in Applied Mechanics and Engineering (2019) 297–329.
2019 | Journal Article | LibreCat-ID: 13434
"Optimization with constraints considering polymorphic uncertainties"
M. Mäck, I. Caylak, P. Edler, S. Freitag, M. Hanss, R. Mahnken, G. Meschke, E. Penner, GAMM-Mitteilungen (2019).
LibreCat
| DOI
M. Mäck, I. Caylak, P. Edler, S. Freitag, M. Hanss, R. Mahnken, G. Meschke, E. Penner, GAMM-Mitteilungen (2019).
2019 | Bachelorsthesis | LibreCat-ID: 13435
Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis, Universität Paderborn, 2019.
LibreCat
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis, Universität Paderborn, 2019.
2019 | Book Chapter | LibreCat-ID: 13436
TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES
A.A. Camberg, I. Stratmann, T. Tröster, in: Technologies for Economical and Functional Lightweight Design, Berlin, Heidelberg, 2019.
LibreCat
| DOI
A.A. Camberg, I. Stratmann, T. Tröster, in: Technologies for Economical and Functional Lightweight Design, Berlin, Heidelberg, 2019.
2019 | Conference Paper | LibreCat-ID: 13442
Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface
S.A. Manavi, E. Kenig, in: Computer Aided Chemical Engineering, 29th European Symposium on Computer Aided Process Engineering, Eindhoven, Netherlands, 2019.
LibreCat
| DOI
S.A. Manavi, E. Kenig, in: Computer Aided Chemical Engineering, 29th European Symposium on Computer Aided Process Engineering, Eindhoven, Netherlands, 2019.
2019 | Conference Paper | LibreCat-ID: 13443 |
Deep reinforcement learning for scheduling in large-scale networked control systems
A. Redder, A. Ramaswamy, D. Quevedo, in: Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2019.
LibreCat
| Files available
| Download (ext.)
A. Redder, A. Ramaswamy, D. Quevedo, in: Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2019.
2019 | Journal Article | LibreCat-ID: 13454
Mapping Value in Business Markets: An Integrative Framework
A. Eggert, M. Kleinaltenkamp, V. Kashyap, Industrial Marketing Management 79 (2019) 13--20.
LibreCat
A. Eggert, M. Kleinaltenkamp, V. Kashyap, Industrial Marketing Management 79 (2019) 13--20.
2019 | Journal Article | LibreCat-ID: 13455
Exploring the link between payment schemes and customer fraud: a mental accounting perspective
I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, E. Boehm, Journal of the Academy of Marketing Science 47 (2019) 595--616.
LibreCat
I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, E. Boehm, Journal of the Academy of Marketing Science 47 (2019) 595--616.
2019 | Conference Paper | LibreCat-ID: 13456
Service Growth by Acquisition – An Event Study
A. Eggert, E. Boehm, R. Akalan, H. Gebauer, (2019).
LibreCat
A. Eggert, E. Boehm, R. Akalan, H. Gebauer, (2019).
2019 | Journal Article | LibreCat-ID: 13457
Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships
A. Eggert, L. Steinhoff, C. Witte, Journal of Marketing (2019).
LibreCat
A. Eggert, L. Steinhoff, C. Witte, Journal of Marketing (2019).
2019 | Book | LibreCat-ID: 10002
Intelligente Herstellung zuverlässiger Kupferbondverbindungen
W. Sextro, M. Brökelmann, Intelligente Herstellung Zuverlässiger Kupferbondverbindungen, Springer Verlag, 2019.
LibreCat
| DOI
W. Sextro, M. Brökelmann, Intelligente Herstellung Zuverlässiger Kupferbondverbindungen, Springer Verlag, 2019.
2019 | Conference Paper | LibreCat-ID: 10042
Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN
S. Johannesmann, D. Springer, C. Thiel, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019, Deutsche Gesellschaft für Akustik, Rostock, 2019, pp. 1055–1058.
LibreCat
S. Johannesmann, D. Springer, C. Thiel, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019, Deutsche Gesellschaft für Akustik, Rostock, 2019, pp. 1055–1058.
2019 | Journal Article | LibreCat-ID: 10090
A New Theory of Demand-Restricted Growth: The Basic Idea
T. Gries, The American Economist (2019).
LibreCat
| DOI
T. Gries, The American Economist (2019).
2019 | Conference Paper | LibreCat-ID: 10091
Data Independence for Software Transactional Memory
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
LibreCat
| DOI
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
2019 | Conference Paper | LibreCat-ID: 10092
Verifying C11 programs operationally
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, {ACM}, 2019, pp. 355–365.
LibreCat
| DOI
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, {ACM}, 2019, pp. 355–365.
2019 | Conference Paper | LibreCat-ID: 10093
Combining Verifiers in Conditional Model Checking via Reducers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
LibreCat
| Files available
| DOI
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
2019 | Conference Paper | LibreCat-ID: 10094
Testing Balancedness of ML Algorithms
A. Sharma, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019, {GI}, 2019, pp. 157–158.
LibreCat
| DOI
A. Sharma, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019, {GI}, 2019, pp. 157–158.