Miss Claudia-Elena Chirita

  1. 2016
  2. Forthcoming

    Creative Processes in Service-Oriented Computing

    Chirita, C-E. & Luiz Fiadeiro, J., Jul 2016, (Accepted/In press)

    Research output: Contribution to conferenceAbstract

  3. Forthcoming

    Free Jazz in the Land of Algebraic Improvisation

    Chirita, C-E. & Luiz Fiadeiro, J., May 2016, (Accepted/In press) 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 18 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