Mareike Schmidt

According to our database, Mareike Schmidt authored at least 13 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Towards Polyglot Data Stores - Overview and Open Research Questions.

Daniel Glake, Felix Kiehn, Mareike Schmidt, Fabian Panse, Norbert Ritter

CoRR, 2022

Operator Placement for Spatio-temporal Tasks.

Daniel Glake, Mareike Schmidt, Felix Kiehn, Fabian Panse, Ulfia Lenfers, Thomas Clemen, Norbert Ritter

Proceedings of the IEEE International Conference on Big Data, 2022

2021

Towards Taming the Adaptivity Problem - Formalizing Poly-/MultiStore Topology Descriptions.

Daniel Glake, Felix Kiehn, Mareike Schmidt, Norbert Ritter

Proceedings of the Service-Oriented Computing, 2021

2016

Assistenz von Arbeitsprozessen auf der Baustelle.

Mareike Schmidt, Jan Spilski, Uta Schwertel, Michael Heil, Thomas Lachmann

Proceedings of the Proceedings der Pre-Conference-Workshops der 14. E-Learning Fachtagung Informatik co-located with 14th e-Learning Conference of the German Computer Society (DeLFI 2016), 2016

2015

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

2014

Design, Implementierung und Anwendungsfälle einer Corporate MOOC Software Suite.

Daniel Dahrendorf, Katharina Freitag, Mareike Schmidt, Michael Schmidt, Uta Schwertel, Nils Faltin, Volker Zimmermann

Proceedings of the DeLFI 2014, 2014

2013

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

Proceedings of the Advances in Computer Entertainment - 10th International Conference, 2013

2012

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

Proceedings of the 21st Century Learning for 21st Century Skills, 2012

2011

Formal verification of a small real-time operating system.

Mareike Schmidt

PhD thesis, 2011

2010

From Operating-System Correctness to Pervasively Verified Applications.

Matthias Daum, Norbert Schirmer, Mareike Schmidt

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2009

Implementation Correctness of a Real-Time Operating System.

Matthias Daum, Norbert Schirmer, Mareike Schmidt

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2008

A Verification Approach for System-Level Concurrent Programs.

Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff

Proceedings of the Verified Software: Theories, 2008