Posts by Collection

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

First Steps in a Paraconsistent Transition Systems Toolkit

Published in Theoretical Aspects of Software Engineering (TASE), 2026

Recommended citation: Alves, Rodrigo, Cunha, Juliana, Madeira, Alexandre. (2027). "First Steps in a Paraconsistent Transition Systems Toolkit." Theoretical Aspects of Software Engineering, pp. 368--385, Springer Nature Switzerland.
Download Paper

Symmetries of the Helmholtz Equation Permalink

Published: November 01, 2024

An Interface to Modal and Reason with Many-Logics Modal Logic Permalink

Published: January 01, 2025

Topological Data Analysis: Because your data has more shape than you think Permalink

Published: March 01, 2025

The category of many-logics modal logic models Permalink

Published: January 01, 2026

First Steps in a Paraconsistent Transition Systems Toolkit Permalink

Published: April 01, 2026

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.