Technical Reports of
DCC, Faculdade de Ciências, Universidade do Porto

Technical Reports: 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997

2016:

  1. João Pedro Pedroso Heuristics for Packing Semifluids , Technical Report DCC-2016-01, DCC-FC & INESC, Universidade do Porto, July, 2016.
    Abstract / PDF

  2. João Pedro Pedroso,João Nuno Tavares, Jorge Leite, Heuristics for Packing Semifluids Technical Report DCC-2016-02, CMUP & FC, INESC, Universidade do Porto, September, 2016.
    Abstract / PDF

2015:

  1. Margarida Carvalho, João Pedro Pedroso Note on the Cournot and Stackelberg Competitions: is it worth to be the last playing?, Technical Report DCC-2015-01, DCC-FC & INESC, Universidade do Porto, September, 2015.
    Abstract / PDF

2014:

  1. Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis Automata for KAT Expressions, Technical Report DCC-2014-01, DCC-FC & CMUP, Universidade do Porto, January, 2014.
    Abstract / PDF

  2. Eva Maia, Nelma Moreira, Rogério Reis On the Bisilimarity of the Position Automata, Technical Report DCC-2014-02, DCC-FC & CMUP, Universidade do Porto, March, 2014.
    Abstract / PDF

  3. Ivone Amorim, António Machiavelo, Rogério Reis. On the Number of Non-Equivalent Linear Transducers , Technical Report DCC-2014-03, DCC - FC & CMUP, Universidade do Porto, March, 2014.
    Abstract / PDF

  4. Mário Pereira, Sandra Alves, Mário Florido Liquid Intersection Types, Technical Report DCC-2014-04, DCC - FC & LIACC, Universidade do Porto, April, 2014.
    Abstract / PDF

  5. João Pedro Pedroso, Mikio Kubo, Ana Viana. Unit commitment with valve-point loading effect , Technical Report DCC-2014-05, DCC-FC & INESC, Universidade do Porto, April, 2014.
    Abstract / PDF

  6. Margarida Carvalho, Andrea Lodi, João Pedro Pedroso, Ana Viana. Two-Player Kidney Exchange Game , Technical Report DCC-2014-06, DCC-FC & INESC, Universidade do Porto, June, 2014.
    Abstract / PDF

  7. Sabine Broda, Sílvia Cavadas, Nelma Moreira Kleene Algebra Completeness, Technical Report DCC-2014-07, DCC-FC & CMUP, Universidade do Porto, July, 2014.
    Abstract / PDF
  8. Sandra Alves, Sabine Broda Type-Inhabitation: Formula-Trees vs. Game Semantics, Technical Report DCC-2014-08, LIACC & DCC-FC & CMUP, Universidade do Porto, May, 2014.
    Abstract / PDF
  9. Eva Maia, Nelma Moreira, Rogério Reis Left Relations, Technical Report DCC-2014-09, DCC-FC & CMUP, Universidade do Porto, December, 2014.
    Abstract / PDF

  10. Sabine Broda, Sílvia Cavadas, Nelma Moreira Derivative Based Methods for Deciding SKA and SKAT, Technical Report DCC-2014-10, DCC-FC & CMUP, Universidade do Porto, May, 2014.
    Abstract / PDF
  11. Pedro Soares, António Ravara, Simão Melo de Sousa. An Operational Semantics for Concurrent Separation Logic , Technical Report DCC-2014-11, LIACC-UP, CITI & DI-FCT-UNL, LIACC-DI-FE, June, 2013.
    Abstract / PDF

