Normalisation by Evaluation. - Ulrich Berger 001; Matthias Eberl; Helmut Schwichtenberg (Prospects for Hardware Foundations, 1998)

Normalization by evaluation. - Matthias Eberl (2002)

Term rewriting for normalization by evaluation. - Ulrich Berger 001; Matthias Eberl; Helmut Schwichtenberg (Inf. Comput., 2003)

Cloud, fog and edge: Cooperation for the future? - Kay Bierzynski; Antonio Escobar; Matthias Eberl (FMEC, 2017)

Using artificial intelligence to reduce diagnostic workload without compromising detection of urinary tract infections. - Ross J. Burton; Mahableshwar Albur; Matthias Eberl; Simone M. Cuff (BMC Medical Informatics Decis. Mak., 2019)

CytoPy: An autonomous cytometry analysis framework. - Ross J. Burton; Raya Ahmed; Simone M. Cuff; Sarah Baker; Andreas Artemiou; Matthias Eberl (PLoS Comput. Biol., 2021)

Anodically Bonded Photoacoustic Transducer: An Approach towards Wafer-Level Optical Gas Sensors. - Simon Gassner; Rainer Schaller; Matthias Eberl; Carsten von Koblinski; Simon Essing; Mohammadamir Ghaderi; Katrin Schmitt; Jürgen Wöllenstein (Sensors, 2022)

A Model Theory for the Potential Infinite. - Matthias Eberl (Reports Math. Log., 2022)

A Reflection Principle for Potential Infinite Models of Type Theory. - Matthias Eberl (TYPES, 2023)

GeoWaVe: geometric median clustering with weighted voting for ensemble clustering of cytometry data. - Ross J. Burton; Simone M. Cuff; Matt P. Morgan; Andreas Artemiou; Matthias Eberl (Bioinform., 2023)

Higher-order concepts for the potential infinite. - Matthias Eberl (Theor. Comput. Sci., 2023)

On the Influence of Humidity on a Thermal Conductivity Sensor for the Detection of Hydrogen. - Sophie Emperhoff; Matthias Eberl; Tim Dwertmann; Jürgen Wöllenstein (Sensors, 2024)