Daniel Figueiredo

According to our database, Daniel Figueiredo authored at least 12 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Aggregation-based operations for reversal fuzzy switch graphs.

Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo

Fuzzy Sets Syst., August, 2023

Relation-changing models meet paraconsistency.

Diana Costa, Daniel Figueiredo, Manuel A. Martins

J. Log. Algebraic Methods Program., June, 2023

idDL2DL - Interval Syntax to dℒ.

Jaime Santos, Daniel Figueiredo, Alexandre Madeira

Proceedings of the Theoretical Aspects of Software Engineering, 2023

2022

Introduction to reversal fuzzy switch graph.

Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo

Sci. Comput. Program., 2022

2021

Introducing fuzzy reactive graphs: a simple application on biology.

Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo

Soft Comput., 2021

Introducing Interval Differential Dynamic Logic.

Daniel Figueiredo

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020

Boolean dynamics revisited through feedback interconnections.

Madalena Chaves, Daniel Figueiredo, Manuel A. Martins

Nat. Comput., 2020

Reversal Fuzzy Switch Graphs.

Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

2019

rPrism - A Software for Reactive Weighted State Transition Models.

Daniel Figueiredo, Eugénio Rocha, Manuel António Martins, Madalena Chaves

Proceedings of the Hybrid Systems Biology - 6th International Workshop, 2019

2018

Reactive Models for Biological Regulatory Networks.

Daniel Figueiredo, Luís Soares Barbosa

Proceedings of the Molecular Logic and Computational Synthetic Biology, 2018

A Note on Reactive Transitions and Reo Connectors.

Daniel Figueiredo, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the It's All About Coordination, 2018

2016

Relating Bisimulations with Attractors in Boolean Network Models.

Daniel Figueiredo

Proceedings of the Algorithms for Computational Biology - Third International Conference, 2016