Krimphove D, Lüke C.  BT 11 Qualifikation der Mittarbeiter von Wertpapierdienstleistungsunternehmen. In: Krimphove D, Kruse O, eds. Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen. 2nd ed. München: C. H. Beck; 2019:570-596.

Krimphove D. Internationales Handelsrecht. In: Soergel H-T, ed. Bürgerliches Gesetzbuch Mit Einführungsgesetz Und Nebengesetzen (BGB). Vol 27/1. Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht. Stuttgart: Kohlhammer; 2019.

Krimphove D. Internationales Bank- und Kapitalmarktrecht. In: Soergel H-T, ed. Bürgerliches Gesetzbuch Mit Einführungsgesetz Und Nebengesetzen (BGB). Vol 27/1. Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht. Stuttgart: Kohlhammer; 2019.

Krimphove D. Art. 8 VO-Rom II Verletzung von Rechten des geistigen Eigentums. In: Soergel H-T, ed. Bürgerliches Gesetzbuch Mit Einführungsgesetz Und Nebengesetzen (BGB). Vol 27/1. Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht. Stuttgart: Kohlhammer; 2019.

Krimphove D. Art. 9 VO-Rom II Arbeitskampfmaßnahmen. In: Soergel H-T, ed. Bürgerliches Gesetzbuch Mit Einführungsgesetz Und Nebengesetzen (BGB). Vol 27/1. Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht. Stuttgart: Kohlhammer; 2019.

Krimphove D. Art. 13 VO-Rom II Anwendbarkeit des Artikels 8. In: Soergel H-T, ed. Bürgerliches Gesetzbuch Mit Einführungsgesetz Und Nebengesetzen (BGB). Vol 27/1. Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht. Stuttgart: Kohlhammer; 2019.

Krimphove D. Die Struktur der Gleichheit – oder die Problematik der sog. ediskriminierungsfreien Tatbestände“. In: Archiv Für Rechts- Und Sozialphilosophie. Vol 3. Bd. 105. ; 2019:S. 404 ff.

Krimphove D. Arbeitsrechtliche Rechtsprechung des EuGH im Jahre 2018. ArbR – Arbeitsrecht Aktuell. 2019;2:27-29.

Krimphove D. Die Nachhaltigkeit im Bankrecht. Zeitschrift für das gesamte Kreditwesen. 2019;18:39-41.

Derrick J, Doherty S, Dongol B, Schellhorn G, Wehrheim H. 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:179-195. doi:10.1007/978-3-030-30942-8‑12

Szopinski D, John T, Kundisch D. Teaching business model innovation to large and interdisciplinary IS/IT classes: A didactic approach involving peer feedback via self-recorded video presentations. In: TREO Talks in Conjunction with the 40th International Conference on Information Systems (ICIS). ; 2019.

Szopinski D. Activate software-based business model development tools: An exploratory study. In: ; 2019.

Herres-Pawlis S, Rittinghaus RD, Tremmel J, et al. Undiscovered potential: Ge catalysts for lactide polymerization. Chemistry – A European Journal. 2019. doi:10.1002/chem.201903949

Peter SK, Kaulen C, Hoffmann A, et al. Stepwise Growth of Ruthenium Terpyridine Complexes on Au Surfaces. The Journal of Physical Chemistry C. 2019;123(11):6537-6548. doi:10.1021/acs.jpcc.8b12039

Beverungen D, Breidbach CF, Poeppelbuss J, Tuunainen VK. Smart service systems: An interdisciplinary perspective. Information Systems Journal. 2019. doi:10.1111/isj.12275

Weidmann N, Oppermann R, Robrecht P. A feature-based classification of triple graph grammar variants. In: Nierstrasz O, Gray J, Oliveira B, eds. Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019. ACM; 2019. doi:10.1145/3357766.3359529

Weidmann N, Anjorin A, Leblebici E, Schürr A. Consistency management via a combination of triple graph grammars and linear programming. In: Nierstrasz O, Gray J, Oliveira B, eds. Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019. ACM; 2019. doi:10.1145/3357766.3359544

Bengs V, Eulert M, Holzmann H. Asymptotic confidence sets for the jump curve in bivariate regression problems. Journal of Multivariate Analysis. 2019:291-312. doi:10.1016/j.jmva.2019.02.017

Bengs V, Holzmann H. Adaptive confidence sets for kink estimation. Electronic Journal of Statistics. 2019:1523-1579. doi:10.1214/19-ejs1555

