Research output per year
Research output per year
Fingerprint
Dive into the research topics where Oliver Emil Bøving is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Securing the Foundations of an Intermediate Language for Probabilistic Program Verification
Bøving, O. & Matheja, C., 2026, Proceedings of the 17th International Conference on Interactive Theorem Proving (ITP 2026) . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 382. 21 p. (Leibniz International Proceedings in Informatics, LIPIcs).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile7 Downloads (Orbit) -
Weighted NetKAT: A Programming Language for Quantitative Network Verification
Suárez Acevedo, E., Ferreira, T., Batz, K., Bøving, O., Foster, N. & Silva, A., 2026, In: Proceedings of the ACM on Programming Languages. 10, 24 p., 240.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile7 Downloads (Orbit)
Projects
- 1 Active
-
Automated Reasoning about Randomized Algorithms
Bøving, O. E. (PhD Student), Matheja, C. (Main Supervisor) & Lluch Lafuente, A. (Supervisor)
01/11/2023 → 31/10/2026
Project: PhD