???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
SALVADOR LUÍS DE BETHENCOURT PINTO DE ABREU

Nomes de citação

  • Abreu, Salvador
  • Abreu, Salvador Pinto

Identificadores de autor

Ciência ID
C617-7ED4-8326
ORCID iD
0000-0002-1613-4631
Researcher Id
B-4118-2013
Scopus Author Id
14824488000

Endereços de correio eletrónico

  • spa@uevora.pt (Profissional)
Formação
Grau Classificação
2009
Concluído
 Informática (Título de Agregado)
Universidade de Évora, Portugal
"Compiladores" (TESE/DISSERTAÇÃO)
 Aprovado por unanimidade
1994
Concluído
 Informática (Doutoramento)
Especialização em Inteligência Artificial
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"Improving the Parallel Execution of Logic Programs" (TESE/DISSERTAÇÃO)
1987
Concluído
 Engenharia Informática (Licenciatura)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 A (17/20)
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2020 - Atual Investigador (Investigação) Universidade de Évora - NOVA LINCS, Portugal
Universidade de Évora, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2013/05/07 - Atual Professor Catedrático (Docente Universitário) Universidade de Évora Escola de Ciências e Tecnologia, Portugal
2001/06/01 - 2013/05/29 Professor Associado (Docente Universitário) Universidade de Évora, Portugal
1995/01/01 - 2001/05/29 Professor Auxiliar (Docente Universitário) Universidade de Évora, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2022/12 - Atual Presidente do Conselho Científico Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal
2017/01/01 - 2022/04/01 Presidente do Conselho Científico Universidade de Évora Escola de Ciências e Tecnologia, Portugal
1996 - 1999 Pró-Reitor Universidade de Évora, Portugal
Produções

Publicações

