7
Publications
216
Citations
7
H-Index
2004
Active since
Iovka Boneva is an author at Universidad de Oviedo specializing in engineering, automated reasoning, and formal verification.
Top concepts
EngineeringEnvironmentFormal MethodsSocial SciencesUser ExperienceComputer ScienceBuilt EnvironmentAutomated ReasoningFormal Verification
Publications per year
2004–2020
7
7
José Emilio Labra Gayo, Eric Prud’hommeaux, Iovka Boneva et al. · Synthesis lectures on the semantic web · 2017 · 59 citations · Full text
Validating RDF with Shape Expressions.
Iovka Boneva, José Emilio Labra Gayo, Samuel Hym et al. · arXiv (Cornell University) · 2014 · 23 citations · Full text
When ambients cannot be opened
Iovka Boneva, Jean-Marc Talbot · Theoretical Computer Science · 2004 · 21 citations
Rows per page
1–5 of 7