Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. - Kerstin Hartig; Jens Gerlach; Juan Soto 001; Jürgen Busse (FORMS/FORMAT, 2010)

Challenges and Opportunities in Big Data Generation. - Christoph Brücke; Marie Hoffmann; Juan Soto 001; Volker Markl (Informatiktage, 2014)

Composite Key Generation on a Shared-Nothing Architecture. - Marie Hoffmann; Alexander Alexandrov 001; Periklis Andritsos; Juan Soto 001; Volker Markl (TPCTC, 2014)

Efficient sample generation for scalable meta learning. - Sebastian Schelter; Juan Soto 001; Volker Markl; Douglas Burdick; Berthold Reinwald; Alexandre V. Evfimievski (ICDE, 2015)

Towards Streamlined Big Data Analytics. - András A. Benczúr; Róbert Pálovics; Márton Balassi; Volker Markl; Tilmann Rabl; Juan Soto 001; Björn Hovstadius; Jim Dowling; Seif Haridi (ERCIM News, 2016)

Large-Scale Data Stream Processing Systems. - Paris Carbone; Gábor E. Gévay; Gábor Hermann; Asterios Katsifodimos; Juan Soto 001; Volker Markl; Seif Haridi (Handbook of Big Data Technologies, 2017)

On Fault Tolerance for Distributed Iterative Dataflow Processing. - Chen Xu 001; Markus Holzemer; Manohar Kaul; Juan Soto 001; Volker Markl (IEEE Trans. Knowl. Data Eng., 2017)

Fault-Tolerance for Distributed Iterative Dataflows in Action. - Chen Xu 001; Rudi Poepsel Lemaitre; Juan Soto 001; Volker Markl (Proc. VLDB Endow., 2018)

Data Management Systems Research at TU Berlin. - Ziawasch Abedjan; Sebastian B. Simonsen; Volker Markl; Tilmann Rabl; Juan Soto 001 (SIGMOD Rec., 2018)

A survey of state management in big data processing systems. - Quoc-Cuong To; Juan Soto 001; Volker Markl (VLDB J., 2018)

Hybrid Evaluation for Distributed Iterative Matrix Computation. - Zihao Chen; Chen Xu 001; Juan Soto 001; Volker Markl; Weining Qian; Aoying Zhou (SIGMOD Conference, 2021)

HyMAC: A Hybrid Matrix Computation System. - Zihao Chen; Zhizhen Xu; Chen Xu 001; Juan Soto 001; Volker Markl; Weining Qian; Aoying Zhou (Proc. VLDB Endow., 2021)

Handling Iterations in Distributed Dataflow Systems. - Gábor E. Gévay; Juan Soto 001; Volker Markl (ACM Comput. Surv., 2022)

A survey on transactional stream processing. - Shuhao Zhang 001; Juan Soto 001; Volker Markl (VLDB J., 2024)