We stand with Ukraine  

João Santos

Affiliations:
  • University of Porto, CRACS & INESC TEC, Portugal


According to our database1, João Santos authored at least 8 papers between 2012 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Logic Programming Environments with Advanced Parallelism
[BibTeX]
[DOI]
João Santos
PhD thesis, 2016

On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores.
[BibTeX]
[DOI]
João Santos
,
Ricardo Rocha
Theory Pract. Log. Program., 2016

2014
A team-based scheduling model for interfacing or-parallel prolog engines.
[BibTeX]
[DOI]
João Santos
,
Ricardo Rocha
Comput. Sci. Inf. Syst., 2014

2013
Efficient Support for Mode-Directed Tabling in the YapTab Tabling System
[BibTeX]
[DOI]
João Santos
,
Ricardo Rocha
CoRR, 2013

Or-Parallel Prolog Execution on Clusters of Multicores.
[BibTeX]
[DOI]
João Santos
,
Ricardo Rocha
Proceedings of the 2nd Symposium on Languages, Applications and Technologies, 2013

On the Efficient Implementation of Mode-Directed Tabling.
[BibTeX]
[DOI]
João Santos
,
Ricardo Rocha
Proceedings of the Practical Aspects of Declarative Languages, 2013

2012
Mode-Directed Tabling and Applications in the YapTab System.
[BibTeX]
[DOI]
João Santos
,
Ricardo Rocha
Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012

Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines.
[BibTeX]
[DOI]
Inês de Castro Dutra
,
Ricardo Rocha
,
Vítor Santos Costa
,
Fernando M. A. Silva
,
João Santos
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012


  Loading...