| Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models. V Svátek, M Homola, J Kluka, M Vacura OWLED 1080, 2013 | 28 | 2013 |
| Typed higher-order variant of SROIQ-why not? M Homola, J Kluka, V Svátek, M Vacura Description Logics, 567-578, 2014 | 20 | 2014 |
| Mapping structural design patterns in OWL to ontological background models V Svátek, M Homola, J Kluka, M Vacura Proceedings of the seventh international conference on Knowledge capture …, 2013 | 19 | 2013 |
| Towards Typed Higher-Order Description Logics M Homola, J Kl’uka, V Svátek, M Vacura 26th International Workshop on Description Logics (DL-2013), 2013 | 12 | 2013 |
| Expressive description logic with instantiation metamodelling P Kubincová, J Kľuka, M Homola Fifteenth International Conference on the Principles of Knowledge …, 2016 | 11 | 2016 |
| Towards Expressive Metamodelling with Instantiation P Kubincová, J Kl’uka, M Homola DL, 2015 | 9 | 2015 |
| Team workflow and peer review in a virtual learning environment M Homola, Z Kubincová, J Kl'uka, M Švolík, M Darjanin, P Zapalač 2017 16th International Conference on Information Technology Based Higher …, 2017 | 5 | 2017 |
| B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing V Svátek, S Serra, M Vacura, M Homola, J Kluka | 4 | 2014 |
| Ontological Distinctions for Linked Data Vocabularies V Svátek, M Homola, J Kl’uka, M Vacura Technical Report, online http://patomat. vse. cz/tr-odlv-2013. pdf, 2013 | 4 | 2013 |
| Knowledge-Based Dataset for Training PE Malware Detection Models P Švec, Š Balogh, M Homola, J Kľuka arXiv preprint arXiv:2301.00153, 2022 | 1 | 2022 |
| Patterns for Referring to Multiple Indirectly Specified Objects (MISO): Analysis and Guidelines. V Svátek, J Kluka, M Vacura, M Homola, M Dudás WOP (Book), 1-24, 2021 | 1 | 2021 |
| Timing the adaptive learning process with events ontology M Homola, J Kl’uka, Z Kubincová, P Marmanová, M Cifra Advances in Web-Based Learning–ICWL 2019: 18th International Conference …, 2019 | 1 | 2019 |
| Pattern Alternatives for Referring to Multiple Indirectly Specified Objects. V Svátek, J Kluka, M Vacura, M Homola WOP@ ISWC, 2017 | 1 | 2017 |
| Referring to multiple unspecified objects of a type: multi-instance fact pattern family V Svátek, M Homola, J Kl’uka, M Vacura Submitted to Semantic Web Journal, 2014 | 1* | 2014 |
| Towards Conceptual Structure Verification of Linked Data Vocabularies V Svátek, M Vacura, M Homola, J Kl’uka | 1 | 2012 |
| A Simple Semantics for Destructive Updates J Kluka ESSLLI Student Session, 127, 2003 | 1* | 2003 |
| Educational Code-Review Tool: A First Glimpse Z Kubincová, J Kl’uka, M Homola, A Marušák Methodologies and Intelligent Systems for Technology Enhanced Learning, 12th …, 2022 | | 2022 |
| Towards higher-order OWL M Homola, J Kľuka, P Hozzová, V Svátek, M Vacura KI-Künstliche Intelligenz 34 (3), 417-421, 2020 | | 2020 |
| First-and Second-Order Models of Recursive Arithmetics J Kľuka, PJ Voda arXiv preprint arXiv:1705.05459, 2017 | | 2017 |
| Modular programming and verification in second-order arithmetic J Kľuka Comenius University in Bratislava, 2010 | | 2010 |
Martin HomolaComenius University in BratislavaVerified email at fmph.uniba.sk
