Relating Bisimulations with Attractors in Boolean Network Models. - Daniel Figueiredo 001 (AlCoB, 2016)

A Note on Reactive Transitions and Reo Connectors. - Daniel Figueiredo 001; Manuel A. Martins 001; Luís Soares Barbosa (It's All About Coordination, 2018)

Reactive Models for Biological Regulatory Networks. - Daniel Figueiredo 001; Luís Soares Barbosa (MLCSB, 2018)

rPrism - A Software for Reactive Weighted State Transition Models. - Daniel Figueiredo 001; Eugénio Rocha; Manuel António Martins; Madalena Chaves (HSB, 2019)

Reversal Fuzzy Switch Graphs. - Suene Campos; Regivan H. N. Santiago; Manuel A. Martins 001; Daniel Figueiredo 001 (SBMF, 2020)

Boolean dynamics revisited through feedback interconnections. - Madalena Chaves; Daniel Figueiredo 001; Manuel A. Martins 001 (Nat. Comput., 2020)

Introducing Interval Differential Dynamic Logic. - Daniel Figueiredo 001 (FSEN, 2021)

Introducing fuzzy reactive graphs: a simple application on biology. - Regivan H. N. Santiago; Manuel A. Martins 001; Daniel Figueiredo 001 (Soft Comput., 2021)

Introduction to reversal fuzzy switch graph. - Suene Campos; Regivan H. N. Santiago; Manuel A. Martins 001; Daniel Figueiredo 001 (Sci. Comput. Program., 2022)

idDL2DL - Interval Syntax to dℒ. - Jaime Santos; Daniel Figueiredo 001; Alexandre Madeira (TASE, 2023)

Relation-changing models meet paraconsistency. - Diana Costa 001; Daniel Figueiredo 001; Manuel A. Martins 001 (J. Log. Algebraic Methods Program., 2023)

Aggregation-based operations for reversal fuzzy switch graphs. - Suene Campos; Regivan H. N. Santiago; Manuel A. Martins 001; Daniel Figueiredo 001 (Fuzzy Sets Syst., 2023)

Binders for Switch Graphs Specification. - Daniel Figueiredo 001; Alexandre Madeira (SEFM, 2024)

Graded Relation Updates in Modal Logic. - Raul Fervari; Daniel Figueiredo 001; Manuel A. Martins 001 (WoLLIC, 2025)