| Spatio-temporal data processing systems and methods A Karpi, R Sternfeld, K Kägi, O Mürk, R Valt, RAF De Almeida US Patent 9,734,220, 2017 | 132 | 2017 |
| KeY-C: A tool for verification of C programs O Mürk, D Larsson, R Hähnle Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007 | 32 | 2007 |
| Systems and methods for interacting with spatio-temporal information R Sternfeld, A Karpistsenko, K Kägi, O Mürk, K Paljasma, R Valt US Patent App. 13/927,987, 2014 | 30 | 2014 |
| Aranea: web framework construction and integration kit O Mürk, J Kabanov Proceedings of the 4th international symposium on Principles and practice of …, 2006 | 19 | 2006 |
| E-valimiste realiseerimisvõimaluste analüüs H Lipmaa, O Mürk Analysis ordered by the Estonian Ministry of Justice. Also at www. just. ee …, 2001 | 12 | 2001 |
| Electronic voting schemes O Mürk Semester Work, Tartu University, 2000 | 10 | 2000 |
| Rectus-locally eager haskell debugger O Mürk, L Kolmodin Technical report, Göteborg University, 2006 | 5 | 2006 |
| Data management and governance systems and methods K Iila, E Swenson, O Mürk, R Valt US Patent App. 17/942,097, 2023 | 2 | 2023 |
| Time series data management systems and methods R Valt, O Mürk, K Nummert, K Iila US Patent App. 17/695,770, 2023 | 1 | 2023 |
| Deductive verification of c programs in key O Mürk, D Larsson, R Hähnle Chalmers University of technology, 2008 | 1 | 2008 |
| Time series data layered storage systems and methods R Valt, O Mürk, K Nummert, K Iila US Patent App. 18/132,348, 2023 | | 2023 |
| Environment and location-based data access management systems and methods K Iila, E Swenson, C Kalima, O Mürk, SY Chun, M Manente US Patent App. 17/973,364, 2023 | | 2023 |
| An Experiment in Collaborative Movie Recommendation O Mürk, P Rümmer | | 2007 |
| Deductive Verification of C O Mürk | | 2007 |
| Tarkvaratehnika: UML O Mürk | | |
| A Dynamic Logic for Deductive Verification of C Programs with KeY-C O Mürk, D Larsson, R Hähnle | | |