Göllner T, Schwarz J-H, Gottschalk S, Sauer S. Verteiltes Warenwirtschaftssystem [Distributed Warehouse System]. 2019.

Klümper A, Nuding W, Sedrakyan A. Random network models with variable disorder of geometry. Physical Review B. 2019;100:140201. doi:10.1103/physrevb.100.140201

Castenow J, Kolb C, Scheideler C. 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). ; 2019:345-348. doi:10.1007/978-3-030-24922-9‑26

Schryen G, Kliewer N, Borndörfer R, Koch T. High-Performance Business Computing – Parallel Algorithms and Implementations for Solving Problems in Operations Research and Data Analysis. OR News. 2019;65:34-35.

Szopinski D, John T, Kundisch D. Digital Tools for Teaching Business Model Innovation in Information Systems: A newly developed didactic approach comprising video-based peer feedback. In: ; 2019.

Hansmeier T. Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers. Universität Paderborn; 2019.

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

Schumacher J. Rekonstruktion diagrammatischen Schließens am Beispiel der Subtraktion negativer Zahlen. In: Beiträge zum Mathematikunterricht 2019.

Schumacher J, Rezat S. A Hypothetical Learning Trajectory for the Learning of the Rules for Manipulating Integers. In: Jankvist UT, Van den Heuvel-Panhuizen M, Veldhuis M, eds. Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (CERM, February 6 – 10, 2019). Utrecht, the Netherlands: Freudenthal Group &; Freudenthal Institute, Utrecht University and ERME.

Breitmayer B, Hasso T, Pelster M. Culture and the disposition effect. Economics Letters. 2019;184. doi:10.1016/j.econlet.2019.108653

Breitmayer B, Massari F, Pelster M. Swarm intelligence? Stock opinions of the crowd and stock returns. International Review of Economics &; Finance. 2019;64:443-464. doi:10.1016/j.iref.2019.08.006

Afifi H, Horbach K, Karl H. A Genetic Algorithm Framework for Solving Wireless Virtual Network Embedding. In: 2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) (WiMob 2019). Barcelona, Spain; 2019.

Dräxler S. Scaling, Placement, and Routing for Pliable Virtualized Composed Services. Universität Paderborn; 2019.

Görzen T. Essays on Crowd Based Idea Evaluation - Empirical Evidence from an Anonymous Online Crowd. Universität Paderborn; 2019.

Khaluf L. Organic Programming of Dynamic Real-Time Applications. Universität Paderborn; 2019.

Bröcher H. Rational Secure Multiparty Computation. Universität Paderborn; 2019.

Mohr F, Wever MD, Tornede A, Hüllermeier E. From Automated to On-The-Fly Machine Learning. In: INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft. INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik. Bonn: Gesellschaft für Informatik e.V.; 2019:273-274.

Müller J, Sievers S, Mehring O, Sofilkanitsch C. Non-GAAP Reporting and Investor Attention: Are Investors Misled by Exclusions of Recurring Expenses from Non-GAAP Earnings before Restatement Announcements?; 2019.

Gottschalk S, Rittmeier F, Engels G. Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach. In: Hyrynsalmi S, Suoranta M, Nguyen-Duc A, Tyrväinen P, Abrahamsson P, eds. Software Business. Vol 370. Lecture Notes in Business Information Processing. Cham: Springer International Publishing; 2019:192-207. doi:10.1007/978-3-030-33742-1_16

Rezat S, Fan L, Hattermann M, Schumacher J, Wuschke H, eds. Proceedings of the Third International Conference on Mathematics Textbook Research and Development: 16-19 September 2019 Paderborn, Germany. Paderborn: Universitätsbibliothek Paderborn; 2019. doi:10.17619/UNIPB/1-768

Weidmann N, Anjorin A, Stolte F, Kraus F. From Pattern Invocation Networks to Rule Preconditions. In: Guerra E, Orejas F, eds. Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019. Springer; 2019:195-211. doi:10.1007/978-3-030-23611-3‑12

Weidmann N, Anjorin A, Robrecht P, Varró G. Incremental (Unidirectional) Model Transformation with eMoflon::IBeX. In: Guerra E, Orejas F, eds. Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019. Springer; 2019:131-140. doi:10.1007/978-3-030-23611-3‑8

