Towards Mechanised Proofs in Double-Pushout Graph Transformation
Söldner, Robert, Plump, Detlef
Published in Electronic proceedings in theoretical computer science (22.12.2022)
Published in Electronic proceedings in theoretical computer science (22.12.2022)
Get full text
Journal Article
Online deployment of an O‐PLS model for dielectric spectroscopy‐based inline monitoring of viable cell concentrations in Chinese hamster ovary cell perfusion cultivations
Lemke, Johannes, Söldner, Robert, Austerjost, Jonas
Published in Engineering in life sciences (01.06.2023)
Published in Engineering in life sciences (01.06.2023)
Get full text
Journal Article
Towards an automated approach for smart sterility test examination
Dierks, Clemens, Söldner, Robert, Prühl, Kevin, Wagner, Niels, Delmdahl, Noushin, Dominik, Andreas, Olszowy, Michael W., Austerjost, Jonas
Published in SLAS technology (01.12.2022)
Published in SLAS technology (01.12.2022)
Get full text
Journal Article
Human-Device Interaction in the Life Science Laboratory
Söldner, Robert, Rheinländer, Sophia, Meyer, Tim, Olszowy, Michael, Austerjost, Jonas
Published in Advances in biochemical engineering, biotechnology (01.01.2022)
Published in Advances in biochemical engineering, biotechnology (01.01.2022)
Get more information
Journal Article
A Machine Vision Approach for Bioreactor Foam Sensing
Austerjost, Jonas, Söldner, Robert, Edlund, Christoffer, Trygg, Johan, Pollard, David, Sjögren, Rickard
Published in SLAS technology (01.08.2021)
Published in SLAS technology (01.08.2021)
Get full text
Journal Article
Towards Mechanised Proofs in Double-Pushout Graph Transformation
Get full text
Paper
Journal Article
METHOD FOR STERILITY TESTING
ARAKEL, Eric, Clement, GLOTH, Kai, HIGGINBOTTOM, Claire, THENMAIER, Harald, VAN ROSSUM, Denise, PRÜHL, Sebastian, AUSTERJOST, Jonas, SÖLDNER, Robert, GUENEC, Olivier
Year of Publication 06.03.2024
Get full text
Year of Publication 06.03.2024
Patent
STERILITY TESTING MODULE
ARAKEL, Eric, Clement, GLOTH, Kai, VAN ROSSUM, Denise, PRÜHL, Sebastian, AUSTERJOST, Jonas, GUENEC, Olivier, SÖLDNER, Robert
Year of Publication 02.11.2022
Get full text
Year of Publication 02.11.2022
Patent
METHOD FOR STERILITY TESTING
GLOTH, Kai, HIGGINBOTTOM, Claire, THENMAIER, Harald, ARAKEL, Eric, VAN ROSSUM, Denise, PRÜHL, Sebastian, AUSTERJOST, Jonas, SÖLDNER, Robert, GUENEC, Olivier
Year of Publication 03.11.2022
Get full text
Year of Publication 03.11.2022
Patent