/
User Settings
P

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

16

Papers

69

Citations

5

h-index

2

i10-index

Petra Hozzová is an academic researcher from Czech Technical University in Prague. The author has contributed to research in topics: Logic, programming, and type systems & Formal Methods in Verification & Logic, Reasoning, and Knowledge. The author has an h-index of 5, co-authored 14 publications.

ORCID: 0000-0003-0845-5811

Research Topics

Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and KnowledgeSemantic Web and OntologiesGothic Literature and Media Analysis

Papers by this author

works

Research topics

topics

Chat about Author

Papers

Chat

Click to start Chat