We stand with Ukraine  

Juliana Cunha

Orcid: 0009-0002-5385-9858

According to our database1, Juliana Cunha authored at least 5 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Specification of paraconsistent transition systems, revisited.
[BibTeX]
[DOI]
Juliana Cunha
,
Alexandre Madeira
,
Luís Soares Barbosa
Sci. Comput. Program., 2025

2024
Paraconsistent Relations as a Variant of Kleene Algebras.
[BibTeX]
[DOI]
Juliana Cunha
,
Alexandre Madeira
,
Luís Soares Barbosa
Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, June, 2024

Paraconsistent Reactive Graphs.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Juliana Cunha
,
Alexandre Madeira
,
Luís Soares Barbosa
Proceedings of the Theoretical Aspects of Software Engineering, 2023

Structured Specification of Paraconsistent Transition Systems.
[BibTeX]
[DOI]
Juliana Cunha
,
Alexandre Madeira
,
Luís Soares Barbosa
Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023


  Loading...