 | 2012 |
|---|
| 43 |       | Yves Caniou,
Daniel Diaz,
Florian Richoux,
Philippe Codognet,
Salvador Abreu:
Performance analysis of parallel constraint-based local search.
PPOPP 2012: 337-338 |
| 42 | | Daniel Diaz,
Salvador Abreu,
Philippe Codognet:
Targeting the Cell Broadband Engine for constraint-based local search.
Concurrency and Computation: Practice and Experience 24(6): 647-660 (2012) |
| 2011 |
|---|
| 41 | | Salvador Abreu,
Dietmar Seipel:
Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
Springer 2011 |
| 40 | | Yves Caniou,
Philippe Codognet,
Daniel Diaz,
Salvador Abreu:
Experiments in Parallel Constraint-Based Local Search.
EvoCOP 2011: 96-107 |
| 39 | | Pedro D. Salgueiro,
Salvador Abreu:
Modeling Distributed Network Attacks with Constraints.
IDC 2011: 203-212 |
| 38 | | Pedro D. Salgueiro,
Daniel Diaz,
Isabel Brito,
Salvador Abreu:
Using Constraints for Intrusion Detection: The NeMODe System.
PADL 2011: 115-129 |
| 37 | | Yves Caniou,
Philippe Codognet,
Daniel Diaz,
Salvador Abreu:
Parallel constraint-based local search on the HA8000 supercomputer (abstract).
SAC 2011: 920-921 |
| 36 | | Salvador Abreu,
Vítor Santos Costa:
Online Proceedings of the 11th
CoRR abs/1112.4993: (2011) |
| 35 | | Rui Machado,
Carsten Lojewski,
Salvador Abreu,
Franz-Josef Pfreundt:
Unbalanced tree search on a manycore system using the GPI programming model.
Computer Science - R&D 26(3-4): 229-236 (2011) |
| 34 | | Francisco Rocha,
Salvador Abreu,
Miguel Correia:
The Final Frontier: Confidentiality and Privacy in the Cloud.
IEEE Computer 44(9): 44-50 (2011) |
| 2010 |
|---|
| 33 | | Daniel Diaz,
Salvador Abreu,
Philippe Codognet:
Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture.
IDC 2010: 265-274 |
| 32 | | Pedro D. Salgueiro,
Salvador Abreu:
A DSL for intrusion detection based on constraint programming.
SIN 2010: 224-232 |
| 31 | | Vasco Pedro,
Salvador Abreu:
Distributed Work Stealing for Constraint Solving
CoRR abs/1009.3800: (2010) |
| 30 | | Paulo André,
Salvador Abreu:
Casting of the WAM as an EAM
CoRR abs/1009.3806: (2010) |
| 29 | | Daniel Diaz,
Salvador Abreu,
Philippe Codognet:
On the Implementation of GNU Prolog
CoRR abs/1012.2496: (2010) |
| 2009 |
|---|
| 28 | | Pedro D. Salgueiro,
Salvador Abreu:
Network Monitoring with Constraint Programming: Preliminary Specification and Analysis.
INAP 2009: 223-238 |
| 27 | | Vítor Nogueira,
Salvador Abreu:
ISTO: A Language for Temporal Organizational Information Systems.
INAP 2009: 40-51 |
| 26 | | Salvador Abreu,
Daniel Diaz,
Philippe Codognet:
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)
LSCS 2009: 97-111 |
| 2008 |
|---|
| 25 | | Nuno Lopes,
Cláudio Fernandes,
Salvador Abreu:
Representing and querying multiple ontologies with Contextual Logic Programming.
Comput. Sci. Inf. Syst. 5(2): 39-62 (2008) |
| 2007 |
|---|
| 24 | | Nuno Lopes,
Cláudio Fernandes,
Salvador Abreu:
Contextual Logic Programming for Ontology Representation and Querying.
ALPSWS 2007 |
| 23 | | Vítor Nogueira,
Salvador Abreu:
Integrating Temporal Annotations in a Modular Logic Language.
INAP/WLP 2007: 165-177 |
| 22 | | Cláudio Fernandes,
Nuno Lopes,
Salvador Abreu:
On Querying Ontologies with Contextual Logic Programming.
OWLED 2007 |
| 21 | | Vítor Nogueira,
Salvador Abreu:
Modularity and Temporal Reasoning: A Logic Programming Approach.
TIME 2007: 191 |
| 20 | | Vítor Nogueira,
Salvador Abreu:
Temporal Contextual Logic Programming.
Electr. Notes Theor. Comput. Sci. 177: 219-233 (2007) |
| 2006 |
|---|
| 19 | | Salvador Abreu,
Vítor Nogueira:
Towards Structured Contexts and Modules.
ICLP 2006: 436-438 |
| 18 | | Vítor Nogueira,
Salvador Abreu:
Towards Temporal Contextual Logic Programming.
ICLP 2006: 439-441 |
| 2005 |
|---|
| 17 | | Salvador Abreu,
Vítor Nogueira:
Using a Logic Programming Language with Persistence and Contexts.
INAP 2005: 38-47 |
| 2004 |
|---|
| 16 |  | Salvador Abreu,
Daniel Diaz:
Contexts for Organizational Information System Design and Implementation.
ICEIS (1) 2004: 227-232 |
| 2003 |
|---|
| 15 | | Fernando Moura-Pires,
Salvador Abreu:
Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings
Springer 2003 |
| 14 | | Salvador Abreu,
Paulo Quaresma,
Luis Quintano,
Irene Pimenta Rodrigues:
A Dialogue Manager for Accessing Databases.
EJC 2003: 210-219 |
| 13 | | Salvador Abreu,
Daniel Diaz:
Objective: In Minimum Context.
ICLP 2003: 128-147 |
| 12 | | Vítor Nogueira,
Salvador Abreu,
Gabriel David:
Using Contextual Logic Programming for Temporal Reasoning.
JISBD 2003: 479-490 |
| 2002 |
|---|
| 11 | | Salvador Abreu,
Paulo Quaresma,
Luis Quintano,
Irene Pimenta Rodrigues:
A Natural Language Dialogue Manager for Accessing Databases.
PorTAL 2002: 161-170 |
| 2001 |
|---|
| 10 | | Salvador Abreu,
Joaquim Godinho:
Logic-based Network Configuration and Management.
EUNIS 2001: 286-293 |
| 9 | | Salvador Abreu:
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems.
INAP 2001: 229-237 |
| 8 | | Luis Quintano,
Salvador Abreu,
Irene Pimenta Rodrigues:
Relational Information Retrieval through Natural Lanaguage Analysis.
INAP 2001: 437-451 |
| 7 | | Luis Quintano,
Salvador Abreu,
Irene Pimenta Rodrigues:
Relational Information Retrieval through Natural Language Analysis.
INAP (LNCS Volume) 2001: 86-99 |
| 6 | | Lígia Ferreira,
Salvador Abreu:
Design for AJACS, yet another Java constraint programming framework.
Electr. Notes Theor. Comput. Sci. 48: 167-178 (2001) |
| 2000 |
|---|
| 5 | | Salvador Abreu:
A Logic-Based Information System.
PADL 2000: 141-153 |
| 1999 |
|---|
| 4 | | Lígia Ferreira,
Salvador Abreu:
A Constraint Logic Programming Framwork in Java.
Electr. Notes Theor. Comput. Sci. 30(3): 81-92 (1999) |
| 1994 |
|---|
| 3 | | Salvador Abreu,
Luís Moniz Pereira:
A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems.
Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 9-16 |
| 1993 |
|---|
| 2 | | Salvador Abreu,
Luís Moniz Pereira:
Design for AKL with Intelligent Pruning.
ELP 1993: 3-10 |
| 1992 |
|---|
| 1 | | Salvador Abreu,
Luís Moniz Pereira,
Philippe Codognet:
Improving Backward Execution in the Andorra Family of Languages.
JICSLP 1992: 384-398 |
Data released under the ODC-BY 1.0 license — See also our legal information page