Salvador Luís de Bethencourt Pinto de Abreu
AuthID: R-000-G4P
11
TÃTULO: Constraint Modeling for Forest Management
AUTORES: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLICAÇÃO: 2022, FONTE: International Conference on Dynamical Control and Optimization(DCO) in DYNAMIC CONTROL AND OPTIMIZATION, DCO 2021, VOLUME: 407
AUTORES: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLICAÇÃO: 2022, FONTE: International Conference on Dynamical Control and Optimization(DCO) in DYNAMIC CONTROL AND OPTIMIZATION, DCO 2021, VOLUME: 407
12
TÃTULO: Quantum and Digital Annealing for the Quadratic Assignment Problem
AUTORES: Philippe Codognet; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2022, FONTE: IEEE International Conference on Quantum Software, QSW 2022, Barcelona, Spain, July 10-16, 2022
AUTORES: Philippe Codognet; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2022, FONTE: IEEE International Conference on Quantum Software, QSW 2022, Barcelona, Spain, July 10-16, 2022
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP13
TÃTULO: Fifty Years of Prolog and Beyond
AUTORES: Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa ; Verónica Dahl; Manuel V Hermenegildo; José F Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2022, FONTE: Theory Pract. Log. Program., VOLUME: 22, NÚMERO: 6
AUTORES: Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa ; Verónica Dahl; Manuel V Hermenegildo; José F Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2022, FONTE: Theory Pract. Log. Program., VOLUME: 22, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP14
TÃTULO: Preface
AUTORES: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLICAÇÃO: 2020, FONTE: 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic Programming, WFLP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12057 LNAI
AUTORES: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLICAÇÃO: 2020, FONTE: 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic Programming, WFLP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12057 LNAI
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID15
TÃTULO: Declarative Programming and Knowledge Management. Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers
AUTORES: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
AUTORES: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
16
TÃTULO: Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure
AUTORES: Ślażyński, M; Abreu, S; Nalepa, GJ;
PUBLICAÇÃO: 2019, FONTE: 2019 Genetic and Evolutionary Computation Conference, GECCO 2019 in GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion
AUTORES: Ślażyński, M; Abreu, S; Nalepa, GJ;
PUBLICAÇÃO: 2019, FONTE: 2019 Genetic and Evolutionary Computation Conference, GECCO 2019 in GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion
17
TÃTULO: Constraint-Informed Information Systems in Space Management Utilization
AUTORES: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2016
AUTORES: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2016
INDEXADO EM: 
Handle
Handle18
TÃTULO: Artificial intelligence for the detection of AOX functional markers
AUTORES: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLICAÇÃO: 2015, FONTE: Alternative Respiratory Pathways in Higher Plants
AUTORES: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLICAÇÃO: 2015, FONTE: Alternative Respiratory Pathways in Higher Plants
INDEXADO EM: Scopus Handle
Scopus Handle NO MEU: ORCID
ORCID19
TÃTULO: Artificial intelligence for the detection ofAOXfunctional markers
AUTORES: Paulo Quaresma ; Teresa Gonçalves ; Salvador Abreu; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T Svensson;
PUBLICAÇÃO: 2015, FONTE: Alternative respiratory pathways in higher plants
AUTORES: Paulo Quaresma ; Teresa Gonçalves ; Salvador Abreu; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T Svensson;
PUBLICAÇÃO: 2015, FONTE: Alternative respiratory pathways in higher plants
20
TÃTULO: Extending the finite domain solver of GNU prolog
AUTORES: Bloemen, V; Diaz, D; Van Der Bijl, M; Abreu, S;
PUBLICAÇÃO: 2014, FONTE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014
AUTORES: Bloemen, V; Diaz, D; Van Der Bijl, M; Abreu, S;
PUBLICAÇÃO: 2014, FONTE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014
INDEXADO EM: Scopus Handle
Scopus Handle NO MEU: ORCID
ORCID