| Optimizing big-data queries using program synthesis M Schlaipfer, K Rajan, A Lal, M Samak Proceedings of the 26th Symposium on Operating Systems Principles, 631-646, 2017 | 25 | 2017 |
| Generalized reactivity (1) synthesis without a monolithic strategy M Schlaipfer, G Hofferek, R Bloem Haifa Verification Conference, 20-34, 2011 | 12 | 2011 |
| Labelled interpolation systems for hyper-resolution, clausal, and local proofs M Schlaipfer, G Weissenbacher Journal of Automated Reasoning 57, 3-36, 2016 | 8 | 2016 |
| Reduction of resolution refutations and interpolants via subsumption R Bloem, S Malik, M Schlaipfer, G Weissenbacher Hardware and Software: Verification and Testing: 10th International Haifa …, 2014 | 8 | 2014 |
| Multi-linear strategy extraction for QBF expansion proofs via local soundness M Schlaipfer, F Slivovsky, G Weissenbacher, F Zuleger International Conference on Theory and Applications of Satisfiability …, 2020 | 4 | 2020 |
| Program synthesis for query optimization K Rajan, A Lal, M Schlaipfer US Patent 11,016,974, 2021 | 3 | 2021 |
| Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs. G Ebner, M Schlaipfer PAAR@ FLoC, 17-33, 2018 | 1 | 2018 |
| Retaining Dafny specifications T Xiang, S McLaughlin, M Rapoport, N Rungta, M Schlaipfer, F Rabe US Patent 11,921,616, 2024 | | 2024 |
| Transitioning legacy software to be provably correct S McLaughlin, T Xiang, M Schlaipfer, N Rungta, S Tasiran, JB Cook, ... US Patent 11,797,317, 2023 | | 2023 |
| Resource state validation of access management policies UR Pugalia, S McLaughlin, N Rungta, AJ Gacek, M Schlaipfer, JM Renner, ... US Patent 11,777,995, 2023 | | 2023 |
Georg WeissenbacherProfessor of Computer Science, TU WienVerified email at tuwien.ac.at
