Publications
Publicações

Publications

Decidability of Several Concepts of Finiteness for Simple Types

Fundamenta Informaticae | 2019

J.E. Santo

R. Matthes

Ralph Matthes

Luís Pinto

DOI

Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search

Mathematical Structures in Computer Science | 2019

R. Matthes

DOI

Modal embeddings and calling paradigms

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

T. Uustalu

DOI

S <sup>2</sup> coverings by isosceles and scalene triangles – adjacency case I

Ars Mathematica Contemporanea | 2019

C.P. Avelino

DOI

Gravitational radiation and the evolution of gravitational collapse in cylindrical symmetry

Differential Geometry and its Application | 2019

A. García-Parrado

DOI

Group-regular rings

Filomat | 2019

X. Mary

DOI

A note on global attractivity of the periodic solution for a model of hematopoiesis

Applied Mathematics Letters | 2019

Teresa Faria

DOI

Automatic Denavit-Hartenberg Parameter Identification for Serial Manipulators

IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society | 2019
DOI

On Nonlocal Variational and Quasi-Variational Inequalities with Fractional Gradient

Applied Mathematics and Optimization | 2019

J.F. Rodrigues

DOI

A Multistate Model for Analyzing Transitions between Body Mass Index Categories during Childhood

American Journal of Epidemiology | 2019

Maria Fonseca

Ana Santos

DOI

A method for determining groups in multiple survival curves

Statistics in Medicine | 2019

M. Sestelo

L. Meira-Machado

DOI

Estimation in the progressive illness‐death model: A nonexhaustive review

Biometrical Journal | 2019

Marta Sestelo

DOI

Environmental and administrative EVIAVE-based approach for landfill siting

Waste Management & Research | 2019

Carlos Monteiro

Carlos Teixeira

Fátima Ferreira

DOI

Parasympathetic Tone Activity Evaluation to Discriminate Ketorolac and Ketorolac/Tramadol Analgesia Level in Swine

Anesthesia & Analgesia | 2019

Carlos J. Leitão

Juan Rafael Lima-Rodríguez

Fatima Ferreira

Francisco M. Sánchez-Margallo

Luís Antunes

DOI

S2 coverings by isosceles and scalene triangles - adjacency case I

Ars Mathematica Contemporanea | 2019

A. F. Santos

Proceedings of the 34th International Workshop on Statistical Modelling Volume II

Luis Meira-Machado

Proceedings of the 34th International Workshop on Statistical Modelling Volume I

Luis Meira-Machado

Análise de Dados Multiestado: aplicação a uma base de dados de cancro da mama

Boletim SPE | 2019

Luis Meira-Machado

Learning calculus through PBL in an industrial engineering and management program-a seven-year study

Advances in Engineering Education | 2019

M. Cargnin-Stieler

A.C. Alves

R.M. Lima

M.C.M. Teixeira

Industrial engineering and management PBL implementation: An effortless experience?

International Symposium on Project Approaches in Engineering Education | 2019

A.C. Alves

F. Moreira

C.P. Leão

A.C. Pereira

S.M.M.A. Pereira-Lima

S.O. Lopes

Hands on experiments about water needs in agriculture and their mathematical modelling under climate change

ACM International Conference Proceeding Series | 2019

R.M.S. Pereira

A.C. Caldeira

S.O. Lopes

DOI

Modelling environmental monitoring data coming from different surveys

South African Statistical Journal | 2019

L. Margalho

Modelling Preferential Sampling in time

Boletin de Estadistica e Investigacion Operativa | 2019

A. Monteiro

M.E. Silva

Mixed-effects modeling for analyzing land use change in the Brazilian Pantanal subregion of Cáceres

DOI