|
|
Note: This list is incomplete and includes theses
that I supervised.
For a more up-to-date list of publications, look in
CENTRIA's
website, here.
Publications in 2011
|
[1]
|
Pedro Salgueiro, Daniel Diaz, Isabel Brito, and Salvador Abreu.
Using constraints for intrusion detection: The nemode system.
In Ricardo Rocha and John Launchbury, editors, Practical Aspects
of Declarative Languages, volume 6539 of Lecture Notes in Computer
Science, pages 115-129. Springer Berlin / Heidelberg, 2011.
10.1007/978-3-642-18378-2_11.
[ http ]
|
|
[2]
|
Luís Alexandre.
Interface Inteligente para o Caderno Escolar Electrónico.
Master's thesis, Universidade de Évora, January 2011.
Salvador Abreu (superv.);.
|
|
[3]
|
Gonçalo Fontes.
Criação de uma Framework para Desenvolvimento de Sistemas de
Comunicação Aumentativa e Alternativa.
Master's thesis, Universidade de Évora, January 2011.
Salvador Abreu (superv.);.
|
|
[4]
|
Salvador Abreu and Dietmar Seipel, editors.
Applications of Declarative Programming and Knowledge Management
- 18th International Conference, INAP 2009, Évora, Portugal, November
3-5, 2009, Revised Selected Papers, volume 6547 of Lecture Notes in
Computer Science. Springer, 2011.
|
|
[5]
|
Yves Caniou, Philippe Codognet, Daniel Diaz, and Salvador Abreu.
Experiments in parallel constraint-based local search.
In Peter Merz and Jin-Kao Hao, editors, Evolutionary Computation
in Combinatorial Optimization - 11th European Conference, EvoCOP 2011,
Torino, Italy, April 27-29, 2011. Proceedings, volume 6622 of Lecture
Notes in Computer Science, pages 96-107. Springer, 2011.
|
|
[6]
|
Rui Machado, Carsten Lojewski, Salvador Abreu, and 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.
|
Publications in 2010
|
[1]
|
Paulo Pires.
Business Intelligence em sistemas de apoio à gestão de frotas -
Análise de tecnologias e metodologias.
Master's thesis, Universidade de Évora, November 2010.
Salvador Abreu (superv.);.
|
|
[2]
|
Neng-Fa Zhou, Salvador Abreu, and Ulrich Neumerkel.
How to Solve it with B-Prolog.
Association for Logic Programming Newsletter, August 2010.
[ http ]
|
|
[3]
|
Paulo André.
Back-end GNU Prolog para EAM (tabulação e
distribuição).
Master's thesis, Universidade de Évora, July 2010.
Salvador Abreu (superv.);.
|
|
[4]
|
Daniel Diaz, Salvador Abreu, and Philippe Codognet.
Parallel Constraint-Based Local Search on the Cell/BE Multicore
Architecture.
In Mohammad Essaaidi, Michele Malgeri, and Costin Badica, editors,
Intelligent Distributed Computing IV, volume 315 of Studies in
Computational Intelligence, pages 265-274. Springer Berlin / Heidelberg,
2010.
10.1007/978-3-642-15211-5_28.
[ http ]
|
|
[5]
|
Pedro D. Salgueiro and Salvador P. Abreu.
A DSL for intrusion detection based on constraint programming.
In Proceedings of the 3rd international conference on Security
of information and networks, SIN '10, pages 224-232, New York, NY, USA,
2010. ACM.
[ DOI |
http ]
|
|
[6]
|
Vasco Pedro and Salvador Abreu.
Distributed work stealing for constraint solving.
CoRR, abs/1009.3800, 2010.
[ http ]
|
|
[7]
|
Paulo André and Salvador Abreu.
Casting of the WAM as an EAM.
CoRR, abs/1009.3806, 2010.
[ http ]
|
|
[8]
|
Luís Alexandre and Salvador Abreu.
Development of an Adaptive Interface for the Electronic School
Notebook.
In Proceedings of InForum 2010. Universidade do Minho,
September 2010.
[ .pdf ]
|
|
[9]
|
Vasco Pedro and Salvador Abreu.
Distributed Work Stealing for Constraint Solving.
In Proceedings of InForum 2010. Universidade do Minho,
September 2010.
[ .pdf ]
|
|
[10]
|
Paulo André and Salvador Abreu.
Producing EAM code from the WAM.
In Proceedings of InForum 2010. Universidade do Minho,
September 2010.
[ .pdf ]
|
|
[11]
|
Gonçalo Fontes and Salvador Abreu.
WAACT - Widget Augmentative and Alternative Communication Toolkit.
In Proceedings of InForum 2010. Universidade do Minho,
September 2010.
[ .pdf ]
|
|
[12]
|
Pedro Salgueiro and Salvador Abreu.
On using Constraints for Network Intrusion Detection.
In Proceedings of InForum 2010. Universidade do Minho,
September 2010.
[ .pdf ]
|
|
[13]
|
Luís Alexandre and Salvador Abreu.
Caderno escolar electrónico adaptativo - resultados preliminares.
In Proceedings of Interacção 2010 - 4a. Conferência
Nacional Interacção Humano-Computador. Universidade de Aveiro, October
2010.
|
|
[14]
|
Pedro Salgueiro and Salvador Abreu.
Network Intrusion Detection with Constraints.
In Universidade do Minho, editor, Actas da 10a. Conferência
sobre Redes de Computadores, Conferência sobre Redes de Computadores,
pages 7-12. Universidade do Minho, 11 2010.
|
Publications in 2009
|
[1]
|
Salvador Abreu and Dietmar Siepel, editors.
Proceedings of the 18th Intl. Conf. on Applications of
Declarative Programming and Knowledge Management (INAP'09).
Univ. Évora, November 2009.
[ http ]
|
|
[2]
|
Cláudio Fernandes, Nuno Lopes, Manuel Monteiro, and Salvador Abreu.
The contact-center business analyzer: a case for persistent
contextual logic programming.
In Proceedings of the 18th Intl. Conf. on Applications of
Declarative Programming and Knowledge Management (INAP'09). Univ. Évora,
November 2009.
|
|
[3]
|
Vitor Nogueira and Salvador Abreu.
Isto: a language for temporal organisational information systems
using a logic programming language with persistence and contexts.
In Salvador Abreu and Deitmar Seipel, editors, Proceedings of
the 18th International Conference on Applications of Declarative Programming
and Knowledge Management (INAP 2009), November 2009.
|
|
[4]
|
Valéria Magalhães Pequeno, Salvador Abreu, and João Moura Pires.
Using a contextual logic programming language to acess data in
warehousing systems.
In EPIA'09:14th Portuguese Conference on Artificial
Intelligence, October 2009.
|
|
[5]
|
Pedro Salgueiro and Salvador Abreu.
Constraint-based dsl for computer network monitoring.
In Doctoral Symposium on Artificial Intelligence (SDIA 2009).
Univ. de Aveiro, October 2009.
|
|
[6]
|
Salvador Abreu, Vitor Nogueira, and Daniel Diaz.
On structuring contextual logic programming.
In Proceedings of the Conference on Compilers, Related
Technologies and Applications (CoRTA 2009), September 2009.
|
|
[7]
|
Pedro Guerreiro.
Visual programming in a heterogeneous multi-core environment.
Master's thesis, Universidade de Évora, June 2009.
Salvador Abreu (superv.);.
|
|
[8]
|
Vitor Nogueira.
Temporal reasoning in a logic programming language with
modularity.
PhD thesis, Universidade de Évora, May 2009.
Salvador Abreu (superv.);.
|
|
[9]
|
Salvador Abreu, Daniel Diaz, and Philippe Codognet.
Parallel local search for solving Constraint Problems on the Cell
Broadband Engine (Preliminary Results).
In Yves Deville and Christine Solnon, editors, Proceedings 6th
International Workshop on Local Search Techniques in Constraint Satisfaction
(LSCS), volume 5 of EPTCS, pages 97-111, 2009.
|
Older publications
|
[1]
|
Nuno Lopes, Claudio Fernandes, and Salvador Abreu.
Representing and Querying Multiple Ontologies with Contextual Logic
Programming.
In Maria Jo ao Pereira, Daniela da Cruz, and Pedro Henriques,
editors, CoRTA'2008 - Compilers, Related Technologies and
Applications, Instituto Politécnico de Bragança, July 2008.
Universidade do Minho.
|
|
[2]
|
José Carlos Ramalho, Jo ao Correia Lopes, and Salvador Abreu, editors.
XATA2008 - XML: Applications and Associated Technologies.
Universidade do Minho, February 2008.
ISBN 978-972-99166-5-6.
|
|
[3]
|
Nuno Lopes and Salvador Abreu.
A SPARQL Query Engine over Web Ontologies using Contextual Logic
Programming.
In José Carlos Ramalho, Jo ao Correia Lopes, and Salvador Abreu,
editors, XATA2008 - XML: Applications and Associated Technologies.
Universidade do Minho, February 2008.
|
|
[4]
|
Claudio Fernandes and Salvador Abreu.
SPARQL Back-end for Contextual Logic Agents.
In José Carlos Ramalho, Jo ao Correia Lopes, and Salvador Abreu,
editors, XATA2008 - XML: Applications and Associated Technologies.
Universidade do Minho, February 2008.
|
|
[5]
|
Claudio Fernandes.
X.P.T.O. - A System for Representing and Querying Semantic Web
Ontologies.
Master's thesis, Universidade de Évora, 2008.
Supervisor: Salvador Abreu.
|
|
[6]
|
Rui Machado.
Constraint Programming in a Hetherogeneous Multicore Architecture.
Master's thesis, Universidade de Évora, 2008.
Supervisor: Salvador Abreu.
|
|
[7]
|
Pedro Patinho.
gProlog-MT: A Parallel Environment for GNU Prolog.
Master's thesis, Universidade de Évora, 2008.
Supervisor: Salvador Abreu.
|
|
[8]
|
Rui Gamito.
Workflow modeling using UML, Declarative Tools and WEB2.0.
Master's thesis, Universidade de Évora, 2008.
Supervisor: Salvador Abreu.
|
|
[9]
|
Nuno Lopes, Cláudio Fernandes, and Salvador Abreu.
Representing and querying multiple ontologies with contextual logic
programming.
Comput. Sci. Inf. Syst., 5(2):39-62, 2008.
|
|
[10]
|
Salvador Abreu and Vitor Santos Costa.
Workshop report: Colloquium on implementation of constraint logic
programming systems.
The Association for Logic Programming Newsletter, 20, n. 3/4,
December 2007.
[ http ]
|
|
[11]
|
Nuno Lopes, Cláudio Fernandes, and Salvador Abreu.
Contextual Logic Programming for Ontology Representation and
Querying.
In Axel Polleres, David Pearce, Stijn Heymans, and Edna Ruckhaus,
editors, Proceedings of the ICLP'07 Workshop on Applications of Logic
Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS
2007), volume 287 of CEUR Workshop Proceedings ISSN 1613-0073, October
2007.
|
|
[12]
|
Vítor Nogueira and Salvador Abreu.
Integrating temporal annotations in a modular logic language.
In Dietmar Seipel, Michael Hanus, Armin Wolf, and Joachim Baumeister,
editors, 17th International Conference on Applications of Declarative
Programming and Knowledge Management (INAP 2007), volume Technical Report
434, Würzburg, Germany, October 2007. Bayerische
Julius-Maximilians-Universität Würzburg.
|
|
[13]
|
Salvador Abreu and Vitor Santos Costa, editors.
Proceedings of the 7th International Colloquium on
Implementation of Constraint and LOgic Programming Systems - CICLOPS 2007.
Universidade do Porto, September 2007.
|
|
[14]
|
Luis Almas, Rui Machado, and Salvador Abreu.
Design for a Parallel and Distributed Hybrid Constraint Programming
Library.
In Salvador Abreu and Vitor Santos Costa, editors, Proceedings
of the 7th International Colloquium on Implementation of Constraint and LOgic
Programming Systems - CICLOPS 2007, pages 32-41. Universidade do Porto,
September 2007.
|
|
[15]
|
Nuno Morgadinho and Salvador Abreu.
Distributed Multi-Threading in GNU Prolog.
In Salvador Abreu and Vitor Santos Costa, editors, Proceedings
of the 7th International Colloquium on Implementation of Constraint and LOgic
Programming Systems - CICLOPS 2007, pages 72-86. Universidade do Porto,
September 2007.
|
|
[16]
|
Cláudio Fernandes, Nuno Lopes, and Salvador Abreu.
On querying ontologies with contextual logic programming.
In Christine Golbreich, Aditya Kalyanpur, and Bijan Parsia, editors,
OWL: Experiences and Directions (OWLED 2007), CEUR Workshop Proceedings
ISSN 1613-0073, June 2007.
|
|
[17]
|
Rui Gamito, Luís Arriaga da Cunha, and Salvador Abreu.
Modelação de Workflows com UML e Ferramentas Declarativas.
In José Carlos Ramalho, Jo ao Correia Lopes, and Luís
Carriço, editors, XATA2007, XML: Aplicações e Tecnologias
Associadas (FCUL, Lisboa, 15 e 16 de Fevereiro de 2007). Universidade do
Minho, February 2007.
http://hdl.handle.net/1822/6234.
|
|
[18]
|
Vítor Nogueira and Salvador Abreu.
Modularity and temporal reasoning: A logic programming approach.
In 14th International Symposium on Temporal Representation and
Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain, page 191. IEEE
Computer Society, 2007.
|
|
[19]
|
Vítor Nogueira and Salvador Abreu.
Temporal contextual logic programming.
Electronic Notes in Theoretical Computer Science, 177:219-233,
2007.
|
|
[20]
|
Vítor Nogueira and Salvador Abreu.
Temporal Annotations for a Contextual Logic Programming Language.
In José Neves, Manuel Santos, and José Machado, editors,
Progress in Artificial Intelligence, 13th Portuguese Conference on Artificial
Intelligence, EPIA 2007, Universidade do Minho, 2007.
|
|
[21]
|
Nuno Morgadinho.
Distributed Multi-Threading in GNU Prolog.
Master's thesis, Universidade de Évora, 2007.
Supervisor: Salvador Abreu.
|
|
[22]
|
Luís Almas.
DSM-PM2 Adequacy for Distributed Constraint Programming.
Master's thesis, Universidade de Évora, 2007.
Supervisor: Salvador Abreu.
|
|
[23]
|
Nuno Lopes.
Representing and Querying Ontologies with Contextual Logic
Programming.
Master's thesis, Universidade de Évora, 2007.
Supervisor: Salvador Abreu.
|
|
[24]
|
Vitor Nogueira and Salvador Abreu.
Temporal contextual logic programming.
In Francisco J. López Fraguas, editor, Proceedings of the
15th Workshop on Functional and (Constraint) Logic Programming
(WFLP'06), Madrid, Spain, November 2006. Universidad Complutense de Madrid.
|
|
[25]
|
Vitor Nogueira and Salvador Abreu.
Towards temporal contextual logic programming.
In Sandro Etalle and Miroslaw Truszczynski, editors, Logic
Programming: Proceedings of the 22nd International Conference, ICLP 2006,
Seattle, WA, USA, August 17-20, 2006, volume 4079 of Lecture Notes in
Computer Science, pages 439-441. Springer, August 2006.
|
|
[26]
|
Salvador Abreu and Vitor Nogueira.
Towards structured contexts and modules.
In Sandro Etalle and Miroslaw Truszczynski, editors, Logic
Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA,
August 17-20, 2006, Proceedings, volume 4079 of Lecture Notes in
Computer Science, pages 436-438. Springer, 2006.
|
|
[27]
|
Salvador Abreu and Vitor Nogueira.
Using a Logic Programming Language with Persistence and Contexts.
In Osamu Takata, Masanobu Umeda, Isao Nagasawa, Naoyuki Tamura, Armin
Wolf, and Gunnar Schrader, editors, Declarative Programming for
Knowledge Management, 16th International Conference on Applications of
Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan,
October 22-24, 2005. Revised Selected Papers., volume 4369 of Lecture
Notes in Computer Science, pages 38-47. Springer, 2006.
|
|
[28]
|
Vitor Nogueira and Salvador Abreu.
A Temporal Programming Language for Heterogeneous Information
Systems.
In Maurizio Gabbrielli and Gopal Gupta, editors, Logic
Programming: Proceedings of the 21st International Conference, ICLP 2005,
Sitges, Spain, volume 3668 of Lecture Notes in Computer Science, pages
444-445. Springer, October 2005.
|
|
[29]
|
Salvador Abreu and Vítor Nogueira.
Using a Logic Programming Language with Persistence and Contexts.
In Masanobu Umeda and Armin Wolf, editors, Proceedings of the
16th International Conference on Applications of Declarative
Programming and Knowledge Management (INAP 2005), Fukuoka, Japan, October
2005. Waseda University.
[ .pdf ]
|
|
[30]
|
Lígia Ferreira.
Programação Por Restrições Distribuídas em
Java.
PhD thesis, Universidade de Évora, 2005.
Supervisor: Salvador Abreu.
|
|
[31]
|
Vitor Nogueira, Salvador Abreu, and Gabriel David.
Towards Temporal Reasoning in Constraint Contextual Logic
Programming.
In Petra Hofstedt et al., editor, Proceedings of the 3rd
International Workshop on Multiparadigm Constraint Programming Languages
MultiCPL'04, pages 119-131. TU Berlin, September 2004.
[ .pdf ]
|
|
[32]
|
Salvador Abreu, Daniel Diaz, and Vitor Nogueira.
GNU Prolog for Application Development.
Invited presentation held at the V RMLL/LSM - Libre Software
Meeting, University of Bordeaux I, France, July 2004.
|
|
[33]
|
Salvador Abreu, Daniel Diaz, and Vitor Nogueira.
Organizational Information Systems Design and Implementation with
Contextual Constraint Logic Programming.
In Viljan Mahnic, editor, EUNIS 2004 - Proceedings of the 10th
International Conference of European University Information Systems.
University of Llubljana, EUNIS, June-July 2004.
[ .pdf ]
|
|
[34]
|
Lígia Ferreira and Salvador Abreu.
Towards a Distributed Implementation of AJACS.
Technical Report TR/DI-PA-1/2004, Universidade de Évora, 2004.
|
|
[35]
|
Salvador Abreu and Daniel Diaz.
Contexts for organizational information system design and
implementation.
In ICEIS 2004, Proceedings of the 6th International Conference
on Enterprise Information Systems, volume 1, pages 227-232, 2004.
|
|
[36]
|
David Mendes.
GNU Prolog to Java: a study on how to connect the two programming
environments.
Master in applied artificial intelligence, Universidade de Évora,
2004.
Supervisor: Salvador Abreu.
|
|
[37]
|
Salvador Abreu, Paulo Quaresma, Luis Quintano, and Irene Rodrigues.
A dialogue manager for accessing databases.
In Yasushi Kiyoki, Eiji Kawaguchi, Hannu Jaakola, and Hannu
Kangassalo, editors, Information Modeling and Knowledge Bases XV,
volume 105, pages 210-219, Amsterdam, Netherlands, 2004. IOS Press.
|
|
[38]
|
Joaquim Godinho, Luis Quintano, and Salvador Abreu.
Universidade de Évora's Integrated Information System: An
Application.
In Hans Dijkman, Petra Smulders, Bas Cordewener, and Kurt de Belder,
editors, The 9th International Conference of European University
Information Systems. Universiteit van Amsterdam, July 2003.
ISBN 90-9017079-0.
[ .pdf ]
|
|
[39]
|
Fernando Moura-Pires and Salvador Abreu, editors.
Progress in Artificial Intelligence, 11th Protuguese Conference
on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003,
Proceedings, volume 2902 of Lecture Notes in Computer Science.
Springer, 2003.
ISBN 3-540-20589-6.
|
|
[40]
|
Salvador Abreu and Daniel Diaz.
Objective: in Minimum Context.
In Catuscia Palamidessi, editor, Logic Programming, 19th
International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003,
Proceedings, volume 2916 of Lecture Notes in Computer Science, pages
128-147. Springer-Verlag, 2003.
ISBN 3-540-20642-6.
[ .pdf ]
|
|
[41]
|
Vitor Nogueira, Salvador Abreu, and Gabriel David.
Using Contextual Logic Programming for Temporal Reasoning.
In Ernesto Pimentel, Nieves R. Brisaboa, and Jaime Gómez,
editors, JISBD, pages 479-490, 2003.
ISBN 84-688-3836-5.
|
|
[42]
|
Luis Quintano, Salvador Abreu, and Irene Rodrigues.
Relational information retrieval through natural language analysis.
In Oskar Bartenstein, Ulrich Geske, Markus Hannebauer, and Osama
Yoshie, editors, Web Knowledge Management and Decision Support, 14th
International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan,
October 20-22, 2001, Revised Papers, volume 2543 of Lecture Notes in
Computer Science, pages 86-99. Springer, 2003.
ISBN 3-540-00680-X.
|
|
[43]
|
Salvador Abreu.
Modeling Role-Based Access Control in ISCO.
In Lígia Maria Ribeiro and José Marques dos Santos, editors,
The 8th International Conference of European University Information
Systems. FEUP Edições, June 2002.
ISBN 972-752-051-0.
[ .pdf ]
|
|
[44]
|
Luís Quintano, Gonçalo Marrafa, Joaquim Godinho, and Salvador Abreu.
Logic Programming for Network Management.
In Proceedings of the Portuguese Conference on Computer Networks
- CRC'02. FCCN, 2002.
|
|
[45]
|
Vitor Beires Nogueira, Salvador Abreu, and Gabriel David.
Towards Temporal Reasoning in ISCO.
In Proceedings of AGP'02, Madrid, Spain, 2002. FI/UPM.
|
|
[46]
|
Luis Quintano, Irene Rodrigues, and Salvador Abreu.
Relational Information Retrieval through Natural Lanaguage
Analysis.
In Ulrich Geske, editor, Proceedings of the 14th International
Conference on Applications of Prolog (INAP'01), volume 2543 of Lecture
Notes in Artificial Intelligence. Springer-Verlag, 2002.
|
|
[47]
|
Salvador Abreu, Paulo Quaresma, Luis Quintano, and Irene Rodrigues.
A Natural Language Dialogue Manager for Accessing Databases.
In Elisabete Ranchod and Nuno J. Mamede, editors, Advances in
Natural Language Processing, Third International Conference, PorTAL 2002,
Faro, Portugal, June 23-26, 2002, Proceedings, volume 2389 of Lecture
Notes in Computer Science. Springer-Verlag, 2002.
ISBN 3-540-43829-7.
|
|
[48]
|
Salvador Abreu and José Alferes.
Proceedings of 11th Portuguese Conference on Artificial
Intelligence, chapter Logics for AI and Information Systems - A Thematic
workshop of EPIA'01.
Number 2259 in Lecture Notes in Artificial Intelligence.
Springer-Verlag, December 2001.
(section editor).
|
|
[49]
|
Pedro Patinho and Salvador Abreu.
ProLDAP - Api em Prolog para Directórios LDAP.
In IV Conferência de Redes de Computadores. FCCN, November
2001.
(in Portuguese).
[ .pdf ]
|
|
[50]
|
Salvador Abreu.
Isco: A practical language for heterogeneous information system
construction.
In Proceedings of INAP'01, Tokyo, Japan, October 2001. Prolog
Association of Japan.
[ .pdf ]
|
|
[51]
|
Luis Quintano, Irene Rodrigues, and Salvador Abreu.
Relational information retrieval through natural lanaguage analysis.
In Proceedings of INAP'01, Tokyo, Japan, October 2001. Prolog
Association of Japan.
|
|
[52]
|
Salvador Abreu and Joaquim Godinho.
Logic-based Network Configuration and Management.
In Jan Knop, editor, The Changing Universities - The Role of
Technology - The 7th International Conference of European University
Information Systems, Lecture Notes in Informatics, Berlin, March 2001.
German Informatics Society (GI).
ISBN 3-88579-339-3.
[ .pdf ]
|
|
[53]
|
Lígia Ferreira and Salvador Abreu.
Design for AJACS, yet another Java Constraint Programming
framework.
Elsevier Electronic Notes in Theoretical Computer Science,
48:167-178, 2001.
|
|
[54]
|
Lígia Ferreira and Salvador Abreu.
Design for AJACS, yet another Java Constaint Programming framework.
In Proceedings of AGP00: The 2000 Joint Conference on
Declarative Programming, December 2000.
|
|
[55]
|
Ricardo Lopes, Fernando Silva, Vítor Santos Costa, and Salvador Abreu.
The rainbow: Towards a parallel beam.
In Workshop on Parallism And Implementation Technology for
(Constraint) Logic Languages, July 2000.
|
|
[56]
|
Salvador Abreu.
Towards the OAR Language and Computational Model.
In CL'2000 Workshop on Parallelism and Implementation
Technologies for (Constraint) Logic Programming Languages, July 2000.
|
|
[57]
|
Lígia Ferreira and Salvador Abreu.
A CLP Framework in Java.
Elsevier Electronic Notes in Theoretical Computer Science,
30(issue 3), 2000.
[ .pdf ]
|
|
[58]
|
Salvador Abreu.
A Logic-based Information System.
In Enrico Pontelli and Vitor Santos-Costa, editors, 2
nd International Workshop on Practical Aspects of Declarative Languages
(PADL'2000), volume 1753 of Lecture Notes in Computer Science, pages
141-153, Boston, MA, USA, January 2000. Springer-Verlag.
[ .pdf ]
|
|
[59]
|
Lígia Ferreira and Salvador Abreu.
A Constaint Logic Programming Framework in Java.
In Proceedings of the Workshop on Parallelism and
Implementation Technologies, 1999. New Mexico State University, 1999.
|
|
[60]
|
Tiago Severina and Salvador Abreu.
Monitorização inteligente de uma rede de computadores.
In CRC'98 - I Conferência de Redes de Computadores,
Universidade de Coimbra, 1998.
(in Portuguese).
|
|
[61]
|
Salvador Abreu.
GC: A Constraint Solver in Java.
In Proceedings of the ESSLLI'96 Workshop on Programming Language
Implemenatation, Prague, Czech Republic, 1996.
|
|
[62]
|
Salvador Abreu and Carlos Damásio.
A proposal for tabulation in and-or tree rewriting systems.
In I. Dutra V. Costa and F. Silva, editors, Workshop on Design
and Implementation of Parallel Logic Programming Systems, University of
Oregon, December 1995.
|
|
[63]
|
Salvador Abreu and Luís Moniz Pereira.
Control-flow and dataflow dependencies in and-or tree rewriting
systems.
In E. Pontelli and G. Gupta, editors, Workshop on Design and
Implementation of Parallel Logic Programming Systems, pages 9-16, November
1994.
ILPS'94 Post-Conference Workshop.
|
|
[64]
|
Salvador Abreu.
Improving the Parallel Execution of Logic Programs.
PhD thesis, Universidade Nova de Lisboa, 1994.
Supervisor: Luís Moniz Pereira.
|
|
[65]
|
Salvador Abreu and Luís Moniz Pereira.
Design for AKL with Intelligent Pruning.
In Roy Dyckhoff, editor, Extensions of Logic Programming,
number 798 in LNAI, pages 3-10. Springer-Verlag, March/April 1993.
|
|
[66]
|
Salvador Abreu and Luís Moniz Pereira.
Towards AKL with Intelligent Pruning.
In Francisco Bueno, Juan José Moreno-Navarro, and Manuel V.
Hermenegildo, editors, ESPRIT COMPULOG NET Workshop on Parallelism and
Implementation Technologies. Facultad de Informática de Madrid, FIM-UPM,
1993.
|
|
[67]
|
Salvador Abreu, Luís Moniz Pereira, and Philippe Codognet.
Improving Backward Execution in Non-deterministic Concurrent
Logic Languages.
In Ryuzo Hasegawa and Mark Stickel, editors, Workshop on
Automated Deduction, Fifth Generation Computer Systems. Institute for New
Generation Computing, 1992.
|
|
[68]
|
Salvador Abreu, Luís Moniz Pereira, and Philippe Codognet.
Improving backward execution in the andorra family of languages.
In Proceedings of the International Joint Conference and
Symposium on Logic Programming. MIT Press, 1992.
|
|
[69]
|
Salvador Abreu.
Prolog for User Interfaces and User Interfaces for Prolog.
Integrated in the Logic Programming Environments advanced
tutorial at the International Conference on Logic Programming
(ICLP'91), June 1991.
|
|
[70]
|
Salvador Abreu.
A Prolog Interface to the X Window System.
In David Bowen and Arun Lakhotia, editors, Logic Programming
Environments: The Next Generation - a NACLP'89 thematic workshop.
C.S. Department, Case Western University, Cleveland OH, 1989.
|
|
[71]
|
Salvador Abreu.
ALPES X/Xt/Xaw Interface Structure.
Technical report, Departamento de Informática, Universidade Nova de
Lisboa, 1988.
|
|
[72]
|
Salvador Abreu.
ALPES Graphical Browser Specification.
Technical report, Departamento de Informática, Universidade Nova de
Lisboa, 1988.
|
|
[73]
|
Salvador Abreu.
The ALPES C-Prolog Extension Mechanism.
Technical report, Departamento de Informática, Universidade Nova de
Lisboa, 1988.
|
|
[74]
|
Salvador Abreu.
UNL Emacs-Prolog User's Guide.
Technical report, Departamento de Informática, Universidade Nova de
Lisboa, 1986.
|
|
[75]
|
Salvador Abreu.
O ambiente de programação UNL-Emacs.
In Actas do IV Congresso Português de Informática. API,
1986.
|
|
[76]
|
Salvador Abreu.
The UNL Emacs-Prolog interface.
Technical report, Departamento de Informática, Universidade Nova de
Lisboa, 1985.
|
|
[77]
|
Salvador Abreu.
Report on the Quintus Prolog-Emacs interface.
Technical report, Departamento de Informática, Universidade Nova de
Lisboa, 1985.
|
|
[78]
|
Salvador Abreu and Luís Arriaga da Cunha.
Sistema de quotas para o computador VAX.
Technical report, Laboratório Nacional de Engenharia Civil, 1985.
|
|
[79]
|
Salvador Abreu.
Helder Coelho: Problemas e Linguagens de Programação,
chapter 5 - A linguagem APL, pages 106-111.
Laboratório Nacional de Engenharia Civil, 1984.
|
|
[80]
|
Salvador Abreu and J.C. Tiago de Oliveira.
Uma implementação APL do algoritmo de Karnaugh.
In APLicações, órgao da APL*2 - Associação
Portuguesa da Linguagem APL. APL*2, 1984.
|
|
[81]
|
Salvador Abreu and Luís Arriaga da Cunha.
FORVER - a FORTRAN subroutine/function call verifier.
Technical report, Laboratório Nacional de Engenharia Civil, 1983.
|
|
[82]
|
Salvador Abreu and Luís Arriaga da Cunha.
duraLEX - a scanner generator using finite automata.
Technical report, Laboratório Nacional de Engenharia Civil, 1982.
|
|
[83]
|
Salvador Abreu and Luís Arriaga da Cunha.
SYMTAB - A general purpose symbol table system, user's guide.
Technical report, Laboratório Nacional de Engenharia Civil, 1982.
|
|
[84]
|
Salvador Abreu and Richard G. Mallett.
APLgraf reference manual.
Technical report, Carleton University, 1979.
|
|
Last modified: Tue Feb 15 11:37:34 WET 2011