CAD Problem Solving and Technical Systems Modelling Using the AI Programming Environments. - Ahto Kalja; Vahur Kotkas; Tiit Tiidemann (EJC, 2000)

The Cash-Point Service in NUT. - Vahur Kotkas; Peep Küngas; Mait Harf (Formal Aspects Comput., 2000)

Automated Program Synthesis for Java Programming Language. - Mait Harf; Kristiina Kindel; Vahur Kotkas; Peep Küngas; Enn Tyugu (Ershov Memorial Conference, 2001)

A distributed program synthesizer. - Vahur Kotkas (Acta Cybern., 2002)

Synthesis of Distributed Programs. - Vahur Kotkas (SPLST, 2003)

Preconditions for Structural Synthesis of Programs. - Vahur Kotkas (Ershov Memorial Conference, 2006)

CoCoViLa as a multifunctional simulation platform. - Vahur Kotkas; Andres Ojamaa; Pavel Grigorenko; Riina Maigre; Mait Harf; Enn Tyugu (SimuTools, 2011)

Developing a Lean Mass Customization Based Manufacturing. - Andres Ojamaa; Vahur Kotkas; Margarita Spichakova; Jaan Penjam (CSE, 2013)

A Model-based Software Technology Proposal. - Vahur Kotkas; Jaan Penjam; Ahto Kalja; Enn Tyugu (MODELSWARD, 2013)

Ontology-Based Integration of Software Artefacts for DSL Development. - Hele-Mai Haav; Andres Ojamaa; Pavel Grigorenko; Vahur Kotkas (OTM Workshops, 2015)

Ontology-Based Customization of a Scheduling System for Discrete Manufacturing. - Jelena Sanko; Hele-Mai Haav; Vahur Kotkas (DB&IS (Selected Papers), 2016)

Threat Modeling of Cyber-Physical Systems - A Case Study of a Microgrid System. - Shaymaa Mamdouh Khalil; Hayretdin Bahsi; Henry Ochieng' Dola; Tarmo Korõtko; Kieran McLaughlin; Vahur Kotkas (Comput. Secur., 2023)