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

Psycholinguistic variables in visual word recognition and pronunciation of European Portuguese words: a mega-study approach

Language, Cognition and Neuroscience | 2019

A.P. Soares

A. Lages

A. Silva

M. Comesaña

A.P. Pinheiro

M. Perea

DOI

Relational schemas as mediators of innovative moments in symptom improvement in major depression

Psychotherapy Research | 2019

J. Batista

J. Silva

S. Freitas

D. Alves

A. Machado

P. Fernández-Navarro

DOI

Hopf invariants for sectional category with applications to topological robotics

Quarterly Journal of Mathematics | 2019

J. González

M. Grant

DOI

Control of population inversion and coherence generation in Rb and Cs atoms

Fourth International Conference on Applications of Optics and Photonics | 2019

Iduabo Afa

Manuel Costa

DOI

Mvgen: Multi Version Question Generation for Math Courses

Open Education Studies | 2019

José João Almeida

Gaspar J. Machado

DOI

k-Pell, k-Pell–Lucas and modified k-Pell sedenions

Uma Exploração da Sequência de Padovan num curso de Licenciatura em Matemática

Indagatio Didactica | 2019

Situação Didática Profissional: um exemplo de aplicação da Didática Profissional para a pesquisa objetivando a atividade do professor de Matemática no Brasil

Francisco Regis Vieira Alves

Universidade de Trás-os-Montes e Alto Douro CIDTFF

On the bicomplex generalized tribonacci quaternions

Mathematics | 2019

C. Kizilateş

N. Tuğlu

DOI

On leonardo numbers

Acta Mathematica Universitatis Comenianae | 2019

A. Borges

On k-Pell hybrid numbers

Journal of Discrete Mathematical Sciences and Cryptography | 2019
DOI

O feedback na promoção do pensamento crítico

Educar para o Pensamento Crítico na sala de aula: Planificação, Estratégias e Avaliação | 2019