An Institutional Foundation for the K Semantic Framework. - Claudia Elena Chirita; Traian-Florin Serbanuta (WADT, 2014)

Many-Valued Institutions for Constraint Specification. - Claudia Elena Chirita; José Luiz Fiadeiro; Fernando Orejas (FASE, 2016)

Free Jazz in the Land of Algebraic Improvisation. - Claudia Elena Chirita; José Luiz Fiadeiro (ICCC, 2016)

Logics and reasoning for computational creativity. - Claudia Elena Chirita (2018)

Logical Support for Bike-Sharing System Design. - Ionut Tutu; Claudia Elena Chirita; Antónia Lopes; José Luiz Fiadeiro (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Dynamic Reconfiguration via Typed Modalities. - Ionut Tutu; Claudia Elena Chirita; José Luiz Fiadeiro (FM, 2021)