M. Salvador Abreu

2022

Article dans une revue

titre

Fifty Years of Prolog and Beyond

auteur

Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel Hermenegildo, Jose Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto

article

Theory and Practice of Logic Programming, 2022, 22 (6), pp.776-858. ⟨10.1017/S1471068422000102⟩

typdoc

Article dans une revue

Accès au bibtex

Communication dans un congrès

titre

Quantum and Digital Annealing for the Quadratic Assignment Problem

auteur

Philippe Codognet, Daniel Diaz, Salvador Abreu

article

IEEE International Conference on Quantum Software (QSW), Jul 2022, Barcelona, Spain. ⟨10.1109/QSW55613.2022.00016⟩

typdoc

Communication dans un congrès

Accès au bibtex

2021

Article dans une revue

titre

Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics

auteur

Jonathan Duque, Danny Múnera, Daniel Díaz, Salvador Abreu

article

Communications in Computer and Information Science, 2021, Communications in Computer and Information Science, 1443, pp.294-309. ⟨10.1007/978-3-030-85672-4_22⟩

typdoc

Article dans une revue

Accès au bibtex

Communication dans un congrès

titre

Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search

auteur

Camilo Correa, Jacques Robin, Raul Mazo, Salvador Abreu

article

16th International Conference on Risks and Security of Internet and Systems, CRISIS 2021, Nov 2021, Virtual, Online, United States. pp.91-107, ⟨10.1007/978-3-031-02067-4_6⟩

typdoc

Communication dans un congrès

Accès au bibtex

2019

Communication dans un congrès

titre

A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence

auteur

Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu

article

International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland

typdoc

Communication dans un congrès

Accès au bibtex

2018

Communication dans un congrès

titre

Improving Constraint Solving on Parallel Hybrid Systems

auteur

Pedro Roque, Vasco Pedro, Daniel Diaz, Salvador Abreu

article

2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2018, Volos, Greece. pp.726-732, ⟨10.1109/ictai.2018.00114⟩

typdoc

Communication dans un congrès

Accès au bibtex

titre

On Integrating Population-Based Metaheuristics with Cooperative Parallelism

auteur

Jheisson Lopez, Danny Munera, Daniel Diaz, Salvador Abreu

article

8th IEEE Workshop on Parallel / Distributed Computing and Optimization (PDCO 2018), May 2018, Vancouver, Canada. ⟨10.1109/IPDPSW.2018.00100⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

titre

Weaving of Metaheuristics with Cooperative Parallelism

auteur

Jheisson Lopez, Danny Munera, Daniel Diaz, Salvador Abreu

article

International Conference on Parallel Problem Solving from Nature, 2018, Coimbra, Portugal. pp.436-448, ⟨10.1007/978-3-319-99253-2_35⟩

typdoc

Communication dans un congrès

Accès au bibtex

Chapitre d'ouvrage

titre

Parallel Local Search

auteur

Philippe Codognet, Danny Munera, Daniel Diaz, Salvador Abreu

article

Handbook of Parallel Constraint Reasoning, Springer International Publishing, pp.381-417, 2018, 978-3-319-63515-6. ⟨10.1007/978-3-319-63516-3_10⟩

typdoc

Chapitre d'ouvrage

Accès au bibtex

2017

Communication dans un congrès

titre

CLP(FD)-based Information Systems in Space Management Optimization

auteur

Irene Rodrigues, Daniel Diaz, Salvador Abreu

article

Language & Technology Conference, 2017, Poznan, Poland

typdoc

Communication dans un congrès

Accès au bibtex

2016

Article dans une revue

titre

Constraint-Informed Information Systems in Space Management Optimization

auteur

Irene Rodrigues, Rui Quaresma, Daniel Diaz, Salvador Abreu

article

Coimbra Business Review, 2016

typdoc

Article dans une revue

Accès au bibtex

titre

Constraint-Informed Information Systems in Space Management Optimization

auteur

Irene Rodrigues, Rui Quaresma, Daniel Diaz, Salvador Abreu

article

Coimbra Business Review, 2016, 2 (1)

typdoc

Article dans une revue

