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.
2319 Publications
2020 | Conference Paper | LibreCat-ID: 20274
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
| DOI
2020 | Conference Paper | LibreCat-ID: 20275
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
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
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
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
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
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
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
| DOI
2020 | Journal Article | LibreCat-ID: 20279
Sharma A, Wehrheim H. Testing Monotonicity of Machine Learning Models. CoRR. 2020;abs/2002.12278.
LibreCat
2020 | Journal Article | LibreCat-ID: 28011
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
| DOI
2020 | Journal Article | LibreCat-ID: 28242
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
| DOI
2020 | Journal Article | LibreCat-ID: 2834
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
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 28341
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
| DOI
2020 | Journal Article | LibreCat-ID: 28351
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
| DOI
2020 | Dissertation | LibreCat-ID: 28367
Echterfeld J. Systematik zur Digitalisierung von Produktprogrammen. Vol 393. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2020.
LibreCat
2020 | Dissertation | LibreCat-ID: 28369
Lukei M. Systematik zur integrativen Entwicklung von mechatronischen Produkten und deren Prüfmittel. Vol 395. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2020.
LibreCat
2020 | Dissertation | LibreCat-ID: 28416 | 
Homt M. Die Anbahnung Einer Forschenden Grundhaltung Im Praxissemester – Eine Empirische Analyse von Bedingungen Und Entwicklungsverläufen.; 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 24021
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
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24022
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
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24027
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
| Files available
2020 | Journal Article | LibreCat-ID: 24029
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
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24030
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
| Files available
2020 | Journal Article | LibreCat-ID: 24031
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
2020 | Journal Article | LibreCat-ID: 24120
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
| DOI
2020 | Newspaper Article | LibreCat-ID: 24133
Schöppner V, Austermeier L, Dietl K. Der richtige Dreh für Simulationen. Blasformen & Extrusionswerkzeuge. 2020.
LibreCat
2020 | Newspaper Article | LibreCat-ID: 24134
Schöppner V, Austermeier L, Dietl K. SKZ simuliert Doppelschnecke. K Zeitung. 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24145
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
2020 | Conference Paper | LibreCat-ID: 24146
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
2020 | Journal Article | LibreCat-ID: 24147
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
2020 | Journal Article | LibreCat-ID: 24182
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
| DOI
2020 | Journal Article | LibreCat-ID: 24183
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
2020 | Journal Article | LibreCat-ID: 24184
Moritzer E, Mühlhoff FM, Krampe E, Lochbaum E. 2K-Haftverbunde aus originär inkompatiblen Kunststoffen. Plastverarbeiter. 2020;(07/20):20-23.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24201
Moritzer E, Kartelmeyer S, Hüttemann V. Additive Manufactured Heat Pipe Injection Mould Element. In: Direct Digital Manufacturing Conference 2020. ; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24203
Moritzer E, Hillemeyer J. Additiveteile Direktverschrauben. In: 6. Fachkonferenz 3D-Druck in Der Automobielindustrie. ; 2020.
LibreCat
2020 | Misc | LibreCat-ID: 24204
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
2020 | Conference Paper | LibreCat-ID: 24206
Moritzer E, Hillemeyer J. Ansatz zur sicheren Direktverschraubung additiv gefertigter Einschraubtuben. In: 10. Gemeinschaftskolloquium. ; 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 24207
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
2020 | Conference Paper | LibreCat-ID: 24213
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
2020 | Conference Paper | LibreCat-ID: 24228
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
2020 | Journal Article | LibreCat-ID: 24231
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
2020 | Journal Article | LibreCat-ID: 24232
Moritzer E, Jilg J, Schilp C, Krempl N, Friesenbichler W. Die Kunst der Entformung. Kunststoffe. Published online 2020:60-63.
LibreCat
2020 | Journal Article | LibreCat-ID: 24233
Moritzer E, Hopp M, Wittke M. EINSATZ VON MASCHINELLEM LERNEN FÜR DIE REZYKLAT-VERARBEITUNG. WAK Jahreszeitschrift. Published online 2020:2-5.
LibreCat
2020 | Journal Article | LibreCat-ID: 24234
Moritzer E, Krassmann D. Entwicklung einer neuartigen Fügetechnik für Organoblech-Hybridverbindungen. Joining Plastics. Published online 2020:96-103.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24235
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
2020 | Conference Paper | LibreCat-ID: 24237
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
2020 | Conference Paper | LibreCat-ID: 24238
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
2020 | Journal Article | LibreCat-ID: 24239
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
2020 | Journal Article | LibreCat-ID: 24240
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
| DOI
2020 | Journal Article | LibreCat-ID: 24241
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
| DOI
2020 | Conference Paper | LibreCat-ID: 24242
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
2020 | Journal Article | LibreCat-ID: 24246
Moritzer E, Mühlhoff FM, Krampe E. Kostensenkung beim Mehrkomponenten-Spritzgießen. Kunststoff + Verarbeitung. 2020;(5):92-93.
LibreCat
2020 | Journal Article | LibreCat-ID: 24248
Moritzer E, Mühlhoff FM, Krampe E, Böhnke B. Mehr Materialkombinationen, weniger Kosten. Kunststoffe. Published online 2020:39-42.
LibreCat
2020 | Journal Article | LibreCat-ID: 24249
Moritzer E, Wittke M. Metallsubstitution durch Spritzgießtechnik gerät allmählich in Reichweite. MNWP Magazin. Published online 2020:26-27.
LibreCat