Artigo em conferência
  1. Ferreiro, Daniela; Morales, Jose F.; Abreu, Salvador; Hermenegildo, Manuel V.. "Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials". Trabalho apresentado em 39th International Conference on Logic Programming (ICLP 2023), 2023.
    Publicado
  2. Dietmar Seipel; Benjamin Förster; Magnus Liebl; Marcel Waleska; Abreu, Salvador. "Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge". Trabalho apresentado em 12th Symposium on Languages, Applications and Technologies (SLATE 2023), 2023.
    Publicado
  3. Eloy, E.; Bushenkov, V.; Abreu, Salvador. "Constraint Modeling for Forest Management". Trabalho apresentado em DCO 2021: Dynamic Control and Optimization, 2022.
    Publicado • 10.1007/978-3-031-17558-9_10
  4. Codognet, Philippe; Diaz, Daniel; Abreu, Salvador. "Quantum and Digital Annealing for the Quadratic Assignment Problem". Trabalho apresentado em 2022 IEEE International Conference on Quantum Software (QSW), part of IEEE Congress on Services, 2022.
    Publicado • 10.1109/qsw55613.2022.00016
  5. Correa, C.; Robin, J.; Mazo, R.; Abreu, Salvador. "Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search". Trabalho apresentado em 16th International Conference on Risks and Security of Internet and Systems (CRiSIS 2021), 2021.
    Publicado • 10.1007/978-3-031-02067-4_6
  6. Lento, Luiz Otávio; Abreu, Salvador; Patinho, Pedro. "ReTRiMM-IoT: A new Proposal to Reduce IoT Security Risks - An application in IoT Healthcare Environments". Trabalho apresentado em INFORUM 2021, Lisboa, 2021.
    Aceite para publicação
  7. Duque, Jonathan; Múnera, Danny A.; Díaz, Daniel; Abreu, Salvador. "Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics". Trabalho apresentado em Optimization and Learning - 4th International Conference, OLA 2021, 2021.
    Publicado • 10.1007/978-3-030-85672-4_22
  8. Seipel, D.; Weidner, D.; Abreu, Salvador. "Intelligent query answering with contextual knowledge for relational databases". Trabalho apresentado em 10th Symposium on Languages, Applications and Technologies (SLATE 2021), 2021.
    Publicado • 10.4230/OASIcs.SLATE.2021.16
  9. Jean-François BAFFIER; Khalil CHRIT; Florian RICHOUX; Pedro PATINHO; Abreu, Salvador. "CompositionalNetworks.jl: a scaling glass-box neural network to learn combinatorial functions". Trabalho apresentado em JuliaCon 2021, 2021.
    Publicado • 10.21105.jcon.00087
  10. Nogatz, F.; Seipel, D.; Abreu, Salvador. "Definite clause grammars with parse trees: Extension for prolog". Trabalho apresentado em 8th Symposium on Languages, Applications and Technologies, SLATE 2019, 2019.
    Publicado • 10.4230/OASIcs.SLATE.2019.7
  11. Slazynski, M.; Abreu, S.; Nalepa, G.J.. "Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure". Trabalho apresentado em GECCO '19: Genetic and Evolutionary Computation Conference, 2019.
    Publicado • 10.1145/3319619.3321968
  12. Nogatz, F.; Kübert, J.; Seipel, D.; Abreu, Salvador. "Alexa, how can I reason with prolog?". Trabalho apresentado em 8th Symposium on Languages, Applications and Technologies, SLATE 2019, 2019.
    Publicado • 10.4230/OASIcs.SLATE.2019.17
  13. Slazynski, M.; Abreu, Salvador; Nalepa, G.J.. "Generating local search neighborhood with synthesized logic programs". Trabalho apresentado em 35th International Conference on Logic Programming (ICLP 2019), 2019.
    Publicado • 10.4204/EPTCS.306.22
  14. Robin, J.; Mazo, R.; Madeira, H.; Barbosa, R.; Diaz, D.; Abreu, Salvador. "A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence". Trabalho apresentado em Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, 2019.
    Publicado • 10.1007/978-3-030-26250-1_32
  15. Lopez, J.; Munera, D.; Diaz, D.; Abreu, Salvador. "On integrating population-based metaheuristics with cooperative parallelism". Trabalho apresentado em 2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2018.
    Publicado • 10.1109/IPDPSW.2018.00100
  16. López, J.; Múnera, D.; Diaz, D.; Abreu, Salvador. "Weaving of metaheuristics with cooperative parallelism". Trabalho apresentado em International Conference on Parallel Problem Solving from Nature (PPSN 2018), 2018.
    Publicado • 10.1007/978-3-319-99253-2_35
  17. Roque, Pedro; Pedro, Vasco; Diaz, Daniel; Abreu, Salvador. "Improving Constraint Solving on Parallel Hybrid Systems". Trabalho apresentado em 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018), 2018.
    Publicado • 10.1109/ictai.2018.00114
  18. Seipel, D.; Von Der Weth, R.; Abreu, S.; Nogatz, F.; Werner, A.. "Declarative rules for annotated expert knowledge in change management". Trabalho apresentado em 5th Symposium on Languages, Applications and Technologies (SLATE'16), 2016.
    Publicado • 10.4230/OASIcs.SLATE.2016.7
  19. Munera, D.; Diaz, D.; Abreu, S.. "Solving the quadratic assignment problem with cooperative parallel extremal optimization". Trabalho apresentado em 16th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2016, 2016.
    Publicado • 10.1007/978-3-319-30698-8_17
  20. Munera, D.; Diaz, D.; Abreu, S.. "Hybridization as cooperative parallelism for the quadratic assignment problem". Trabalho apresentado em 10th International Workshop on Hybrid Metaheuristics, Plymouth, 2016.
    Publicado • 10.1007/978-3-319-39636-1_4
  21. Roque, Pedro; Pedro, Vasco; Abreu, Salvador. "Load Balancing for Constraint Solving with GPUs". Trabalho apresentado em INForum --- Simpósio de Informática 2016 (Computação Paralela, Distribuída e de Larga Escala), 2016.
    Publicado
  22. Roque, Pedro; Pedro, Vasco; Abreu, Salvador. "Solving Constraint Satisfaction Problems in GPUs". Trabalho apresentado em JIUE 2015 - 5as Jornadas de Informática da Universidade de Évora, Évora, 2015.
    Publicado
  23. Munera, D.; Diaz, D.; Abreu, Salvador; Rossi, F.; Saraswat, V.; Codognet, P.. "Solving hard stable matching problems via local search and cooperative parallelization". Trabalho apresentado em AAAI Conference on Artificial Intelligence 29 (2015), 2015.
    10.1609/aaai.v29i1.9360
  24. Salgueiro, P.; Abreu, Salvador; Rolo, J.; Clain, S.. "An interactive web-based tool for breast reduction surgery simulation". Trabalho apresentado em 2015 IEEE Symposium on 3D User Interfaces (3DUI), 2015.
    10.1109/3DUI.2015.7131760
  25. Munera, D.; Diaz, D.; Abreu, S.; Codognet, P.. "Flexible cooperation in parallel local search". Trabalho apresentado em 29th Annual ACM Symposium on Applied Computing, 2014.
    Publicado • 10.1145/2554850.2555140
  26. Bloemen, V.; Diaz, D.; Van Der Bijl, M.; Abreu, Salvador. "Extending the finite domain solver of GNU prolog". Trabalho apresentado em Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS 2014), 2014.
    Publicado
  27. Munera, D.; Diaz, D.; Abreu, Salvador; Codognet, P.. "A parametric framework for cooperative parallel local search". Trabalho apresentado em EvoCOP 2014: Evolutionary Computation in Combinatorial Optimisation, 2014.
    Publicado • 10.1007/978-3-662-44320-0_2
  28. Machado, R.; Pedro, V.; Abreu, Salvador. "On the scalability of constraint programming on hierarchical multiprocessor systems". Trabalho apresentado em 42nd International Conference on Parallel Processing (ICPP 2013), 2013.
    Publicado • 10.1109/ICPP.2013.66
  29. Munera, D.; Diaz, D.; Abreu, S.. "Towards parallel constraint-based local search with the X10 language". Trabalho apresentado em International Conference on Applications of Declarative Programming and Knowledge Management, 2013.
    Publicado • 10.1007/978-3-319-08909-6_11
  30. Rodrigues, I.; Matos, N.; Abreu, S.; Deneckere, R.; Diaz, D.. "Towards constraint-informed information systems". Trabalho apresentado em IEEE 7th International Conference on Research Challenges in Information Science (RCIS), 2013.
    Publicado • 10.1109/RCIS.2013.6577690
  31. Machado, Rui; Abreu, Salvador; Diaz, Daniel. "Parallel Performance of Declarative Programming Using a PGAS Model". Trabalho apresentado em International Symposium on Practical Aspects of Declarative Languages (PADL 2013), 2013.
    Publicado • 10.1007/978-3-642-45284-0_17
  32. Madeira, Filipe; Quaresma, Rui; Abreu, Salvador. "Estratégia hibrida de recomendações sobre um gestor de conteúdos ampliado em ensino formal". Trabalho apresentado em CAPSI 2012, 2012.
  33. Caniou, Yves; Diaz, Daniel; Richoux, Florian; Codognet, Philippe; Abreu, Salvador. "Performance analysis of parallel constraint-based local search". Trabalho apresentado em PPoPP '12: 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, 2012.
    Publicado • 10.1145/2145816.2145883
  34. Madeira, F.; Quaresma, R.; Abreu, S.; Chova, LG; Martinez, AL; Torres, IC. "A Hybrid Recommender Strategy on an Expanded Content Manager in Formal Learning". Trabalho apresentado em 5th International Conference of Education, Research and Innovation (Iceri 2012), 2012.
    Publicado
  35. Diaz, Daniel; Richoux, Florian; Caniou, Yves; Codognet, Philippe; Abreu, Salvador; IEEE. "Parallel local search for the Costas Array Problem". Trabalho apresentado em 26th International Parallel and Distributed Processing Symposium (IPDPS 2012), 2012.
    Publicado • 10.1109/IPDPSW.2012.222
  36. Diaz, D.; Richoux, F.; Codognet, P.; Caniou, Y.; Abreu, S.. "Constraint-based local search for the costas array problem". Trabalho apresentado em LION 2012: Learning and Intelligent Optimization, 2012.
    Publicado • 10.1007/978-3-642-34413-8_31
  37. Caniou, Y.; Codognet, P.; Diaz, D.; Abreu, Salvador. "Parallel constraint-based local search on the HA8000 supercomputer (abstract)". Trabalho apresentado em SAC '11: 2011 ACM Symposium on Applied Computing, 2011.
    Publicado • 10.1145/1982185.1982386
  38. Caniou, Yves; Codognet, Philippe; Diaz, Daniel; Abreu, Salvador; Merz, P; Hao, JK; Caniou, Y.; et al. "Experiments in Parallel Constraint-Based Local Search". Trabalho apresentado em Evolutionary Computation in Combinatorial Optimization (EvoCOP 2011), 2011.
    Publicado • 10.1007/978-3-642-20364-0_9
  39. Salgueiro, Pedro; Diaz, Daniel; Brito, Isabel; Abreu, Salvador. "Using Constraints for Intrusion Detection: The NeMODe System". Trabalho apresentado em Practical Aspects of Declarative Languages (PADL 2011), 2011.
    Publicado • 10.1007/978-3-642-18378-2_11
  40. Salgueiro, P.D.; Abreu, Salvador. "A DSL for intrusion detection based on Constraint Programming". Trabalho apresentado em SIN '10: 3rd international conference on Security of information and networks, 2010.
    Publicado • 10.1145/1854099.1854145
  41. Pedro, V.; Abreu, Salvador. "Distributed work stealing for constraint solving". 2010.
    10.48550/arXiv.1009.3800
  42. André, P.; Abreu, S.. "Casting of the WAM as an EAM". 2010.
  43. Salgueiro, P.; Abreu, S.. "Network monitoring with constraint programming: Preliminary specification and analysis". Trabalho apresentado em 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, 2009.
    Publicado • 10.1007/978-3-642-20589-7_14
  44. Nogueira, V.; Abreu, S.. "ISTO: A language for temporal organizational information systems". Trabalho apresentado em INAP 2009: Applications of Declarative Programming and Knowledge Management, 2009.
    Publicado • 10.1007/978-3-642-20589-7_3
  45. Abreu, S.; Diaz, D.; Codognet, P.. "Parallel local search for solving constraint problems on the cell broadband engine (Preliminary results)". 2009.
    10.4204/EPTCS.5.8
  46. Nogueira, Vitor; Abreu, Salvador. "Integrating Temporal Annotations in a Modular Logic Language". 2007.
    Publicado • 10.1007/978-3-642-00675-3_11
  47. Fernandes, C.; Lopes, N.; Abreu, S.. "On querying ontologies with contextual logic programming". 2007.
  48. Lopes, N.; Fernandes, C.; Abreu, S.. "Contextual logic programming for ontology representation and querying". 2007.
  49. Nogueira, V.; Abreu, S.. "Modularity and temporal reasoning: A logic programming approach". 2007.
    10.1109/TIME.2007.53
  50. Nogueira, Vitor; Abreu, Salvador. "Towards temporal contextual logic programming". Trabalho apresentado em International Conference on Logic Programming ICLP 2006, 2006.
    Publicado • 10.1007/11799573_39
  51. Abreu, S.; Nogueira, V.. "Towards structured contexts and modules". Trabalho apresentado em ICLP 2006: Logic Programming, 2006.
    Publicado
  52. Abreu, Salvador; Nogueira, Vitor. "Using a logic programming language with persistence and contexts". Trabalho apresentado em International Conference on Applications of Declarative Programming and Knowledge Management INAP 2005, 2005.
    Publicado
  53. Abreu, S.; Diaz, D.. "Contexts for organizational information system design and implementation". 2004.
  54. Abreu, S; Quaresma, P; Quintano, L; Rodrigues, I. "A dialogue manager for accessing databases". Trabalho apresentado em Information Modelling and Knowledge Bases XV, 2004.
    Publicado
  55. Quintano, L.; Abreu, S.; Rodrigues, I.. "Relational information retrieval through natural language analysis". 2003.
  56. Abreu, S; Diaz, D. "Objective: In minimum context". Trabalho apresentado em International Conference on Logic Programming ICLP 2003, 2003.
    Publicado • 10.1007/978-3-540-24599-5_10
  57. Abreu, S.; Quaresma, P.; Quintano, L.; Rodrigues, I.. "A natural language dialogue manager for accessing databases". 2002.
  58. Abreu, S.; Godinho, J.. "Logic-based Network Configuration and Management". 2002.
  59. Abreu, Salvador. "A logic-based information system". Trabalho apresentado em Practical Aspects of Declarative Languages (PADL 2000), 2000.
    Publicado • 10.1007/3-540-46584-7_10
  60. Abreu, S.; Pereira, L.M.. "Design for AKL with intelligent pruning". Trabalho apresentado em Extensions of Logic Programming: 4th International Workshop, ELP'93, 1993.
    Publicado
