Claudia Elena Chirita

According to our database, Claudia Elena Chirita authored at least 6 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Dynamic Reconfiguration via Typed Modalities.

Ionut Tutu, Claudia Elena Chirita, José Luiz Fiadeiro

Proceedings of the Formal Methods - 24th International Symposium, 2021

2019

Logical Support for Bike-Sharing System Design.

Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Logics and reasoning for computational creativity.

Claudia Elena Chirita

PhD thesis, 2018

2016

Free Jazz in the Land of Algebraic Improvisation.

Claudia Elena Chirita, José Luiz Fiadeiro

Proceedings of the Seventh International Conference on Computational Creativity, 2016

Many-Valued Institutions for Constraint Specification.

Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2014

An Institutional Foundation for the K Semantic Framework.

Claudia Elena Chirita, Traian-Florin Serbanuta

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014