Mareike Schmidt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICDE | Rethinking Relational Operators as Hardware-Accelerated Matrix Operations. | Jannis Karampetsos, Mareike Schmidt, Martin Poppinga, Annett Ungethm |
| 2025 | BTW | Monitoring of Heterogeneos Datastores in Poly- and MultiStores. | Mareike Schmidt, Jannik Kronziel, Annett Ungethm |
| 2010 | IFM | From Operating-System Correctness to Pervasively Verified Applications. | Matthias Daum, Norbert Schirmer, Mareike Schmidt |
| 2009 | SEFM | Implementation Correctness of a Real-Time Operating System. | Matthias Daum, Norbert Schirmer, Mareike Schmidt |