| Faster, higher, stronger: E 2.3 S Schulz, S Cruanes, P Vukmirović Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019 | 177 | 2019 |
| Assessing the impact of service workers on the energy efficiency of progressive web apps I Malavolta, G Procaccianti, P Noorland, P Vukmirovic 2017 IEEE/ACM 4th International Conference on Mobile Software Engineering …, 2017 | 90 | 2017 |
| Superposition with lambdas A Bentkamp, J Blanchette, S Tourret, P Vukmirović, U Waldmann Journal of Automated Reasoning 65 (7), 893-940, 2021 | 56 | 2021 |
| Extending a brainiac prover to lambda-free higher-order logic P Vukmirović, J Blanchette, S Cruanes, S Schulz International Journal on Software Tools for Technology Transfer 24 (1), 67-87, 2022 | 50 | 2022 |
| Making Higher-Order Superposition Work. P Vukmirovic, A Bentkamp, J Blanchette, S Cruanes, V Nummelin, ... CADE, 415-432, 2021 | 37 | 2021 |
| Seventeen provers under the hammer M Desharnais, P Vukmirović, J Blanchette, M Wenzel 13th International Conference on Interactive Theorem Proving-ITP 2022, 2022 | 33 | 2022 |
| Efficient full higher-order unification P Vukmirović, A Bentkamp, V Nummelin Logical Methods in Computer Science 17, 2021 | 30 | 2021 |
| Superposition for Full Higher-order Logic. A Bentkamp, J Blanchette, S Tourret, P Vukmirovic CADE, 396-412, 2021 | 29 | 2021 |
| Boolean Reasoning in a Higher-Order Superposition Prover. P Vukmirovic, V Nummelin PAAR+ SC²@ IJCAR, 148-166, 2020 | 24 | 2020 |
| Superposition for higher-order logic A Bentkamp, J Blanchette, S Tourret, P Vukmirović Journal of Automated Reasoning 67 (1), 10, 2023 | 20 | 2023 |
| Assessing the impact of service workers on the energy efficiency of progressive web apps. In 2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and … I Malavolta, G Procaccianti, P Noorland, P Vukmirovic IEEE, 35ś45, 2017 | 16 | 2017 |
| Superposition with First-class Booleans and Inprocessing Clausification. V Nummelin, A Bentkamp, S Tourret, P Vukmirovic CADE, 378-395, 2021 | 15 | 2021 |
| Extending a high-performance prover to higher-order logic P Vukmirović, J Blanchette, S Schulz International Conference on Tools and Algorithms for the Construction and …, 2023 | 13 | 2023 |
| Mechanical mathematicians A Bentkamp, J Blanchette, V Nummelin, S Tourret, P Vukmirović, ... Communications of the ACM 66 (4), 80-90, 2023 | 10 | 2023 |
| Implementation of lambda-free higher-order superposition P Vukmirovic AITP 2018, 2018 | 7 | 2018 |
| Superposition with first-class Booleans and inprocessing clausification (technical report) V Nummelin, A Bentkamp, S Tourret, P Vukmirović Technical report, 2021. https://matryoshka-project. github. io/pubs …, 2021 | 5 | 2021 |
| Superposition with lambdas (technical report) A Bentkamp, J Blanchette, S Tourret, P Vukmirović, U Waldmann Technical report, 2019 | 4 | 2019 |
| SAT-inspired eliminations for superposition P Vukmirović, J Blanchette, MJH Heule ACM Transactions on Computational Logic 24 (1), 1-25, 2023 | 3 | 2023 |
| Superposition for full higherorder logic (technical report) A Bentkamp, JC Blanchette, S Tourret, P Vukmirovic Technical report, 2021 | 3 | 2021 |
| Extending a brainiac prover to lambda-free higher-order logic (technical report) P Vukmirović, JC Blanchette, S Cruanes, S Schulz Technical Report. http://matryoshka. gforge. inria. fr/pubs/ehoh_report. pdf, 2018 | 3 | 2018 |
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
