Vahur Kotkas

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 3

Top Topics

Mass Customization

Technical Infrastructure

Computer Hardware

Ontology Based Semantic

Top Venues

Publications

Shaymaa Mamdouh Khalil, Hayretdin Bahsi, Henry Ochieng' Dola, Tarmo Korõtko, Kieran McLaughlin, Vahur Kotkas
Threat Modeling of Cyber-Physical Systems - A Case Study of a Microgrid System. Comput. Secur. 124 (2023)
Jelena Sanko, Hele-Mai Haav, Vahur Kotkas
Ontology-Based Customization of a Scheduling System for Discrete Manufacturing. DB&IS (Selected Papers) (2016)
Hele-Mai Haav, Andres Ojamaa, Pavel Grigorenko, Vahur Kotkas
Ontology-Based Integration of Software Artefacts for DSL Development. OTM Workshops (2015)
Andres Ojamaa, Vahur Kotkas, Margarita Spichakova, Jaan Penjam
Developing a Lean Mass Customization Based Manufacturing. CSE (2013)
Vahur Kotkas, Jaan Penjam, Ahto Kalja, Enn Tyugu
A Model-based Software Technology Proposal. MODELSWARD (2013)
Vahur Kotkas, Andres Ojamaa, Pavel Grigorenko, Riina Maigre, Mait Harf, Enn Tyugu
CoCoViLa as a multifunctional simulation platform. SimuTools (2011)
Vahur Kotkas
Preconditions for Structural Synthesis of Programs. Ershov Memorial Conference (2006)
Vahur Kotkas
Synthesis of Distributed Programs. SPLST (2003)
Vahur Kotkas
A distributed program synthesizer. Acta Cybern. 15 (4) (2002)
Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu
Automated Program Synthesis for Java Programming Language. Ershov Memorial Conference (2001)
Ahto Kalja, Vahur Kotkas, Tiit Tiidemann
CAD Problem Solving and Technical Systems Modelling Using the AI Programming Environments. EJC (2000)
Vahur Kotkas, Peep Küngas, Mait Harf
The Cash-Point Service in NUT. Formal Aspects Comput. 12 (4) (2000)