Salvador Luís de Bethencourt Pinto de Abreu
AuthID: R-000-G4P
11
TITLE: Constraint Modeling for Forest Management
AUTHORS: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLISHED: 2022, SOURCE: International Conference on Dynamical Control and Optimization(DCO) in DYNAMIC CONTROL AND OPTIMIZATION, DCO 2021, VOLUME: 407
AUTHORS: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLISHED: 2022, SOURCE: International Conference on Dynamical Control and Optimization(DCO) in DYNAMIC CONTROL AND OPTIMIZATION, DCO 2021, VOLUME: 407
12
TITLE: Quantum and Digital Annealing for the Quadratic Assignment Problem
AUTHORS: Philippe Codognet; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2022, SOURCE: IEEE International Conference on Quantum Software, QSW 2022, Barcelona, Spain, July 10-16, 2022
AUTHORS: Philippe Codognet; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2022, SOURCE: IEEE International Conference on Quantum Software, QSW 2022, Barcelona, Spain, July 10-16, 2022
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP13
TITLE: Preface
AUTHORS: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID14
TITLE: 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
AUTHORS: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science
AUTHORS: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science
15
TITLE: Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure
AUTHORS: Ślażyński, M; Abreu, S; Nalepa, GJ;
PUBLISHED: 2019, SOURCE: 2019 Genetic and Evolutionary Computation Conference, GECCO 2019 in GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion
AUTHORS: Ślażyński, M; Abreu, S; Nalepa, GJ;
PUBLISHED: 2019, SOURCE: 2019 Genetic and Evolutionary Computation Conference, GECCO 2019 in GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion
16
TITLE: Constraint-Informed Information Systems in Space Management Utilization
AUTHORS: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2016
AUTHORS: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2016
INDEXED IN: 
Handle
Handle17
TITLE: Artificial intelligence for the detection of AOX functional markers
AUTHORS: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLISHED: 2015, SOURCE: Alternative Respiratory Pathways in Higher Plants
AUTHORS: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLISHED: 2015, SOURCE: Alternative Respiratory Pathways in Higher Plants
INDEXED IN: Scopus Handle
Scopus Handle IN MY: ORCID
ORCID18
TITLE: Artificial intelligence for the detection ofAOXfunctional markers
AUTHORS: Paulo Quaresma ; Teresa Gonçalves ; Salvador Abreu; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T Svensson;
PUBLISHED: 2015, SOURCE: Alternative respiratory pathways in higher plants
AUTHORS: Paulo Quaresma ; Teresa Gonçalves ; Salvador Abreu; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T Svensson;
PUBLISHED: 2015, SOURCE: Alternative respiratory pathways in higher plants
19
TITLE: Extending the finite domain solver of GNU prolog
AUTHORS: Bloemen, V; Diaz, D; Van Der Bijl, M; Abreu, S;
PUBLISHED: 2014, SOURCE: 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
AUTHORS: Bloemen, V; Diaz, D; Van Der Bijl, M; Abreu, S;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus Handle
Scopus Handle IN MY: ORCID
ORCID
