21 OUTUBRO / DOMINGO / 20:27
FCUP PT 
 EN
 
 
APRESENTAÇÃO
PESSOAS
ENSINO
INVESTIGAÇÃO
BIBLIOTECA
NOTÍCIAS
CONTACTOS
Áreas de Investigação
LIACC
Projectos
Publicações
Revistas
Proceedings
Didácticas
Manuais
Alunos de Doutoramento
Teses de Doutoramento
Teses de Mestrado
Relatórios Técnicos
Publications of Núcleo de Ciência de Computadores, UP -- References

References

( The central system is not fully updated with all the publications from our Dept.
So this page will list all the publications until the update process is complete)
)

 

to appear (in journals/books)

[Alves and Florido, to appear]
Sandra  Alves and Mário  Florido, Weak Linearization of the Lambda-Calculus. To appear in Theoretical Computer Science (TCS), Elsevier Press.
[Antunes et al., to appear]
L.  Antunes, L. Fortnow, D. van Melkebeek and V. Vinodchandran, Computational Depth: Concepts and Applications. To appear in Theoretical Computer Science (TCS), special issue devoted to FCT 2003.
[Bettini et al., to appear]
Lorenzo Bettini and Rocco De Nicola and Daniele Falassi and Marc Lacoste and Luís  Lopes and Licínio  Oliveira and Hervé  Paulino and Vasco T. Vasconcelos, A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. To appear in Proceedings of the Contributions from Global Computing 2004, Lecture Notes in Computer Science, Springer-Verlag.
[Blanchard et al., to appear]
Peter Blanchard, Frank Harary and Rogério  Reis, Partitions into sum-free sets. To appear in Integers: Electronic Journal of Combinatorial Number Theory.
[Brandão et al., to appear]
Pedro  Brandão, Susana  Sargento, Sérgio  Crisóstomo and Rui  Prior, Secure Routing in Ad Hoc Networks. To appear in Ad Hoc & Sensor Wireless Networks, An International Journal.
[Broda and Damas, to appear]
S.  Broda, L.  Damas, Inhabitation of simple types. To appear in Journal of Logic and Computation.
[Contejean et al., to appear]
Evelyne Contejean, Claude Marché, Ana Paula  Tomás, and Xavier Urbain. Mechanically proving termination using polynomial interpretations. To appear in Journal of Automated Reasoning. Also as Research Report 1382, LRI, 2004.
[Costa et al., to appear]
Vítor Santos  Costa and Ashwin Srinivasan and Rui Camacho and Hendrik Blockeel and Bart Demoen and Gerda Janssens and Jan Struyf and Henk Vandecasteele and Wim Van Laer, Query Transformations for Improving the Efficiency of ILP Systems. To appear in Journal of Machine Learning Research.
[R. Lopes and Costa, to appear]
Ricardo  Lopes and Vítor Santos  Costa, Improving Memory Usage in the BEAM (communication). To appear in Pratical Aspects of Declarative Languages (PADL'05), Lecture Notes in Computer Science, Springer-Verlag.
[Matos, to appear]
Armando  Matos, Analysis of a simple reversible language. To appear in Theoretical Computer Science.
[Moreira and Reis, to appear a]
Nelma  Moreira and Rogério  Reis, On the density of languages representing finite set partitions. To appear in Journal of Integer Sequences.
[Rocha et al., to appear]
Ricardo  Rocha, Fernando  Silva, and Vítor Santos  Costa, On Applying Or-Parallelism and Tabling to Logic Programs. To appear in Journal of Theory and Practice of Logic Programming (TPLP).  

2005 (in journals/books)

[Pedroso, 2005]
João P.  Pedroso, Tabu search for mixed integer programming. In Cesar Rego, editor, Metaheuristic Optimization via Memory and Evolution: Tabu Search and Scatter Search, Springer-Verlag, 2005. Also as Technical Report DCC-2004-02, LIACC, Universidade do Porto, 2004.  

2004 (in journals/books)

[Alves and Florido, 2004a]
Sandra  Alves and Mário  Florido, Linearization by Program Transformation. Selected papers from the 2003 International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003), Lecture Notes in Computer Science 3018, Springer-Verlag, 2004. Presented in Days in Logic Braga, Portugal, 2004, under the title Weak Linearization of the Lambda-Calculus.
[Broda et al., 2004]
S.  Broda, L.  Damas, M. Finger, P. Silva e Silva, The Decidability of a Fragment of B B' IW-logic. In Journal of Theoretical Computer Science, 318, 373-408, 2004.
[Coelho and Florido, 2004]
Jorge  Coelho and Mário  Florido, CLP(Flex): Constraint Logic Programming Applied to XML Processing. Proceedings of the 3rd International Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBASE 2004), Lecture Notes in Computer Science 3291, Springer-Verlag, 2004.
[A. Ferreira et al., 2004]
A. Ferreira, R.  Correia, L.  Antunes, E. Palhares, P. Marques, P. Costa and A. Costa Pereira, Integrity for Electronic Patient Record Reports. In Proceedings of the 17th IEEE Symposium on Computer Based Medical Systems (CBMS), 2004).
[Ferreira and Rocha, 2004]
Michel  Ferreira and Ricardo  Rocha, The MyYapDB Deductive Database System. In José Júlio Alferes and João Leite (eds.), 9th European Conference on Logics in Artificial Intelligence (JELIA'04), Lectures Notes in Artificial Intelligence 3229, 710-713, Springer-Verlag, 2004.
[Florido and Damas, 2004]
Mário  Florido e Luís  Damas, Linearization of the Lambda-Calculus and its Relation with Intersection Type Systems. In Journal of Functional Programming, Cambridge University Press, Vol. 14, 2004.
[Fonseca et al., 2004]
Nuno  Fonseca, Vitor Santos  Costa, Rui Camacho and Fernando  Silva, On avoiding redundancy in Inductive Logic Programming. In Rui Camacho, Ross King, and Ashwin Srinivasan (eds.), Proceedings of the 14th International Conference on Inductive Logic Programming (ILP 2004), Lecture Notes in Computer Science 3194, 132-146, Porto, Portugal, 2004.
[Kassler et al., 2004]
A. Kassler, S.  Crisóstomo, P. Neves, S.  Sargento, R. Aguiar, QoS and Multicast aware Integration of Ad-Hoc Networks with Infrastructure networks based on 802.11 and 802.16. In Proceedings of The First IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks (IEEE SECON 2004), Santa Clara, CA, USA, 2004.
[R. Lopes et al., 2004a]
Ricardo  Lopes, Vítor Santos  Costa and Fernando  Silva, Prunning in the Extended Andorra Model. In Pratical Aspects of Declarative Languages, Lecture Notes in Computer Science 1990, 199-213. Springer-Verlag, 2004.
[Mooney et al., 2004]
Raymond J. Mooney, Prem Melville, Rupert Lapoon Tang, Jude Shavlik, Inês  Dutra, David Page and Vítor Santos  Costa, Relational Data Mining with Inductive Logic Programming for Link Discovery. In H. Kargupta, A. Joshi, K. Sivakumar, and Y. Yesha (eds.), Data Mining: Next Generation Challenges and Future Directions, AAAI Press, 239-254, 2004.
[Prior et al., 2004a]
Rui  Prior, Susana  Sargento, Pedro  Brandão and Sérgio  Crisóstomo, SRBQ and RSVPRAgg: A Comparative Study. In Telecommunications and Networking, ICT 2004, 11th International Conference on Telecommunications, Lecture Notes in Computer Science 3124, Springer-Verlag, 2004.
[Prior et al., 2004b]
Rui  Prior, Susana  Sargento, Pedro  Brandão and Sérgio  Crisóstomo, Performance Evaluation of the RSVP Reservation Aggregation Model. In High-Speed Networks and Multimedia Communications, Lecture Notes in Computer Science 3079, Springer-Verlag, 2004.
[Prior et al., 2004c]
Rui  Prior, Susana  Sargento, Pedro  Brandão and Sérgio  Crisóstomo, Evaluation of a Scalable Reservation-Based QoS Architecture. In Proceedings of the Ninth IEEE International Symp. on Computers and Communications (ISCC-2004), Alexandria, Egypt, 2004.
[Prior et al., 2004d]
Rui  Prior, Susana  Sargento, Pedro  Brandão and Sérgio  Crisóstomo, Comparative Evaluation of Two Scalable QoS Architectures. In Networking-2004, Lecture Notes in Computer Science 3042, 1452-1457, Springer-Verlag, 2004.
[Rocha et al., 2004a]
Ricardo  Rocha, Fernando  Silva and Vítor Santos  Costa, Speculative Computations in Or-Parallel Tabled Logic Programs. In Bart Demoen and Vladimir Lifschitz (eds.), 20th International Conference on Logic Programming (ICLP'04), Lecture Notes in Computer Science 3132, 254-268, Springer-Verlag, 2004.
[Rocha et al., 2004b]
Ricardo  Rocha, Fernando  Silva and Vítor Santos  Costa, Concurrent Table Accesses in Parallel Tabled Logic Programs. In Marco Danelutto, Domenico Laforenza and Marco Vanneschi (eds.), 10th International Euro-Par Conference (Euro-Par'04), Lecture Notes in Computer Science 3149, 662-670, Springer-Verlag, 2004.
[Tomas and Bajuelos, 2004a]
Ana Paula  Tomás, António Leslie Bajuelos, Quadratic-Time Linear-Space Algorithms for Generating Orthogonal Polygons with a Given Number of Vertices. In A. Laganà et al. (eds.), Computational Science and Its Applications (ICCSA 2004), Lecture Notes in Computer Science 3045, 117-126, Springer-Verlag, 2004. Extended Abstract in J. M. Diaz-Báñez, A. Márquez, J. R. Portillo (eds.), Proceedings of the 20th European Workshop on Computational Geometry (EWCG'04), 189-192, 2004.
[Tomas and Bajuelos, 2004b]
Ana Paula  Tomás, António Leslie Bajuelos, Generating Random Orthogonal Polygons. In R.Conejo, M.Urretavizcaya, J.-L. Pérez-de-la-Cruz (Eds), Current Topics in Artificial Intelligence: 10th Conf. of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003. Revised Selected Papers, Lecture Notes in Computer Science 3040, 364-373, Springer-Verlag, 2004. Preliminary version in Actas de CAEPIA-TTIA'2003, Vol I, 459-468, ISBN 84-8373-564-4, Unviversidad del País Vasco, 2003.
[Tomas et al., 2004]
Ana Paula  Tomás, António Leslie Bajuelos, Fábio Marques, Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: lower and upper bounds on the number of pieces. In A. Laganà et al. (eds.), Computational Science and Its Applications (ICCSA 2004), Lecture Notes in Computer Science 3045, 127-136, Springer-Verlag, 2004. Extended Abstract in J. M. Diaz-Báñez, A. Márquez, J. R. Portillo (eds.), Proceedings of the 20th European Workshop on Computational Geometry (EWCG'04), 193-196, 2004.  

2003 (in journals/books)

[Antunes and Fortnow, 2003]
L .  Antunes and L. Fortnow, Sophistication revisited. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 2719, 267-277, Springer-Verlag, 2003.
[Antunes et al., 2003]
L.  Antunes, L. Fortnow, and V. Vinodchandran, Using depth to capture average-case complexity. In 14th International Symposium on Fundamentals of Computation Theory, Lecture Notes in Computer Science 2751, 303-310, Springer-Verlag, 2003.
[Coelho and Florido, 2003]
J.  Coelho and M.  Florido, Type-based XML Processing in Logic Programming. In V. Dahl, P. Wadler (eds.), Proceedings of the Fifth International Symposium on Practical Aspects of Declarative Languages (PADL'03), Lecture Notes in Computer Science 2562, 273-285, Springer-Verlag, 2003.
[Costa et al., 2003]
Vítor Santos  Costa, David Page, Maleeha Qazi and James Cussens, CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. In Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI03), 517-524, Morgan Kaufmann, 2003.
[Dutra et al., 2003]
Inês Castro Dutra, David Page, Vítor Santos  Costa, Jude W. Shavlik and Michael Waddell, Towards Automatic Management of Embarassingly Parallel Applications. In Proceedings of Europar 2003, Lecture Notes in Computer Science 2790, 509-516, Springer Verlag, 2003.
[Ferreira and Damas, 2003]
Michel  Ferreira and Luís  Damas, WAM Local Analysis. In V. Dahl, P. Wadler (eds.), Proceedings of the Fifth International Symposium on Practical Aspects of Declarative Languages (PADL'2003), Lecture Notes in Computer Science 2562, 286-303, Springer-Verlag, 2003.
[Figueira et al., 2003]
Álvaro  Figueira, Hervé Paulino, Luís  Lopes, Fernando  Silva, Distributed Typed Concurrent Objects, A Programming Language for Distributed Computations with Mobile Resources. In Journal of Universal Computer Science, 8(9), 745-760, 2003.
[Fonseca et al., 2003a]
Nuno  Fonseca, Ricardo  Rocha, Rui Camacho and Fernando  Silva, Efficient Data Structures for Inductive Logic Programming. In Horváth, T. and Yamamoto, A. (eds.), Proceedings of the 13th International Conference on Inductive Logic Programming, Lecture Notes in Artificial Intelligence 2835, 130-145, Springer-Verlag, 2003.
[Fonseca et al., 2003c]
Nuno  Fonseca, Vítor  Costa, Fernando  Silva and Rui Camacho, On the implementation of an ILP system with Prolog. In Fernando Moura Pires and Salvador Abreu (eds.), Proceedings of the 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Lecture Notes in Artificial Intelligence 2902, Springer-Verlag, 2003. Extended version as Technical Report DCC-2003-3, DCC-FC & LIACC, Universidade do Porto, 2003.
[Leal and Silva, 2003]
José Paulo  Leal and Fernando  Silva, Mooshak: a Web-based multi-site programming contest system. Software Practice & Experience, 33(6), 567-581, 2003.
[Matos, 2003a]
Armando B.  Matos, Linear programs in a simple reversible language. Theoretical Computer Science, 290(3), 2063-2074, 2003.
[Neto and Pedroso, 2003]
Teresa Neto and João P.  Pedroso, Grasp for linear integer programming. In Jorge P. Sousa and Mauricio G. C. Resende (eds.), METAHEURISTICS: Computer Decision-Making, Combinatorial Optimization Book Series, 545-574, Kluwer Academic Publishers, 2003.
[Paulino et al., 2003a]
Hervé Paulino, Luís  Lopes and Fernando  Silva, Mob: A Scripting Language for Mobile Agents based on a Process Calculus. In Proceedings of the International Conference on Web Engineering (ICWE'2003), Lecture Notes in Computer Science 2722, 40-43, Springer-Verlag, 2003.
[Paulino et al., 2003b]
H. Paulino, P. Marques, L.  Lopes, V. Vasconcelos, F.  Silva, A Multi-threaded Asynchronous Language, Parallel Computing Technologies. In Proceedings of the 7th International Conference, PaCT'03, Lecture Notes in Computer Science 2763, 316-323, Springer-Verlag, 2003.
[Pereira et al., 2003]
Ana S. Pereira, Filipe Carvalho, Miguel Constantino and João P.  Pedroso, Iterated local search and tabu search for a discrete lot sizing and scheduling problem. In Jorge P. Sousa and Mauricio G. C. Resende (eds.), METAHEURISTICS: Computer Decision-Making, Combinatorial Optimization Book Series, 575-600, Kluwer Academic Publishers, 2003.
[Prior et al., 2003a]
Rui  Prior, Susana  Sargento, Sérgio  Crisóstomo and Pedro  Brandão, Efficient Reservation-Based QoS Architecture. In Interactive Multimedia on Next Generation Networks, Lecture Notes in Computer Science 2899, 168-181, Springer-Verlag, 2003.
[R. Lopes et. al., 2003a]
Ricardo  Lopes, Luís F. Castro and Vítor Santos  Costa, From Simulation to Pratice: Cache Performance Study of a Prolog Systems. In Proceedinds of the ACM SIGPLAN Workshop on Memory System Performance (MSP 2002), SIGPLAN Notices, 38 (2), 56-64, ACM, 2003.
[R. Lopes et. al., 2003b]
Ricardo  Lopes, Vítor Santos  Costa and Fernando  Silva, On Deterministic Computations in the Extended Andorra Model. In Catuscia Palamidessi (eds.), Proceedings of the 19th International Conference on Logic Programming (ICLP 2003), Lecture Notes in Computer Science 2916, 407-421, Springer-Verlag, 2003.
[R. Lopes et. al., 2003c]
Ricardo  Lopes, Vítor Santos  Costa and Fernando  Silva, On the BEAM Implementation. In Fernando Moura Pires and Salvador Abreu (eds.), Proceedings of the 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Lecture Notes in Artificial Intelligence 2902, 131-135, Springer-Verlag, 2003.
[Ravara et al., 2003]
António Ravara, Ana G. Matos, Vasco T. Vasconcelos and Luís  Lopes, Lexically scoping distribution: what you see is what you get. Electronic Notes in Theoretical Computer Science, 85(1), 2003.
[Rocha et. al., 2003a]
Ricardo  Rocha, Fernando  Silva and Rolando Martins, YapDss: an Or-Parallel Prolog System for Scalable Beowulf Clusters. In Fernando Moura Pires and Salvador Abreu (eds.), 11th Portuguese Conference on Artificial Intelligence (EPIA'03), Lectures Notes in Artificial Intelligence 2902, 136-150, Springer-Verlag, 2003.
[Tomás and Leal, 2003]
Ana Paula  Tomás, José Paulo  Leal, A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. In V. Dahl, P. Wadler (eds.), Proceedings of the Fifth International Symposium on Practical Aspects of Declarative Languages (PADL'2003), Lecture Notes in Computer Science 2562, 223-240, Springer-Verlag, 2003.
[Tomás et. al., 2003]
Ana Paula  Tomás, António Leslie Bajuelos, Fábio Marques, Approximation Algorithms to Minimum Vertex Cover Problems on Polygons and Terrains. In P.M.A Sloot et al. (eds.), Proceedings of the International Conference on Computational Science (ICCS 2003), Lecture Notes in Computer Science 2657, 869-878, Springer-Verlag, 2003. (Short version in C.Grima, A.Márquez,J.R.Portillo (Eds): X Encuentros de Geometria Computacional, 205-212, ISBN 84-607-7997-1, Universidad de Sevilla, 2003).  

2002 (in journals/books)

[Broda and Damas, 2002]
Sabine  Broda, L.  Damas, Studying provability in implicational intuitionistic logic: the formula tree approach. In Proceedings of the 9th Workshop on Logic, Language, Information and Computation (WoLLIC'2002), Electronic Notes in Theoretical Computer Science, Elsevier Science, Volume 67, 2002.
[Dutra et. al., 2002]
Inês  Dutra and David Page and Vítor Santos  Costa and J. Shavlik, An Empirical Evaluation of Bagging in Inductive Logic Programming. In Proceedings of Twelfth International Conference on Inductive Logic Programming, Lecture Notes in Artificial Intelligence, Springer-Verlag, 2002.
[Lobosco et. al., 2002]
Marcelo Lobosco and Vítor Santos  Costa and Cláudio Amorim, Performance Evaluation of Fast Ethernet, Giganet, and Myrinet on a Cluster. In Proceedings of the International Conference on Computer Science (ICCS'2002), Lecture Notes in Computer Science 2329, 296-305, Springer-Verlag, 2002.
[Pedroso, 2002]
João P.  Pedroso, An evolutionary solver for pure integer linear programming. International Transactions on Operations Research, 9(3), 337-352, 2002.
[Martins et. al., 2002]
Francisco Martins, Luís  Lopes and Vasco T. Vasconcelos, The Impact of Linearity Information on the Performance of TyCO. Workshop of Types in Programming (TIP'02), Electronic Notes in Thereotical Computer Science, Elsevier Science, Volume 75, 2002.
[Oliveira et. al., 2002]
Licínio  Oliveira, Luís  Lopes and Fernando  Silva, P3 (Parallel Peer-to-Peer): an Internet Parallel Programming Environment. In Proceedings of the Workshop on Web Engineering and Peer-to-Peer Computing, part of Networking 2002, Lecture Notes in Computer Science 2376, 274-288, 2002.
[Tomás, 2002a]
Ana Paula  Tomás, Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD). In C. A. Coello Coello et al (eds.), In Proceedings of MICAI'2002: Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence 2313, 242-251, Springer-Verlag, 2002. (Based on Technical Report DCC-2001-4)  

2001 (in journals/books)

[Alves and Florido, 2001]
Sandra  Alves and Mario  Florido, Type Inference using Constraint Handling Rules. In Proceedings of the 10th International Workshop on Functional and Logic Programming, Electronic Notes in Theoretical Computer Science, Elsevier Science, volume 64, 2001.
[Amado et. al., 2001]
Nuno Amado, João Gama, and Fernando  Silva, Parallel Implementation of Decision Tree Learning Algorithms. In Proceedings of the 10th Portuguese Conference on Artificial Intelligence (EPIA'2001), Lecture Notes in Artificial Intelligence 2258, 6-13, Springer-Verlag, 2001.
[Antunes et. al., 2001a]
Luís  Antunes, L. Fortnow, and D. van Melkebeek, Computational depth. In Proceedings of the 16th IEEE Conference on Computational Complexity, IEEE, 266-273, 2001. Also as Technical Report 2000-115, NEC Research Institute, 2000.
[Broda and Damas, 2001a]
Sabine  Broda, L.  Damas, A context-free grammar representation for normal inhabitants of types in TA_lambda, In P. Brazdil, A. Jorge (eds.) Progress in Artificial Intelligence - 10th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 2258, 321-334, Springer-Verlag, 2001. (Also as Generating normal inhabitants of types with a common structure. Technical Report DCC-01-1, DCC-FC & LIACC, Universidade do Porto, June 2001.)
[Broda and Damas, 2001b]
Sabine  Broda and Luís  Damas, Counting a type's (principal) inhabitants. Fundamenta Informaticae, 45, 33-51, 2001.
[Castro and Costa, 2001]
Luís Castro and Vítor Santos  Costa, Understanding Memory Management in Prolog Systems, In Proceedings of the 17th International Conference on Logic Programming (ICLP 2001), Lecture Notes in Computer Science 2237, 11-26, Springer-Verlag, 2001.
[Lopes et. al., 2001]
Luís  Lopes, Vasco T. Vasconcelos and Fernando  Silva, Fine-Grained Multithreading with Process Calculi. IEEE Transactions on Computers, Special Issue on the Parallel Architectures and Compilation Techniques Conference, Vol. 50 (8), 852-862, 2001.
[R.Lopes et. al., 2001]
Ricardo  Lopes, Vítor Santos  Costa, and Fernando  Silva, A Novel Implementation of the Extended Andorra Model. In Third International Symposium on Practical Aspects of Declarative Languages (PADL'2001), Lecture Notes in Computer Science 1990, 199-213, Springer-Verlag, 2001.
[Rocha et. al., 2001]
Ricardo  Rocha, Fernando  Silva, and Vítor Santos  Costa, On a Tabling Engine That Can Exploit Or-Parallelism, In Proceedings of the 17th International Conference on Logic Programming (ICLP 2001), Lecture Notes in Computer Science 2237, 43-58, Springer-Verlag, 2001.  

2000 (in journals/books)

[Broda and Damas, 2000c]
Sabine  Broda and Luís  Damas, On principal types of combinators. Journal of Theoretical Computer Science, 247 (1-2), 277-290, 2000. Also as On Principal Types of Stratified Combinators, Technical Report DCC-97-4, DCC-FC & LIACC, Universidade do Porto, April, 1997.
[Lopes et. al., 2000a]
Luís  Lopes, Fernando  Silva, and Vasco T. Vasconcelos, Fine Grained Multithreading with Process Calculi. In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques (PACT'00), IEEE Press, 217-226, 2000.
[Lopes et. al., 2000b]
Luís  Lopes, Álvaro  Figueira, Fernando  Silva, and Vasco T. Vasconcelos, A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. In Proceedings of the IEEE International Conference on Cluster Computing (Cluster'2000), IEEE Press, 297-306, 2000. (Extended version available as Technical Report DCC-2000-5).
[Costa et al., 2000]
Vítor  Costa, Ricardo  Rocha, and Fernando  Silva, Novel Models for Or-Parallel Logic Programs: a Performance Analysis. In Proceedings of Euro-Par'2000, Lecture Notes in Computer Science 1900, 744-753, Springer-Verlag, 2000.
[Silva and Watson, 2000]
Fernando  Silva and Paul Watson, Or-Parallel Prolog on a Distributed Memory Architecture. Journal of Logic Programming, 43(2), 173-186, 2000.  

1999 (in journals/books)

[Broda and Damas, 1999]
Sabine  Broda and L.  Damas, Counting a type's principal inhabitants. Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, (TLCA'99), Lecture Notes in Computer Science, 1581, 69-82, Springer Verlag, 1999. Reviewed in Math Reviews, CMP 1 723 959. Reviewed in Zentralblatt für Mathematik, MSC 1991: 03B40. Also as Technical Report DCC-98-12, DCC-FC & LIACC, Universidade do Porto, 1998.
[Dutra et al., 1999]
Inês  Dutra, M. Carro, Vítor Santos  Costa, G. Gupta, E. Pontelli, and F.  Silva (eds.), Parallelism and Implementation of (Constraint) Logic Programming, Nova Science Publisher, 1999.
[Ferreira and Damas, 1999]
Michel  Ferreira and Luís  Damas, Unfolding WAM Code. In I. Dutra et al (eds.), Parallelism and Implementation of Logic and Constraint Logic Programming, Nova Science, 39-49, 1999.
[Rocha et al., 1999a]
Ricardo  Rocha, Fernando  Silva, and Vítor Santos  Costa, YapOr: an Or-Parallel Prolog System Based on Environment Copying. In Pedro Barahona and José J. Alferes (eds.) Proceedings of the 9th Portuguese Conference on Artificial Intelligence (EPIA'99), Lecture Notes in Artificial Intelligence 1695, 178-192, Springer-Verlag, 1999. Also as Technical Report DCC-97-14, DCC-FC & LIACC, Universidade do Porto, December, 1997.
[Rocha et al., 1999b]
Ricardo  Rocha, Fernando  Silva, and Vítor Santos  Costa, Or-Parallelism within Tabling. In G. Gupta (ed.) Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, PADL'99, Lecture Notes in Computer Science 1551, 137-151, Springer-Verlag, 1999.
[Lopes et al., 1999a]
Luís  Lopes, Fernando  Silva, and Vasco T. Vasconcelos, A Virtual Machine for a Process Calculus. In Proceedings of PPDP'99, Lecture Notes in Computer Science 1702, 244-260, Springer-Verlag, 1999.
[Silva et al., 1999]
Fernando  Silva, Hervé  Paulino, and Luís  Lopes, Di_pSystem: a Parallel Programming System for Distributed Memory Architectures. In Recent Advances in Parallel Virtual Machines and Message Passing Interface (Proceedings of EuroPVM/MPI'99), Lecture Notes in Computer Science 1697, 525-532, Springer-Verlag, 1999.
[Castro et al., 1999]
Luís Castro, V. Santos  Costa, C. Geyer, F.  Silva, P. Kayser Vargas, and M. E.  Correia, Daos - Scalable And-Or Parallelism. In EuroPar'99 Parallel Processing (Topic 11 Parallel Programming: Models, Methods and Languages), Lecture Notes in Computer Science 1685, 899-908, Springer-Verlag, 1999.
[Costa et al., 1999a]
Vítor  Costa, Enrico Pontelli, and Gopal Gupta, Special Issue on the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages. Journal of Functional and Logic Programming, Special Issue 1, The MIT Press, 1999.
[Shen et al., 1999]
Kish Shen, Vítor Santos  Costa, and Andy King, Distance: a New Metric for Controlling Granularity for Parallel Execution. Journal of Functional and Logic Programming, Special Issue 1, The MIT Press, 1999.
[Fonseca et al., 1999]
Nuno  Fonseca, Inês  Dutra, and Vítor Santos  Costa, VisAll: A new tool to visualise parallel execution of Logic Programs. In I. Dutra et al. (eds.) Parallelism and Implementation of Logic and Constraint Logic Programming, Nova Science, 1-20, 1999.
[R. Lopes and Costa, 1999a]
Ricardo  Lopes and Vítor Santos  Costa, The BEAM: Towards a first EAM Implementation. In I. Dutra et al. (eds.) Parallelism and Implementation of Logic and Constraint Logic Programming, Nova Science, 87-106, 1999.
[R. Lopes and Costa, 1999b]
Ricardo  Lopes and Vítor Santos  Costa, The YAIL: An Intermediate Language for Native Compilation of Prolog Programs. In I. Dutra et al. (eds.) Parallelism and Implementation of Logic and Constraint Logic Programming, Nova Science, 313-328, 1999.
[Costa, 1999a]
Vítor  Costa, COWL: Copy-On-Write for Logic Programs. In Proceedings of the IPPS/SPDP99, IEEE Computer Press, 720-727, 1999.
[Costa, 1999b]
Vítor  Costa, Optimising Bytecode Emulation for Prolog. In Proceedings of PPDP'99, Lecture Notes in Computer Science 1702, 261-277, Springer-Verlag, 1999.  

1998 (in journals/books)

[M. Silva et al., 1998]
Márcio Silva, Inês C.  Dutra, Ricardo Bianchini, and Vítor Santos  Costa, The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems. In Workshop on Practical Aspects of Declarative Languages (PADL'99), Lecture Notes in Computer Science 1551, 122-136, Springer-Verlag, 1998. (Also available as Technical Report ES/477-98, COPPE Systems Engineering, September, 1998).
[Ferreira and Damas, 1998a]
Michel  Ferreira and Luís  Damas, Multiple Specialization of WAM Code. In Workshop on Practical Aspects of Declarative Languages (PADL'99), Lecture Notes in Computer Science 1551, 243-258, Springer-Verlag, 1998. Also as Technical Report DCC-98-2, DCC-FC & LIACC, Universidade do Porto, March, 1998.
[Filgueiras, 1998a]
Miguel  Filgueiras, Implementing a symbolic music processing system. Software -- Practice & Experience 28(5), 493-512, 1998.
[Fonseca et al., 1998]
Nuno  Fonseca, Inês de Castro  Dutra, and Vítor Santos  Costa, VisAll: An Universal Tool to Visualise the Parallel Execution of Logic Programs. In Joint International Conference and Symposium on Logic Programming, Manchester, UK, The MIT Press, 1998.
[V. Vasconcelos et al., 1998]
Vasco Vasconcelos, Luís  Lopes, and Fernando  Silva, Distribution and Mobility with Lexical Scoping in Process Calculi. Electronic Notes in Theoretical Computer Science, Elsevier Science, 16, No. 3, (Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, Uwe Nestmann and Benjamin Pierce (guest eds.), Nice, France, September), 1998.
[Shen et al., 1998]
Kish Shen, Vítor Santos  Costa, and Andy King, Distance: a New Metric for Controlling Granularity for Parallel Execution. In Joint International Conference and Symposium on Logic Programming, Manchester, The MIT Press, 1998.
[Costa and Bianchini, 1998]
Vítor  Costa and Ricardo Bianchini, Optimising Parallel Logic Programming Systems for Scalable Machines. In Proceedings of EuroPar'98, Lecture Notes in Computer Science 1470, Springer-Verlag, 1998. Also as Technical Report DCC-97-7, DCC-FC & LIACC, Universidade do Porto, September, 1997.  

1997 (in journals/books)

[Tomás and Filgueiras, 1997a]
Ana Paula  Tomás and Miguel  Filgueiras, Solving linear Diophantine equations using the geometric structure of the solution space. In H. Comon (ed.), Proceedings of 8th Conference on Rewriting Techniques and Applications -- RTA'97, Lecture Notes in Computer Science 1232, 269-283, Springer-Verlag,1997. Reviewed in Math Reviews, 98j:11124; 11Y50 (68Q40).
[Tomás and Filgueiras, 1997b]
Ana Paula  Tomás and M.  Filgueiras, An algorithm for solving systems of linear Diophantine equations in naturals. In E. Costa, A. Cardoso (eds.) Progress in Artificial Intelligence -- EPIA'97, Lecture Notes in Artificial Intelligence 1323, 73-84, Springer-Verlag, 1997. Reviewed in Zentralblatt für Mathematik, 884.11020; (Reviewer J. Piehler) 11D04, 90C10.
[Matos, 1997a]
Armando  Matos, Monadic Logic Programs and functional complexity. Theoretical Computer Science, 176, 175-204, 1997.
[Lopes and Silva, 1997]
Luís  Lopes and F.  Silva, Thread- and Process-Based Implementations of the pSystem Parallel Programming Environment. Software Practice & Experience Journal, Willey & Sons, 27 (3), 329-351, 1997.
[Correia et al., 1997]
Manuel E.  Correia, Fernando  Silva, and Vítor Santos  Costa, The SBA: exploiting orthogonality in AND-OR parallel systems. In Proceedings of the 1997 International Logic Programming Symposium (ILPS'97), Port Jefferson, Long Island, NY, The MIT Press, 117-131, 1997. Also as Technical Report DCC-97-3, DCC-FC & LIACC, Universidade do Porto, April, 1997.
[Broda and Damas, 1997a]
Sabine  Broda and L.  Damas, Compact bracket abstraction in Combinatory Logic. Journal of Symbolic Logic, 62(3), 729-740, 1997. Reviewed in Math Reviews, 98m:03027. Reviewed in Zentralblatt für Mathematik, MSC 1991: 03B40, 03B70 (Reviewer: M. W. Bunder). Also as Bracket abstraction in the combinator system Cl(K), Technical Report, LIACC, Universidade do Porto, 1995.
[Broda and Damas, 1997b]
Sabine  Broda and L.  Damas, On combinatory complete sets of proper combinators. Journal of Functional Programming, 7(6), 593-612, 1997. Reviewed in Math Reviews, 98k:03034. Reviewed in Zentralblatt für Mathematic, MSC 1991: 03B40, 03B25.
[Costa et al., 1997a]
Vítor  Costa, R. Bianchini, and I. C.  Dutra, Evaluating Parallel Logic Programming systems on scalable multiprocessors. In Proceedings of the 2nd International Symposium on Parallel Symbolic Computation, PASCO'97, 58-67, ACM, 1997.
[Costa et al., 1997b]
Vítor  Costa, R. Bianchini, and I. C.  Dutra, Evaluating the impact of coherence protocols on Parallel Logic Programming systems. In Proceedings of the 5th EUROMICRO Workshop on Parallel and Distributed Processing, IEEE Press, 376-381, 1997. Also as Technical Report ES-389/96, COPPE/Systems Engineering, May, 1996.
[Costa, 1997]
Vítor  Costa, Um sistema capaz de executar programas Prolog em paralelo. In Prémio Científico IBM, de 1990 a 1996, pages 95-115. IBM Portugal, 1997.  

1996 (in journals/books)

[Gupta and Costa, 1996]
Gopal Gupta and V. Santos  Costa, Cuts and side-Effects in And-Or Parallel Prolog. Journal of Logic Programming, 27 (1), 45-71, 1996.
[Costa et al., 1996a]
Vítor  Costa, D. H. D. Warren, and R. Yang, Andorra-I compilation. New Generation Computing, Springer-Verlag, 14 (1), 3-30, 1996.  

1995 (in journals/books)

[Domenjoud and Tomás, 1995]
Eric Domenjoud and A. P.  Tomás, From Elliott-MacMahon to an algorithm for general linear constraints on naturals. In U. Montanari, F. Rossi (eds.), Principles and Practice of Constraint Programming -- CP'95, Lecture Notes in Computer Science 976, 18-35, Springer-Verlag, 1995.
[Damas and Moreira, 1995]
Luís  Damas and N.  Moreira, Constraint Categorial Grammars. In C. Pinto Ferreira and N. Mamede (eds.) Proceedings of the 7th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 990, Springer-Verlag, 1995.
[Correia et al., 1995a]
Manuel E.  Correia, F.  Silva, and V. Santos  Costa, Aurora vs. Muse: a performance study of two Or-Parallel Prolog systems. Computing Systems in Engineering, Pergamon Press, 6 (4/5), 345-349, 1995.
[Filgueiras, 1995]
Miguel  Filgueiras, Interfaces de Linguagem Natural. In M. H. Mateus, A. H. Branco (eds.) Engenharia da Linguagem, Edições Colibri, 95-114, 1995.
[Filgueiras and Tomás, 1995]
Miguel  Filgueiras and Ana Paula  Tomás, A fast method for finding the basis of nonnegative solutions to a linear Diophantine equation. Journal of Symbolic Computation, 19, 507-526, 1995. Reviewed in Math Reviews, 97a:11206; 11Y50 (68Q42).
[Broda and Damas, 1995]
Sabine  Broda and L.  Damas, A new translation algorithm from Lambda Calculus into Combinatory Logic. In C. Pinto Ferreira and N. Mamede (eds.) Proceedings of the 7th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 990, 359-370, Springer-Verlag, 1995. Reviewed in Math Reviews, 98g:03040.  

1994 (in journals/books)

[Matos, 1994a]
Armando  Matos, Periodic sets of integers. Theoretical Computer Science, 127 (2), 287-312, 1994.
[Matos, 1994b]
Armando  Matos, An introduction to Ultimately Periodic Sets of integers. SIGACT (Algorithms and Computational Theory), 25 (1), Association for Computing Machinery, 1994.
[Matos, 1994c]
Armando  Matos, A matrix model for the flow of control in Prolog programs with applications to profiling. Software -- Practice and Experience, 24 (8), 729-746, 1994.
[Silva, 1994]
Fernando  Silva, Or-Parallelism on Distributed Shared Memory architectures. In E. Tick and G. Succi (eds.), Implementations of LogicProgramming systems, Kluwer Academic Pub., 1994.
[Gupta et al., 1994a]
Gopal Gupta, M. Hermenegildo, E. Pontelli, and V. Santos  Costa, ACE: And/Or-parallel copying-based execution of Logic Programs. In Proceedings of the International Conference on Logic Programming 94, MIT Press, 93-109,1994.
[Gupta and Costa, 1994]
Gopal Gupta and V. Santos  Costa, Optimal implementation of And-Or Parallel Prolog. Future Generation Computer Systems, 10, 71-92, 1994.
[Lopes and Silva, 1994a]
Luís  Lopes and Fernando M. A.  Silva, Scheduling algorithms performance with the pSystem parallel programming environment. In Proceedings of the 1994 Parallel Architectures and Languages Europe (PARLE'94), Lecture Notes in Computer Science 817, 827-830, Springer-Verlag, 1994.
[Damas et al., 1994]
Luís  Damas, N.  Moreira, and G. B. Varile,The formal and computational theory of Constraint Logic Grammars. In C. J. Rupp, M. A. Rosner and R. L. Johnson (eds.), Constraints, Language and Computation, Academic Press, 149-166, 1994.
[Filgueiras, 1994]
Miguel  Filgueiras, A successful case of Computer Aided Translation. In Proceedings of the Fourth Conference on Applied Natural Language Processing, Morgan Kauffman, 91-94, 1994.  

1993 (in journals/books)

[Matos, 1993a]
Armando  Matos, Regular languages and a class of Logic Programs. In M. Filgueiras, L. Damas (eds.) Progress in Artificial Intelligence --6th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 727, 150-157, Springer-Verlag, 1993.
[Matos, 1993b]
Armando  Matos, Some results on the complexity of SLD-derivations. In M. Filgueiras, L. Damas (eds.) Progress in Artificial Intelligence -- 6th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 727, 158-169, Springer-Verlag, 1993.
[Silva, 1993a]
Fernando  Silva, An Or-Parallel Prolog execution model for a distributed shared memory machine. In M. Filgueiras, L. Damas (eds.) Progress in Artificial Intelligence -- 6th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 727, 170-182, Springer-Verlag, 1993.
[Gupta et al., 1993]
Gopal Gupta, M. Hermenegildo, and V. Santos  Costa, And-Or Parallel Prolog: A Recomputation Based Approach. New Generation Computing, 11 (3), 1993.
[Damas et al., 1993]
Luís  Damas, N.  Moreira, and S.  Broda, Resolution of constraints in algebras of rational trees. In M. Filgueiras, L. Damas (eds.) Progress in Artificial Intelligence -- 6th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 727, 61-76, Springer-Verlag, 1993. Reviewed in Math Reviews, 95d:68076.
[Filgueiras and Tomás, 1993a]
Miguel  Filgueiras and Ana Paula  Tomás, Fast methods for solving linear Diophantine equations. In M. Filgueiras, L. Damas (eds.) Progress in Artificial Intelligence -- 6th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 727, 297-306, Springer-Verlag, 1993. Reviewed in Math Reviews, 95h:11144; (Reviewer: István Gaál) 11Y50 (68N05 68Q42).
[Filgueiras and Damas (eds.), 1993]
Miguel  Filgueiras and L.  Damas (eds.), Progress in Artificial Intelligence -- 6th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 727, Springer-Verlag, 1993. Reviewed in Math Reviews, 95c:68010; 68-06. Reviewed in Zentralblatt für Mathematik, 875.00106; 00B25, 68-06, 68Txx.
[Filgueiras and Leal, 1993b]
Miguel  Filgueiras and José Paulo  Leal, Representation and manipulation of music documents in SceX. Electronic Publishing,vol. 6 (4), 507-518, 1993.
[Yang et al., 1993]
R. Yang, T. Beaumont, I.  Dutra, V. Santos  Costa, and D.H.D. Warren, Performance of the Compiler Based Andorra-I System. In Proceedings of the 1993 International Conference on Logic Programming, MIT Press, 1993.  

1992 (in journals/books)

[Gupta and Costa, 1992a]
Gopal Gupta and V. Santos  Costa, And-Or parallelism in full Prolog with paged binding arrays. In Proceedings of PARLE'92 Parallel Architectures and Languages Europe, Lecture Notes in Computer Science, 605, Springer-Verlag, 1992.  

1991 (in journals/books)

[Tomás and Filgueiras, 1991a]
Ana Paula  Tomás and M.  Filgueiras, A new method for solving linear constraints on the natural numbers. In P. Barahona, L. Moniz Pereira, A. Porto (eds.), Proceedings of the 5th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 541, Springer-Verlag, 30-44, 1991.
[Gupta et al., 1991]
Gopal Gupta, V. Santos  Costa, R. Yang, and M. V. Hermenegildo, IDIOM: A model integrating dependent, independent and Or-parallelism. In Proceedings of the International Logic Programming Symposium, MIT Press, 1991.
[Filgueiras and Tomás, 1991]
Miguel  Filgueiras and A. P.  Tomás, Solving linear constraints on finite domains through parsing. In P. Barahona, L. Moniz Pereira, A. Porto (eds.), Proceedings of the 5th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 541, Springer-Verlag, 1-16, 1991. Reviewed in Math Reviews, 1 233 800; 68Q52 (68Q50).
[Filgueiras et al., 1991a]
Miguel  Filgueiras, L.  Damas, N.  Moreira, and A. P.  Tomás (eds.), Natural Language Processing -- EAIA '90 Proceedings. Lecture Notes in Artificial Intelligence, 476, Springer-Verlag, 1991. Reviewed in Math Reviews, 91k:68015; 03B65 68S05. Reviewed in Zentralblatt für Mathematik, 875.00077; 00B25, 68-06, 68S05, 68T99.
[Filgueiras et al., 1991b]
Miguel  Filgueiras, N.  Moreira, and A. P.  Tomás, General introduction. In M. Filgueiras et al. (eds.), Natural Language Processing -- EAIA'90 Proceedings. Lecture Notes in Artificial Intelligence, 476, 1-3, Springer-Verlag, 1991.  

1990 (in journals/books)

[Filgueiras et al., 1990a]
Miguel  Filgueiras, A. P.  Tomás, N.  Moreira, R.  Reis, and J. P.  Leal, Natural Language and Natural Menus interfaces. In M. Carnevale, M. Lucertini, S. Nicosia (eds.), Preprints of the TC-7 IFIP International Conference, Modelling the Innovation, IFIP, Roma, 571-578, 1990. Also in M. Carnevale, M. Lucertini, S. Nicosia (eds.), Modelling the Innovation: Communications, Automation and Information Systems, North Holland, 299-306, 1990.  

1989 (in journals/books)

[Tomás and Filgueiras, 1989]
Ana Paula  Tomás and Miguel  Filgueiras, Some comments on a Logic Programming approach to Natural Language semantics. In J. P. Martins, E. M. Morgado (eds.), EPIA 89, Proceedings of the 4th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 390, 187-197, Springer-Verlag, 1989.
[Leal, 1989b]
José P.  Leal, An external database for Prolog. In J. P. Martins, E. M. Morgado (eds.), EPIA 89, Proceedings of the 4th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 390, Springer-Verlag, 276-285, 1989.
[Damas and Varile, 1989]
Luís  Damas and Giovanni Varile, CLG: a grammar formalism based on constraint resolution. In J. P. Martins, E. M. Morgado (eds.), EPIA 89, Proceedings of the 4th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 390, 175-186, Springer-Verlag, 1989.
[Filgueiras, 1989c]
Miguel  Filgueiras, Cooperating rewrite processes revisited. In J. P. Martins, E. M. Morgado (eds.), EPIA 89, Proceedings of the 4th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 390, 163-174, Springer-Verlag, 1989.
[Moreira, 1989b]
Nelma  Moreira, Semantic analysis of time and tense: an implementation. In J. P. Martins, E. M. Morgado (eds.), EPIA 89, Proceedings of the 4th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 390, 198-209, Springer-Verlag, 1989.  

1988 (in journals/books)

[Damas and Filgueiras, 1988]
Luís  Damas and Miguel  Filgueiras, Prolog for AI projects: the Portuguese experience. In Cutting Edge Technologies and Microcomputer Applications for Developing Countries, Westview Press, 67-71, 1988.  

1987 (in journals/books)

[Filgueiras, 1987a]
Miguel  Filgueiras, Logic Programming and Natural Language semantics. In V. Dahl, P. Saint-Dizier (eds.), Proceedings of the Second International Workshop on Natural Language Understanding And Logic Programming, Vancouver, 265-267, 1987. Also in V. Dahl, P. Saint-Dizier (eds.), Natural Language Understanding and Logic Programming II, North-Holland, 321-322, 1988.  

1986 (in journals/books)

[Filgueiras, 1986a]
Miguel  Filgueiras, Cooperating rewrite processes for Natural Language analysis, Journal of Logic Programming, vol. 3, no. 4, 279-298, 1986. Reviewed in Zentralblatt für Mathematik, 619.68068; (Reviewer J.-J.Ch.Meyer) 68Q55, 68T99, 03B65, 68T15.  

1984 (in journals/books)

[Porto and Filgueiras, 1984]
António Porto and Miguel  Filgueiras, Natural Language semantics: a Logic Programming approach. In Proceedings of the 1984 International Symposium on Logic Programming, IEEE Computer Society, 228-232, 1984.
[Filgueiras, 1984c]
Miguel  Filgueiras, A Prolog interpreter working with infinite terms. In J. Campbell (ed.), Implementations of Prolog, Ellis Horwood, 250-258, 1984.
[Filgueiras, 1984d]
Miguel  Filgueiras, A brief description of Spiral -- a Natural Language understanding system. Logic Programming Newsletter, 6, 3-5, Winter 1984/85.  

1981 (in journals/books)

[Matos and Porto, 1979]
Armando  Matos and António Porto, Ackermann and the Superpowers. SIGACT Newsletter, ACM, 1979.
[M. Oliveira and Matos, 1981]
M. Ferreira de Oliveira and A.  Matos, Um algoritmo para análise de redes eléctricas radiais. Revista Engenharia Electrotécnica, 1, 1981.
FCUP 2018