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

Decidability of Several Concepts of Finiteness for Simple Types

Fundamenta Informaticae | 2019

J.E. Santo

R. Matthes

Ralph Matthes

Luís Pinto

DOI

Motion planning in connected sums of real projective spaces

Topology Proceedings | 2019

D.C. Cohen

Topological complexity of surfaces,

Boletim do CIM | 2019

Higher-dimensional automata modeling shared-variable systems

Logical Methods in Computer Science ; Volume 15 | 2019
DOI

Weak equivalence of higher-dimensional automata

Singularity Subtraction for Nonlinear Weakly Singular Integral Equations of the Second Kind

Integral Methods in Science and Engineering | 2019

Mario Ahues

Filomena D. D'Almeida

Paulo B. Vasconcelos

DOI

Lung Volume Reduction Surgery: Re- interpreted With Longitudinal Data Analyses Methodology.

The Annals of thoracic surgery | 2019

Lim E

Shah PL

Diggle P

Goldstraw P

DOI

Correlation structure in hierarchical linear modelling: An illustration with the therapeutic alliance.

Clinical psychology & psychotherapy | 2019

Gonçalves MM

Rosa C

DOI

Ambivalence Predicts Symptomatology in Cognitive-Behavioral and Narrative Therapies: An Exploratory Study.

Frontiers in Psychology | 2019

Braga C

Ribeiro AP

Gonçalves MM

DOI

Innovative Moments and Session Impact in Brief Integrative Psychotherapy: An Exploratory Study

Journal of Psychotherapy Integration | 2019

R.S. Nasim

S. Ziv-Beiman

A. Leibovich

M.M. Gonçalves

T. Peri

DOI

Joint modelling of longitudinal and competing risks data in clinical research

Revstat Statistical Journal | 2019

L. Teixeira

A. Rodrigues

D. Mendonça