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