Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines. - Christian Herrmann 003; Johanna Sokoli; Martin Ziegler 001 (MCU, 2013)

Performance Functions for QoS Prediction in Web Service Composites. - Florian Volk; Johanna Sokoli; Max Mühlhäuser (ICWS, 2014)