ProfileOfResearchers

IN MY:

ORCID |

TITLE: A DSL for intrusion detection based on Constraint Programming
AUTHORS: Salgueiro, PD; Abreu, SP ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Security of Information and Networks, SIN 2010 in SIN'10 - Proceedings of the 3rd International Conference of Security of Information and Networks

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID |

TITLE: Casting of the WAM as an EAM PDF
AUTHORS: Paulo André ; Salvador Abreu ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3806

INDEXED IN:

DBLP

arXiv

IN MY:

TITLE: Casting of the WAM as an EAM
AUTHORS: Andre, P; Abreu, S ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming, ICLP 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments - CICLOPS-WLPE 2010 in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010

INDEXED IN:

Scopus

IN MY:

ORCID

TITLE: Distributed work stealing for constraint solving PDF
AUTHORS: Pedro, V ; Abreu, S ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming, ICLP 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments - CICLOPS-WLPE 2010 in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010, VOLUME: abs/1009.3800

INDEXED IN:

Scopus

DBLP

arXiv

IN MY:

ORCID |

TITLE: On the Implementation of GNU Prolog PDF
AUTHORS: Daniel Diaz; Salvador Abreu ; Philippe Codognet;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1012.2496

INDEXED IN:

DBLP

arXiv

IN MY:

TITLE: Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture
AUTHORS: Daniel Diaz; Salvador Abreu ; Philippe Codognet;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Intelligent Distributed Computing in INTELLIGENT DISTRIBUTED COMPUTING IV, VOLUME: 315

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID |

TITLE: Integrating Temporal Annotations in a Modular Logic Language Full Text
AUTHORS: Vitor Nogueira ; Salvador Abreu ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID |

TITLE: Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) Full Text
AUTHORS: Salvador Abreu ; Daniel Diaz; Philippe Codognet;
PUBLISHED: 2009, SOURCE: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009., VOLUME: 5

INDEXED IN:

DBLP

IN MY:

TITLE: Representing and Querying Multiple Ontologies with Contextual Logic Programming Full Text
AUTHORS: Nuno Lopes ; Claudio Fernandes; Salvador Abreu ;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID |