Improving Backward Execution in the Andorra Family of Languages. - Salvador Abreu; Luís Moniz Pereira; Philippe Codognet (JICSLP, 1992)

Design for AKL with Intelligent Pruning. - Salvador Abreu; Luís Moniz Pereira (ELP, 1993)

A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems. - Salvador Abreu; Luís Moniz Pereira (Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994)

A Constraint Logic Programming Framwork in Java. - Lígia Ferreira; Salvador Abreu (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

A Logic-Based Information System. - Salvador Abreu (PADL, 2000)

Logic-based Network Configuration and Management. - Salvador Abreu; Joaquim Godinho (EUNIS, 2001)

ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems. - Salvador Abreu (INAP, 2001)

Relational Information Retrieval through Natural Lanaguage Analysis. - Luis Quintano; Salvador Abreu; Irene Pimenta Rodrigues (INAP, 2001)

Relational Information Retrieval through Natural Language Analysis. - Luis Quintano; Salvador Abreu; Irene Rodrigues 001 (INAP (LNCS Volume), 2001)

Design for AJACS, yet another Java constraint programming framework. - Lígia Ferreira; Salvador Abreu (APPIA-GULP-PRODE, 2001)

Towards Temporal Reasoning in ISCO. - Vítor Beires Nogueira; Salvador Abreu; Gabriel David (APPIA-GULP-PRODE, 2002)

A Natural Language Dialogue Manager for Accessing Databases. - Salvador Abreu; Paulo Quaresma; Luis Quintano; Irene Rodrigues 001 (PorTAL, 2002)

A Dialogue Manager for Accessing Databases. - Salvador Abreu; Paulo Quaresma; Luis Quintano; Irene Pimenta Rodrigues (EJC, 2003)

Objective: In Minimum Context. - Salvador Abreu; Daniel Diaz 001 (ICLP, 2003)

Using Contextual Logic Programming for Temporal Reasoning. - Vítor Nogueira; Salvador Abreu; Gabriel David (JISBD, 2003)

Contexts for Organizational Information System Design and Implementation. - Salvador Abreu; Daniel Diaz 001 (ICEIS (1), 2004)

Towards Temporal Reasoning in Constraint Contextual Logic Programming. - Vítor Beires Nogueira; Salvador Abreu; Gabriel David (WLPE, 2004)

Using a Logic Programming Language with Persistence and Contexts. - Salvador Abreu; Vítor Nogueira (INAP, 2005)

Towards Structured Contexts and Modules. - Salvador Abreu; Vítor Nogueira (ICLP, 2006)

Towards Temporal Contextual Logic Programming. - Vítor Nogueira; Salvador Abreu (ICLP, 2006)

Temporal Contextual Logic Programming. - Vítor Nogueira; Salvador Abreu (WFLP, 2006)

Contextual Logic Programming for Ontology Representation and Querying. - Nuno Lopes 002; Cláudio Fernandes; Salvador Abreu (ALPSWS, 2007)

On Querying Ontologies with Contextual Logic Programming. - Cláudio Fernandes; Nuno Lopes 002; Salvador Abreu (OWLED, 2007)

Modularity and Temporal Reasoning: A Logic Programming Approach. - Vítor Nogueira; Salvador Abreu (TIME, 2007)

Integrating Temporal Annotations in a Modular Logic Language. - Vítor Nogueira; Salvador Abreu (INAP/WLP, 2007)

Representing and querying multiple ontologies with Contextual Logic Programming. - Nuno Lopes 002; Cláudio Fernandes; Salvador Abreu (Comput. Sci. Inf. Syst., 2008)

ISTO: A Language for Temporal Organizational Information Systems. - Vítor Nogueira; Salvador Abreu (INAP, 2009)

Network Monitoring with Constraint Programming: Preliminary Specification and Analysis. - Pedro D. Salgueiro; Salvador Abreu (INAP, 2009)

Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) - Salvador Abreu; Daniel Diaz 001; Philippe Codognet (LSCS, 2009)

Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. - Daniel Diaz 001; Salvador Abreu; Philippe Codognet (IDC, 2010)

A DSL for intrusion detection based on constraint programming. - Pedro D. Salgueiro; Salvador Abreu (SIN, 2010)

Distributed Work Stealing for Constraint Solving - Vasco Pedro; Salvador Abreu (CoRR, 2010)

