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.

2171 Publications


2019 | Conference Paper | LibreCat-ID: 13182
Feldmann, Michael, Thorsten Götte, and Christian 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), 149–64. Lecture Notes in Computer Science. Springer, Cham, 2019. https://doi.org/10.1007/978-3-030-34992-9_13.
LibreCat | Files available | DOI | arXiv
 

2019 | Journal Article | LibreCat-ID: 13184
Peter, Sophia Katharina, Corinna Kaulen, Alexander Hoffmann, Wojciech Ogieglo, Silvia Karthäuser, Melanie Homberger, Sonja Herres-Pawlis, and Ulrich Simon. “Stepwise Growth of Ruthenium Terpyridine Complexes on Au Surfaces.” The Journal of Physical Chemistry C 123, no. 11 (2019): 6537–48. https://doi.org/10.1021/acs.jpcc.8b12039.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13185
Rittinghaus, Ruth D., Pascal M. Schäfer, Pascal Albrecht, Christian Conrads, Alexander Hoffmann, Agnieszka N. Ksiazkiewicz, Olga Bienemann, Andrij Pich, and Sonja Herres-Pawlis. “New Kids in Lactide Polymerization: Highly Active and Robust Iron Guanidine Complexes as Superior Catalysts.” ChemSusChem 12, no. 10 (2019): 2161–65. https://doi.org/10.1002/cssc.201900481.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13189
Javed, Muhammad Ali, Elmar Baumhögger, and Jadran Vrabec. “Thermodynamic Speed of Sound of Xenon.” The Journal of Chemical Thermodynamics, 2019. https://doi.org/10.1016/j.jct.2019.105933.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13211
Kodalle, Tim, Ramya Kormath Madam Raghupathy, Tobias Bertram, Natalia Maticiuc, Hasan A Yetkin, René Gunder, Rutger Schlatmann, Thomas D Kühne, Christian A Kaufmann, and Hossein Mirhosseini. “Properties of Co-Evaporated RbInSe2 Thin Films.” Physica Status Solidi (RRL)--Rapid Research Letters 13, no. 3 (2019): 1800564. https://doi.org/10.1002/pssr.201800564.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13225
Clark, Timothy, Julian Joachim Heske, and Thomas Kühne. “Opposing Electronic and Nuclear Quantum Effects on Hydrogen Bonds in H2O and D2O.” ChemPhysChem 20, no. 0 (2019): 1–6. https://doi.org/10.1002/cphc.201900839.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13232
Kaliannan, Naveen Kumar , Andres Henao Aristizabal, Hendrik Wiebeler, Frederik Zysk, Tatsuhiko Ohto, Yuki Nagata, and Thomas D. Kühne. “Impact of Intermolecular Vibrational Coupling Effects on the Sum-Frequency Generation Spectra of the Water/Air Interface.” Molecular Physics 0, no. 0 (2019): 1–10. https://doi.org/10.1080/00268976.2019.1620358.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13233
Müller, Patrick, Adam Neuba, Ulrich Flörke, Gerald Henkel, Thomas D. Kühne, and Matthias Bauer. “Experimental and Theoretical High Energy Resolution Hard X-Ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes.” The Journal of Physical Chemistry A 123, no. 16 (2019): 3575–81. https://doi.org/10.1021/acs.jpca.9b00463.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13236
Walczak, Ralf, Aleksandr Savateev, Julian Joachim Heske, Nadezda V. Tarakina, Sudhir Sahoo, Jan D. Epping, Thomas Kühne, Bogdan Kurpil, Markus Antonietti, and Martin Oschatz. “Controlling the Strength of Interaction between Carbon Dioxide and Nitrogen-Rich Carbon Materials by Molecular Design.” Sustainable Energy Fuels, 2019. https://doi.org/10.1039/C9SE00486F.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13237
Elgabarty, Hossam, Naveen Kumar Kaliannan, and Thomas D. Kühne. “Enhancement of the Asymmetry in the Hydrogen Bond Network of Liquid Water by an Ultrafast Electric Field Pulse.” Scientific Reports 9 (2019): 10002. https://doi.org/10.1038/s41598-019-46449-5.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13247
Tanaka, Shunji, Kevin Tierney, Consuelo Parreño-Torres, Ramon Alvarez-Valdes, and Rubén Ruiz. “A Branch and Bound Approach for Large Pre-Marshalling Problems.” European Journal of Operational Research, 2019, 211–25. https://doi.org/10.1016/j.ejor.2019.04.005.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13250
Ansótegui, Carlos, Britta Heymann, Josep Pon, Meinolf Sellmann, and Kevin Tierney. “Hyper-Reactive Tabu Search for MaxSAT.” In Learning and Intelligent Optimization, 309–25. Cham: Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-05348-2_27.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13261
Wolters, Dennis, Jonas Kirchhoff, and Gregor Engels. “Specifying Web Interfaces for Command-Line Applications Based on OpenAPI.” In Service-Oriented Computing – ICSOC 2019 Workshops, edited by Sami Yangui, Athman Bouguettaya, Xiao Xue, Noura Faci, Walid Gaaloul, Qi Yu, Zhangbing Zhou, Nathalie Hernandez, and Elisa Y. Nakagawa, 12019:30–41. LNCS. Springer, 2019. https://doi.org/10.1007/978-3-030-45989-5\_3.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13270
Guevara-Carrion, Gabriela, Sergiy Ancherbak, Aliaksandr Mialdun, Jadran Vrabec, and Valentina Shevtsova. “Diffusion of Methane in Supercritical Carbon Dioxide Across the Widom Line.” Scientific Reports 9 (2019). https://doi.org/10.1038/s41598-019-44687-1.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13271 | OA
Neumann, Thilo von, Keisuke Kinoshita, Marc Delcroix, Shoko Araki, Tomohiro Nakatani, and Reinhold Haeb-Umbach. “All-Neural Online Source Separation, Counting, and Diarization for Meeting Analysis.” In ICASSP 2019, Brighton, UK, 2019.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 13273
Chatwell, René Spencer, Matthias Heinen, and Jadran Vrabec. “Diffusion Limited Evaporation of a Binary Liquid Film.” International Journal of Heat and Mass Transfer 132 (2019): 1296–1305. https://doi.org/10.1016/j.ijheatmasstransfer.2018.12.030.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13274
Fingerhut, Robin, and Jadran Vrabec. “Kirkwood-Buff Integration: A Promising Route to Entropic Properties?” Fluid Phase Equilibria, 2019, 270–81. https://doi.org/10.1016/j.fluid.2018.12.015.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13282
Lin, Zemeng, Lingling Huang, Zhen Tao Xu, Xiaowei Li, Thomas Zentgraf, and Yongtian Wang. “Four‐Wave Mixing Holographic Multiplexing Based on Nonlinear Metasurfaces.” Advanced Optical Materials 7, no. 21 (2019): 1900782. https://doi.org/10.1002/adom.201900782.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13292 | OA
Schneider, Stefan Balthasar, Manuel Peuster, Kai Hannemann, Daniel Behnke, Marcel Müller, Patrick-Benjamin Bök, and Holger Karl. “‘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: IEEE, 2019.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 13294
Cho, F. H., Z. Peng, T. Biktagirov, Uwe Gerstmann, and S. Takahashi. “Investigation of Near-Surface Defects of Nanodiamonds by High-Frequency EPR and DFT Calculation.” The Journal of Chemical Physics 150, no. 13 (2019): 134702. https://doi.org/10.1063/1.5085351.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13295
Bardeleben, Hans Jürgen von, Shengqiang Zhou, Uwe Gerstmann, Dmitry Skachkov, Walter R. L. Lambrecht, Quoc Duy Ho, and Peter Deák. “Proton Irradiation Induced Defects in β-Ga2O3: A Combined EPR and Theory Study.” APL Materials 7 (2019). https://doi.org/10.1063/1.5053158.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13390
Schulz, Andreas, Christian Wecker, and Eugeny Kenig. “Methode Zur Erfassung von Stofftransport an Fluiden Phasengrenzflächen.” Chemie Ingenieur Technik, 2019. https://doi.org/10.1002/cite.201900030.
LibreCat | DOI
 