Weidmann N, Anjorin A, Fritsche L, Varró G, Schürr A, Leblebici E. Incremental Bidirectional Model Transformation with eMoflon::IBeX. In: Cheney J, Ko H-S, eds. Proceedings of the 8th International Workshop on Bidirectional Transformations Co-Located with the Philadelphia Logic Week, Bx@PLW 2019. CEUR-WS.org; 2019:45-55.

Claes L, Hülskämper LM, Baumhögger E, 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. 2019:2-6. doi:10.1515/teme-2019-0038

El Baff R, Wachsmuth H, Al-Khatib K, Stede M, Stein B. Computational Argumentation Synthesis as a Language Modeling Task. In: Proceedings of the 12th International Conference on Natural Language Generation. Association for Computational Linguistics; 2019:54-64.

Hippert B. The Relationship between Announcements of Complete Mergers and Acquisitions and Acquirers’ Abnormal CDS Spread Changes. Working Papers Dissertations from Paderborn University, Faculty of Business Administration and Economics; 2019.

Gu Y, Hehenkamp B, Leininger W. Evolutionary equilibrium in contests with stochastic participation: Entry, effort and overdissipation. Journal of Economic Behavior &; Organization. 2019:469-485. doi:10.1016/j.jebo.2019.06.011

Wünderlich NV, Hogreve J, Chowdhury IN, et al. Overcoming vulnerability: Channel design strategies to alleviate vulnerability perceptions in customer journeys. Journal of Business Research. 2019. doi:10.1016/j.jbusres.2019.07.027

Thol M, Javed MA, Baumhögger E, Span R, Vrabec J. Thermodynamic Properties of Dodecamethylpentasiloxane, Tetradecamethylhexasiloxane, and Decamethylcyclopentasiloxane. Industrial &; Engineering Chemistry Research. 2019:9617-9635. doi:10.1021/acs.iecr.9b00608

Javed MA, Baumhögger E, Vrabec J. Thermodynamic Speed of Sound Data for Liquid and Supercritical Alcohols. Journal of Chemical &; Engineering Data. 2019:1035-1044. doi:10.1021/acs.jced.8b00938

Beverungen D, Bartelheimer C, Wolf V. Smart Service Systems als Handlungsfeld einer konvergierenden Dienstleistungsforschung. In: Stich, V.; Schumann, J.H.; Beverungen, D.; Gudergan, G.; Jussen, P. , ed. Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln. Wiesbaden: SpringerVieweg; 2019.

Post T, Heuermann A, Wiesner S, et al. DIN SPEC 33453:2019-09, Entwicklung Digitaler Dienstleistungssysteme.; 2019. doi:10.31030/3085072

Feldmann M, Götte T, Scheideler C. 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). Lecture Notes in Computer Science. Springer, Cham; 2019:149-164. doi:https://doi.org/10.1007/978-3-030-34992-9_13

Peter SK, Kaulen C, Hoffmann A, et al. Stepwise Growth of Ruthenium Terpyridine Complexes on Au Surfaces. The Journal of Physical Chemistry C. 2019;123(11):6537-6548. doi:10.1021/acs.jpcc.8b12039

Rittinghaus RD, Schäfer PM, Albrecht P, et al. New Kids in Lactide Polymerization: Highly Active and Robust Iron Guanidine Complexes as Superior Catalysts. ChemSusChem. 2019;12(10):2161-2165. doi:10.1002/cssc.201900481

Javed MA, Baumhögger E, Vrabec J. Thermodynamic speed of sound of xenon. The Journal of Chemical Thermodynamics. 2019. doi:10.1016/j.jct.2019.105933

Kodalle T, Kormath Madam Raghupathy R, Bertram T, et al. Properties of Co-Evaporated RbInSe2 Thin Films. physica status solidi (RRL)--Rapid Research Letters. 2019;13(3):1800564. doi:10.1002/pssr.201800564

Clark T, Heske JJ, Kühne T. Opposing Electronic and Nuclear Quantum Effects on Hydrogen Bonds in O and O. ChemPhysChem. 2019;20(0):1-6. doi:10.1002/cphc.201900839

Kaliannan NK, Henao Aristizabal A, Wiebeler H, et al. Impact of intermolecular vibrational coupling effects on the sum-frequency generation spectra of the water/air interface. Molecular Physics. 2019;0(0):1-10. doi:10.1080/00268976.2019.1620358

