Assessing the Impact of Service Workers on the Energy Efficiency of Progressive Web Apps. - Ivano Malavolta; Giuseppe Procaccianti; Paul Noorland; Petar Vukmirovic (MOBILESoft@ICSE, 2017)

Faster, Higher, Stronger: E 2.3. - Stephan Schulz 001; Simon Cruanes; Petar Vukmirovic (CADE, 2019)

Boolean Reasoning in a Higher-Order Superposition Prover. - Petar Vukmirovic; Visa Nummelin (PAAR+SC²@IJCAR, 2020)

Superposition for Full Higher-order Logic. - Alexander Bentkamp; Jasmin Blanchette; Sophie Tourret; Petar Vukmirovic (CADE, 2021)

Superposition with First-class Booleans and Inprocessing Clausification. - Visa Nummelin; Alexander Bentkamp; Sophie Tourret; Petar Vukmirovic (CADE, 2021)

Superposition with Lambdas. - Alexander Bentkamp; Jasmin Blanchette; Sophie Tourret; Petar Vukmirovic; Uwe Waldmann (J. Autom. Reason., 2021)

Efficient Full Higher-Order Unification. - Petar Vukmirovic; Alexander Bentkamp; Visa Nummelin (Log. Methods Comput. Sci., 2021)

SAT-Inspired Eliminations for Superposition. - Petar Vukmirovic; Jasmin Blanchette; Marijn J. H. Heule (Zenodo, 2021)

SAT-Inspired Eliminations for Superposition. - Petar Vukmirovic; Jasmin Blanchette; Marijn J. H. Heule (Zenodo, 2021)

Seventeen Provers Under the Hammer. - Martin Desharnais; Petar Vukmirovic; Jasmin Blanchette; Makarius Wenzel (ITP, 2022)

Making Higher-Order Superposition Work. - Petar Vukmirovic; Alexander Bentkamp; Jasmin Blanchette; Simon Cruanes; Visa Nummelin; Sophie Tourret (J. Autom. Reason., 2022)

Extending a brainiac prover to lambda-free higher-order logic. - Petar Vukmirovic; Jasmin Blanchette; Simon Cruanes; Stephan Schulz 001 (Int. J. Softw. Tools Technol. Transf., 2022)

Extending a High-Performance Prover to Higher-Order Logic. - Petar Vukmirovic; Jasmin Blanchette; Stephan Schulz 001 (TACAS (2), 2023)

Mechanical Mathematicians. - Alexander Bentkamp; Jasmin Blanchette; Visa Nummelin; Sophie Tourret; Petar Vukmirovic; Uwe Waldmann (Commun. ACM, 2023)

SAT-Inspired Higher-Order Eliminations. - Jasmin Blanchette; Petar Vukmirovic (Log. Methods Comput. Sci., 2023)

SAT-Inspired Eliminations for Superposition. - Petar Vukmirovic; Jasmin Blanchette; Marijn J. H. Heule (ACM Trans. Comput. Log., 2023)

Superposition for Higher-Order Logic. - Alexander Bentkamp; Jasmin Blanchette; Sophie Tourret; Petar Vukmirovic (J. Autom. Reason., 2023)