Juliana Cunha

According to our database, Juliana Cunha authored at least 6 papers between 2023 and 2025.

Collaborative distances:

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

2025

Specification of paraconsistent transition systems, revisited.

Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa

Sci. Comput. Program., 2025

Paraconsistent transition structures: compositional principles and a modal logic.

Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa

Math. Struct. Comput. Sci., 2025

2024

Paraconsistent Relations as a Variant of Kleene Algebras.

Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, June, 2024

Paraconsistent Reactive Graphs.

Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops, 2024

2023

Stepwise Development of Paraconsistent Processes.

Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Structured Specification of Paraconsistent Transition Systems.

Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023