Scholar

Anja Petković Komel

Google Scholar ID: 9Qas1O4AAAAJ

PostDoc, Vienna university of technology

type theorylogichomotopy type theory

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

41

H-index

4

i10-index

2

Publications

15

Co-authors

0

Contact

No contact links provided.

Publications

2 items

act: Technical report

2026

Cited

0

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)