Andreas Bauer
Author
Alternate names A. Bauer, Andreas Bauer
Institution Technical University of Munich
Past institutions Technical University of Munich, Leibniz-Institute for Food Systems Biology at the Technical University of Munich, Data61, Ludwig-Maximilians-Universität München, Graz University of Technology +1 more
ORCID: Yes
H-index: 12
I10-index: 13
Works count: 25
Citations count: 438
Decentralised LTL Monitoring
2012 · Andreas Bauer, Ylìès Falcone · Lecture notes in computer science
Direct extraction of astaxanthin from the microalgae Haematococcus pluvialis using liquid–liquid chromatography
2019 · Andreas Bauer, Mirjana Minceva · RSC Advances
SALT—Structured Assertion Language for Temporal Logic
2006 · Andreas Bauer, Martin Leucker, et al. · Lecture notes in computer science