2013:

  1. Rogério Reis and Emanuele Rodaro. Ideal Regular Languages and Strongly Connected Synchronizing Automata, Technical Report DCC-2013-01, DCC-FC & CMUP, Universidade do Porto, January, 2013.
    Abstract / PDF

  2. Eva Maia, Nelma Moreira, and Rogério Reis. The Operational Incomplete Transition Complexity on Finite Languages, Technical Report DCC-2013-02, DCC - FC & CMUP, Universidade do Porto, January, 2013.
    Abstract / PDF

  3. Nelma Moreira, David Pereira, and Simão Melo de Sousa. On the Mechanisation of Rely-Guarantee in Coq , Technical Report DCC-2013-03, DCC - FC & LIACC, Universidade do Porto, January, 2013.
    Abstract / PDF

  4. Ricardo Almeida, Sabine Broda, Nelma Moreira. KAT and Hoare Logic with Derivatives , Technical Report DCC-2013-04, DCC - FC & CMUP, Universidade do Porto, February, 2013.
    Abstract / PDF

  5. João Pedro Pedroso. Maximizing expectation on vertex-disjoint cycle packing , Technical Report DCC-2013-05, DCC -FC & INESC, Universidade do Porto, March, 2013.
    Abstract / PDF

  6. Pedro Vasconcelos. Verifying a Simple Compiler Using Property-based Random Testing , Technical Report DCC-2013-06, DCC -FC & LIACC, Universidade do Porto, April, 2013.
    Abstract / PDF

  7. Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis Glushkov and Equation Automata for KAT Expressions , Technical Report DCC-2013-07, DCC-FC & CMUP, Universidade do Porto, April, 2013.
    Abstract / PDF

  8. Filipe Brandão and João Pedro Pedroso. Bin Packing and Related Problems: General Arc-flow Formulation with Graph Compression , Technical Report DCC-2013-08, DCC - FC, Universidade do Porto, September, 2013.
    Abstract / PDF

  9. Filipe Brandão and João Pedro Pedroso. Cutting Stock with Binary Patterns: Arc-flow Formulation with Graph Compression , Technical Report DCC-2013-09, DCC - FC, Universidade do Porto, September, 2013.
    Abstract / PDF

  10. Filipe Brandão and João Pedro Pedroso. Fast Pattern-based Algorithms for Cutting Stock , Technical Report DCC-2013-10, DCC - FC, Universidade do Porto, September, 2013.
    Abstract / PDF

  11. Rafaela Bastos, Nelma Moreira, and Rogério Reis. Manipulation of Extended Regular Expressions with Derivatives, Technical Report DCC-2013-11, DCC - FC & CMUP, Universidade do Porto, September, 2013.
    Abstract / PDF

  12. Nelma Moreira, Davidde Nabais, and Rogério Reis. DesCo: a Knowledge Based System for Descriptional Complexity of Formal Languages, Technical Report DCC-2013-12, DCC - FC & CMUP, Universidade do Porto, September, 2013.
    Abstract / PDF

  13. Filipe Brandão and João Pedro Pedroso. Multiple-choice Vector Bin Packing: Arc-flow Formulation with Graph Compression , Technical Report DCC-2013-13, DCC - FC, Universidade do Porto, December, 2013.
    Abstract / PDF

2012:

  1. André de Matos Pedro, Maria João Frade,Simão Melo de Sousa. Learning generalized semi-Markov processes: From stochastic discrete event systems to testing and verification , Technical Report DCC-2012-01, DCC-LIACC, Universidade do Porto, April, 2012.
    Abstract / PDF

  2. Eva Maia, Nelma Moreira, and Rogério Reis. On the Incomplete Transition Complexity of Some Basic Operations on Regular Languages, Technical Report DCC-2012-02, DCC - FC, Universidade do Porto, April, 2012.
    Abstract / PDF

  3. Filipe Brandão and João Pedro Pedroso. Solving Bin Packing Related Problems Using an Arc Flow Formulation , Technical Report DCC-2012-03, DCC - FC, Universidade do Porto, May, 2012.
    Abstract / PDF

  4. Nelma Moreira, David Pereira, Simão Melo de Sousa. Mechanization of an Algorithm for Deciding KAT Terms Equivalence , Technical Report DCC-2012-04, DCC - FC, Universidade do Porto, May, 2012.
    Abstract / PDF

  5. Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis An Introduction to Descriptional Complexity of Regular Languages through Analytic Combinatorics, Technical Report DCC-2012-05, DCC - FC, Universidade do Porto, July, 2012.
    Abstract / PDF

  6. Margarida Carvalho, João Pedro Pedroso. Equilibria on the Day-Ahead Electricity Market , Technical Report DCC-2012-06, DCC - FC, Universidade do Porto, September, 2012.
    Abstract / PDF

2011:

  1. Rolando Martins, Priya Narasimhan, Luís Lopes and Fernando Silva. Lightweight Fault-Tolerance for Peer-to-Peer Middleware, Technical Report DCC-2011-01, DCC - FC, Universidade do Porto, January, 2011.
    Abstract / PDF

  2. Sabine Broda, Nelma Moreira, Nuno Silva, Simão Melo de Sousa A Tool for Automatic Model Extraction of Ada/SPARK Programs (Part II) , Technical Report DCC-2011-02, DCC - FC, Universidade do Porto, October, 2011.
    Abstract / PDF

  3. Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis. Study of the average size of Glushkov and Partial Derivative Automata , Technical Report DCC-2011-03, DCC - FC, Universidade do Porto, August, 2011.
    Abstract / PDF

  4. Nelma Moreira, David Pereira, Simão Melo de Sousa Deciding Regular Expressions (In-)Equivalence in Coq , Technical Report DCC-2011-06, DCC - FC, Universidade do Porto, November, 2011.
    Abstract / PDF

  5. Cezar Câmpeanu, Nelma Moreira, Rogério Reis Expected Compression Ratio for DFCA: experimental average case analysis , Technical Report DCC-2011-07, DCC - FC, Universidade do Porto, July, 2011.
    Abstract / PDF

  6. Yuan Gao, Nelma Moreira, Rogério Reis, Sheng Yu A Review on State Complexity of Individual Operations , Technical Report DCC-2011-08, DCC - FC, Universidade do Porto, December, 2011.
    Abstract / PDF

  7. Tiago Cogumbreiro, Pedro Gomes, Francisco Martins and Luís Lopes Safe-By-Design Programming Languages for Wireless Sensor Networks , Technical Report DCC-2011-09, DCC - FC, Universidade do Porto, June, 2011.
    Abstract / PDF

  8. Nelma Moreira, Davide Nabais, Rogério Reis. DesCo: a Web Based Information System for Descriptional Complexity Results , Technical Report DCC-2011-10, DCC - FC, Universidade do Porto, August, 2011.
    Abstract / PDF

  9. Ivone Amorim, António Machiavelo, Rogério Reis. On Linear Finite Automata and Cryptography , Technical Report DCC-2011-11, DCC - FC, Universidade do Porto, August, 2011.
    Abstract / PDF

