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

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 http://dx.doi.org/10.3233/978-1-61499-714-6-57

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 TalTechi teadlaste loodud tehisintellektsüsteem 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