Bila E, Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H. Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In: Gotsman A, Sokolova A, eds. Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings. Vol 12136. Lecture Notes in Computer Science. Springer; 2020:39-58. doi:10.1007/978-3-030-50086-3‑3
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

Beringer S, Wehrheim H. Consistency Analysis of AUTOSAR Timing Requirements. In: van Sinderen M, Fill H-Georg, A. Maciaszek L, eds. Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020. ScitePress; 2020:15-26. doi:10.5220/0009766600150026
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In: Margaria T, Steffen B, eds. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I. Vol 12476. Lecture Notes in Computer Science. Springer; 2020:143-167. doi:10.1007/978-3-030-61362-4‑8
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

Wehrheim H, Cabot J, eds. Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Vol 12076. Springer; 2020. doi:10.1007/978-3-030-45234-6
LibreCat: /record/20277
DOI: 10.1007/978-3-030-45234-6

Ahrendt W, Wehrheim H, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol 12165. Springer; 2020. doi:10.1007/978-3-030-50995-8
LibreCat: /record/20278
DOI: 10.1007/978-3-030-50995-8

Sharma A, Wehrheim H. Testing Monotonicity of Machine Learning Models. CoRR. 2020;abs/2002.12278.
LibreCat: /record/20279

Brand-Miller J, Buyken A. Mapping postprandial responses sets the scene for targeted dietary advice. Nature Medicine. Published online 2020:828-830. doi:10.1038/s41591-020-0909-1
LibreCat: /record/28011
DOI: 10.1038/s41591-020-0909-1

Heldt M, Massek C, Drossel K, Eickelmann B. The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data. Large-scale Assessments in Education. 2020;8(1):1-20. doi:10.1186/s40536-020-00090-1
LibreCat: /record/28242
DOI: 10.1186/s40536-020-00090-1

Gutt D, von Rechenberg T, Kundisch D. Goal Achievement, Subsequent User Effort and the Moderating Role of Goal Difficulty. Journal of Business Research. 2020;106:277-287. doi:10.1016/j.jbusres.2018.06.019
LibreCat: /record/2834
DOI: 10.1016/j.jbusres.2018.06.019

Grimminger-Seidensticker E, Möhwald AJ. Enhancing social cohesion in PE classes within an intercultural learning program: results of a quasi-experimental intervention study. Physical Education and Sport Pedagogy. 2020;25(3):316-329. doi:10.1080/17408989.2020.1741532
LibreCat: /record/28341
DOI: 10.1080/17408989.2020.1741532

Müller M, Settinieri J. “Solange dieser Mann gut Deutsch sprechen kann, ist auch kein Problem...”: Evaluative Reaktionen auf einen L2-Akzent aus Sicht von Sprecher*innen. Fremdsprachen Lehren und Lernen. 2020;49(2):46-63. doi:10.2357/FLuL-2020-0018
LibreCat: /record/28351
DOI: 10.2357/FLuL-2020-0018

Echterfeld J. Systematik zur Digitalisierung von Produktprogrammen. Vol 393. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2020.
LibreCat: /record/28367

Lukei M. Systematik zur integrativen Entwicklung von mechatronischen Produkten und deren Prüfmittel. Vol 395. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2020.
LibreCat: /record/28369

Homt M. Die Anbahnung Einer Forschenden Grundhaltung Im Praxissemester – Eine Empirische Analyse von Bedingungen Und Entwicklungsverläufen.; 2020.
LibreCat: /record/28416

Wu L, Weizel M, Scheytt C. Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology. In: 2020 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE; 2020. doi:10.1109/ISCAS45731.2020.9180947
LibreCat: /record/24021
DOI: 10.1109/ISCAS45731.2020.9180947

Abughannam S, Scheytt C. Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator. In: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) . IEEE; 2020. doi:10.1109/PIMRC48278.2020.9217198
LibreCat: /record/24022
DOI: 10.1109/PIMRC48278.2020.9217198

Adelt P, Koppelmann B, Müller W, Scheytt C. A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures. In: MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop. ; 2020.
LibreCat: /record/24027

Haddadian S, Scheytt C. Analysis, Design and Implementation of a Fully Integrated Analog Front-End for Microwave RFIDs at 5.8 GHz to be Used with Compact MIMO Readers. IEEE Journal of Radio Frequency Identification. Published online 2020:1-1. doi:10.1109/JRFID.2020.3009741
LibreCat: /record/24029
DOI: 10.1109/JRFID.2020.3009741