2019 | Conference Abstract | LibreCat-ID: 13393
Schulz, Andreas, Christian Wecker, and Eugeny Kenig. “Ein Finite-Volumen Ansatz Für Den Stoffübergang an Bewegten Phasengrenzflächen.” Frankfurt: Jahrestreffen der ProcessNet-Fachgruppe Computational Fluid Dynamics, 2019.
LibreCat
 

2019 | Conference Abstract | LibreCat-ID: 13394
Wecker, Christian, Andreas Schulz, Jens Heine, Hans-Joerg Bart, and Eugeny Kenig. “Numerische Untersuchungen zum Stofftransport und Fluidmechanik bei der Tropfenbildung.” Essen: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, 2019.
LibreCat
 

2019 | Conference Abstract | LibreCat-ID: 13395
Heine, Jens, Christian Wecker, Eugeny Kenig, and Hans-Joerg Bart. “Visualization of Marangoni Phenomena during Droplet Formation.” Rio de Janeiro, Brasilien: 10th International Conference on Multiphase Flow, 2019.
LibreCat
 

2019 | Conference Abstract | LibreCat-ID: 13396
Heine, Jens, Christian Wecker, Eugeny Kenig, and Hans-Joerg Bart. “In-Situ Messung Des Stofftransports Bei Der Tropfenbildung.” Essen: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, 2019.
LibreCat
 

