Mareike Schmidt

15 papers B 4C 1Misc 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2025 Misc conf
Monitoring of Heterogeneos Datastores in Poly- and MultiStores.
BTW
Mareike Schmidt, Jannik Kronziel, Annett Ungethüm
2024 — conf
Constraint Management and Data Placement in the Context of Polyglot Persistence.
GvDB
Felix Kiehn, Mareike Schmidt, Fabian Panse
2022 B conf
Operator Placement for Spatio-temporal Tasks.
IEEE Big Data
Daniel Glake, Mareike Schmidt, Felix Kiehn, Fabian Panse, Ulfia Lenfers, Thomas Clemen, Norbert Ritter
2022 J jnl
Polyglot Data Management: State of the Art & Open Challenges.
Proc. VLDB Endow.
Felix Kiehn, Mareike Schmidt, Daniel Glake, Fabian Panse, Wolfram Wingerath, Benjamin Wollmer, Martin Poppinga, Norbert Ritter
2022 J jnl
Towards Polyglot Data Stores - Overview and Open Research Questions.
CoRR
Daniel Glake, Felix Kiehn, Mareike Schmidt, Fabian Panse, Norbert Ritter
2021 — conf
Towards Taming the Adaptivity Problem - Formalizing Poly-/MultiStore Topology Descriptions.
SummerSOC
Daniel Glake, Felix Kiehn, Mareike Schmidt, Norbert Ritter
2016 — conf
Assistenz von Arbeitsprozessen auf der Baustelle.
DeLFI Workshops
Mareike Schmidt, Jan Spilski, Uta Schwertel, Michael Heil, Thomas Lachmann
2015 J jnl
Is virtual reality emotionally arousing? Investigating five emotion inducing virtual park scenarios.
Int. J. Hum. Comput. Stud.
Anna Felnhofer, Oswald D. Kothgassner, Mareike Schmidt, Anna-Katharina Heinzle, Leon Beutl, Helmut Hlavacs, Ilse Kryspin-Exner
2014 — conf
Design, Implementierung und Anwendungsfälle einer Corporate MOOC Software Suite.
DeLFI
Daniel Dahrendorf, Katharina Freitag, Mareike Schmidt, Michael Schmidt, Uta Schwertel, Nils Faltin, Volker Zimmermann
2013 C conf
Why Does It Always Rain on Me? Influence of Gender and Environmental Factors on Usability, Technology Related Anxiety and Immersion in Virtual Environments.
Advances in Computer Entertainment
Mareike Schmidt, Johanna Xenia Kafka, Oswald D. Kothgassner, Helmut Hlavacs, Leon Beutl, Anna Felnhofer
2012 B conf
MEMO - Situated Learning Services for e-Mobility.
EC-TEL
Holger Diener, Katharina Freitag, Tobias Häfner, Antje Heinitz, Markus Schäfer, Andreas Schlemminger, Mareike Schmidt, Uta Schwertel
2011 — —
Formal verification of a small real-time operating system.
Mareike Schmidt
2010 B conf
From Operating-System Correctness to Pervasively Verified Applications.
IFM
Matthias Daum, Norbert Schirmer, Mareike Schmidt
2009 B conf
Implementation Correctness of a Real-Time Operating System.
SEFM
Matthias Daum, Norbert Schirmer, Mareike Schmidt
2008 — conf
A Verification Approach for System-Level Concurrent Programs.
VSTTE
Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff