ProfileOfResearchers

NO MEU:

ORCID |

TÃTULO: A DSL for intrusion detection based on Constraint Programming
AUTORES: Salgueiro, PD; Abreu, SP ;
PUBLICAÇÃO: 2010, FONTE: 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

INDEXADO EM:

Scopus

DBLP

NO MEU:

ORCID |

TÃTULO: Casting of the WAM as an EAM PDF
AUTORES: Paulo André ; Salvador Abreu ;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1009.3806

INDEXADO EM:

DBLP

arXiv

NO MEU:

TÃTULO: Casting of the WAM as an EAM
AUTORES: Andre, P; Abreu, S ;
PUBLICAÇÃO: 2010, FONTE: 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

INDEXADO EM:

Scopus

NO MEU:

ORCID

TÃTULO: Distributed work stealing for constraint solving PDF
AUTORES: Pedro, V ; Abreu, S ;
PUBLICAÇÃO: 2010, FONTE: 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

INDEXADO EM:

Scopus

DBLP

arXiv

NO MEU:

ORCID |

TÃTULO: On the Implementation of GNU Prolog PDF
AUTORES: Daniel Diaz; Salvador Abreu ; Philippe Codognet;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1012.2496

INDEXADO EM:

DBLP

arXiv

NO MEU:

TÃTULO: Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture
AUTORES: Daniel Diaz; Salvador Abreu ; Philippe Codognet;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Intelligent Distributed Computing in INTELLIGENT DISTRIBUTED COMPUTING IV, VOLUME: 315

INDEXADO EM:

Scopus

WOS

DBLP

NO MEU:

ORCID |

TÃTULO: Integrating Temporal Annotations in a Modular Logic Language Full Text
AUTORES: Vitor Nogueira ; Salvador Abreu ;
PUBLICAÇÃO: 2009, FONTE: 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

INDEXADO EM:

Scopus

WOS

DBLP

NO MEU:

ORCID |

TÃTULO: Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)
AUTORES: Salvador Abreu ; Daniel Diaz; Philippe Codognet;
PUBLICAÇÃO: 2009, FONTE: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009., VOLUME: 5

INDEXADO EM:

Scopus

DBLP

NO MEU:

ORCID |

TÃTULO: Representing and Querying Multiple Ontologies with Contextual Logic Programming Full Text
AUTORES: Nuno Lopes ; Claudio Fernandes; Salvador Abreu ;
PUBLICAÇÃO: 2008, FONTE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, NÚMERO: 2

INDEXADO EM:

Scopus

WOS

DBLP

NO MEU:

ORCID |