2019 | Conference Abstract | LibreCat-ID: 13397
Wecker, Christian, Andreas Schulz, Jens Heine, Hans-Joerg Bart, and Eugeny Kenig. “Stofftransport Und Fluidmechanik Bei Der Tropfenbildung Unter Berücksichtigung von Marangonikonvektion Mittels CFD.” Muttenz, Schweiz: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, 2019.
LibreCat
 

2019 | Conference Abstract | LibreCat-ID: 13398
Heine, Jens, Christian Wecker, Eugeny Kenig, and Hans-Joerg Bart. “Stofftransport Bei Der Tropfenbildung.” Muttenz, Schweiz: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, 2019.
LibreCat
 

2019 | Conference Abstract | LibreCat-ID: 13399
Zibart, Alexander, and Eugeny Kenig. “Reduktion von Parasitären Strömungen in Mehrphasensimulationen Durch Verwendung Der Height-Function Methode.” Frankfurt: ProcessNet-Fachgruppe Computational Fluid Dynamics, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 13431
Dridger, A., I. Caylak, R. Mahnken, and E. Penner. “‘A Possibilistic Finite Element Method for Sparse Data.’” Safety and Reliability, 2019, 58–82. https://doi.org/10.1080/09617353.2018.1552477.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13432
Ju, Xiaozhe, and Rolf Mahnken. “‘Goal-Oriented h-Type Adaptive Finite Elements for Micromorphic Elastoplasticity.’” Computer Methods in Applied Mechanics and Engineering, 2019, 297–329. https://doi.org/10.1016/j.cma.2019.01.031.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13434
Mäck, Markus, Ismail Caylak, Philipp Edler, Steffen Freitag, Michael Hanss, Rolf Mahnken, Günther Meschke, and Eduard Penner. “‘Optimization with Constraints Considering Polymorphic Uncertainties.’” GAMM-Mitteilungen, 2019. https://doi.org/10.1002/gamm.201900005.
LibreCat | DOI
 

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

2019 | Book Chapter | LibreCat-ID: 13436
Camberg, Alan Adam, Ina Stratmann, and Thomas 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. https://doi.org/10.1007/978-3-662-58206-0_12.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13442
Manavi, Seyed Alborz, and Eugeny Kenig. “Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface.” In Computer Aided Chemical Engineering. Eindhoven, Netherlands: 29th European Symposium on Computer Aided Process Engineering, 2019. https://doi.org/10.1016/b978-0-12-818634-3.50138-7.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13443 | OA
Redder, Adrian, Arunselvan Ramaswamy, and Daniel Quevedo. “Deep Reinforcement Learning for Scheduling in Large-Scale Networked Control Systems.” In Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2019.
LibreCat | Files available | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 13454
Eggert, Andreas, Michael Kleinaltenkamp, and Vishal Kashyap. “Mapping Value in Business Markets: An Integrative Framework.” Industrial Marketing Management 79 (2019): 13--20.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 13455
Garnefeld, Ina, Andreas Eggert, Markus Husemann-Kopetzky, and Eva Boehm. “Exploring the Link between Payment Schemes and Customer Fraud: A Mental Accounting Perspective.” Journal of the Academy of Marketing Science 47, no. 4 (2019): 595--616.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13456
Eggert, Andreas, Eva Boehm, Rodi Akalan, and Heiko Gebauer. “Service Growth by Acquisition – An Event Study.” 9th BMM-EMAC Biennial International Conference on Business Market Management, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 13457
Eggert, Andreas, Lena Steinhoff, and Carina Witte. “Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships.” Journal of Marketing, 2019.
LibreCat
 

2019 | Book | LibreCat-ID: 10002
Sextro, Walter, and Michael Brökelmann. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol. VIII. Springer Verlag, 2019. https://doi.org/10.1007/978-3-662-55146-2.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10011
Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann, Sarah, Dimitri Springer, Christian Thiel, and Bernd Henning. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” In Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., 45:1055–58. Rostock: Deutsche Gesellschaft für Akustik, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 10090
Gries, Thomas. “A New Theory of Demand-Restricted Growth: The Basic Idea.” The American Economist, 2019. https://doi.org/10.1177/0569434519846477.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10091
König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” In {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-20652-9\_18.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10092
Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Verifying C11 Programs Operationally.” In Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, 355–65. {ACM}, 2019. https://doi.org/10.1145/3293883.3295702.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10093
Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Combining Verifiers in Conditional Model Checking via Reducers.” In Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, P-292:151--152. LNI. GI, 2019. https://doi.org/10.18420/se2019-46.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10094
Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.” In Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, {P-292}:157–58. {LNI}. {GI}, 2019. https://doi.org/10.18420/se2019-48.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10095
Richter, Cedric, and Heike 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}, edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen, 11429:229–33. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-17502-3_19.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 10096
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” CoRR abs/1905.08505 (2019).
LibreCat
 

Filters and Search Terms

year=2019

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed