Tiago F. Sequeira

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Clause Learning

Temporal Properties

Top Venues

J. Comput. Neurosci.

Int. J. Softw. Tools Technol. Transf.

J. Open Source Softw.

Publications

André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
Monitoring of spatio-temporal properties with nonlinear SAT solvers. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Tiago F. Sequeira, Pedro Miguel Lima
Numerical simulations of one- and two-dimensional stochastic neural field equations with delay. J. Comput. Neurosci. 50 (3) (2022)
André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. FMICS (2022)
Tiago F. Sequeira
NeuralFieldEq.jl: A flexible solver to compute Neural Field Equations in several scenarios. J. Open Source Softw. 7 (75) (2022)