Petar Vukmirovic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
6
Active years
2017–2023
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | TACAS | Extending a High-Performance Prover to Higher-Order Logic. | Petar Vukmirovic, Jasmin Blanchette, Stephan Schulz |
| 2022 | ITP | Seventeen Provers Under the Hammer. | Martin Desharnais, Petar Vukmirovic, Jasmin Blanchette, Makarius Wenzel |
| 2021 | CADE | Superposition for Full Higher-order Logic. | Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic |
| 2021 | CADE | Superposition with First-class Booleans and Inprocessing Clausification. | Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic |
| 2021 | CADE | Making Higher-Order Superposition Work. | Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret |
| 2021 | FMCAD | SAT-Inspired Eliminations for Superposition. | Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule |
| 2020 | CADE | Boolean Reasoning in a Higher-Order Superposition Prover. | Petar Vukmirovic, Visa Nummelin |
| 2020 | FSCD | Efficient Full Higher-Order Unification. | Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin |
| 2019 | CADE | Faster, Higher, Stronger: E 2.3. | Stephan Schulz, Simon Cruanes, Petar Vukmirovic |
| 2019 | CADE | Superposition with Lambdas. | Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann |
| 2019 | TACAS | Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. | Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz |
| 2017 | ICSE | Assessing the Impact of Service Workers on the Energy Efficiency of Progressive Web Apps. | Ivano Malavolta, Giuseppe Procaccianti, Paul Noorland, Petar Vukmirovic |