• CAD problem solving and technical systems modelling using the AI programming environmentsKalja, Ahto; Kotkas, Vahur; Tiidemann, TiitProceedings of the 10th European-Japanese Conference on Information Modelling and Knowledgfe Bases2000 / p. 284-290
• CAD problem solving and technical systems modelling using the AI programming environmentsKalja, Ahto; Kotkas, Vahur; Tiidemann, TiitInformation Modelling and Knowledge Bases XII2001 / p. 284-290 https://www.researchgate.net/publication/221013967_CAD_Problem_Solving_and_Technical_Systems_Modelling_Using_the_AI_Programming_Environments
• Ontology-based customization of a scheduling system for discrete manufacturingSanko, Jelena; Haav, Hele-Mai; Kotkas, VahurDatabases and information systems IX : selected papers from the twelfth International Baltic Conference, DB&IS 20162016 / p. 57-70 : ill https://doi.org/10.3233/978-1-61499-714-6-57 https://www.scopus.com/sourceid/19500157321 https://www.scopus.com/record/display.uri?eid=2-s2.0-85047537148&origin=inward&txGid=e8891aa7d1aca79bd478b0e60f25d941 https://www.webofscience.com/wos/woscc/full-record/WOS:000390305200005
• Ontology-based integration of software artefacts for DSL developmentHaav, Hele-Mai; Ojamaa, Andres; Grigorenko, Pavel; Kotkas, VahurOn the Move to Meaningful Internet Systems: OTM 2015 WorkshopsConfederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings2015 / p. 309 - 318 https://doi.org/10.1007/978-3-319-26138-6_34 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84951186292&origin=inward&txGid=d7957089fb9c21fbb7435d8066f35964 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000374099700034
• Ontology-driven scheduling system for manufacturingSanko, Jelena; Kotkas, VahurBaltic journal of modern computing2016 / p. 508-522 : ill
• Propositional logic for program synthesisKotkas, VahurTenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 20052005 / [1 p.]. (Student talks and posters 2005 (abstracts))
• Structural synthesis of programs with preconditionsKotkas, VahurProceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 20052005 / p. 70-81 : ill
• TalTechi teadlaste loodud tehisintellektsüsteem muudab laokaupade liigutamise lihtsamaks, efektiivsemaks ja turvalisemaksari.geenius.ee2023 https://ari.geenius.ee/blogi/taltechi-blogi/taltechi-teadlaste-loodud-tehisintellektsusteem-muudab-laokaupade-liigutamise-lihtsamaks-efektiivsemaks-ja-turvalisemaks/
• Threat modeling of cyber-physical systems - a case study of a microgrid systemKhalil, Shaymaa Mamdouh; Bahsi, Hayretdin; Dola, Henry Ochieng; Korõtko, Tarmo; McLaughlin, Kieran; Kotkas, VahurComputers & Security2023 / art. 102950, 16 p. : ill https://doi.org/10.1016/j.cose.2022.102950 https://www.scopus.com/sourceid/28898 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140931938&origin=inward&txGid=37172c6cbc1747dcdd08671bee7a1cbf https://jcr.clarivate.com/jcr-jp/journal-profile?journal=COMPUT%20SECUR&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000882529500006