Vasco Tavares Pedro
AuthID: R-001-MXY
1
TÃTULO: Constraint Solving on Hybrid Systems
AUTORES: Pedro Roque; Vasco Pedro;
PUBLICAÇÃO: 2018, FONTE: International Conference on Declarative Programming (DECLARE) in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, VOLUME: 10997
AUTORES: Pedro Roque; Vasco Pedro;
PUBLICAÇÃO: 2018, FONTE: International Conference on Declarative Programming (DECLARE) in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, VOLUME: 10997
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: On the Scalability of Constraint Programming on Hierarchical Multiprocessor Systems Full Text
AUTORES: Rui Machado; Vasco Pedro; Salvador Abreu ;
PUBLICAÇÃO: 2013, FONTE: 42nd Annual International Conference on Parallel Processing (ICPP) in 2013 42ND ANNUAL INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING (ICPP)
AUTORES: Rui Machado; Vasco Pedro; Salvador Abreu ;
PUBLICAÇÃO: 2013, FONTE: 42nd Annual International Conference on Parallel Processing (ICPP) in 2013 42ND ANNUAL INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING (ICPP)
3
TÃTULO: Modules and specifications Full Text
AUTORES: Pedro, V; Monteiro, L;
PUBLICAÇÃO: 1996, FONTE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
AUTORES: Pedro, V; Monteiro, L;
PUBLICAÇÃO: 1996, FONTE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
