Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (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, Springer, 2020, pp. 143–167.
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

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
H. Wehrheim, J. Cabot, 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, Springer, 2020.
LibreCat: /record/20277
DOI: 10.1007/978-3-030-45234-6

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

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

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

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

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

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

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

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

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

Die Anbahnung einer forschenden Grundhaltung im Praxissemester – eine empirische Analyse von Bedingungen und Entwicklungsverläufen
M. Homt, Die Anbahnung Einer Forschenden Grundhaltung Im Praxissemester – Eine Empirische Analyse von Bedingungen Und Entwicklungsverläufen, 2020.
LibreCat: /record/28416

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

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

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

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
S. Haddadian, C. Scheytt, IEEE Journal of Radio Frequency Identification (2020) 1–1.
LibreCat: /record/24029
DOI: 10.1109/JRFID.2020.3009741

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

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

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

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

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

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

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

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

Interlaboratory study on rheological properties of cement pastes and reference substances: comparability of measurements performed with different rheometers and measurement geometries
M. Haist, J. Link, D. Nicia, S. Leinitz, C. Baumert, T. von Bronk, D. Cotardo, M. Eslami Pirharati, S. Fataei, H. Garrecht, C. Gehlen, I. Hauschildt, I. Ivanova, S. Jesinghausen, C. Klein, H.-W. Krauss, L. Lohaus, D. Lowke, O. Mazanec, S. Pawelczyk, U. Pott, N.W. Radebe, J.J. Riedmiller, H.-J. Schmid, W. Schmidt, E. Secrieru, D. Stephan, M. Thiedeitz, M. Wilhelm, V. Mechtcherine, Materials and Structures (2020).
LibreCat: /record/24182
DOI: 10.1617/s11527-020-01477-w

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Mehr Materialkombinationen, weniger Kosten
E. Moritzer, F.M. Mühlhoff, E. Krampe, B. Böhnke, Kunststoffe (2020) 39–42.
LibreCat: /record/24248

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

More Material Combinations, Lower Costs
E. Moritzer, F.M. Mühlhoff, E. Krampe, B. Böhnke, Kunststoffe International (2020) 22–25.
LibreCat: /record/24250

Neuartige Fügetechnik für Organoblech-Hybridverbindungen
E. Moritzer, D. Krassmann, in: DVS Congress 2020, 2020.
LibreCat: /record/24251