Rui Vieira

According to our database, Rui Vieira authored at least 3 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

TrustyAI Explainability Toolkit.

Rob Geada, Tommaso Teofili, Rui Vieira, Rebecca Whitworth, Daniele Zonca

CoRR, 2021

2013

On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores

Rui Vieira, Ricardo Rocha, Fernando M. A. Silva

CoRR, 2013

2012

Or-parallel prolog execution on multicores based on stack splitting.

Rui Vieira, Ricardo Rocha, Fernando M. A. Silva

Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012