Miss Claudia-Elena Chirita

  1. 2019
  2. Forthcoming

    Logical Support for Bike-Sharing System Design

    Tutu, I., Chirita, C-E., Lopes, A. & Fiadeiro, J. L., 19 Jun 2019, (Accepted/In press) From Software Engineering to Formal Methods and Tools, and Back. Springer

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

  3. 2018
  4. Unpublished

    Logics and reasoning for computational creativity

    Chirita, C-E., 2018, (Unpublished) 146 p.

    Research output: ThesisDoctoral Thesis

  5. 2016
  6. Forthcoming

    Creative Processes in Service-Oriented Computing

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

    Research output: Contribution to conferenceAbstract

  7. 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

  8. 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

  9. 2015
  10. 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

  11. 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

  12. 2014
  13. Published

    An Institutional Foundation for the K Semantic Framework

    Chirita, C-E., 2014

    Research output: ThesisMaster's Thesis