Casting of the WAM as an EAM - Paulo André; Salvador Abreu (CoRR, 2010)

Experiments in Parallel Constraint-Based Local Search. - Yves Caniou; Philippe Codognet; Daniel Diaz 001; Salvador Abreu (EvoCOP, 2011)

Modeling Distributed Network Attacks with Constraints. - Pedro D. Salgueiro; Salvador Abreu (IDC, 2011)

Using Constraints for Intrusion Detection: The NeMODe System. - Pedro D. Salgueiro; Daniel Diaz 001; Isabel Brito 001; Salvador Abreu (PADL, 2011)

Parallel constraint-based local search on the HA8000 supercomputer (abstract). - Yves Caniou; Philippe Codognet; Daniel Diaz 001; Salvador Abreu (SAC, 2011)

The Final Frontier: Confidentiality and Privacy in the Cloud. - Francisco Rocha; Salvador Abreu; Miguel Correia 001 (Computer, 2011)

Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011. - Salvador Abreu; Vítor Santos Costa (CoRR, 2011)

Unbalanced tree search on a manycore system using the GPI programming model. - Rui Machado; Carsten Lojewski; Salvador Abreu; Franz-Josef Pfreundt (Comput. Sci. Res. Dev., 2011)

Parallel Local Search for the Costas Array Problem. - Daniel Diaz 001; Florian Richoux; Yves Caniou; Philippe Codognet; Salvador Abreu (IPDPS Workshops, 2012)

Constraint-Based Local Search for the Costas Array Problem. - Daniel Diaz 001; Florian Richoux; Philippe Codognet; Yves Caniou; Salvador Abreu (LION, 2012)

Performance analysis of parallel constraint-based local search. - Yves Caniou; Daniel Diaz 001; Florian Richoux; Philippe Codognet; Salvador Abreu (PPoPP, 2012)

Targeting the Cell Broadband Engine for constraint-based local search. - Daniel Diaz 001; Salvador Abreu; Philippe Codognet (Concurr. Comput. Pract. Exp., 2012)

On the implementation of GNU Prolog. - Daniel Diaz 001; Salvador Abreu; Philippe Codognet (Theory Pract. Log. Program., 2012)

On the Scalability of Constraint Programming on Hierarchical Multiprocessor Systems. - Rui Machado; Vasco Pedro; Salvador Abreu (ICPP, 2013)

Towards Parallel Constraint-Based Local Search with the X10 Language. - Danny Munera; Daniel Diaz 001; Salvador Abreu (KDPD, 2013)

Parallel Performance of Declarative Programming Using a PGAS Model. - Rui Machado; Salvador Abreu; Daniel Diaz 001 (PADL, 2013)

Towards constraint-informed information systems. - Irene Rodrigues 001; Nuno Matos; Salvador Abreu; Rébecca Deneckère; Daniel Diaz 001 (RCIS, 2013)

Experimenting with X10 for Parallel Constraint-Based Local Search. - Danny Munera; Daniel Diaz 001; Salvador Abreu (CoRR, 2013)

Parallel Local Search: Experiments with a PGAS-based programming model - Rui Machado; Salvador Abreu; Daniel Diaz 001 (CoRR, 2013)

Modelling distributed network attacks with constraints. - Pedro D. Salgueiro; Salvador Abreu (Int. J. Bio Inspired Comput., 2013)

A Parametric Framework for Cooperative Parallel Local Search. - Danny Munera; Daniel Diaz 001; Salvador Abreu; Philippe Codognet (EvoCOP, 2014)

Flexible cooperation in parallel local search. - Danny Munera; Daniel Diaz 001; Salvador Abreu; Philippe Codognet (SAC, 2014)

An interactive web-based tool for breast reduction surgery simulation. - Pedro D. Salgueiro; Salvador Abreu; Jose Rolo; Stéphane Clain (3DUI, 2015)

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. - Danny Munera; Daniel Diaz 001; Salvador Abreu; Francesca Rossi 001; Vijay A. Saraswat; Philippe Codognet (AAAI, 2015)

Large-scale parallelism for constraint-based local search: the costas array case study. - Yves Caniou; Philippe Codognet; Florian Richoux; Daniel Diaz 001; Salvador Abreu (Constraints An Int. J., 2015)

Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization. - Danny Munera; Daniel Diaz 001; Salvador Abreu (EvoCOP, 2016)

Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem. - Danny Munera; Daniel Diaz 001; Salvador Abreu (HM, 2016)