2010:

  1. Luís Lopes and Francisco Martins. A Semantically Robust Framework for Programming Wireless Sensor Networks , Technical Report DCC-2010-01, DCC - FC, Universidade do Porto, March, 2010.
    Abstract / PDF

  2. Rolando Martins, Priya Narasimhan, Luís Lopes and Fernando M. Silva. On the Impact of Fault-Tolerance Mechanisms in a Peer-to-Peer Middleware , Technical Report DCC-2010-02, DCC - FC, Universidade do Porto, April, 2010.
    Abstract / PDF

  3. José Paulo Leal, Ricardo Queirós and Duarte Ferreira. A Contribution to the E-Framework – a Specification of a Programming Exercise Evaluation Service , Technical Report DCC-2010-03, DCC - FC, Universidade do Porto, June, 2010.
    Abstract / PDF

  4. Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis . On the Average Size of PD automata: an Analytic Combinatorics Approach, Technical Report DCC-2010-04, DCC - FC, Universidade do Porto, July, 2010.
    Abstract / PDF

  5. André Carvalho, Nuno Silva, Simão Melo de Sousa, Nelma Moreira. A Tool for Automatic Model Extraction of Ada/SPARK Programs, Technical Report DCC-2010-05, DCC - FC, Universidade do Porto, August, 2010.
    Abstract / PDF

2009:

  1. Marco Almeida and Nelma Moreira and Rogério Reis. Testing the Equivalence of Regular Languages, Technical Report DCC-2009-01, DCC - FC, Universidade do Porto, April, 2009.
    Abstract / Postscript / PDF

  2. João Pedro Pedroso and Mikio Kubo. Stochastic Tree Search: An Illustration with the Knapsack Problem, Technical Report DCC-2009-02, DCC - FC, Universidade do Porto, April, 2009.
    Abstract / Postscript / PDF

  3. Nelma Moreira, David Pereira, and Simão Melo de Sousa. On the Mechanization of Kleene Algebra in Coq, Technical Report DCC-2009-03, DCC-FC-LIACC, Universidade do Porto, April, 2009.
    Abstract / PDF

2008:

  1. Francisco Martins, Luís Lopes, Miguel S. Silva, João Barros. Robust Programming for Sensor Networks, Technical Report DCC-2008-01, DCC - FC, Universidade do Porto, March, 2008.
    Abstract / Postscript / PDF

  2. Rolando Martins, Luís Lopes, Fernano Silva. A Peer-to-Peer Middleware Platform for Fault-Tolerant, QoS, Real-Time Computing, Technical Report DCC-2008-02, DCC - FC, Universidade do Porto, April, 2008.
    Abstract / Postscript / PDF

  3. João Pedro Pedroso and Mikio Kubo. Heuristics and Exact Methods for Number Partitioning. Technical Report DCC-2008-03, DCC - FC, Universidade do Porto, June, 2007.
    Abstract / Postscript / PDF

2007:

  1. Pedro Pereira, Nuno A. Fonseca, Fernando Silva. Fast Discovery of Statistically Interesting Words, Technical Report DCC-2007-01, DCC - FC & LIACC, Universidade do Porto, January, 2007.
    Abstract / Postscript / PDF

  2. Mario J. Antunes, Manuel E. Correia. A Network Intrusion Detection System based on the Tunable Activation Threshold theory , Technical Report DCC-2007-02, DCC - FC & LIACC, Universidade do Porto, April, 2007.
    Abstract / Postscript / PDF

  3. Marco Almeida, Nelma Moreira and Rogério Reis. On the performance of automata minimization algorithms , Technical Report DCC-2007-03, DCC - FC & LIACC, Universidade do Porto, June, 2007.
    Abstract / Postscript / PDF

  4. David Pereira, Eugénio Oliveira and Nelma Moreira. Formal modelling of Emotions in BDI Agents , Technical Report DCC-2007-04, DCC - FC & LIACC, Universidade do Porto, June, 2007.
    Abstract / Postscript / PDF

  5. Marco Almeida, Nelma Moreira and Rogério Reis. Exact Generation of Minimal Acyclic Deterministic Finite Automata , Technical Report DCC-2007-05, DCC - FC, Universidade do Porto, June, 2007.
    Abstract / Postscript / PDF

  6. João Pedro Pedroso. Simple meta-heuristics using the simplex algorithm for non-linear programming , Technical Report DCC-2007-06, DCC - FC, Universidade do Porto, June, 2007.
    Abstract / Postscript / PDF

  7. Marco Almeida, Nelma Moreira, and Rogério Reis. Testing the equivalence of regular expressions , Technical Report DCC-2007-07, DCC - FC, Universidade do Porto, October, 2007.
    Abstract / Postscript / PDF

  8. João P. Pedroso. An evolutionary solver for mixed integer programming. , Technical Report DCC-2007-08, DCC - FC, Universidade do Porto, October, 2007.
    Abstract / Postscript / PDF

  9. João P. Pedroso. A hybrid solution strategy for production planning. , Technical Report DCC-2007-09, DCC - FC, Universidade do Porto, October, 2007.
    Abstract / Postscript / PDF

