Publications
Publicações

Publications

Remarks on stability of inverted pendula

Rendiconti del Seminario Matematico | 2005

A.V. Sarychev

Exploratory analysis of longitudinal trials with staggered intervention times

Biostatistics | 2005

A.G. Chetwynd

P.J. Diggle

DOI

Dihedral f-tilings of the sphere by spherical triangles and equiangular well-centered quadrangles

Beitrage zur Algebra und Geometrie | 2004

A.M. D'Azevedo Breda

Drazin-Moore-Penrose invertibility in rings

Linear Algebra and Its Applications | 2004

R. Puystjens

DOI

Generalized invertibility in two semigroups of a ring

Linear Algebra and Its Applications | 2004

P. Patrício

DOI

Variables, limits, and infinitesimals in Portugal in the late 18th century

Historia Mathematica | 2004
DOI

Convergence of convex sets with gradient constraint

Journal of Convex Analysis | 2004

Lagrangian intersections, critical points and Qcategory

Mathematische Zeitschrift | 2004

P.-M. Moyaux

DOI

Confluence and Strong Normalisation of the Generalised Multiary λ-Calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004
DOI

Type-based termination of recursive definitions

Mathematical Structures in Computer Science | 2004

G. Barthe

M.J. Frade

E. Giménez

T. Uustalu

DOI

Sobre métodos de multiplicadores baseados em funções de lagrangeano aumentado.

Confluence and Strong Normalisation of the Generalised Multiary λ-Calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004

L. Pinto