Tiago F. Sequeira

According to our database¹, Tiago F. Sequeira authored at least 3 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Monitoring of spatio-temporal properties with nonlinear SAT solvers.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., April, 2024

2022

NeuralFieldEq.jl: A flexible solver to compute Neural Field Equations in several scenarios.

[BibT_eX]

[DOI]

J. Open Source Softw., 2022

Numerical simulations of one- and two-dimensional stochastic neural field equations with delay.

[BibT_eX]

[DOI]

J. Comput. Neurosci., 2022