Ballandras S, Abughannam S, Courjon E, Scheytt C. Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers. In: GeMiC 2020 - German Microwave Conference. ; 2020.
LibreCat: /record/24030

Schraeder DT, Schafran T, Geisen B, Rubbert L. Ein interdisziplinärer und akutmedizinischer Ansatz zur frühestmöglichen Intervention bei Patienten mit Diabetischem Fußsyndrom. Orthopädie Technik. 2020;71 (9):32-37.
LibreCat: /record/24031

Inguva V, Schulz A, Kenig EY. On methods to reduce spurious currents within VOF solver frameworks. Part 1: a review of the static bubble/droplet. Chemical Product and Process Modeling. Published online 2020. doi:10.1515/cppm-2020-0052
LibreCat: /record/24120
DOI: 10.1515/cppm-2020-0052

Schöppner V, Austermeier L, Dietl K. Der richtige Dreh für Simulationen. Blasformen &; Extrusionswerkzeuge. 2020.
LibreCat: /record/24133

Schöppner V, Austermeier L, Dietl K. SKZ simuliert Doppelschnecke. K Zeitung. 2020.
LibreCat: /record/24134

Ramaswamy A. DSPG: Decentralized Simultaneous Perturbations Gradient Descent Scheme. In: 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). ; 2020:54-62.
LibreCat: /record/24145

Heid SH, Ramaswamy A, Hüllermeier E. Constrained Multi-Agent Optimization with Unbounded Information Delay. In: Proceedings-30. Workshop Computational Intelligence: Berlin, 26.-27. November 2020. Vol 26. ; 2020:247.
LibreCat: /record/24146

Ramaswamy A, Bhatnagar S, Quevedo DE. Asynchronous stochastic approximations with asymptotically biased errors and deep multi-agent learning. IEEE Transactions on Automatic Control. Published online 2020.
LibreCat: /record/24147

Haist M, Link J, Nicia D, et al. Interlaboratory study on rheological properties of cement pastes and reference substances: comparability of measurements performed with different rheometers and measurement geometries. Materials and Structures. Published online 2020. doi:10.1617/s11527-020-01477-w
LibreCat: /record/24182
DOI: 10.1617/s11527-020-01477-w

Moritzer E, Wortmann M, Sabantina L, Klocker M, Mirasol J. Stabilization of polyacrylonitrile nanofiber mats obtained by needleless electrospinning using dimethyl sulfoxide as solvent. JOURNAL OF INDUSTRIAL TEXTILES. 2020;(50):224-239.
LibreCat: /record/24183

Moritzer E, Mühlhoff FM, Krampe E, Lochbaum E. 2K-Haftverbunde aus originär inkompatiblen Kunststoffen. Plastverarbeiter. 2020;(07/20):20-23.
LibreCat: /record/24184

Moritzer E, Kartelmeyer S, Hüttemann V. Additive Manufactured Heat Pipe Injection Mould Element. In: Direct Digital Manufacturing Conference 2020. ; 2020.
LibreCat: /record/24201

Moritzer E, Hillemeyer J. Additiveteile Direktverschrauben. In: 6. Fachkonferenz 3D-Druck in Der Automobielindustrie. ; 2020.
LibreCat: /record/24203

Schöppner V, Dörner M, Marschik C. ANALYSIS OF THE ADVANTAGEOUS PROCESS AND MIXING BEHAVIOUR OF WAVE-DISPERSION SCREWS IN SINGLE SCREW EXTRUSION.; 2020.
LibreCat: /record/24204

Moritzer E, Hillemeyer J. Ansatz zur sicheren Direktverschraubung additiv gefertigter Einschraubtuben. In: 10. Gemeinschaftskolloquium. ; 2020.
LibreCat: /record/24206

Schöppner V, Dörner M, Marschik C, Roland W, Schaufler S, Steinbichler G. Application of Network Analysis to Flow Systems with Alternating Wave Channels: Part B. (Superimposed Drag-Pressure Flows in Extrusion). Polymers. 2020;(12(9)):1900.
LibreCat: /record/24207

