Paulo Moura

Domains

Advanced Computing Systems

Publications

L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory

Moura, P;Dias, AM;

2011

CoRR

Modeling and planning collaboration using organizational constraints

Igler, M;Moura, P;Färber, M;Zeising, M;Jablonski, S;

2010

The 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2010, Chicago, IL, USA, 9-12 October 2010

From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse

Moura, P;

2009

Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

Logtalk processing of STEP Part 21 files

Moura, P;Marchetti, V;

2006

LOGIC PROGRAMMING, PROCEEDINGS

View all publications

Supervised theses

Unlocking the Virtual World: A study on the influence of multisensory stimuli on users' emotional responses and vividness of mental imagery in the context of virtual tourism

Mariana de Oliveira Magalhães

D - 2023

UP-FEUP

Centres

Advanced Computing Systems

The Centre for Advanced Computing Systems (CRACS) strives for scientific excellence in the areas of programming languages, parallel and distributed computing, information mining, security and privacy, focusing on developing scalable software systems for multidisciplinary applications in Engineering, Life Sciences, Social Networks, the Internet of Things, and more. We explore deep theoretical and practical knowledge related to the design and development of programming languages and middleware for advanced computing systems - including parallel, distributed, high-performance, cloud, wireless, and IoT systems -, while mastering the concepts and methodologies that underpin trust, privacy, and security in computing systems. Our research environment brings together talented junior and senior researchers, most of whom are university lecturers. Together, they form the critical mass and scientific expertise required to fulfil our mission.