2006:

  1. António Machiavelo and Rogério Reis. Automated Ciphertext-Only Cryptanalysis of the Bifid Cipher, Technical Report DCC-2006-01, DCC - FC & LIACC, Universidade do Porto, March, 2006.
    Abstract / Postscript / PDF

  2. Ricardo Silva and Luis Lopes. A Debugger for a Programming Language Based on a Process-Calculus, Technical Report DCC-2006-02, DCC - FC & LIACC, Universidade do Porto, May, 2006.
    Abstract / Postscript / PDF

  3. Mário J. Antunes e Manuel E. Correia. O sistema imunitário humano, conceitos e princípios Básicos para Informáticos, Technical Report DCC-2006-03, DCC - FC & LIACC, Universidade do Porto, Maio, 2006.
    Abstract / PDF

  4. Mário J. Antunes and Manuel E. Correia. Towards a new Immunity-Inspired Intrusion Detection Framework, Technical Report DCC-2006-04, DCC - FC & LIACC, Universidade do Porto, October, 2006.
    Abstract / PDF

  5. Marco Almeida and Rogério Reis. Efficient Representation of Integer Sets, Technical Report DCC-2006-06, DCC - FC & LIACC, Universidade do Porto, December, 2006.
    Abstract / Postscript / PDF

  6. Marco Almeida, Nelma Moreira, and Rogério Reis. Enumeration and Generation of Initially Connected Deterministic Finite Automata, Technical Report DCC-2006-07, DCC - FC & LIACC, Universidade do Porto, December, 2006.
    Abstract / Postscript / PDF

  7. Pedro Pereira, Nuno A. Fonseca, Fernando Silva. A High Performance Distributed Tool For Mining Patterns in Biological Sequences, Technical Report DCC-2006-08, DCC - FC & LIACC, Universidade do Porto, December, 2006.
    Abstract / Postscript / PDF

2005:

  1. Jorge Coelho and Mário Florido. Avoiding Infinite Loops in the Solving of Equations Involving Sequence Variables and Terms with Flexible Arity Function Symbols, Technical Report DCC-2005-01, DCC - FC & LIACC, Universidade do Porto, March, 2005.
    Abstract / Postscript / PDF

  2. Ana Paula Tomás. Emparelhamentos, Casamentos Estáveis e Algoritmos de Colocação de Professores, Technical Report DCC-2005-02, DCC - FC & LIACC, Universidade do Porto, March, 2005. (in Portuguese)
    Abstract / Postscript / PDF

  3. José João Morais and Nelma Moreira and Rogério Reis. Acyclic Automata with easy-to-find short regular expressions, Technical Report DCC-2005-03, DCC - FC & LIACC, Universidade do Porto, April, 2005.
    Abstract / Postscript / PDF

  4. Marco Almeida, Nelma Moreira and Rogério Reis. On the Representation of Finite Automata, Technical Report DCC-2005-04, DCC - FC & LIACC, Universidade do Porto, April, 2005.
    Abstract / Postscript / PDF

  5. Hervé Paulino and Luís Lopes The Mob Core Language and Abstract Machine, Technical Report DCC-2005-05, DCC - FC & LIACC, Universidade do Porto, May, 2005.
    Abstract / Postscript / PDF

  6. Ana Paula Tomás, Nelma Moreira, Nuno Pereira. Designing a Symbolic Solver for Arithmetic Constraints for Computer Assisted Learning, Technical Report DCC-2005-06, DCC - FC & LIACC, Universidade do Porto, May 2005.
    Abstract / Postscript / PDF

  7. Sónia Sousa, Rogério Reis, Luís Damas. AGISA: an integrated system for classroom administration, Technical Report DCC-2005-07, DCC - FC & LIACC, Universidade do Porto, July 2005.
    Abstract / Postscript / PDF

  8. Christian Schulte, Fernando Silva and Ricardo Rocha (Eds.) Proceedings of the 5th Colloquium on the Implementation of Constraint and LOgic Programming Systems (CICLOPS), Technical Report DCC-2005-08, DCC - FC & LIACC, Universidade do Porto, October 2005.
    Abstract / Postscript / PDF

  9. David Pereira, Eugénio Oliveira and Nelma Moreira Towards an Architecture for Emotional BDI Agents, Technical Report DCC-2005-08, DCC - FC & LIACC, Universidade do Porto, July 2005.
    Abstract / Postscript / PDF

  10. Tiago Soares, Michel Ferreira and Ricardo Rocha. The MYDDAS Programmer's Manual, Technical Report DCC-2005-10, DCC - FC & LIACC, Universidade do Porto, October, 2005.
    Abstract / Postscript / PDF