Moritzer E, Wittke M. CONTEXT OF FIBER LENGTH DISTRIBUTION, HOMOGENEITY AND MECHANICAL PROPERTIES IN DIRECT COMPOUNDING INJECTION MOLDING OF FIBER REINFORCED THERMOPLASTICS. In: Annual Technical Conference of the Society of Plastics Engineers (ANTEC) 2020. ; 2020.
LibreCat: /record/24213

Moritzer E, Krassmann D. Development of a New Joining Technology for Hybrid Joints of Sheet Metal and Continuous Fiber-Reinforced Thermoplastics. In: 73rd Annual Assembly of the International Institute of Welding (IIW). ; 2020.
LibreCat: /record/24228

Schöppner V, Dörner M, Marschik C, Steinbichler G. Development of an Analytical Model to Describe the Disperse Melting in Wave-Dispersion Screws. Polymers. Published online 2020:946.
LibreCat: /record/24231

Moritzer E, Jilg J, Schilp C, Krempl N, Friesenbichler W. Die Kunst der Entformung. Kunststoffe. Published online 2020:60-63.
LibreCat: /record/24232

Moritzer E, Hopp M, Wittke M. EINSATZ VON MASCHINELLEM LERNEN FÜR DIE REZYKLAT-VERARBEITUNG. WAK Jahreszeitschrift. Published online 2020:2-5.
LibreCat: /record/24233

Moritzer E, Krassmann D. Entwicklung einer neuartigen Fügetechnik für Organoblech-Hybridverbindungen. Joining Plastics. Published online 2020:96-103.
LibreCat: /record/24234

Moritzer E, Krassmann D, Brikmann J. Entwicklung eines Spritzgießsonderverfahrens zur Herstellung von Hybridbauteilen aus faserverstärkten Thermoplasten und Metallblechen. In: 10. Fügetechnisches Gemeinschaftskolloquium. ; 2020.
LibreCat: /record/24235

Moritzer E, Kartelmeyer S, Hüttemann M, Jaroschek C. INJECTION MOLD COOLED WITH ADDITIVE MANUFACTURED HEAT PIPE CORE-ELEMENT. In: 78th Annual Technical Conference for Plastics Professionals (ANTEC). ; 2020.
LibreCat: /record/24237

Moritzer E, Mühlhoff FM. Inline Surface Activation in the multi Injection Molding Process. In: Annual Technical Conference of the Society of Plastics Engineers (ANTEC) 2020. ; 2020.
LibreCat: /record/24238

Moritzer E, Mühlhoff FM, Lochbaum E, Krampe E. InMould-Plasma Technologie - Dauerhaft beständige 2K-Verbunde aus originär inkompatiblen Kunststoffen. KGK - Rubberpoint. Published online 2020:22-26.
LibreCat: /record/24239

Rasche DB, Tigges L, Schmid H-J. An apparatus to synthesize ceramic nanoparticles with a precisely adjusted temperature history and a significant mass output. Review of Scientific Instruments. Published online 2020. doi:10.1063/1.5133438
LibreCat: /record/24240
DOI: 10.1063/1.5133438

Rasche DB, Tigges L, Schmid H-J. An Apparatus to Synthesize Ceramic Nanoparticles with a Precisely Adjusted Temperature History and a Significant Mass Output. Review of Scientific Instruments. 2020;91:055104. doi:10.1063/1.5133438
LibreCat: /record/24241
DOI: 10.1063/1.5133438

Moritzer E, Hirsch A, Dalmer C. Investigation of Plastic Freeformed, Open-Pored Structures with Regard to Producibility, Reproducibility and Liquid Permeability. In: Additive Manufacturing in Products and Applications (AMPA). ; 2020:112-129.
LibreCat: /record/24242

Moritzer E, Mühlhoff FM, Krampe E. Kostensenkung beim Mehrkomponenten-Spritzgießen. Kunststoff + Verarbeitung. 2020;(5):92-93.
LibreCat: /record/24246

Moritzer E, Mühlhoff FM, Krampe E, Böhnke B. Mehr Materialkombinationen, weniger Kosten. Kunststoffe. Published online 2020:39-42.
LibreCat: /record/24248

Moritzer E, Wittke M. Metallsubstitution durch Spritzgießtechnik gerät allmählich in Reichweite. MNWP Magazin. Published online 2020:26-27.
LibreCat: /record/24249