Get started
Author

Petar Vukmirović

Observed names: , Petar, Petar Vukmirovic, Vukmirovic, Petar, Vukmirović, Petar
ORCID: 0000-0001-7049-6847
Observed ORCID: 0000-0001-7049-6847
OpenAlex ID: A5089828576
Faster, Higher, Stronger: E 2.3
2019 · Stephan Schulz, Simon Cruanes, et al. · Lecture notes in computer science · 100
Assessing the Impact of Service Workers on the Energy Efficiency of Progressive Web Apps
2017 · Ivano Malavolta, Giuseppe Procaccianti, et al. · IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) · 56
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
2019 · Petar Vukmirović, Jasmin Christian Blanchette, et al. · Lecture notes in computer science · 25
PDF
Superposition with Lambdas
2019 · Alexander Bentkamp, Jasmin Blanchette, et al. · Lecture notes in computer science · 24
PDF
Making Higher-Order Superposition Work
2021 · Petar Vukmirović, Alexander Bentkamp, et al. · Lecture notes in computer science · 20
PDF
Extending a brainiac prover to lambda-free higher-order logic
2021 · Petar Vukmirović, Jasmin Blanchette, et al. · International Journal on Software Tools for Technology Transfer · 18
PDF
Superposition for Full Higher-order Logic
2021 · Alexander Bentkamp, Jasmin Blanchette, et al. · Lecture notes in computer science · 18
PDF
Superposition for Higher-Order Logic
2023 · Alexander Bentkamp, Jasmin Blanchette, et al. · Journal of Automated Reasoning · 14
PDF
Efficient Full Higher-Order Unification
2021 · Petar Vukmirović, Alexander Bentkamp, et al. · Logical Methods in Computer Science · 14
PDF
Superposition with Lambdas
2021 · Alexander Bentkamp, Jasmin Blanchette, et al. · Journal of Automated Reasoning · 13
PDF
Extending a High-Performance Prover to Higher-Order Logic
2023 · Petar Vukmirović, Jasmin Blanchette, et al. · Lecture notes in computer science · 12
PDF
Making Higher-Order Superposition Work
2022 · Petar Vukmirović, Alexander Bentkamp, et al. · Journal of Automated Reasoning · 11
Mechanical Mathematicians
2023 · Alexander Bentkamp, Jasmin Blanchette, et al. · Communications of the ACM · 9
Seventeen provers under the hammer
2022 · , Martin, , Petar, et al. · VU Research Portal · 7
PDF
Boolean reasoning in a higher-order superposition prover
2020 · Petar Vukmirović, Visa Nummelin · VU Research Portal · 7
Superposition with First-class Booleans and Inprocessing Clausification
2021 · Visa Nummelin, Alexander Bentkamp, et al. · Lecture notes in computer science · 6
PDF
SAT-Inspired Eliminations for Superposition
2022 · Petar Vukmirović, Jasmin Blanchette, et al. · ACM Transactions on Computational Logic · 3
PDF
Efficient Full Higher-Order Unification
2020 · Vukmirović, Petar, Bentkamp, Alexander, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2
PDF
SAT-Inspired Higher-Order Eliminations
2023 · Jasmin Blanchette, Petar Vukmirović · Logical Methods in Computer Science · 1
PDF
Superposition for Full Higher-Order Logic
2021 · Bentkamp, Alexander, Blanchette, Jasmin, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Superposition with Lambdas
2021 · Bentkamp, Alexander, Blanchette, Jasmin, et al. · arXiv (Cornell University) · 1
PDF
SAT-Inspired Higher-Order Eliminations
2022 · Blanchette, Jasmin, Vukmirović, Petar · Zenodo (CERN European Organization for Nuclear Research)
Extending a High-Performance Prover to Higher-Order Logic
2022 · Vukmirovic, Petar, Blanchette, Jasmin, et al. · Zenodo (CERN European Organization for Nuclear Research)
SAT-Inspired Eliminations for Superposition
2021 · Vukmirovic, Petar, Blanchette, Jasmin, et al. · HAL
Superposition with First-Class Booleans and Inprocessing Clausification
2021 · Nummelin, Visa, Bentkamp, Alexander, et al. · Figshare
Works count: 35
Citation count: 378
H-index: 11
I10-index: 13
Year
Topic
Type