Artigo em revista
  1. Körner, Philip; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; Jose F. Morales; et al. "Fifty Years of Prolog and Beyond". Theory and Practice of Logic Programming 22 6 (2022): 776-858. https://doi.org/10.1017/S1471068422000102.
    Acesso aberto • Publicado • 10.1017/S1471068422000102
  2. Seipel, D.; Nogatz, F.; Abreu, Salvador. "Domain-specific languages in PROLOG for declarative expert knowledge in rules and ontologies". Computer Languages, Systems and Structures 51 (2018): 1339-1351. http://www.scopus.com/inward/record.url?eid=2-s2.0-85024891790&partnerID=MN8TOARS.
    Acesso aberto • Publicado • 10.1016/j.cl.2017.06.006
  3. Irene Pimenta Rodrigues; Quaresma, Rui; Daniel Diaz; Abreu, Salvador; Rodrigues, Irene; Diaz, Daniel. "Constraint-Informed Information Systems in Space Management Utilization". Coimbra Business Review 2 1 (2016): 17-27. http://hdl.handle.net/10174/19081.
    Publicado
  4. Caniou, Y.; Codognet, P.; Richoux, F.; Diaz, D.; Abreu, Salvador. "Large-scale parallelism for constraint-based local search: the costas array case study". Constraints 20 1 (2014): 30-56. http://www.scopus.com/inward/record.url?eid=2-s2.0-84920705456&partnerID=MN8TOARS.
    Publicado • 10.1007/s10601-014-9168-4
  5. Madeira, Filipe; Abreu, Salvador; Quaresma, Rui Filipe Cerqueira. "Hybrid Recommender Strategy in Learning: an Experimental Investigation". Social Technologies 3 1 (2013): 7-24. http://dx.doi.org/10.13165/st-13-3-1-01.
    Publicado • 10.13165/st-13-3-1-01
  6. Diaz, D.; Abreu, Salvador; Codognet, P.. "On the implementation of GNU Prolog". Theory and Practice of Logic Programming 12 1-2 (2012): 253-282. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856177092&partnerID=MN8TOARS.
    Publicado • 10.1017/S1471068411000470
  7. Diaz, Daniel; Abreu, Salvador; Codognet, Philippe. "Targeting the Cell Broadband Engine for constraint-based local search". Concurrency and Computation-Practice & Experience 24 6 (2012): 647-660. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000300978400008&KeyUID=WOS:000300978400008.
    Publicado • 10.1002/cpe.1855
  8. Machado, R.; Lojewski, C.; Abreu, Salvador; Pfreundt, F.-J.. "Unbalanced tree search on a manycore system using the GPI programming model". Computer Science - Research and Development 26 3-4 (2011): 229-236. http://www.scopus.com/inward/record.url?eid=2-s2.0-80051671105&partnerID=MN8TOARS.
    Publicado • 10.1007/s00450-011-0163-3
  9. Salgueiro, Pedro; Abreu, Salvador; Brazier, FMT; Nieuwenhuis, K; Pavlin, G; Warnier, M; Badica, C; Salgueiro, P.; Abreu, S.. "Modeling Distributed Network Attacks with Constraints". Intelligent Distributed Computing V 382 4 (2011): 203-212. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000307523200020&KeyUID=WOS:000307523200020.
    10.1007/978-3-642-24013-3_20
  10. Rocha, Francisco; Abreu, Salvador; Correia, Miguel. "The Final Frontier: Confidentiality and Privacy in the Cloud". Computer 44 9 (2011): 44-50. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000294862400014&KeyUID=WOS:000294862400014.
    Publicado • 10.1109/MC.2011.223
  11. Diaz, Daniel; Abreu, Salvador; Codognet, Philippe; Essaaidi, M; Malgeri, M; Badica, C; Diaz, D.; Abreu, S.; Codognet, P.. "Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture". Intelligent Distributed Computing Iv 315 (2010): 265-274. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000287889200028&KeyUID=WOS:000287889200028.
    10.1007/978-3-642-15211-5_28
  12. Lopes, N.; Fernandes, C.; Abreu, S.. "Representing and querying multiple ontologies with contextual logic programming". Computer Science and Information Systems 5 2 (2008): 39-62. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349659845&partnerID=MN8TOARS.
    10.2298/CSIS0802039L
  13. Nogueira, V.; Abreu, S.. "Temporal Contextual Logic Programming". Electronic Notes in Theoretical Computer Science 177 1 (2007): 219-233. http://www.scopus.com/inward/record.url?eid=2-s2.0-34248679888&partnerID=MN8TOARS.
    Publicado • 10.1016/j.entcs.2007.01.025
  14. Ferreira, L.; Abreu, S.. "Design for AJACS, yet another Java constraint programming framework". Electronic Notes in Theoretical Computer Science 48 (2001): 167-178. http://www.scopus.com/inward/record.url?eid=2-s2.0-19144362722&partnerID=MN8TOARS.
    10.1016/S1571-0661(04)00155-0
  15. Ferreira, L.; Abreu, S.. "A CLP framework in Java". Electronic Notes in Theoretical Computer Science 30 3 (2000): 81-92. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944383074&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80108-2
