Issue Date | Title | Author(s) | Type | Access Type |
Sep-2017 | Applying differential dynamic logic to reconfigurable biological networks | Figueiredo, Daniel; Martins, Manuel A.; Chaves, Madalena | article | |
22-Sep-2017 | Bisimulation for reactive frames | Figueiredo, Daniel; Martins, Manuel A. | conferenceObject | |
Mar-2020 | Boolean dynamics revisited through feedback interconnections | Chaves, Madalena; Figueiredo, Daniel; Martins, Manuel A. | article | |
1-Dec-2021 | Boron doped diamond for real-time wireless cutting temperature monitoring of diamond coated carbide tools | Pratas, Sérgio; Silva, Eduardo L.; Neto, Miguel A.; Fernandes, Cristina M.; Fernandes, António J. S.; Figueiredo, Daniel; Silva, Rui F. | article | |
Jun-2023 | idDL2DL – interval syntax to dL | Santos, Jaime; Figueiredo, Daniel; Madeira, Alexandre | bookPart | |
May-2021 | Introducing fuzzy reactive graphs: a simple application on biology | Santiago, Regivan; Martins, Manuel A.; Figueiredo, Daniel | article | |
2021 | Introducing interval differential dynamic logic | Figueiredo, Daniel | bookPart | |
1-Apr-2022 | Introduction to reversal fuzzy switch graph | Campos, Suene; Santiago, Regivan; Martins, Manuel A.; Figueiredo, Daniel | article | |
2-Jun-2021 | Multilayer diamond coatings applied to micro-end-milling of cemented carbide | Silva, Eduardo L.; Pratas, Sérgio; Neto, Miguel A.; Fernandes, Cristina M.; Figueiredo, Daniel; Silva, Rui F. | article | |
2018 | A note on reactive transitions and Reo connectors | Figueiredo, Daniel; Martins, Manuel A.; Barbosa, Luís Soares | bookPart | |
9-Mar-2023 | Performance of Aptima-HPV in the cervical cancer screening program of Portugal: a cost-analysis | Figueiredo, Daniel; Ribeiro, Inês; Penedones, Ana; Mendes, Diogo; Alves, Carlos; Batel-Marques, Francisco; Silva, Daniel Pereira da | article | |
2019 | Reactive models for biological regulatory networks | Figueiredo, Daniel; Barbosa, Luís Soares | bookPart | |
2016 | Relating bisimulations with attractors in boolean network models | Figueiredo, Daniel | bookPart | |
15-Mar-2023 | Relation-changing models meet paraconsistency | Costa, Diana; Figueiredo, Daniel; Martins, Manuel A. | article | |
19-Nov-2020 | Reversal Fuzzy Switch Graphs | Campos, Suene; Santiago, Regivan; Martins, Manuel A.; Figueiredo, Daniel | article | |
2019 | rPrism: a software for reactive weighted state transition models | Figueiredo, Daniel; Rocha, Eugénio; Martins, Manuel A.; Chaves, Madalena | bookPart | |