Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 44
| Issue Date | Title | Author(s) | Type | Access Type |
| 2025 | An exercise in uppaal: modelling the circadian clock of a cyanobacteria | Iglesias, Antonio; Figueiredo, Daniel; Madeira, Alexandre | bookPart |  |
| 2025 | Adding concurrency to quantum dynamic logic | Jain, Manisha; Fernandes, Vitor; Madeira, Alexandre | article | |
| 2025 | Lattices for many-logics modal logic: constructions and representations | Freire, Alfredo; Madeira, Alexandre; Martins, Manuel A. | bookPart |  |
| 2023 | The Role of Communication on the Spread of Dengue: An Optimal Control Simulation | Brito da Cruz, Artur M. C.; Rodrigues, Helena Sofia | bookPart | |
| 8-Sep-2024 | Reactive graphs in action | Tinoco, David; Madeira, Alexandre; Martins, Manuel A.; Proença, José | bookPart | |
| Jul-2024 | A convolutional variant of the Niederreiter cryptosystem with GRS codes | Almeida, Paulo; Beltrá, Miguel; Napp, Diego | bookPart | |
| 2023 | Interdisciplinary approaches: exploring the fusion of mathematics, art, and culture in a professional development course for mathematics teachers | Breda, A.; Carvalho, P.; Hall, A. | bookPart |  |
| 2023 | Perceiving needs felt by the Portuguese community with vision impairment | Monteiro, Iara; Breda, Ana; Duarte, Rui | bookPart | |
| 2023 | Math pathways emerging from Design Thinking methodology | Costa, Helena; Breda, Ana; Neto, Teresa | bookPart | |
| 27-Jun-2023 | Stepwise development of paraconsistent processes | Cunha, Juliana; Madeira, Alexandre; Barbosa, Luís Soares | bookPart | |
| Jun-2023 | idDL2DL – interval syntax to dL | Santos, Jaime; Figueiredo, Daniel; Madeira, Alexandre | bookPart | |
| 21-Apr-2023 | Kantorovich functors and characteristic logics for behavioural distances | Goncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schröder, Lutz; Wild, Paul | bookPart | |
| 2023 | Mathematics and emotions: an unlikely connection | Cruz, C.; Breda, A. | bookPart | |
| 2023 | Soft skills in math: non-formal learning contexts | Breda, A.; Cruz, C. | bookPart | |
| 2023 | Relating Kleene algebras with pseudo uninorms | Bedregal, Benjamin; Santiago, Regivan; Madeira, Alexandre; Martins, Manuel A. | bookPart | |
| 14-Apr-2022 | A logic for paraconsistent transition systems | Cruz, Ana; Madeira, Alexandre; Barbosa, Luís Soares | article | |
| 2021 | Introducing interval differential dynamic logic | Figueiredo, Daniel | bookPart | |
| 2019 | Packing of R3 by crosses | Cruz, Catarina M. N.; Breda, Ana M. D'Azevedo | bookPart | |
| 2021 | Adding proof calculi to epistemic logics with structured knowledge | Benevides, Mario; Madeira, Alexandre; Martins, Manuel A. | bookPart | |
| Dec-2021 | Abordagens interdisciplinares: contexto pandemia COVID-19 | Breda, Ana Maria Reis d’Azevedo; Cruz, Catarina Maria Neto da | bookPart | |
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 44