Accès au bibtex

Communication dans un congrès

titre

Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem

auteur

Danny Munera, Daniel Diaz, Salvador Abreu

article

10th International Workshop on Hybrid Metaheuristics, Jun 2016, Plymouth, United Kingdom. ⟨10.1007/978-3-319-39636-1_4⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

titre

Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization

auteur

Danny Munera, Daniel Diaz, Salvador Abreu

article

16th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2016, Mar 2016, Porto, Portugal. ⟨10.1007/978-3-319-30698-8_17⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

2015

Article dans une revue

titre

Large-scale parallelism for constraint-based local search: the costas array case study

auteur

Yves Caniou, Philippe Codognet, Florian Richoux, Daniel Diaz, Salvador Abreu

article

Constraints, 2015, 20 (1), pp.30-56. ⟨10.1007/s10601-014-9168-4⟩

typdoc

Article dans une revue

Accès au texte intégral et bibtex

Communication dans un congrès

titre

A Local Search Algorithm for SMTI and its extension to HRT Problems

auteur

Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay Saraswat, Philippe Codognet

article

3rd International Workshop on Matching Under Preferences, University of Glasgow, Apr 2015, Glasgow, United Kingdom

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

titre

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization

auteur

Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay Saraswat, Philippe Codognet

article

29th AAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

2014

Communication dans un congrès

titre

Towards a Parallel Hierarchical Adaptive Solver Tool

auteur

Salvador Abreu, Danny Munera, Daniel Diaz

article

Workshop on Parallel Methods for Search & Optimization (ParSearchOpt14), Jul 2014, Vienna, Austria

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

titre

A Parametric Framework for Cooperative Parallel Local Search

auteur

Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet

article

European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP), Apr 2014, Grenada, Spain. pp.13 - 24, ⟨10.1007/978-3-662-44320-0_2⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

titre

Flexible cooperation in parallel local search (extended abstract)

auteur

Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet

article

ACM Symposium on Applied Computing (SAC), Mar 2014, Gyeongju, South Korea. pp.1360 - 1361, ⟨10.1145/2554850.2555140⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

titre

Extending the Finite Domain Solver of GNU Prolog

auteur

Bloemen Vincent, Daniel Diaz, Salvador Abreu

article

International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS), 2014, Vienne, Austria

typdoc

Communication dans un congrès

Accès au bibtex

2013

Communication dans un congrès

titre

Towards Parallel Constraint-Based Local Search with the X10 Language

auteur

Danny Munera, Daniel Diaz, Salvador Abreu

article

20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Sep 2013, Kiel, Germany. pp.168-182

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

titre

Experimenting with X10 for Parallel Constraint-Based Local Search

auteur

Danny Munera, Daniel Diaz, Salvador Abreu

article

13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013), Aug 2013, Istanbul, Turkey. pp.33-47

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

titre

Towards Constraint-Informed Information Systems

auteur

Irene Rodrigues, Nuno Matos, Salvador Abreu, Rebecca Deneckere, Daniel Diaz

article

RCIS 2013, May 2013, Paris, France. pp.1

typdoc

Communication dans un congrès

Accès au bibtex

titre

Parallel Performance of Declarative Programming using a PGAS Model

auteur

Rui Machado, Salvador Abreu, Daniel Diaz

article

Practical Aspects of Declarative Languages (PADL), 2013, Rome, Italy

typdoc

Communication dans un congrès

Accès au bibtex

2012

Article dans une revue

titre

On the implementation of GNU Prolog

auteur

Daniel Diaz, Salvador Abreu, Philippe Codognet

article

Theory and Practice of Logic Programming, 2012, 12 (1-2), pp.253 - 282. ⟨10.1017/S1471068411000470⟩

typdoc

Article dans une revue

Accès au bibtex

titre

Targeting the Cell Broadband Engine for constraint-based local search

auteur

Daniel Diaz, Salvador Abreu, Philippe Codognet

article

Concurrency and Computation: Practice and Experience, 2012, 13 p. ⟨10.1002/cpe.1855⟩

typdoc

Article dans une revue

Accès au bibtex

