Structured Specification of Paraconsistent Transition Systems. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (FSEN, 2023)

Stepwise Development of Paraconsistent Processes. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (TASE, 2023)

Paraconsistent Reactive Graphs. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (SEFM, 2024)

Paraconsistent Relations as a Variant of Kleene Algebras. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (LSFA, 2024)

Specification of paraconsistent transition systems, revisited. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (Sci. Comput. Program., 2025)