Müller P, Neuba A, Flörke U, Henkel G, Kühne TD, Bauer M. Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2 Complexes. The Journal of Physical Chemistry A. 2019;123(16):3575-3581. doi:10.1021/acs.jpca.9b00463

Walczak R, Savateev A, Heske JJ, et al. Controlling the strength of interaction between carbon dioxide and nitrogen-rich carbon materials by molecular design. Sustainable Energy Fuels. 2019. doi:10.1039/C9SE00486F

Elgabarty H, Kaliannan NK, Kühne TD. Enhancement of the asymmetry in the hydrogen bond network of liquid water by an ultrafast electric field pulse. Scientific Reports. 2019;9:10002. doi:10.1038/s41598-019-46449-5

Tanaka S, Tierney K, Parreño-Torres C, Alvarez-Valdes R, Ruiz R. A Branch and Bound Approach for Large Pre-Marshalling Problems. European Journal of Operational Research. 2019:211-225. doi:10.1016/j.ejor.2019.04.005

Ansótegui C, Heymann B, Pon J, Sellmann M, Tierney K. Hyper-Reactive Tabu Search for MaxSAT. In: Learning and Intelligent Optimization. Cham: Springer International Publishing; 2019:309-325. doi:10.1007/978-3-030-05348-2_27

Wolters D, Kirchhoff J, Engels G. Specifying Web Interfaces for Command-line Applications Based on OpenAPI. In: Yangui S, Bouguettaya A, Xue X, et al., eds. Service-Oriented Computing – ICSOC 2019 Workshops. Vol 12019. LNCS. Springer; 2019:30-41. doi:10.1007/978-3-030-45989-5‑3

Guevara-Carrion G, Ancherbak S, Mialdun A, Vrabec J, Shevtsova V. Diffusion of Methane in Supercritical Carbon Dioxide Across the Widom Line. Scientific Reports. 2019;9. doi:10.1038/s41598-019-44687-1

von Neumann T, Kinoshita K, Delcroix M, Araki S, Nakatani T, Haeb-Umbach R. All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis. In: ICASSP 2019, Brighton, UK. ; 2019.

Chatwell RS, Heinen M, Vrabec J. Diffusion Limited Evaporation of a Binary Liquid Film. International Journal of Heat and Mass Transfer. 2019;132:1296-1305. doi:10.1016/j.ijheatmasstransfer.2018.12.030

Fingerhut R, Vrabec J. Kirkwood-Buff Integration: A Promising Route to Entropic Properties? Fluid Phase Equilibria. 2019:270-281. doi:10.1016/j.fluid.2018.12.015

Lin Z, Huang L, Xu ZT, Li X, Zentgraf T, Wang Y. FourWave Mixing Holographic Multiplexing Based on Nonlinear Metasurfaces. Advanced Optical Materials. 2019;7(21):1900782. doi:10.1002/adom.201900782

Schneider SB, Peuster M, Hannemann K, 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: IEEE; 2019.

Cho FH, Peng Z, Biktagirov T, Gerstmann U, Takahashi S. Investigation of Near-Surface Defects of Nanodiamonds by High-Frequency EPR and DFT Calculation. The Journal of Chemical Physics. 2019;150(13):134702. doi:10.1063/1.5085351

von Bardeleben HJ, Zhou S, Gerstmann U, et al. Proton Irradiation Induced Defects in ;2-GO3: A Combined EPR and Theory Study. APL Materials. 2019;7. doi:10.1063/1.5053158

Schulz A, Wecker C, Kenig E. Methode zur Erfassung von Stofftransport an fluiden Phasengrenzflächen. Chemie Ingenieur Technik. 2019. doi:10.1002/cite.201900030

Schulz A, Wecker C, Kenig E. Ein Finite-Volumen Ansatz für den Stoffübergang an bewegten Phasengrenzflächen. In: Frankfurt: Jahrestreffen der ProcessNet-Fachgruppe Computational Fluid Dynamics; 2019.

Wecker C, Schulz A, Heine J, Bart H-J, Kenig E. Numerische Untersuchungen zum Stofftransport und Fluidmechanik bei der Tropfenbildung. In: Essen: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport; 2019.

Heine J, Wecker C, Kenig E, Bart H-J. Visualization of Marangoni Phenomena during Droplet Formation. In: Rio de Janeiro, Brasilien: 10th International Conference on Multiphase Flow; 2019.

