Publications
Publicações

Publications

Labeled homology of higher-dimensional automata

Journal of Applied and Computational Topology | 2018
DOI

Topological Complexity and Related Topics

American Mathematical Society | 2018

Mark Grant

Gregory Lupton

DOI

A proof-theoretic study of bi-intuitionistic propositional sequent calculus

Journal of Logic and Computation | 2018

Tarmo Uustalu

DOI

Permutability in proof terms for intuitionistic sequent calculus with cuts

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany | 2018

M.J. Frade

DOI

A penalty approach for solving nonsmooth and nonconvex MINLP problems

Springer Proceedings in Mathematics and Statistics | 2018

A.M.A.C. Rocha

E.M.G.P. Fernandes

DOI

Filter-based DIRECT method for constrained global optimization

Journal of Global Optimization | 2018

A.M.A.C. Rocha

E.M.G.P. Fernandes

DOI

On Metaheuristics for Solving the Parameter Estimation Problem in Dynamic Systems: A Comparative Study

Journal of Optimization | 2018

Gisela Ramadas

Edite Fernandes

António Ramadas

Ana Rocha

DOI

On a multiobjective optimal control of a tumor growth model with immune response and drug therapies

International Transactions in Operational Research | 2018

A.M.A.C. Rocha

E.M.G.P. Fernandes

DOI

Preface to the Special Issue “GOW’16”

Journal of Global Optimization | 2018

A.M.A.C. Rocha

E.M.G.P. Fernandes

DOI

A negative binomial model for student allocation to higher education in Portugal during the Post-Bologna process

AIP Conference Proceedings | 2018

R. Oliveira

R.M. Vasconcelos

DOI

Statistical analysis of health inequalities in the northern region of Portugal

AIP Conference Proceedings | 2018

V. Machado

S. Faria

M. Felício

DOI

The intention-behaviour gap: An empirical examination of an integrative perspective to explain exercise behaviour

International Journal of Sport and Exercise Psychology | 2018

A.R. Gomes

J.E. Maddux

L. Carneiro

DOI