Capítulo de livro
  1. Morales, Jose F.; Abreu, Salvador; Ferreiro, Daniela; Hermenegildo, Manuel V.. "Teaching Prolog with Active Logic Documents". In Prolog: The Next 50 Years, 171-183. Springer Nature Switzerland, 2023.
    Publicado • 10.1007/978-3-031-35254-6_14
  2. Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador. "Multi-objective Finite-Domain Constraint-Based Forest Management". In Springer Proceedings in Mathematics & Statistics, 75-88. Springer Nature Switzerland, 2023.
    10.1007/978-3-031-46439-3_6
  3. Codognet, Philippe; Munera, Danny; Diaz, Daniel; Abreu, Salvador. "Parallel Local Search". In Handbook of Parallel Constraint Reasoning, 381-417. Springer International Publishing, 2018.
    Publicado • 10.1007/978-3-319-63516-3_10
  4. Paulo Quaresma; Teresa Gonçalves; Abreu, Salvador; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T. Svensson. "Artificial intelligence for the detection of AOX functional markers". In Alternative respiratory pathways in higher plants. John Wiley & Sons, 2015.
    Publicado • 10.1002/9781118789971.ch14
Edição de livro
  1. Hofstedt, P.; Abreu, Salvador; John, U.; Kuchen, H.; Seipel, D.. Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2019. Springer. 2020.
    Publicado • 10.1007/978-3-030-46714-2 • Editor
  2. Seipel, D.; Hanus, M.; Abreu, S.. Declarative Programming and Knowledge Management; Conference on Declarative Programming, DECLARE 2017, Würzburg, Germany, Revised Selected Papers. Springer International Publishing. 2018.
    Publicado • 10.1007/978-3-030-00801-7 • Editor
  3. Tompits, Hans; Abreu, Salvador; Oetsch, Johans; Pührer, Jörg; Seipel, Dietmar; Umeda, Masanobu; Wolf,Armin. Applications of Declarative Programming and Knowledge Management; 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011. Springer-Verlag. 2013.
    Publicado • 10.1007/978-3-642-41524-1 • Editor
  4. Seipel, D.; Abreu, Salvador. 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009; Lecture Notes in Computer Science Volume 6547 LNAI, 2011. Springer LNCS. 2011.
    Publicado • 10.1007/978-3-642-20589-7 • Editor
  5. Fernando Moura Pires; Salvador Abreu. Progress in Artificial Intelligence: 11th Portuguese Conference on Artificial Intelligence, EPIA 2003. Springer Berlin Heidelberg. 2003.
    Publicado • 10.1007/b94425 • Editor