2004:

  1. Sabine Broda and Luís Damas. The Formula-Tree Proof Method, Technical Report DCC-2004-01, DCC - FC & LIACC, Universidade do Porto, January, 2004.
    Abstract / Postscript(116KB) / PDF(262KB)

  2. João Pedro Pedroso. Tabu Search for Mixed Integer Programming, Technical Report DCC-2004-02, DCC - FC & LIACC, Universidade do Porto, March, 2004.
    Abstract / Postscript(238KB) / PDF(265KB)

  3. Ana Paula Tomás. Análise de Alguns Problemas Geométricos em Poligonos Ortogonais, Technical Report DCC-2004-03, DCC - FC & LIACC, Universidade do Porto, June, 2004. (in Portuguese)
    Abstract / Postscript(213KB) / PDF(382KB)

  4. Rogério Reis, Nelma Moreira and João Pedro Pedroso. Educated brute-force to get H(4), Technical Report DCC-2004-04, DCC - FC & LIACC, Universidade do Porto, June, 2004.
    Abstract / Postscript(136KB) / PDF(128KB)

  5. Sandra Alves and Mário Florido. Type Inference for Programming Languages: A Constraint Logic Programming Approach, Technical Report DCC-2004-05, DCC - FC & LIACC, Universidade do Porto, July, 2004.
    Abstract / Postscript(205KB) / PDF(240KB)

  6. Jorge Coelho and Mário Florido. CLP(Flex): Constraint Logic Programming Applied to XML Processing, Technical Report DCC-2004-06, DCC - FC & LIACC, Universidade do Porto, July, 2004.
    Abstract / Postscript(188KB) / PDF(187KB)

  7. Nelma Moreira and Rogério Reis. On the density of languages representing finite set partitions, Technical Report DCC-2004-07, DCC - FC & LIACC, Universidade do Porto, August, 2004.
    Abstract / Postscript(146KB) / PDF(144KB)

  8. João Pedro Pedroso. Hybrid Enumeration Strategies for Mixed Integer Programming, Technical Report DCC-2004-08, DCC - FC & LIACC, Universidade do Porto, October, 2004.
    Abstract / Postscript() / PDF(285KB)

2003:

  1. Rui Prior, Susana Sargento, Sérgio Crisóstomo and Pedro Brandão. End-to-End QoS with Scalable Reservations, Technical Report DCC-2003-01, DCC - FC & LIACC, Universidade do Porto, April, 2003.
    Abstract / Postscript(227KB) / PDF(212KB)

  2. Nuno Fonseca, Fernando Silva, Rui Camacho and Vítor Santos Costa. Induction with April: a preliminary report, Technical Report DCC-2003-02, DCC - FC & LIACC, Universidade do Porto, May, 2003.
    Abstract / Postscript(318KB) / PDF(470KB)

  3. Nuno Fonseca, Vítor Santos Costa, Fernando Silva and Rui Camacho. On the Implementation of an ILP System with Prolog, Technical Report DCC-2003-03, DCC - FC & LIACC, Universidade do Porto, October, 2003.
    Abstract / Postscript(241KB) / PDF(335KB)

  4. Nuno Fonseca, Vítor Santos Costa, Fernando Silva and Rui Camacho. On avoiding redundancy in Inductive Logic Programming systems, Technical Report DCC-2003-04, DCC - FC & LIACC, Universidade do Porto, November, 2003.
    Abstract / Postscript(185KB) / PDF(259KB)

  5. Ricardo Lopes and Michel Ferreira. Proceedings of CICLOPS'2003: Colloquium on Implementation of Constraint and LOgic Programming Systems, Technical Report DCC-2003-05, DCC - FC & LIACC, Universidade do Porto, December, 2003.
    Abstract / Postscript(1231KB) / PDF(954KB)

  6. Pedro Brandão, Susana Sargento, Sérgio Crisóstomo and Rui Prior. Ad-Hoc Routing Security Report, Technical Report DCC-2003-06, DCC - FC & LIACC, Universidade do Porto, December, 2003.
    Abstract / Postscript(293KB) / PDF(289KB)

  7. Sérgio Crisóstomo, Susana Sargento, Pedro Brandão and Rui Prior. Improving AODV with Preemptive Local Route Repair, Technical Report DCC-2003-07, DCC - FC & LIACC, Universidade do Porto, December, 2003.
    Abstract / Postscript(164KB) / PDF(208KB)

2002:

  1. Hervé Paulino. An Overview of Mobile Agent Systems, Technical Report DCC-2002-1, DCC - FC & LIACC, Universidade do Porto, February, 2002.
    Abstract / Postscript(116KB) / PDF(154KB)

  2. Rogério Reis and Nelma Moreiria. FAdo: tools for finite automata and regula expressions manipulation. Technical Report DCC-2002-2, DCC - FC & LIACC, Universidade do Porto, August, 2002.
    Abstract / Postscript(121KB) / PDF(168KB)