Heine J, Wecker C, Kenig E, Bart H-J. In-situ Messung des Stofftransports bei der Tropfenbildung. In: Essen: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport; 2019.

Wecker C, Schulz A, Heine J, Bart H-J, Kenig E. Stofftransport und Fluidmechanik bei der Tropfenbildung unter Berücksichtigung von Marangonikonvektion mittels CFD. In: Muttenz, Schweiz: Jahrestreffen der ProcessNet-Fachgruppe Extraktion; 2019.

Heine J, Wecker C, Kenig E, Bart H-J. Stofftransport bei der Tropfenbildung. In: Muttenz, Schweiz: Jahrestreffen der ProcessNet-Fachgruppe Extraktion; 2019.

Zibart A, Kenig E. Reduktion von parasitären Strömungen in Mehrphasensimulationen durch Verwendung der Height-Function Methode. In: Frankfurt: ProcessNet-Fachgruppe Computational Fluid Dynamics; 2019.

Dridger A, Caylak I, Mahnken R, Penner E. “A possibilistic finite element method for sparse data.”10.1080/09617353.2018.1552477__Safety and Reliability. 2019:58-82. doi:10.1080/09617353.2018.1552477

Ju X, Mahnken R. “Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity.”10.1016/j.cma.2019.01.031__Computer Methods in Applied Mechanics and Engineering. 2019:297-329. doi:10.1016/j.cma.2019.01.031

Mäck M, Caylak I, Edler P, et al. “Optimization with constraints considering polymorphic uncertainties.”10.1002/gamm.201900005__GAMM-Mitteilungen. 2019. doi:10.1002/gamm.201900005

Friesen E. Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn; 2019.

Camberg AA, Stratmann I, Tröster T. 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. doi:10.1007/978-3-662-58206-0_12

Manavi SA, Kenig E. 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. doi:10.1016/b978-0-12-818634-3.50138-7

Redder A, Ramaswamy A, Quevedo D. 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.

Eggert A, Kleinaltenkamp M, Kashyap V. Mapping Value in Business Markets: An Integrative Framework. Industrial Marketing Management. 2019;79:13--20.

Garnefeld I, Eggert A, Husemann-Kopetzky M, Boehm E. Exploring the link between payment schemes and customer fraud: a mental accounting perspective. Journal of the Academy of Marketing Science. 2019;47(4):595--616.

Eggert A, Boehm E, Akalan R, Gebauer H. Service Growth by Acquisition – An Event Study. 2019.

Eggert A, Steinhoff L, Witte C. Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships. Journal of Marketing. 2019.

Sextro W, Brökelmann M. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol VIII. Springer Verlag; 2019. doi:10.1007/978-3-662-55146-2

Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. Formal Asp Comput. 2019;31(1):1. doi:10.1007/s00165-018-00477-6

Johannesmann S, Springer D, Thiel C, Henning B. Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In: Gesellschaft für Akustik e.V. D, ed. Fortschritte der Akustik - DAGA 2019. Vol 45. Rostock: Deutsche Gesellschaft für Akustik; 2019:1055-1058.

Gries T. A New Theory of Demand-Restricted Growth: The Basic Idea. The American Economist. 2019. doi:10.1177/0569434519846477

König J, Wehrheim H. Data Independence for Software Transactional Memory. In: M. Badger J, Yvonne Rozier K, eds. NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Vol 11460. Lecture Notes in Computer Science. Springer; 2019:263-279. doi:10.1007/978-3-030-20652-9‑18

Doherty S, Dongol B, Wehrheim H, Derrick J. Verifying10.1145/3293883.3295702__programs operationally. In: K. Hollingsworth J, Keidar I, 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:355-365. doi:10.1145/3293883.3295702

Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Combining Verifiers in Conditional Model Checking via Reducers. In: Becker S, Bogicevic I, Herzwurm G, Wagner S, eds. Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019. Vol P-292. LNI. GI; 2019:151--152. doi:10.18420/se2019-46

Sharma A, Wehrheim H. Testing Balancedness of ML Algorithms. In: Becker S, Bogicevic I, Herzwurm G, Wagner S, eds. Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Vol P-292. LNI. GI; 2019:157-158. doi:10.18420/se2019-48

Richter C, Wehrheim H. PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In: Beyer D, Huisman M, Kordon F, Steffen B, eds. 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. Vol 11429. Lecture Notes in Computer Science. Springer; 2019:229-233. doi:10.1007/978-3-030-17502-3_19