Vahur Kotkas

Orcid: 0000-0003-2776-6033

According to our database1, Vahur Kotkas authored at least 12 papers between 2000 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Threat Modeling of Cyber-Physical Systems - A Case Study of a Microgrid System.
Comput. Secur., 2023

2016
Ontology-Based Customization of a Scheduling System for Discrete Manufacturing.
Proceedings of the Databases and Information Systems IX, 2016

2015
Ontology-Based Integration of Software Artefacts for DSL Development.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Workshops, 2015

2013
A Model-based Software Technology Proposal.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Developing a Lean Mass Customization Based Manufacturing.
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

2011
CoCoViLa as a multifunctional simulation platform.
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

2006
Preconditions for Structural Synthesis of Programs.
Proceedings of the Perspectives of Systems Informatics, 2006

2003
Synthesis of Distributed Programs.
Proceedings of the Eighth Symposium on Programming Languages and Software Tools, 2003

2002
A distributed program synthesizer.
Acta Cybern., 2002

2001
Automated Program Synthesis for Java Programming Language.
Proceedings of the Perspectives of System Informatics, 2001

2000
The Cash-Point Service in NUT.
Formal Aspects Comput., 2000

CAD Problem Solving and Technical Systems Modelling Using the AI Programming Environments.
Proceedings of the Information Modelling and Knowledge Bases XII: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, 2000


  Loading...