Publications

2020

Herdeiro, C. A. R., & Oliveira, J. M. S. (2020).
On the inexistence of self-gravitating solitons in generalised axion electrodynamics.
Physics Letters B, 800, 135076.
https://doi.org/10.1016/j.physletb.2019.135076

Herdeiro, C. A. R., Oliveira, J. M. S., & Radu, E. (2020).
A class of solitons in Maxwell-scalar and Einstein–Maxwell-scalar models.
The European Physical Journal C, 80(1).
https://doi.org/10.1140/epjc/s10052-019-7583-9

Herdeiro, C. A. R., & Oliveira, J. M. S. (2020).
Electromagnetic dual Einstein-Maxwell-scalar models.
Journal of High Energy Physics, 2020(7).
https://doi.org/10.1007/jhep07(2020)130

Astefanesei, D., Herdeiro, C., Oliveira, J., & Radu, E. (2020).
Higher dimensional black hole scalarization.
Journal of High Energy Physics, 2020(9).
https://doi.org/10.1007/jhep09(2020)186

Lemos-Paião, A. P., Silva, C. J., & Torres, D. F. M. (2020).
A Survey on Sufficient Optimality Conditions for Delayed Optimal Control Problems.
In Studies in Systems, Decision and Control (pp. 323–342).
Springer International Publishing.
https://doi.org/10.1007/978-3-030-49896-2_12

Lemos-Paião, A. P., Silva, C. J., Torres, D. F. M., & Venturino, E. (2020).
Optimal Control of Aquatic Diseases: A Case Study of Yemen’s Cholera Outbreak.
Journal of Optimization Theory and Applications, 185(3), 1008–1030.
https://doi.org/10.1007/s10957-020-01668-z

2019

Costa, D., Martins, M. A. & Marcos, J. (2019)
On Herbrand’s Theorem for Hybrid Logic,
Journal of Applied Logics – IfCoLog Journal of Logics and their Applications, Vol.  6 (2), 209–228.
https://ria.ua.pt/bitstream/10773/25811/1/Herbrand.pdf

Herdeiro, C. A. R., & Oliveira, J. M. S. (2019).
On the inexistence of solitons in Einstein–Maxwell-scalar models.
Classical and Quantum Gravity, 36(10), 105015.
https://doi.org/10.1088/1361-6382/ab1859

Figueiredo, D., Rocha, E., Martins, M. A., & Chaves, M. (2019). rPrism – A Software for Reactive Weighted State Transition Models. Em Hybrid Systems Biology (pp. 165–174). Springer International Publishing. https://doi.org/10.1007/978-3-030-28042-0_11

Kostylenko, O., Rodrigues, H. S., & Torres, D. F. M. (2019).
The spread of a financial virus through Europe and beyond.
AIMS Mathematics, 4(1), 86–98.
https://doi.org/10.3934/math.2019.1.86

Kostylenko, O., Rodrigues, H. S., & Torres, D. F. M. (2019).
Parametric Identification of the Dynamics of Inter-Sectoral Balance: Modelling and Forecasting.
In Recent Advances in Modeling, Analysis and Systems Control:
Theoretical Aspects and Applications (pp. 133–143).
Springer International Publishing.
https://doi.org/10.1007/978-3-030-26149-8_11

Kostylenko, O., Rodrigues, H. S., & Torres, D. F. M. (2019).
The Risk of Contagion Spreading and its Optimal Control in the Economy.
Statistics, Optimization & Information Computing, 7(3).
https://doi.org/10.19139/soic.v7i3.833

Lemos-Paião, A. P., Silva, C. J., & Torres, D. F. M. (2019).
A sufficient optimality condition for delayed state-linear optimal control problems.
Discrete & Continuous Dynamical Systems – B, 24(5), 2293–2313.
https://doi.org/10.3934/dcdsb.2019096

Figueiredo, D., & Barbosa, L. S. (2019). Reactive Models for Biological Regulatory Networks. Em Molecular Logic and Computational Synthetic Biology (pp. 74–88). Springer International Publishing.
https://doi.org/10.1007/978-3-030-19432-1_5

Lemos-Paião, A. P., Silva, C. J., & Torres, D. F. M. (2019).
A sufficient optimality condition for non-linear delayed optimal control problems.
Pure and Applied Functional Analysis, 4(2), 345–361.
http://hdl.handle.net/10773/26233

2018

Costa, D., & Martins, M. A. (2018).
Measuring inconsistent diagnoses.
2018 IEEE 20th International Conference on E-Health Networking, Applications and Services (Healthcom).
https://doi.org/10.1109/healthcom.2018.8531146

Costa, D., & Martins, M. A. (2018)
Inconsistency Measures in Hybrid Logics,
in John Grant & Maria Vanina Martinez (Eds.),
Measuring Inconsistency in Information, pp. 169-194,
College Publications

Chaves, M., Figueiredo, D., & Martins, M. A. (2018). Boolean dynamics revisited through feedback interconnections. Natural Computing, 19(1), 29-49.
 https://doi.org/10.1007/s11047-018-9716-8

Figueiredo, D., Martins, M. A., & Barbosa, L. S. (2018). A Note on Reactive Transitions and Reo Connectors. Em Lecture Notes in Computer Science (pp. 57–67). Springer International Publishing.
https://doi.org/10.1007/978-3-319-90089-6_4

Kostylenko, O., Rodrigues, H. S., & Torres, D. F. M. (2018).
Banking Risk as an Epidemiological Model: An Optimal Control Approach.
In Operational Research (pp. 165–176).
Springer International Publishing.
https://doi.org/10.1007/978-3-319-71583-4_12

Lemos-Paião, A. P., Silva, C. J., & Torres, D. F. M. (2018).
A cholera mathematical model with vaccination and the biggest outbreak of world’s history.
AIMS Mathematics, 3(4), 448–463.
https://doi.org/10.3934/math.2018.4.448

2017

Monteiro, A., Menezes, R., & Silva, M. E. (2017). Modelling spatio-temporal data with multiple seasonalities: The NO2 Portuguese case. Spatial Statistics, 22, 371–387.
https://doi.org/10.1016/j.spasta.2017.04.005 

Figueiredo, D., Martins, M. A., & Chaves, M. (2017). Applying differential dynamic logic to reconfigurable biological networks. Mathematical Biosciences, 291, 10–20.
https://doi.org/10.1016/j.mbs.2017.05.012

Lemos-Paião, A. P., Silva, C. J., & Torres, D. F. M. (2017).
An epidemic model for cholera with optimal control treatment.
Journal of Computational and Applied Mathematics, 318, 168–180.
https://doi.org/10.1016/j.cam.2016.11.002

2016

Costa, D., & Martins, M. A. (2016).
Paraconsistency in hybrid logic.
Journal of Logic and Computation, exw027.
https://doi.org/10.1093/logcom/exw027

Costa, D., & Martins, M. A. (2016).
A Tableau System for Quasi-Hybrid Logic.
In Automated Reasoning (pp. 435–451). Springer International Publishing.
https://doi.org/10.1007/978-3-319-40229-1_30

Costa, D., & Martins, M. A. (2016).
Intelligent-Based Robot to Deal with Contradictions.
2016 International Conference on Autonomous Robot Systems and Competitions (ICARSC).
https://doi.org/10.1109/icarsc.2016.48

Figueiredo, D. (2016). Relating Bisimulations with Attractors in Boolean Network Models. Em Algorithms for Computational Biology (pp. 17–25). Springer International Publishing.
https://doi.org/10.1007/978-3-319-38827-4_2