<?xml version="1.0"?>
<dblpperson name="Mareike Schmidt" pid="97/108" n="15">
<person key="homepages/97/108" mdate="2009-06-08">
<author pid="97/108">Mareike Schmidt</author>
</person>
<r><inproceedings key="conf/btw/SchmidtKU25" mdate="2025-03-06">
<author pid="97/108">Mareike Schmidt</author>
<author pid="398/2166">Jannik Kronziel</author>
<author pid="162/7729">Annett Ungeth&#252;m</author>
<title>Monitoring of Heterogeneos Datastores in Poly- and MultiStores.</title>
<pages>795-801</pages>
<year>2025</year>
<booktitle>BTW</booktitle>
<ee type="oa">https://doi.org/10.18420/BTW2025-44</ee>
<crossref>conf/btw/2025</crossref>
<url>db/conf/btw/btw2025.html#SchmidtKU25</url>
</inproceedings>
</r>
<r><inproceedings key="conf/gvd/KiehnSP24" mdate="2024-06-26">
<author pid="208/7115">Felix Kiehn</author>
<author pid="97/108">Mareike Schmidt</author>
<author pid="54/7390">Fabian Panse</author>
<title>Constraint Management and Data Placement in the Context of Polyglot Persistence.</title>
<pages>9-15</pages>
<year>2024</year>
<booktitle>GvDB</booktitle>
<ee type="oa">https://ceur-ws.org/Vol-3710/paper2.pdf</ee>
<crossref>conf/gvd/2024</crossref>
<url>db/conf/gvd/gvd2024.html#KiehnSP24</url>
</inproceedings>
</r>
<r><article key="journals/pvldb/KiehnSGPWWPR22" mdate="2026-02-01">
<author orcid="0000-0003-2345-8551" pid="208/7115">Felix Kiehn</author>
<author pid="97/108">Mareike Schmidt</author>
<author pid="210/8175">Daniel Glake</author>
<author pid="54/7390">Fabian Panse</author>
<author pid="146/6282">Wolfram Wingerath</author>
<author pid="266/6168">Benjamin Wollmer</author>
<author orcid="0000-0001-8529-8376" pid="313/2296">Martin Poppinga</author>
<author pid="r/NRitter">Norbert Ritter</author>
<title>Polyglot Data Management: State of the Art &#38; Open Challenges.</title>
<pages>3750-3753</pages>
<year>2022</year>
<volume>15</volume>
<journal>Proc. VLDB Endow.</journal>
<number>12</number>
<ee type="oa">https://www.vldb.org/pvldb/vol15/p3750-panse.pdf</ee>
<ee>https://doi.org/10.14778/3554821.3554891</ee>
<ee>https://www.wikidata.org/entity/Q131116905</ee>
<url>db/journals/pvldb/pvldb15.html#KiehnSGPWWPR22</url>
</article>
</r>
<r><inproceedings key="conf/bigdataconf/GlakeSKPLCR22" mdate="2023-08-18">
<author pid="210/8175">Daniel Glake</author>
<author pid="97/108">Mareike Schmidt</author>
<author orcid="0000-0003-2345-8551" pid="208/7115">Felix Kiehn</author>
<author pid="54/7390">Fabian Panse</author>
<author pid="191/2278">Ulfia Lenfers</author>
<author pid="183/8239">Thomas Clemen</author>
<author pid="r/NRitter">Norbert Ritter</author>
<title>Operator Placement for Spatio-temporal Tasks.</title>
<pages>281-290</pages>
<year>2022</year>
<booktitle>IEEE Big Data</booktitle>
<ee>https://doi.org/10.1109/BigData55660.2022.10020279</ee>
<crossref>conf/bigdataconf/2022</crossref>
<url>db/conf/bigdataconf/bigdataconf2022.html#GlakeSKPLCR22</url>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/corr/abs-2204-05779" mdate="2022-04-19">
<author pid="210/8175">Daniel Glake</author>
<author pid="208/7115">Felix Kiehn</author>
<author pid="97/108">Mareike Schmidt</author>
<author pid="54/7390">Fabian Panse</author>
<author pid="r/NRitter">Norbert Ritter</author>
<title>Towards Polyglot Data Stores - Overview and Open Research Questions.</title>
<year>2022</year>
<volume>abs/2204.05779</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2204.05779</ee>
<url>db/journals/corr/corr2204.html#abs-2204-05779</url>
</article>
</r>
<r><inproceedings key="conf/summersoc/GlakeKSR21" mdate="2021-10-05">
<author orcid="0000-0003-4575-9267" pid="210/8175">Daniel Glake</author>
<author orcid="0000-0003-2345-8551" pid="208/7115">Felix Kiehn</author>
<author orcid="0000-0002-7330-6276" pid="97/108">Mareike Schmidt</author>
<author pid="r/NRitter">Norbert Ritter</author>
<title>Towards Taming the Adaptivity Problem - Formalizing Poly-/MultiStore Topology Descriptions.</title>
<pages>83-99</pages>
<year>2021</year>
<booktitle>SummerSOC</booktitle>
<ee>https://doi.org/10.1007/978-3-030-87568-8_5</ee>
<crossref>conf/summersoc/2021</crossref>
<url>db/conf/summersoc/summersoc2021.html#GlakeKSR21</url>
</inproceedings>
</r>
<r><inproceedings key="conf/delfi/SchmidtSSHL16" mdate="2023-03-10">
<author pid="97/108">Mareike Schmidt</author>
<author pid="185/2526">Jan Spilski</author>
<author pid="s/UtaSchwertel">Uta Schwertel</author>
<author pid="185/2503">Michael Heil</author>
<author pid="92/10167">Thomas Lachmann</author>
<title>Assistenz von Arbeitsprozessen auf der Baustelle.</title>
<pages>216-222</pages>
<year>2016</year>
<booktitle>DeLFI Workshops</booktitle>
<ee type="oa">https://ceur-ws.org/Vol-1669/WS6_7_109_Paper.pdf</ee>
<crossref>conf/delfi/2016w</crossref>
<url>db/conf/delfi/delfi2016w.html#SchmidtSSHL16</url>
</inproceedings>
</r>
<r><article key="journals/ijmms/FelnhoferKSHBHK15" mdate="2020-02-21">
<author orcid="0000-0002-0081-7489" pid="117/8352">Anna Felnhofer</author>
<author orcid="0000-0002-3243-0238" pid="84/9147">Oswald D. Kothgassner</author>
<author pid="97/108">Mareike Schmidt</author>
<author pid="170/7882">Anna-Katharina Heinzle</author>
<author pid="117/8395">Leon Beutl</author>
<author pid="48/3001">Helmut Hlavacs</author>
<author pid="12/4705">Ilse Kryspin-Exner</author>
<title>Is virtual reality emotionally arousing? Investigating five emotion inducing virtual park scenarios.</title>
<pages>48-56</pages>
<year>2015</year>
<volume>82</volume>
<journal>Int. J. Hum. Comput. Stud.</journal>
<ee>https://doi.org/10.1016/j.ijhcs.2015.05.004</ee>
<ee>https://www.wikidata.org/entity/Q60189270</ee>
<url>db/journals/ijmms/ijmms82.html#FelnhoferKSHBHK15</url>
</article>
</r>
<r><inproceedings key="conf/delfi/DahrendorfFSSSFZ14" mdate="2023-07-04">
<author pid="03/8241">Daniel Dahrendorf</author>
<author pid="118/8269">Katharina Freitag</author>
<author pid="97/108">Mareike Schmidt</author>
<author pid="156/1960-2">Michael Schmidt 0002</author>
<author pid="s/UtaSchwertel">Uta Schwertel</author>
<author pid="41/2643">Nils Faltin</author>
<author pid="08/4428-1">Volker Zimmermann 0001</author>
<title>Design, Implementierung und Anwendungsf&#228;lle einer Corporate MOOC Software Suite.</title>
<pages>181-192</pages>
<year>2014</year>
<booktitle>DeLFI</booktitle>
<ee type="oa">https://dl.gi.de/handle/20.500.12116/3002</ee>
<crossref>conf/delfi/2014</crossref>
<url>db/conf/delfi/delfi2014.html#DahrendorfFSSSFZ14</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ACMace/SchmidtKKHBF13" mdate="2019-10-19">
<author pid="97/108">Mareike Schmidt</author>
<author orcid="0000-0003-3404-3546" pid="137/4268">Johanna Xenia Kafka</author>
<author orcid="0000-0002-3243-0238" pid="84/9147">Oswald D. Kothgassner</author>
<author pid="48/3001">Helmut Hlavacs</author>
<author pid="117/8395">Leon Beutl</author>
<author orcid="0000-0002-0081-7489" pid="117/8352">Anna Felnhofer</author>
<title>Why Does It Always Rain on Me? Influence of Gender and Environmental Factors on Usability, Technology Related Anxiety and Immersion in Virtual Environments.</title>
<pages>392-402</pages>
<year>2013</year>
<booktitle>Advances in Computer Entertainment</booktitle>
<ee>https://doi.org/10.1007/978-3-319-03161-3_29</ee>
<ee>https://www.wikidata.org/entity/Q60189280</ee>
<crossref>conf/ACMace/2013</crossref>
<url>db/conf/ACMace/ace2013.html#SchmidtKKHBF13</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ectel/DienerFHHSSSS12" mdate="2017-05-24">
<author pid="41/5461">Holger Diener</author>
<author pid="118/8269">Katharina Freitag</author>
<author pid="118/8257">Tobias H&#228;fner</author>
<author pid="118/8258">Antje Heinitz</author>
<author pid="118/8220">Markus Sch&#228;fer</author>
<author pid="118/8182">Andreas Schlemminger</author>
<author pid="97/108">Mareike Schmidt</author>
<author pid="s/UtaSchwertel">Uta Schwertel</author>
<title>MEMO - Situated Learning Services for e-Mobility.</title>
<pages>501-506</pages>
<year>2012</year>
<booktitle>EC-TEL</booktitle>
<ee>https://doi.org/10.1007/978-3-642-33263-0_50</ee>
<crossref>conf/ectel/2012</crossref>
<url>db/conf/ectel/ectel2012.html#DienerFHHSSSS12</url>
</inproceedings>
</r>
<r><phdthesis key="phd/dnb/Schmidt11b" mdate="2021-07-17">
<author pid="97/108">Mareike Schmidt</author>
<title>Formal verification of a small real-time operating system.</title>
<year>2011</year>
<school>Saarland University</school>
<ee>http://scidok.sulb.uni-saarland.de/volltexte/2011/3844/</ee>
<ee>https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-38447</ee>
<ee>https://d-nb.info/1051056101</ee>
</phdthesis>
</r>
<r><inproceedings key="conf/ifm/DaumSS10" mdate="2019-03-22">
<author pid="18/1811-1">Matthias Daum 0001</author>
<author pid="88/7021">Norbert Schirmer</author>
<author pid="97/108">Mareike Schmidt</author>
<title>From Operating-System Correctness to Pervasively Verified Applications.</title>
<pages>105-120</pages>
<year>2010</year>
<booktitle>IFM</booktitle>
<ee>https://doi.org/10.1007/978-3-642-16265-7_9</ee>
<crossref>conf/ifm/2010</crossref>
<url>db/conf/ifm/ifm2010.html#DaumSS10</url>
</inproceedings>
</r>
<r><inproceedings key="conf/sefm/DaumSS09" mdate="2023-03-24">
<author pid="18/1811-1">Matthias Daum 0001</author>
<author pid="88/7021">Norbert Schirmer</author>
<author pid="97/108">Mareike Schmidt</author>
<title>Implementation Correctness of a Real-Time Operating System.</title>
<pages>23-32</pages>
<year>2009</year>
<booktitle>SEFM</booktitle>
<ee>https://doi.org/10.1109/SEFM.2009.14</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/SEFM.2009.14</ee>
<crossref>conf/sefm/2009</crossref>
<url>db/conf/sefm/sefm2009.html#DaumSS09</url>
</inproceedings>
</r>
<r><inproceedings key="conf/vstte/DaumDSW08" mdate="2019-03-22">
<author pid="18/1811-1">Matthias Daum 0001</author>
<author pid="80/3647">Jan D&#246;rrenb&#228;cher</author>
<author pid="97/108">Mareike Schmidt</author>
<author pid="63/5369">Burkhart Wolff</author>
<title>A Verification Approach for System-Level Concurrent Programs.</title>
<pages>161-176</pages>
<year>2008</year>
<booktitle>VSTTE</booktitle>
<ee>https://doi.org/10.1007/978-3-540-87873-5_15</ee>
<crossref>conf/vstte/2008</crossref>
<url>db/conf/vstte/vstte2008.html#DaumDSW08</url>
</inproceedings>
</r>
<coauthors n="36" nc="4">
<co c="2"><na f="b/Beutl:Leon" pid="117/8395">Leon Beutl</na></co>
<co c="1"><na f="c/Clemen:Thomas" pid="183/8239">Thomas Clemen</na></co>
<co c="1" n="2"><na f="c/Clemen:Ulfia" pid="191/2278">Ulfia Clemen</na><na>Ulfia Lenfers</na></co>
<co c="0"><na f="d/Dahrendorf:Daniel" pid="03/8241">Daniel Dahrendorf</na></co>
<co c="3"><na f="d/Daum_0001:Matthias" pid="18/1811-1">Matthias Daum 0001</na></co>
<co c="0"><na f="d/Diener:Holger" pid="41/5461">Holger Diener</na></co>
<co c="3"><na f="d/D=ouml=rrenb=auml=cher:Jan" pid="80/3647">Jan D&#246;rrenb&#228;cher</na></co>
<co c="0"><na f="f/Faltin:Nils" pid="41/2643">Nils Faltin</na></co>
<co c="2"><na f="f/Felnhofer:Anna" pid="117/8352">Anna Felnhofer</na></co>
<co c="0"><na f="f/Freitag:Katharina" pid="118/8269">Katharina Freitag</na></co>
<co c="1"><na f="g/Glake:Daniel" pid="210/8175">Daniel Glake</na></co>
<co c="0"><na f="h/H=auml=fner:Tobias" pid="118/8257">Tobias H&#228;fner</na></co>
<co c="0"><na f="h/Heil:Michael" pid="185/2503">Michael Heil</na></co>
<co c="0"><na f="h/Heinitz:Antje" pid="118/8258">Antje Heinitz</na></co>
<co c="2"><na f="h/Heinzle:Anna=Katharina" pid="170/7882">Anna-Katharina Heinzle</na></co>
<co c="2"><na f="h/Hlavacs:Helmut" pid="48/3001">Helmut Hlavacs</na></co>
<co c="2"><na f="k/Kafka:Johanna_Xenia" pid="137/4268">Johanna Xenia Kafka</na></co>
<co c="1"><na f="k/Kiehn:Felix" pid="208/7115">Felix Kiehn</na></co>
<co c="2"><na f="k/Kothgassner:Oswald_D=" pid="84/9147">Oswald D. Kothgassner</na></co>
<co c="1"><na f="k/Kronziel:Jannik" pid="398/2166">Jannik Kronziel</na></co>
<co c="2"><na f="k/Kryspin=Exner:Ilse" pid="12/4705">Ilse Kryspin-Exner</na></co>
<co c="0"><na f="l/Lachmann:Thomas" pid="92/10167">Thomas Lachmann</na></co>
<co c="1"><na f="p/Panse:Fabian" pid="54/7390">Fabian Panse</na></co>
<co c="1"><na f="p/Poppinga:Martin" pid="313/2296">Martin Poppinga</na></co>
<co c="1"><na f="r/Ritter:Norbert" pid="r/NRitter">Norbert Ritter</na></co>
<co c="0"><na f="s/Sch=auml=fer:Markus" pid="118/8220">Markus Sch&#228;fer</na></co>
<co c="3"><na f="s/Schirmer:Norbert" pid="88/7021">Norbert Schirmer</na></co>
<co c="0"><na f="s/Schlemminger:Andreas" pid="118/8182">Andreas Schlemminger</na></co>
<co c="0"><na f="s/Schmidt_0002:Michael" pid="156/1960-2">Michael Schmidt 0002</na></co>
<co c="0"><na f="s/Schwertel:Uta" pid="s/UtaSchwertel">Uta Schwertel</na></co>
<co c="0"><na f="s/Spilski:Jan" pid="185/2526">Jan Spilski</na></co>
<co c="1"><na f="u/Ungeth=uuml=m:Annett" pid="162/7729">Annett Ungeth&#252;m</na></co>
<co c="1"><na f="w/Wingerath:Wolfram" pid="146/6282">Wolfram Wingerath</na></co>
<co c="3"><na f="w/Wolff:Burkhart" pid="63/5369">Burkhart Wolff</na></co>
<co c="1"><na f="w/Wollmer:Benjamin" pid="266/6168">Benjamin Wollmer</na></co>
<co c="0"><na f="z/Zimmermann_0001:Volker" pid="08/4428-1">Volker Zimmermann 0001</na></co>
</coauthors>
</dblpperson>