Declarative Rules for Annotated Expert Knowledge in Change Management. - Dietmar Seipel; Rüdiger von der Weth; Salvador Abreu; Falco Nogatz; Alexander Werner (SLATE, 2016)

Parallel Local Search. - Philippe Codognet; Danny Munera; Daniel Diaz 001; Salvador Abreu (Handbook of Parallel Constraint Reasoning, 2018)

Improving Constraint Solving on Parallel Hybrid Systems. - Pedro Roque; Vasco Pedro; Daniel Diaz 001; Salvador Abreu (ICTAI, 2018)

On Integrating Population-Based Metaheuristics with Cooperative Parallelism. - Jheisson López; Danny Munera; Daniel Diaz 001; Salvador Abreu (IPDPS Workshops, 2018)

Weaving of Metaheuristics with Cooperative Parallelism. - Jheisson López; Danny Múnera; Daniel Diaz 001; Salvador Abreu (PPSN (1), 2018)

Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies. - Dietmar Seipel; Falco Nogatz; Salvador Abreu (Comput. Lang. Syst. Struct., 2018)

Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure. - Mateusz Slazynski; Salvador Abreu; Grzegorz J. Nalepa (GECCO (Companion), 2019)

A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. - Jacques Robin; Raúl Mazo; Henrique Madeira; Raul Barbosa; Daniel Diaz 001; Salvador Abreu (SAFECOMP Workshops, 2019)

Alexa, How Can I Reason with Prolog? - Falco Nogatz; Julia Kübert; Dietmar Seipel; Salvador Abreu (SLATE, 2019)

Definite Clause Grammars with Parse Trees: Extension for Prolog. - Falco Nogatz; Dietmar Seipel; Salvador Abreu (SLATE, 2019)

Pre-proceedings of the DECLARE 2019 Conference. - Salvador Abreu; Petra Hofstedt; Ulrich John; Herbert Kuchen; Dietmar Seipel (CoRR, 2019)

Generating Local Search Neighborhood with Synthesized Logic Programs. - Mateusz Slazynski; Salvador Abreu; Grzegorz J. Nalepa (ICLP Technical Communications, 2019)

Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search. - Camilo Correa; Jacques Robin; Raúl Mazo; Salvador Abreu (CRiSIS, 2021)

Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics. - Jonathan Duque; Danny A. Múnera; Daniel Diaz 001; Salvador Abreu (OLA, 2021)

Intelligent Query Answering with Contextual Knowledge for Relational Databases. - Dietmar Seipel; Daniel Weidner; Salvador Abreu (SLATE, 2021)

Quantum and Digital Annealing for the Quadratic Assignment Problem. - Philippe Codognet; Daniel Diaz 001; Salvador Abreu (QSW, 2022)

50 Years of Prolog and Beyond. - Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; José F. Morales 001; Jan Wielemaker; Daniel Diaz 001; Salvador Abreu; Giovanni Ciatto (CoRR, 2022)

Fifty Years of Prolog and Beyond. - Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; José F. Morales 001; Jan Wielemaker; Daniel Diaz 001; Salvador Abreu (Theory Pract. Log. Program., 2022)

Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge. - Dietmar Seipel; Benjamin Förster; Magnus Liebl; Marcel Waleska; Salvador Abreu (SLATE, 2023)

Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. - Daniela Ferreiro; José F. Morales 001; Salvador Abreu; Manuel V. Hermenegildo (ICLP, 2023)

Teaching Prolog with Active Logic Documents. - José F. Morales 001; Salvador Abreu; Daniela Ferreiro; Manuel V. Hermenegildo (Prolog: The Next 50 Years, 2023)

A Logic-Based Model to Reduce IoT Security Risks. - Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu (ICAART (3), 2024)

A Model to Manage Security Risks in IoT Systems. - Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu (ICAART (Revised Selected Paper, 2), 2024)

An Architecture for Composite Combinatorial Optimization Solvers. - Khalil Chrit; Jean-François Baffier; Pedro Patinho; Salvador Abreu (SLATE, 2025)

Elements for Weighted Answer-Set Programming. - Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu (SLATE, 2025)

An Algebraic Approach to Weighted Answer-set Programming. - Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu (CoRR, 2025)