
views: 81
Nikolai Kosmatov
Sign in to view more

Ego Network
D-Core
Research Interests
Author Statistics
Experience
Sign in to view more
Education
Sign in to view more
Bio
None
Papers67 papers
Sort
By YearBy Citation
International Journal on Software Tools for Technology Transfer, (2020)
TAP@STAF, pp.100-121, (2020)
ACM SIGAda Ada Letters, no. 2 (2019): 97-108
IFM, pp.175-193, (2019)
ACM Transactions on Applied Perception, pp.167-185, (2019)
SAC, pp.2186-2195, (2019)
FASE, pp.369-385, (2019)
Formal Asp. Comput., no. 1 (2018): 107-131
TAP, pp.44-62, (2018)
arXiv: Software Engineering, (2018)
Formal Asp. Comput., no. 6 (2018): 629-657
SecDev, pp.126-127, (2018)
HPCS, pp.21-30, (2018)
ISoLA, pp.104-120, (2018)
ICSE, pp.456-467, (2018)
TAP, pp.139-156, (2018)
TAP, pp.177-184, (2018)
FASE, pp.207-224, (2018)
NFM, pp.37-53, (2018)
EWSN, pp.264-269, (2018)
View All