Publications
Publicações

Publications

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

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