| 2024 | ICAART | A Logic-Based Model to Reduce IoT Security Risks. | Luiz Otavio Botelho Lento, Pedro Patinho, Salvador Abreu |
| 2024 | ICAART | A Model to Manage Security Risks in IoT Systems. | Luiz Otavio Botelho Lento, Pedro Patinho, Salvador Abreu |
| 2021 | CRiSIS | Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search. | Camilo Correa, Jacques Robin, Ral Mazo, Salvador Abreu |
| 2019 | GECCO | Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure. | Mateusz Slazynski, Salvador Abreu, Grzegorz J. Nalepa |
| 2019 | SAFECOMP | A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. | Jacques Robin, Ral Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu |
| 2018 | ICTAI | Improving Constraint Solving on Parallel Hybrid Systems. | Pedro Roque, Vasco Pedro, Daniel Diaz, Salvador Abreu |
| 2018 | PPSN | Weaving of Metaheuristics with Cooperative Parallelism. | Jheisson Lpez, Danny Mnera, Daniel Diaz, Salvador Abreu |
| 2015 | AAAI | Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. | Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay A. Saraswat, Philippe Codognet |
| 2014 | SAC | Flexible cooperation in parallel local search. | Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet |
| 2013 | ICPP | On the Scalability of Constraint Programming on Hierarchical Multiprocessor Systems. | Rui Machado, Vasco Pedro, Salvador Abreu |
| 2013 | PADL | Parallel Performance of Declarative Programming Using a PGAS Model. | Rui Machado, Salvador Abreu, Daniel Diaz |
| 2013 | RCIS | Towards constraint-informed information systems. | Irene Rodrigues, Nuno Matos, Salvador Abreu, Rbecca Deneckre, Daniel Diaz |
| 2012 | PPoPP | Performance analysis of parallel constraint-based local search. | Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu |
| 2011 | IDC | Modeling Distributed Network Attacks with Constraints. | Pedro D. Salgueiro, Salvador Abreu |
| 2011 | PADL | Using Constraints for Intrusion Detection: The NeMODe System. | Pedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu |
| 2011 | SAC | Parallel constraint-based local search on the HA8000 supercomputer (abstract). | Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu |
| 2010 | IDC | Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. | Daniel Diaz, Salvador Abreu, Philippe Codognet |
| 2010 | SIN | A DSL for intrusion detection based on constraint programming. | Pedro D. Salgueiro, Salvador Abreu |
| 2007 | ICLP | Contextual Logic Programming for Ontology Representation and Querying. | Nuno Lopes, Cludio Fernandes, Salvador Abreu |
| 2007 | TIME | Modularity and Temporal Reasoning: A Logic Programming Approach. | Vtor Nogueira, Salvador Abreu |
| 2006 | ICLP | Towards Structured Contexts and Modules. | Salvador Abreu, Vtor Nogueira |
| 2006 | ICLP | Towards Temporal Contextual Logic Programming. | Vtor Nogueira, Salvador Abreu |
| 2003 | EJC | A Dialogue Manager for Accessing Databases. | Salvador Abreu, Paulo Quaresma, Luis Quintano, Irene Pimenta Rodrigues |
| 2003 | ICLP | Objective: In Minimum Context. | Salvador Abreu, Daniel Diaz |
| 2000 | PADL | A Logic-Based Information System. | Salvador Abreu |
| 1992 | ICLP | Improving Backward Execution in the Andorra Family of Languages. | Salvador Abreu, Lus Moniz Pereira, Philippe Codognet |