Publications (161,600)

Search

Bialgebraic Reasoning on Higher-order Program Equivalence (2024)

Goncharov S, Milius S, Tsampas S, Urbat H

Conference contribution

Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda (2024)

Wißmann T, Milius S

Conference contribution

„Let Them Try to Figure It Out First“ – Reasons Why Experts (Do Not) Provide Feedback to Novice Programmers (2024)

Lohr D, Kiesler N, Keuning H, Jeuring J

Conference contribution, Conference Contribution

SARS-CoV-2 Spike Protein Induces Time-Dependent CTSL Upregulation in HeLa Cells and Alveolarspheres (2024)

Bolsinger M, Drobny A, Wilfling S, Reischl S, Krach F, Moritz R, Balta D, et al.

Journal article

Risk of behavioral disturbances in pediatric patients with epilepsy and mild to moderate cognitive impairment: A cross-sectional study (2024)

Schader C, Schmidlechner T, Cornell S, Gerstl L, Trollmann R, Borggraefe I

Journal article

Evaluating the impact of filler size and filler content on the stiffness, strength, and toughness of polymer nanocomposites using coarse-grained molecular dynamics (2024)

Weber F, Steinmann P, Pfaller S, Ries M, Dötschel V

Journal article

The prognostic relevance of full-thickness burns on ABSI (2024)

Gorenflo J, Reichert B, Registry GB, Reif S, Megas IF, Billner M

Journal article

Finanz- und Coronakrise in Grenzregionen und innerstaatlichen Regionen: Vergleich der Resilienz (2024)

Hippe S

Book chapter / Article in edited volumes

The Influence of Gamification on Motivation and Cardiac Variables in Soccer (2024)

Lennartz R, Stöve M, Talar K, Kumarampulakkal N, Dorschky E, Witte M, Eskofier B

Conference contribution, Abstract of lecture

Graph-based spot melting sequence for electron beam powder bed fusion (2024)

Kupfer T, Breuning C, Markl M

Journal article

‹ 1 ... 1,353 1,354 1,355 1,356 1,357 ... 16,160 ›