Research output per year
Research output per year
Fingerprint
Dive into the research topics where Thomas Ammer 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
Research output
- 2 Conference paper
-
A Formal Analysis of Algorithms for Matroids and Greedoids
Abdulaziz, M., Ammer, T., Meenakshisundaram, S. & Rimpapa, A., 23 May 2025, (Accepted/In press) The 16th International Conference on Interactive Theorem Proving.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile15 Downloads (Pure) -
A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows
Abdulaziz, M. & Ammer, T., 2 Sept 2024, 15th International Conference on Interactive Theorem Proving (ITP 2024). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl PublishingResearch output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile75 Downloads (Pure)