20192019
If you made any changes in Pure these will be visible here soon.

Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Fingerprint Dive into the research topics where Petar Vukmirovic is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Higher-order Logic Mathematics
Higher Order Mathematics
Equivalence classes Engineering & Materials Science
Superposition Mathematics
Calculus Mathematics
Software architecture Engineering & Materials Science
Data structures Engineering & Materials Science
Algorithms and Data Structures Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2019 2019

  • 3 Conference contribution

Extending a brainiac prover to lambda-free higher-order logic

Vukmirović, P., Blanchette, J. C., Cruanes, S. & Schulz, S., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings - Part 1. Zhang, L. & Vojnar, T. (eds.). Springer Verlag, Vol. 1. p. 192-210 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Higher-order Logic
Data structures
Algorithms and Data Structures
Higher Order
Theorem proving

Faster, Higher, Stronger: E 2.3

Schulz, S., Cruanes, S. & Vukmirovic, P., 2019, Automated Deduction - CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. Fontaine, P. (ed.). Springer, p. 495-507 13 p. (Lecture Notes in Computer Science book series (LNCS); vol. 11716).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Software architecture

Superposition with lambdas

Bentkamp, A., Blanchette, J., Tourret, S., Vukmirović, P. & Waldmann, U., 2019, Automated Deduction – CADE 2019: 27th International Conference on Automated Deduction, Proceedings. Fontaine, P. (ed.). Springer, p. 55-73 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11716 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Equivalence classes
Superposition
Calculus
Higher Order
Higher-order Logic