Livro
  1. Rocha, Francisco; Abreu, Salvador; Correia, Miguel. The Next Frontier: Managing Data Confidentiality and Integrity in the Cloud. IEEE Computer Society Press. 2013.
    Publicado
Atividades

Participação em evento

Descrição da atividade
Tipo de evento 		Nome do evento
Instituição / Organização
2023/10/16 - 2023/10/19 Keynote speaker; title: Artificial Intelligence, Industry 4.0 and Emergent Tech (https://fth.agh.edu.pl/)
Simpósio
 Exploring the Frontiers of Technology and Humanity – AGH University Summer School
Akademia Górniczo-Hutnicza im Stanislawa Staszica w Krakowie Wydzial Odlewnictwa, Polónia

Arbitragem científica em conferência

Nome da conferência Local da conferência
2024 - 2024 30th International European Conference on Parallel and Distributed Computing (Euro-PAR 2024)
2023 - 2023 IEEE 35th International Conference on Tools with Artificial Intelligence (ICTAI 2023)
2023 - 2023 37th Workshop on (Constraint and Functional) Logic Programming (WLP 2023)
2023 - 2023 39th International Conference on Logic Programming (ICLP 2023)
2023 - 2023 12th Symposium on Languages, Applications and Technologies (SLATE 2023)
2023 - 2023 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023)
2023 - 2023 Intelligent Distributed Computing Symposium 2023 (IDC 2023)
2023 - 2023 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023)