Miss Claudia-Elena Chirita

  1. 2016
  2. Forthcoming

    Creative Processes in Service-Oriented Computing

    Chirita, C-E. & Luiz Fiadeiro, J. Jul 2016

    Research output: Contribution to conferenceAbstract

  3. Forthcoming

    Free Jazz in the Land of Algebraic Improvisation

    Chirita, C-E. & Luiz Fiadeiro, J. May 2016 8 p.

    Research output: Contribution to conferencePaper

  4. Published

    Many-valued Institutions for Constraint Specification

    Chirita, C-E., Luiz Fiadeiro, J. & Orejas, F. 2016 Fundamental Approaches to Software Engineering. Stevens, P. & Wasowski, A. (eds.). Berlin: Springer, Vol. 9633, p. 359-376 17 p. (Lecture Notes in Computer Science; vol. 9633)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. 2015
  6. Published

    An Institutional Foundation for the K Semantic Framework

    Chirita, C-E. & Serbanuta, T. F. 30 Dec 2015 In : Lecture Notes in Computer Science. 9463, p. 9-29 21 p.

    Research output: Contribution to journalArticle

  7. Published

    Hues of Satisfaction: Many-valued Institutions for Constraint Specification

    Chirita, C-E., Fiadeiro, J. L. & Orejas, F. 2015 2 p.

    Research output: Contribution to conferenceAbstract

  8. 2014
  9. Published

    An Institutional Foundation for the K Semantic Framework

    Chirita, C-E. 2014

    Research output: ThesisMaster's Thesis