2018

2018 Papers in international scientific periodicals with referee

H.Soares, T.N.Sequeira, P.M.Marques, O.Gomes, A.Ferreira-Lopes (2018) Social Infrastructure and the Preservation of Physical Capital: Equilibria and Transitional Dynamics, Applied Mathematics and Computation, vol.321, pp.614-632  [LINK]

A.Bernardi, J.Jelisiejew, P.M.Marques, K.Ranestad (2018) On polynomials with given Hilbert function and applications, Collectanea Mathematica, vol. 2018, vol. 69, issue 1, pp. 39-64  [LINK]

R.Albuquerque (2018, in press) A fundamental differential system of 3-dimensional Riemannian geometry, Bull. des Sciences Mathématiques,  [LINK]  [PDF]

B.Dinis, I.v.d.Berg (2018, in press) Characterization of distributivity in a solid, Indagationes Mathematicae, 21p. [LINK]

J.C.Rosales, M.B.Branco (2018, in press) A problem of integer partitions and numerical semigroups to appear in Proceedings of the Royal Society of Edinburgh.

2017

2017 Papers in international scientific periodicals with referee

M.B.Branco, C.C.Ramos, S.Fernandes, S.Santos (2017) Numerical semigroups and periodic orbits for Markov interval maps, Journal of Differential Equations and Applications, vol. 23, issue 9, pp.1597-1609 [LINK]

I.v.d.Berg (2017) Functions of limited accumulation, Journal of Logic and Analysis, vol.9 (2) 1-30  [LINK]

B.Dinis, I.v.d.Berg (2017) On the quotient class of non-archimedean fields, Indagationes Mathematicae, vol.28 (4), 2017, pp.784-795  [LINK]

B.Dinis, I.v.d.Berg (2017) Axiomatics for the external numbers of nonstandard analysis, Journal of Logic & Analysis vol.9 (7) pp.1-47  [LINK]

E.Fermé, M.Garapa, M.Reis (2017). On Ensconcement and Contraction, Journal of Logic and Computation, vol.27 (7), pp.2011-2042  [LINK]

M.Garapa, E.Fermé, M.Reis (2017). Studies on Brutal Contraction and Severe Withdrawal, Studia Logica, vol.105 (2), pp.331-360  [LINK]

R.Albuquerque (2017) On vector bundle manifolds with spherically symmetric metrics, Annals of Global Analysis and Geometry, vol. 51, issue 2, pp. 129-154, ISSN 0232-704X [LINK]

2017 Papers in international conference proceedings

J.Justino (2017) Invertible Flexible Matrices.- In: Proceedings of the 1st International Conference on Applied Mathematics and Computer Science, Rome, Italy [LINK]

M.D.L.Reis, E.Fermé, P.Peppas (2017). Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result. - In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17, pp. 5045-5049 [LINK]

2016

2016 Papers in international scientific periodicals with referee

M.D.L.Reis, E.Fermé, P.Peppas (2016). Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result. Artificial Intelligence, vol.233, pp.122-141, ISSN: 0004-3702 [LINK]

M.D.L.Reis, E.Fermé (2016) Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions, Ann. Math. Artif. Intell., vol.78 pp.181-203, ISSN: 1012-2443  [LINK]

M.Branco, J.C.Rosales, D.Torrão (2016) Bracelets monoids and numerical semigroups, Applicable Algebra in Engineering, Communication and Computing, vol.27, issue 3, pp.169-183, ISSN:0938-1279 [LINK]

J.C.Rosales, M.B.Branco, D.Torrão (2016) The Frobenius problem for Repunit numerical semigroups, Ramanujan Journal, vol. 40, pp.323–334, ISSN:1382-4090 [LINK]

J.C.Rosales, M.B.Branco, D.Torrão (2016) The Frobenius problem for Mersernne numerical semigroups, Mathematische Zeitschrift, ISSN:0025-5874 [LINK]

2016 Papers in international conference proceedings

M.Garapa, E.Fermé, M.D.L.Reis (2016). Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report. - In: Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (NMR 2016), pp.37-45. ISSN: 0933-6192 [LINK]

2016 Papers in national proceedings and journals

R. Albuquerque (2016) Da geometria dos fibrados vectoriais com métricas esfericamente simétricas, - In: Actas do Encontro Nacional da SPM, Lisboa, Julho 2014, pp.49-52, SPM, ISSN:0872-3672 [LINK]

2015

2015 Papers in international scientific periodicals with referee

I.v.d.Berg (2015). A discrete free boundary problem. ARIMA, vol.20, pp.199-235, ISSN:1638-5713 [LINK]

J.C.Rosales, M.B.Branco, D.Torrão (2015). The Frobenius problem for Thabit numerical semigroups, Journal of Number Theory, vol.155, pp.85-99 [LINK]

J.C.Rosales, M.B.Branco, D.Torrão (2015). Sets of positive integers closed under product and the number of decimal digits, Journal of Number Theory, vol. 147, pp.1-13 [LINK]

R.Albuquerque, R.Picken (2015). On invariants of almost symplectic connections, Mathematical Physics, Analysis and Geometry, vol. 18:8, Issue 1, ISSN:1572-9656 [LINK]

