Matthias Eberl

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 10

Top Venues

Sensors

Bioinform.

BMC Medical Informatics Decis. Mak.

CoRR

Ludwig Maximilian University of Munich, Germany (PHD)

Education History

Ludwig Maximilian University of Munich, Germany

PHD

Publications

Matthias Eberl
A Reflection Principle for Potential Infinite Models of Type Theory. CoRR (2024)
Sophie Emperhoff, Matthias Eberl, Tim Dwertmann, Jürgen Wöllenstein
On the Influence of Humidity on a Thermal Conductivity Sensor for the Detection of Hydrogen. Sensors 24 (9) (2024)
Matthias Eberl
A Reflection Principle for Potential Infinite Models of Type Theory. TYPES (2023)
Matthias Eberl
Higher-order concepts for the potential infinite. Theor. Comput. Sci. 945 (2023)
Ross J. Burton, Simone M. Cuff, Matt P. Morgan, Andreas Artemiou, Matthias Eberl
GeoWaVe: geometric median clustering with weighted voting for ensemble clustering of cytometry data. Bioinform. 39 (1) (2023)
Simon Gassner, Rainer Schaller, Matthias Eberl, Carsten von Koblinski, Simon Essing, Mohammadamir Ghaderi, Katrin Schmitt, Jürgen Wöllenstein
Anodically Bonded Photoacoustic Transducer: An Approach towards Wafer-Level Optical Gas Sensors. Sensors 22 (2) (2022)
Matthias Eberl
A Model Theory for the Potential Infinite. Reports Math. Log. 57 (2022)
Ross J. Burton, Raya Ahmed, Simone M. Cuff, Sarah Baker, Andreas Artemiou, Matthias Eberl
CytoPy: An autonomous cytometry analysis framework. PLoS Comput. Biol. 17 (6) (2021)
Ross J. Burton, Mahableshwar Albur, Matthias Eberl, Simone M. Cuff
Using artificial intelligence to reduce diagnostic workload without compromising detection of urinary tract infections. BMC Medical Informatics Decis. Mak. 19 (1) (2019)
Kay Bierzynski, Antonio Escobar, Matthias Eberl
Cloud, fog and edge: Cooperation for the future? FMEC (2017)
Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg
Term rewriting for normalization by evaluation. Inf. Comput. 183 (1) (2003)
Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg
Normalisation by Evaluation. Prospects for Hardware Foundations (1998)

Matthias Eberl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Eberl