A Verification Approach for System-Level Concurrent Programs. - Matthias Daum 001; Jan Dörrenbächer; Mareike Schmidt; Burkhart Wolff (VSTTE, 2008)

Implementation Correctness of a Real-Time Operating System. - Matthias Daum 001; Norbert Schirmer; Mareike Schmidt (SEFM, 2009)

From Operating-System Correctness to Pervasively Verified Applications. - Matthias Daum 001; Norbert Schirmer; Mareike Schmidt (IFM, 2010)

Formal verification of a small real-time operating system. - Mareike Schmidt (2011)

MEMO - Situated Learning Services for e-Mobility. - Holger Diener; Katharina Freitag; Tobias Häfner; Antje Heinitz; Markus Schäfer; Andreas Schlemminger; Mareike Schmidt; Uta Schwertel (EC-TEL, 2012)

Why Does It Always Rain on Me? Influence of Gender and Environmental Factors on Usability, Technology Related Anxiety and Immersion in Virtual Environments. - Mareike Schmidt; Johanna Xenia Kafka; Oswald D. Kothgassner; Helmut Hlavacs; Leon Beutl; Anna Felnhofer (Advances in Computer Entertainment, 2013)

Design, Implementierung und Anwendungsfälle einer Corporate MOOC Software Suite. - Daniel Dahrendorf; Katharina Freitag; Mareike Schmidt; Michael Schmidt 002; Uta Schwertel; Nils Faltin; Volker Zimmermann 001 (DeLFI, 2014)

Is virtual reality emotionally arousing? Investigating five emotion inducing virtual park scenarios. - Anna Felnhofer; Oswald D. Kothgassner; Mareike Schmidt; Anna-Katharina Heinzle; Leon Beutl; Helmut Hlavacs; Ilse Kryspin-Exner (Int. J. Hum. Comput. Stud., 2015)

Assistenz von Arbeitsprozessen auf der Baustelle. - Mareike Schmidt; Jan Spilski; Uta Schwertel; Michael Heil; Thomas Lachmann (DeLFI Workshops, 2016)

Towards Taming the Adaptivity Problem - Formalizing Poly-/MultiStore Topology Descriptions. - Daniel Glake; Felix Kiehn; Mareike Schmidt; Norbert Ritter (SummerSOC, 2021)

Operator Placement for Spatio-temporal Tasks. - Daniel Glake; Mareike Schmidt; Felix Kiehn; Fabian Panse; Ulfia Lenfers; Thomas Clemen; Norbert Ritter (IEEE Big Data, 2022)

Towards Polyglot Data Stores - Overview and Open Research Questions. - Daniel Glake; Felix Kiehn; Mareike Schmidt; Fabian Panse; Norbert Ritter (CoRR, 2022)

Polyglot Data Management: State of the Art & Open Challenges. - Felix Kiehn; Mareike Schmidt; Daniel Glake; Fabian Panse; Wolfram Wingerath; Benjamin Wollmer; Martin Poppinga; Norbert Ritter (Proc. VLDB Endow., 2022)

Constraint Management and Data Placement in the Context of Polyglot Persistence. - Felix Kiehn; Mareike Schmidt; Fabian Panse (GvDB, 2024)

Monitoring of Heterogeneos Datastores in Poly- and MultiStores. - Mareike Schmidt; Jannik Kronziel; Annett Ungethüm (BTW, 2025)