2001:

  1. Sabine Broda and Luís Damas. Generating Normal Habitantes of Types with a Common Structure , Technical Report DCC-2001-1, DCC - FC & LIACC, Universidade do Porto, June, 2001.
    Abstract / Postscript gziped file (101KB)

  2. Ana Paula Tomás, Marta Andrade and Américo Pires da Costa. Obtaining Origin-Destination Data at Optimal Cost at Urban Roundabouts, Technical Report DCC-2001-2, DCC - FC & LIACC, Universidade do Porto, July, 2001.
    Abstract / Postscript gziped file (142KB)

  3. Ana Paula Tomás. A Note on Sensor Location for Traffic Counting at Roundabouts: Solutions for a Particular Cost Function, Technical Report DCC-2001-3, DCC - FC & LIACC, Universidade do Porto, July, 2001.
    Abstract / Postscript gziped file (148KB)

  4. Ana Paula Tomás. Modelling Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD), Technical Report DCC-2001-4, DCC - FC & LIACC, Universidade do Porto, July, 2001.
    Abstract / Postscript gziped file (136KB)

  5. José Paulo Leal, Nelma Moreira e Pedro Ribeiro. EDIC: Uma Abordagem para Apresentação de Conteúdos Pedagógicos na Web, Technical Report DCC-2001-5, DCC - FC & LIACC, Universidade do Porto, July, 2001.
    Abstract / Postscript gziped file (195KB)

  6. Ana Paula Tomás and Pedro Vasconcelos. Generating Mathematics Exercises by Computer, Technical Report DCC-2001-6, DCC - FC & LIACC, Universidade do Porto, July, 2001.
    Abstract / Postscript gziped file (122KB)

  7. Michel Ferreira and Luís Damas. Controlling Code Expansion in a Multiple Specialization Implementation, Technical Report DCC-2001-7, DCC - FC & LIACC, Universidade do Porto, September, 2001.
    Abstract / Postscript gziped file (86KB)

  8. Michel Ferreira and Luís Damas. WAM Local Analysis, Technical Report DCC-2001-8, DCC - FC & LIACC, Universidade do Porto, September, 2001.
    Abstract / Postscript gziped file (107KB)

  9. Mário Florido and Luís Damas. Intersection Types and the Linear Lambda-Calculus, Technical Report DCC-2001-9, DCC - FC & LIACC, Universidade do Porto, October, 2001.
    Abstract / Postscript gziped file (73KB)

  10. Mário Antunes, Fernando Silva e Manuel Eduardo Correia. MetaWebmin: Administração centralizada de grupos de sistemas UNIX, Technical Report DCC-2001-10, DCC - FC & LIACC, Universidade do Porto, Outubro, 2001.
    Abstract / Postscript gziped file (191KB) (in Portuguese)

