Gpt-4 technical report J Achiam, S Adler, S Agarwal, L Ahmad, I Akkaya, FL Aleman, D Almeida, ... arXiv preprint arXiv:2303.08774, 2023 | 4469 | 2023 |
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 | 136 | 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 | 31 | 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 | 3 | 2023 |
Time series data layered storage systems and methods R Valt, O Mürk, K Nummert, K Iila US Patent App. 18/132,348, 2023 | 1 | 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 |
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 | | |