Communication dans un congrès

titre

Parallel Local Search: Experiments with a PGAS-based programming model

auteur

Rui Machado, Salvador Abreu, Daniel Diaz

article

International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Sep 2012, Budapest, Hungary. pp.1

typdoc

Communication dans un congrès

Accès au bibtex

titre

Performance analysis of parallel constraint-based local search

auteur

Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu

article

Principles and Practice of Parallel Programming, Feb 2012, New Orleans, United States. pp.337-338, ⟨10.1145/2145816.2145883⟩

typdoc

Communication dans un congrès

Accès au bibtex

titre

Parallel local search for the Costas Array Problem

auteur

Daniel Diaz, Florian Richoux, Yves Caniou, Philippe Codognet, Salvador Abreu

article

Parallel Computing and Optimization, 2012, Shanghai, China

typdoc

Communication dans un congrès

Accès au bibtex

titre

Constraint-Based Local Search for the Costas Array Problem

auteur

Daniel Diaz, Florian Richoux, Philippe Codognet, Yves Caniou, Salvador Abreu

article

Learning and Intelligent OptimizatioN Conference (LION 6), 2012, Paris, France

typdoc

Communication dans un congrès

Accès au bibtex

2011

Communication dans un congrès

titre

Experiments in Parallel Constraint-Based Local Search

auteur

Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu

article

11th European conference on Evolutionary computation in combinatorial optimization (EvoCOP'11), Apr 2011, Torino, Italy. pp.96-107, ⟨10.1007/978-3-642-20364-0_9⟩

typdoc

Communication dans un congrès

Accès au bibtex

titre

Parallel constraint-based local search on the HA8000 supercomputer (extended abstract)

auteur

Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu

article

the 2011 ACM Symposium, Mar 2011, TaiChung, Taiwan. pp.920, ⟨10.1145/1982185.1982386⟩

typdoc

Communication dans un congrès

Accès au bibtex

titre

Using Constraints for Intrusion Detection: the NeMODe System

auteur

Pedro Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu

article

13th International Symposium, PADL 2011, Jan 2011, Austin, Texas, United States. pp.115-129, ⟨10.1007/978-3-642-18378-2_11⟩

typdoc

Communication dans un congrès

Accès au bibtex

2010

Communication dans un congrès

titre

Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture

auteur

Daniel Diaz, Salvador Abreu, Philippe Codognet

article

IDC 2010 - 4th International Symposium on Intelligent Distributed Computing, Sep 2010, Tangier, Morocco. pp.265-274, ⟨10.1007/978-3-642-15211-5_28⟩

typdoc

Communication dans un congrès

Accès au bibtex

2009

Communication dans un congrès

titre

Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)

auteur

Salvador Abreu, Philippe Codognet, Daniel Diaz

article

Sixth International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09)., Sep 2009, Lisbon, Portugal. pp.97-111, ⟨10.4204/EPTCS.5.8⟩

typdoc

Communication dans un congrès

Accès au bibtex

titre

On Structuring Contextual Logic Programs

auteur

Salvador Abreu, Vitor Nogueira, Daniel Diaz

article

Simposio de Informatica (INForum), 2009, France. pp.1

typdoc

Communication dans un congrès

Accès au bibtex

2004

Communication dans un congrès

titre

Contexts for Organizational Information System Design and Implementation

auteur

Salvador Abreu, Daniel Diaz

article

International Conference on Enterprise Information Systems, 2004, Porto, Portugal. 6 p

typdoc

Communication dans un congrès

Accès au bibtex

titre

Organizational Information Systems Design and Implementation with Contextual Constraint Logic Programming

auteur

Salvador Abreu, Daniel Diaz, Vitor Nogueira

article

International Conference of European University Information Systems, 2004, Ljubljana, Slovenia

typdoc

Communication dans un congrès

Accès au bibtex

2003

Communication dans un congrès

titre

Objective: in Minimum Context

auteur

Salvador Abreu, Daniel Diaz

article

International Conference on Logic Programming, 2003, Mumbai, India. pp.128-147

typdoc

Communication dans un congrès

Accès au bibtex