Statistics
Publications
8
Citations
116
H-Index
8
Active since
2014
Affiliations
David Carral is an author at Technische Universität Dresden specializing in computing, computer science, and knowledge representation.
Publications per year
2014–2022
8
8
An ontology design pattern for activity reasoning
Amin Abdalla, Yingjie Hu, David Carral et al. · 2014 · 18 citations
Computing, Information Systems, Information Architecture +16
Deciding Hyperproperties Combined with Functional Specifications
Raven Beutner, David Carral, Bernd Finkbeiner et al. · 2022 · 13 citations · Full text
1–5 of 8