2000:

  1. Manuel Eduardo Correia and Vítor Santos Costa. IAP for dummies: the YAP design, Technical Report DCC-2000-1, DCC - FC & LIACC, Universidade do Porto, February, 2000. (presented at the "Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages (with ICLP'99), Las Cruces, NM, USA, December")
    Abstract / Postscript gziped file (105KB)

  2. Ricardo Lopes and Vítor Santos Costa. Design and Implementation of the BEAM, an Extended Andorra Model System, Technical Report DCC-2000-2, DCC - FC & LIACC, Universidade do Porto, May, 2000.
    Abstract / Postscript gziped file (121KB)

  3. José Paulo Leal and Nelma Moreira. Using Matching for Automatic Assessment in Computer Science Learning Environments , Technical Report DCC-2000-3, DCC - FC & LIACC, Universidade do Porto, May, 2000.
    Abstract / Postscript gziped file (63KB) / PDF gziped file (88KB) /

  4. Sabine Broda and Luís Damas. Habitantes Principais Normais em TA$\lambda$ , Technical Report DCC-2000-4, DCC - FC & LIACC, Universidade do Porto, June, 2000.
    Abstract / Postscript gziped file (149KB)

  5. Luís Lopes, Álvaro Figueira, Fernando Silva and Vasco Vasconcelos. A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility, Technical Report DCC-2000-5, DCC - FC & LIACC, Universidade do Porto, June, 2000. (extended version of the paper presented at Cluster'2000))
    Abstract / Postscript gziped file (130KB)

1999:

  1. António Ravara and Luís Lopes. Programming and Implementation Issues in Non-Uniform TyCO, Technical Report DCC-99-1, DCC - FC & LIACC, Universidade do Porto, September, 1999. (presented at the "Workshop on Object Oriented Specification Techniques for Distributed Systems and Behaviors (OOSDS'99), Paris, September")
    Abstract / Postscript gziped file (85KB)

  2. Vítor Santos Costa, Ricardo Rocha and Fernando Silva. Three Amigos: A Tale of Three Execution Models for Or-Parallelism, Technical Report DCC-99-2, DCC - FC & LIACC, Universidade do Porto, September, 1999.
    Abstract / Postscript gziped file (97KB)

  3. Luís Lopes, Fernando Silva, Álvaro Figueira and Vasco Vasconcelos. DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi, Technical Report DCC-99-3, DCC - FC & LIACC, Universidade do Porto, September, 1999. (presented at the 1999 Mobile Object Systems Workshop (ECOOP'99), Lisboa, June)
    Abstract / Postscript gziped file (121KB)

  4. Álvaro Figueira, Fernando Silva, Luís Lopes e Vasco Vasconcelos. DiTyCO: Concorrência e Mobilidade de Código, Technical Report DCC-99-4, DCC - FC & LIACC, Universidade do Porto, October, 1999. (presented at "1o. Encontro Português de Computação Móvel", Tomar, Novembro)
    Abstract / Postscript gziped file (103KB)

  5. Hervé Paulino, Fernando Silva e Luís Lopes. Um Modelo de Programação Simples para Arquitecturas Distribuídas de Baixo-Custo, Technical Report DCC-99-5, DCC - FC & LIACC, Universidade do Porto, October, 1999. (presented at the "11th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'99)", Natal, Brasil, Outubro)
    Abstract / Postscript gziped file (157KB)

1998:

  1. Armando B. Matos and Luis Filipe Antunes, Short Proofs for MIU Theorems, Technical Report DCC-98-1, DCC - FC & LIACC, Universidade do Porto, February, 1998.
    Abstract / Postscript gziped file (100KB)

  2. Michel Ferreira and Luís Damas, Multiple Specialization through Local Analysis, Technical Report DCC-98-2, DCC - FC & LIACC, Universidade do Porto, March, 1998.
    Abstract / Postscript gziped file (113 KB)

  3. Luís Lopes, Fernando Silva and Vasco Vasconcelos, Compiling Process Calculi, Technical Report DCC-98-3, DCC - FC & LIACC, Universidade do Porto, March, 1998.
    Abstract / Postscript gziped file (123KB)

  4. José Paulo Leal and Nelma Moreira, Automatic Grading of Programming Exercises, Technical Report DCC-98-4, DCC - FC & LIACC, Universidade do Porto, July, 1998.
    Abstract / Postscript gziped file (138KB)

  5. José Paulo Leal, An environment for managing Web database applications, Technical Report DCC-98-5, DCC - FC & LIACC, Universidade do Porto, October, 1998.
    Abstract / Postscript gziped file (103KB)

  6. Mário Florido and Luís Damas, A Semantic Characterization of Descriptive Type Systems, Technical Report DCC-98-6, DCC - FC & LIACC, Universidade do Porto, November, 1998.
    Abstract / Postscript gziped file (66KB)

  7. Álvaro Figueira, Fernando Silva, Luís Lopes and Vasco Vasconcelos, Um Ambiente para Computações Distribuídas, Concorrência e Mobilidade de Código , Technical Report DCC-98-7, DCC - FC & LIACC, Universidade do Porto, March, 1998. (presented at CRC'98, Coimbra)
    Abstract / Postscript gziped file (60KB)

  8. Hervé Paulino, Fernando Silva and Luís Lopes, di_pSystem: Um Ambiente de Programação Paralela para Arquitecturas de Memória Distribuída, Technical Report DCC-98-8, DCC - FC & LIACC, Universidade do Porto, November, 1998. (presented at CRC'98, Coimbra)
    Abstract / Postscript gziped file (152KB)

  9. Rogério Reis and Nelma Moreira, Apoo: An Environment for a first Course in Assembly Language Programming., Technical Report DCC-98-9, DCC - FC & LIACC, Universidade do Porto, Novembro, 1998.
    Abstract / Postscript gziped file (171KB) / PDF gziped file (167KB) /

  10. Armando B. Matos, Depth-first search solves Peg Solitaire, Technical Report DCC-98-10, DCC - FC & LIACC, Universidade do Porto, December, 1998.
    Abstract / Postscript gziped file (101KB)

  11. Sabine Broda and Luís Damas, Counting a type's principal inhabitants., Technical Report DCC-98-12, DCC - FC & LIACC, Universidade do Porto, December, 1998.
    Abstract / Postscript gziped file (106KB)

  12. Ricardo Lopes and Vítor Santos Costa, The BEAM: a first EAM Implementation., Technical Report DCC-98-13, DCC - FC & LIACC, Universidade do Porto, December, 1998.
    Abstract / Postscript gziped file (119KB)

1997:

  1. Luís Lopes and Vasco Vasconcelos, TyCO Abstract Machine -- The definition, Technical Report DCC-97-1, DCC - FC & LIACC, Universidade do Porto, April, 1997.
    Abstract / Postscript gziped file (67KB)

  2. Ricardo Rocha, Fernando Silva and Vítor Santos Costa, On Applying Or-Parallelism to Tabled Evaluations, Technical Report DCC-97-2, DCC - FC & LIACC, Universidade do Porto, April, 1997. (also in Proceedings of the Post-ICLP'97 Workshop on Tabling in Logic Programming, Bruxels, 8-11 July 1997.)
    Abstract / Postscript gziped file (68KB)

  3. Manuel Eduardo Correia, Fernando Silva and Vítor Santos Costa, The SBA: Exploiting Orthogonality in AND-OR Parallel Systems, Technical Report DCC-97-3, DCC - FC & LIACC, Universidade do Porto, April, 1997. (also in Proceedings of the International Logic Programming Symposium (ILPS'97), Port Jefferson, NY, 12-17 October, 1997.)
    Abstract / Postscript gziped file (100KB)

  4. Sabine Broda and Luís Damas, On Principal Types of Stratified Combinators, Technical Report DCC-97-4, DCC - FC & LIACC, Universidade do Porto, April, 1997. (submitted to the Journal of Theoretical Computer Science)
    Abstract / Postscript gziped file (70KB)

  5. Luís Lopes and Vasco Vasconcelos, An Abstract Machine for an Object Calculus, Technical Report DCC-97-5, DCC - FC & LIACC, Universidade do Porto, July, 1997.
    Abstract / Postscript gziped file (93KB)

  6. Fernando Silva and Paul Watson, Or-Parallel Prolog on a Distributed Memory Architecture, Technical Report DCC-97-6, DCC - FC & LIACC, Universidade do Porto, July, 1997. (submitted to the Journal of Logic Programming)
    Abstract / Postscript gziped file (143KB)

  7. Vítor Santos Costa and Ricardo Bianchini, Optimising Parallel Logic Programming Systems for Scalable Machines, Technical Report DCC-97-7, DCC - FC & LIACC, Universidade do Porto, September, 1997. (submitted to the Joint 11th International Parallel Processing Symposium & 9th Symposium on Parallel and Distributed Processing, Orlando, USA, April, 1998)
    Abstract / Postscript gziped file (144KB)

  8. Armando B. Matos, The Theorems of the Formal System MIU, Technical Report DCC-97-8, DCC - FC & LIACC, Universidade do Porto, September, 1997.
    Abstract / Postscript gziped file (40KB)

  9. Armando B. Matos, On the Number of Lines of Theorems in the Formal System MIU, Technical Report DCC-97-9, DCC - FC & LIACC, Universidade do Porto, September, 1997.
    Abstract / Postscript gziped file (82KB)

  10. Ricardo Lopes and Vítor Santos Costa, The BEAM: Towards a first EAM Implementation, Technical Report DCC-97-10, DCC - FC & LIACC, Universidade do Porto, September, 1997. (also in Proceedings of the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, Port Jefferson, Long Island, USA, October, 1997)
    Abstract / Postscript gziped file (84KB)

  11. Inês Dutra, Vítor Santos Costa, Fernando Silva, Enrico Pontelli and Gopal Gupta, Proceedings of The Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Systems, Port Jefferson, NY, USA, 17-18 October, Technical Report DCC-97-11, DCC - FC & LIACC, Universidade do Porto, October, 1997.
    Cover page and list of papers / Full proceedings in a tar file (1.7MB)

  12. Luís Lopes, Fernando Silva and Vasco Vasconcelos, A Framework for Compiling Object Calculi, Technical Report DCC-97-12, DCC - FC & LIACC, Universidade do Porto, November, 1997. (submitted to PLDI'98, Montreal, 14-17 June 1998.)
    Abstract / Postscript gziped file (82KB)

  13. Pedro Vasconcelos and Rogério Reis, News Drowning: an alternative method to news expiring or "how not to be drown by news", Technical Report DCC-97-13, DCC - FC & LIACC, Universidade do Porto, December, 1997.
    Abstract / Postscript gziped file (58KB)

  14. Ricardo Rocha, Fernando Silva and Vítor Santos Costa, YapOr: an Or-Parallel Prolog System based on Environment Copying, Technical Report DCC-97-14, DCC - FC & LIACC, Universidade do Porto, December, 1997. (submitted to VECPAR'98, Porto, 21-23 June 1998.)
    Abstract / Postscript gziped file (76KB)

  15. Ana Paula Tomás and Evelyn Contejean, On Diophantine systems coming from AC-unification of higher-order patterns: exploiting symmetries, Technical Report DCC-97-15, DCC - FC & LIACC, Universidade do Porto, December, 1997.
    Abstract / Postscript gziped file (63KB)

  16. Kish Shen, Vítor Santos Costa and Andy King, Distance: a New Metric for Controlling Granularity for Parallel Execution, Technical Report DCC-97-16, DCC - FC & LIACC, Universidade do Porto, December, 1997. (submitted to JICSL'98, Manchester, UK, June 1998.)
    Abstract / Postscript gziped file (134KB)

  17. Nuno Fonseca, Vítor Santos Costa and Inês de Castro Dutra, VisAll: A new Tool to Visualise the Parallel Execution of Logic Programs, Technical Report DCC-97-17, DCC - FC & LIACC, Universidade do Porto, December, 1997. (submitted to JICSL'98, Manchester, UK, June 1998.)
    Abstract / Postscript gziped file (632KB)

TR Archives: