Login
NOVA LINCS

Artur Miguel Dias

People

Publications Projects Graduations Prototypes Seminars

Execução paralela de métodos em Scala

Concluded

15/09/2018 - 24/06/2019 / MSc

Post-Graduation by: Daniel Filipe Ventura Ferreira

IDE baseado em Eclipse para o CxProlog

Concluded

30/09/2015 - 01/01/1970 / MSc

Post-Graduation by: Ankica Barisic

CxProlog Foreign Interfaces to Python and OCaml

Concluded

01/10/2014 - 01/11/2015 / MSc

Post-Graduation by: Ankica Barisic

Or-Parallel Prolog Execution on Multicores based on Stack Splitting

Concluded

01/01/1900 - 17/11/2011 / MSc

Post-Graduation by: Rui Edgar Silva Vieira

Gestão de memória em CxProlog

Concluded

15/09/2009 - 14/10/2010 / MSc

Post-Graduation by: Ankica Barisic

JavaCO – Uma variante de Java com um sistema de tipos baseado em covariância

Concluded

15/09/2009 - 29/10/2010 / MSc

Post-Graduation by: Ankica Barisic

Web Services in CxProlog

Concluded

01/01/1900 - 01/01/1900 / MSc

Post-Graduation by: Bruno Rendeiro Rodrigues

OM – Uma Linguagem de Programação Multiparadigma

Concluded

01/01/1970 - 01/01/1970 / PhD

Post-Graduation by: Artur Miguel Dias