• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
19992021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Article in an anthology

Search results

  • 2008

    Computer-Supported Collaborative Learning with Mind-Maps

    Koznov, D. & Pliskin, M., 2008, ISoLA 2008, Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Greece). Springer Nature, p. 478-489

    Research output: Chapter in Book/Report/Conference proceedingArticle in an anthology

    13 Scopus citations
  • 2005

    REAL-IT: Model-Based User Interface Development Environment

    Ivanov, A. & Koznov, D., 2005, Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, 23-24 September 2005. P. 31-41..

    Research output: Chapter in Book/Report/Conference proceedingArticle in an anthology

  • 2004

    Round-trip engineering of reactive systems

    Koznov, D., Kartachev, M., Zvereva, V., Gagarsky, R. & Barsov, A., 2004, Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 30 October- 2 November 2004, Paphous, Cyprous, pp. 343-346..

    Research output: Chapter in Book/Report/Conference proceedingArticle in an anthology

  • 2002

    On Project-Specific Languages and Their Application in Reengineering.

    Boulychev, D., Koznov, D. & Terekhov, A. A., 2002, 6th European Conference on Software Maintenance and Reengineering (CSMR 2002), 11-13 March 2002, Budapest, Hungary, Proceedings. IEEE Computer Society 2002, pp. 177-185..

    Research output: Chapter in Book/Report/Conference proceedingArticle in an anthology

    4 Scopus citations