2015 Chapters in books

J.Carmo (2015) Collective Agency, Obligations, Roles and Power to Act on Behalf of, - In: Power, Leadership and Complexity (in memory of António Gouveia Portela), João Caraça and Helder Coelho (eds.), IST Press, pp.149-182, ISBN: 978-989-8481-46-7 [LINK]

J.C.Rosales, M.B.Branco, D.Torrão (2015) The Number of Saturated Numerical Semigroups with a Determinate Genus, - In: Dynamics, Games and Science (Jean-Pierre Bourguignon, Rolf Jeltsch, Alberto Adrego Pinto, Marcelo Viana, Eds.), CIM Series in Mathematics Sciences, volume 1, Chapter 33, pp.607-616, ISBN: 978-3-319-16117-4 [LINK]

2014

2014 Papers in international scientific periodicals with referee

R. Albuquerque (2014) Homotheties and topology of tangent sphere bundles, Journal of Geometry, vol 105, issue 2, pp. 327-342. ISSN: 00472468 [LINK]

P.M. Marques, H.Soares (2014) Cohomological characterization of monads, Mathematische Nachrichten, vol.287, issue 17-18, pp. 2057-2070, ISSN: 0025-584X [LINK]

M.D.L.Reis (2014). On the interrelation between systems of spheres and epistemic entrenchment, Logic Journal of the IGPL, vol.22, issue 1,  pp.126-146  [LINK]

J.C. Rosales, M.B. Branco (2014) Two extension of a numerical semigroup with embedding dimension two, Communications in Algebra, vol. 42, Issue 4, 2014, pp. 1690-1697, ISSN: 0092-7872 [LINK]

J.C. Rosales, M.B. Branco, D.Torrão (2014) On the enumeration of the set of saturated numerical semigroups of a given genus. Semigroup Forum, vol.88, issue 3, pp. 621-630, ISSN: 0037-1912 [LINK]

2014 Papers in international conference proceedings

R. Albuquerque (2014). Riemannian questions with a fundamental differential system,- In: The ICM 2014Satellite Conference on Real & Complex Submanifolds, August 10th 12th.at NIMS,Daejeoun, South Korea. Proceedings. Springer, volume 106, pp 379-390. [LINK] [PDF

2014 Pedagogic books

J. Carmo, A. Sernadas, C.Sernadas, F.M. Dionísio, C. Caleiro (2014) Introdução à Programação em Mathematica, Coleção Ensino da Ciência e da Tecnologia, vol. 7, IST Press, 3ª edição, ISBN:978-972-8469-06-1, 505 p.

2013

2013 Papers in international scientific periodicals with referee

I. van den Berg (2013) Discretisations of higher order and the theorems of Faà di Bruno and DeMoivreLaplace, Journal of Logic and Analysis, vol. 5:6,  pp.1-35, ISSN:1759-9008 [LINK]

R. Albuquerque (2013) On the characteristic connection of gwistor space, Cent. Eur. J. Math., vol.11, issue 1, pp.149-160, ISSN:1895-1074  [LINK]

R. Albuquerque (2013) Variations of gwistor space, Portugaliae Mathematica, vol.70, issue 2, pp.145-160, ISSN: 0032-5155  [LINK]

Carmo, J. M. C. L. M., Jones, A. J. I. (2013) Completeness and decidability results for a logic of contrary-to-duty conditionals. J. Logic Comput., vol. 23, 3, pp. 585-626 [LINK]

Mendes, P. S. & Carmo, J. (2013) A semantic model for causation in criminal law and the need of logico-legal criteria for the attribution of causation. J. Law, Probab. and Risk, vol.12, issue 3-4, pp.207-228  [LINK]

E.Fermé, M.D.L.Reis (2013). Epistemic entrenchment-based multiple contractions, The Review of Symbolic Logic, vol.6, No. 3,  pp. 460-487 [LINK]

2013 Chapters in books

I.v.d.Berg (2013) External borders and strongly open sets, - In: Des Nombres et des Mondes, (Éric Benoît, Jean-Philippe Furter, Eds), Chap. 5,  TVC 81, Éditions Hermann, Paris, ISBN: 9782705683757

A.M.Abreu, Cristina S.R. (2013) A Parametric Cure Model with Covariates. - In: Advances in Regression, Survival Analysis, Extreme Values, Markov Processes and Other Statistical Applications, Studies in Theoretical and Applied Statistics, p. 37-45,  ISBN: 978-3-642-34903-4  [LINK]

2013 Papers in national proceedings and journals

P.M. Marques, H. Soares (2013) Monads on Segre varieties, Boletim da Sociedade Portuguesa de Matemática, Special Issue, 2013, pp.83-86, ISSN: 0872-3672.

2013 Pedagogic books

J. Carmo, P.Gouveia, F.M.Dionísio (2013) Elementos de Matemática Discreta, - In: Série Cadernos de Lógica e Computação (Amílcar Sernadas, Cristina Sernadas, coord.) College Publications, ISBN: 978-1-84890-134-6, 579 p. [LINK]