Publications since 2007 

skip to Contents

In international journals

• Marco Almeida, Nelma Moreira & Rogério Reis. Enumeration and generation with a string automata representation. Theoretical Computer Science, 387(2), 93-102, 2007. Special issue "Selected papers of DCFS 2006"
  URL
• Henrique Lopes Cardoso & Eugénio Oliveira. Institutional reality and norms: Specifying and monitoring agent organizations. International Journal of Cooperative Information Systems, 16(1), 67-95, March 2007. World Science Publishers
• Hugo Conceição, Luís Damas, Michel Ferreira & João Barros. The DIVERT Project: Development of Inter-Vehicular Reliable Telematics. OSGeo Journal, 3, 51-56, 2007. ISSN-1994-1897
• António Machiavelo & Rogério Reis. Automated ciphertext-only cryptanalysis of the bifid cipher. Cryptologia, 31(2), 112-124, April 2007
• David Vaz & Michel Ferreira. Spatial-Yap: A Spatio-Deductive Database System. OSGeo Journal, 3, 44-47, 2007. ISSN-1994-1897

In books

• Henrique Lopes Cardoso & Eugénio Oliveira. Electronic Institutions for B2B: Dynamic Normative Environments. Springer, 2007

In proceedings with wide distribution

• Hugo Conceição, Luís Damas, Michel Ferreira & João Barros. Large-Scale Simulation of V2V Environments. In Proceedings of the 23rd Annual ACM Symposium on Applied Computing, SAC'2008, -. ACM Press, Fortaleza, Ceará, Brazil, March 2008
• L. Antunes, L. Fortnow, A. Pinto & A. Souto. Low-depth witnesses are easy to find. In 22nd Annual IEEE Conference on Computational Complexity, San Diego, US, 46-61, 2007
• L. Antunes, S. Laplante, A. Pinto & L. Salvador. Cryptographic security of individual instances. In Proceedings of the 2nd International Conference on Information Theoretical Security (Yvo Desmedt, ed.), 205-220, 2007
• João Certo, Nuno Lau & Luís Paulo Reis. A generic strategic layer for collaborative networks. In IFIP International Federation for Information Processing, Establishing the Foundations for Collaborative Networks (L. Camarinha-Matos, H. Afsarmanesh, P. Novais, & C. Analide, eds.), vol. 243, 273-282. Springer, Boston, September 2007. ISBN 978-0-387-73797-3
• Jorge Coelho & Mario Florido. Xcentric: logic programming for xml processing. In WIDM '07: Proceedings of the 9th annual ACM international workshop on Web information and data management, 1-8. ACM Press, New York, NY, USA, 2007. ISBN 978-1-59593-829-9
• Jorge Coelho & Mário Florido. Type-based static and dynamic website verification. In The Second International Conference on Internet and Web Applications and Services, ICIW 2007, 32. IEEE Computer Society, Los Alamitos, CA, USA, 2007. ISBN 0-7695-2844-9
• Jorge Coelho, Mário Florido & Temur Kutsia. Sequence disunification and its application in collaborative schema construction. In WISE Workshops (Mathias Weske, Mohand-Said Hacid, & Claude Godart, eds.), Lecture Notes in Computer Science, vol. 4832, 91-102. Springer-Verlag, 2007
• Filipe Cruz, António Pereira, Luís Paulo Reis, Pedro Duarte & Pedro Valente. Intelligent farmer agent for multi-agent ecological simulations optimization. In Progress in Artificial Intelligence, 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Guimarães, Portugal, Lecture Notes in Computer Science, vol. 4874, 593-604. Springer Verlag, December 2007. ISBN 978-3-540-77000-8
• Nuno Lau, Luís Paulo Reis & João Certo. Understanding dynamic agent?s reasoning. In Progress in Artificial Intelligence, 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops, Guimarães, Portugal, Lecture Notes in Computer Science, vol. 4874, 542-551. Springer Verlag, December 2007. ISBN 978-3-540-77000-8
• Bruno Martins, Eduardo Valgode, Pedro Faria & Luís Paulo Reis. Multimedia interface with an intelligent wheelchair. In Proc. of CompImage 2006 ? Computational Modelling of Objects Represented in Images: Fundamentals Methods and Applications, Coimbra, Portugal (João M. Tavares & Renato N. Jorge, eds.), 267-274. Taylor & Francis Group, London, UK, 2007. ISBN 978-0-415-43349-5
• Pedro Moreira, Luís Paulo Reis & António A. Sousa. Optimized multiple viewpoint selection: Application in urban rescue scenarios. In Proc. of CompImage 2006 ? Computational Modelling of Objects Represented in Images: Fundamentals Methods and Applications, Coimbra, Portugal (João M. Tavares & Renato N. Jorge, eds.), 301-306. Taylor & Francis Group, London, UK, 20-21 October, 2006 2007. ISBN 978-0-415-43349-5
• A. Pinto. Comparing notions of computational entropy. In Computation and Logic in the RealWorld, third Conference on Computability in Europe CiE 2007, Siena, Italy (S. Barry Cooper, Benedikt Loewe, & Andrea Sorbi, eds.), Lecture Notes in Computer Science, vol. 4497. Springer-Verlag, 2007
• Luís Paulo Reis. Robust vision algorithms for quadruped soccer robots. In Proc. of CompImage 2006 ? Computational Modelling of Objects Represented in Images: Fundamentals Methods and Applications, Coimbra, Portugal (João M. Tavares & Renato N. Jorge, eds.), 367-372. Taylor & Francis Group, London, UK, 20-21 October, 2006 2007. ISBN 978-0-415-43349-5
• Ana Paula Tomás, José Paulo Leal & Marcos Aurélio Domingues. A web application for mathematics education. In ICWL 2007 (Post-conference proceedings) (H. Leung et al., ed.), Lecture Notes in Computer Science, vol. 4823, 380-391. Springer, 2007
• José Torres, David Hutchison & Luís Paulo Reis. Semantic image retrieval using region-based relevance feedback. In Selected Papers of AMR 2006 - 4th Int. Workshop on Adaptive Image Retrieval, July 27-28, 2006, Geneva, Switzerland (Stéphane Marchand-Maillet, E. Bruno, Andreas Nurnberger, & Marcin Detyniecki, eds.), 192-206. LNCS, Springer, March 2007. ISBN 3540715444
• David Vaz, Michel Ferreira & Ricardo Lopes. Spatial-Yap: A Logic-Based Geographic Information System. In Proceedings of the 23rd International Conference on Logic Programming, ICLP'2007 (V. Dahl & I. Niemele, eds.), 195-208. No. 4670 in LNCS, Springer-Verlag, Porto, Portugal, September 2007
• Brígida Mónica Faria, António Augusto Sousa & Luís Paulo Reis. A didactic application for creating new sights from multiple images using light fields. In Proceedings of VIPImage 2007, International ECCOMAS Thematic Conference, on Computational Vision and Medical Image Processing, FEUP, Porto, Portugal, 335-340. Taylor & Francis Group, London, UK, to appear. ISBN 978-0-415-45777-4

Accepted for publication

• Luís Antunes, Armindo Costa, Armando B. Matos & Paul Vitanyi. Computational depth of infinite strings revisited. Theory of Computing Systems, to appear. Also published in 'Computational and Logic in the Real World', Barry Cooper, Thomas Kent, Benedikt Lowe e Andrea Sorbi (eds), pág. 36-44, CiE, Siena, Italy
• Nuno Lau & Luís Paulo Reis. Fc portugal - high-level coordination methodologies in soccer robotics. International Journal of Advanced Robotic Systems: Soccer Robotics, edited by Pedro Lima, to appear. ISBN 978-3-902613-21-9 (to appear)
• Alexandre Pinto, André Souto, Armando B. Matos & Luís Antunes. Commitment and authentication systems. In Proceedings of the International Conference on Information Theoretic Security. Lecture Notes in Computer Science, Springer Verlag, to appear. Also published in 'Proceedings of the International Conference on Information Theoretic Security', also published in 'Galois Field Commitment Scheme, in 'Cryptology', ePrint archive: Report 2006/410

In other proceedings

• Jorge Coelho & Mario Florido. Constraint based xml processing. In XATA2008 : XML : applications and associated technologies, 64-75. U. Minho, 2008. ISBN 978-972-99166-5-6
• Pedro Abreu & Pedro Mendes. Alquerque: A modern implementation of an ancient game. In Proceedings of the 1st Learning with Games 2007, Sophia-Antipolis, France, 207-212, September 2007. ISBN 978-88-901168-0-3
• Pedro Abreu, Pedro Mendes, Daniel Castro Silva & Vasco Vinhas. Implementing an agent folllowing microcredit practices for a competitive supply chain management environment. In New Trends in Artificial Intelligence, 681-691, 2007
• Marco Almeida, Nelma Moreira & Rogério Reis. Exact generation of minimal acyclic deterministic finite automata. In Workshop on Descriptional Complexity of Formal Systems (DCFS07), 57-68. High Tatras, Slovakia, July 2007
• Daria Barteneva, Nuno Lau & Luís Paulo Reis. Bylayer agent-based model of social behavior: How temperament influences on team performance. In 21st European Conference on Modelling and Simulation ? ECMS 2007, Prague, Czech Republic, 181-187, June 2007. ISBN 978-0-9553018-2-7
• Daria Barteneva, Nuno Lau & Luís Paulo Reis. A computational study on emotions and temperament in multi-agent systems. In Symposium on Affective Smart Environments, AISB Convention, Newcastle University, Newcastle upon Tyne, UK, 4th April 2007
• Henrique Lopes Cardoso & Eugénio Oliveira. A contract model for electronic institutions. In Proceedings of The AAMAS?07 Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN@AAMAS?07), Honolulu ? Hawaii, USA, 73-84, May 2007. J. Sichman & S. Ossowski (orgs.)
• Paulo César Cardoso, Nuno Ribeiro & Luís Paulo Reis. Estudo exploratório sobre a utilização de tecnologias voip por utilizadores finais. In CISTI 2007 - 2ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Novas Perspectivas em Sistemas e Tecnologias de Informação, Porto, Portugal (Álvaro Rocha et al., ed.), 503-514. Volume II, Edições Universidade Fernando Pessoa, Junho 2007. ISBN 978-972-8830-88-5
• Daniel Castro Silva, Luís Paulo Reis & Luís Carlos Costa. Non secs/gem compliant equipment integration in existing frameworks. In CoMIC?07 - Conferência em Metodologias de Investigação Científica, FEUP, Porto, 25-32, Fevereiro 2007
• Antonio Castro & Eugenio Oliveira. A distributed multi-agent system to solve airline operations problems. In Proceedings da 2ª Conferência em Metodologias de Investigação Científica (Comic07), Porto, Portugal, 47-58, Fevereiro 2007
• Antonio Castro & Eugenio Oliveira. Using specialized agents in a distributed mas to solve airline operations problems: a case study. In Proceedings of IAT 2007 ? Intelligent Agent Technology, Silicon Valley, California, USA, 473-476, November 2007. ISBN 0-7695-3027-3
• António Castro & Eugénio Oliveira. A distributed multi-agent system to solve airline operations problems. In Proceedings of the 9th ICEIS 2007, Funchal, Portugal, 22-30. Artificial Intelligence and Decision Support Systems, June 2007. ISBN 978-972-8865-89-4
• João Certo, Nuno Cordeiro, Luís Paulo Reis & Nuno Lau. Fc portugal: Search and rescue in urban catastrophes. In CISTI 2007 - 2ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Novas Perspectivas em Sistemas e Tecnologias de Informação, Porto, Portugal (Álvaro Rocha et al., ed.), 193-204. Volume II, Edições Universidade Fernando Pessoa, Junho 2007. ISBN 978-972-8830-88-5
• João Certo, Nuno Lau & Luís Paulo Reis. A generic multi-robot coordination strategic layer. In RoboComm 2007 - First International Conference on Robot Communication and Coordination, Athens, Greece, October 2007
• Pedro Costa, Ricardo Rocha & Michel Ferreira. Relational Storage Mechanisms for Tabled Logic Programs. In Proceedings of the 1st International Conference on Compiler, Related Technologies and Applications, CoRTA'2007 (V. Santos, P. Henriques, & S. Sousa, eds.), 3-14. Covilhã, Portugal, July 2007
• Pedro Costa, Ricardo Rocha & Michel Ferreira. Tabling Logic Programs in a Database. In Proceedings of the 21st Workshop on (Constraint) Logic Programming, WLP'2007 (D. Seipel, M. Hanus, A. Wolf, & J. Baumeister, eds.), 125-135. Würzburg, Germany, October 2007
• Brígida Mónica Faria, António Augusto Sousa & Luís Paulo Reis. Light fields: Aplicação didáctica de criação de novas vistas a partir de múltiplas imagens. In CISTI 2007 - 2ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Novas Perspectivas em Sistemas e Tecnologias de Informação, Porto, Portugal (Álvaro Rocha et al., ed.), 381-392. Volume II, Edições Universidade Fernando Pessoa, Junho 2007. ISBN 978-972-8830-88-5
• Pedro Miguel Faria, Rodrigo A. M. Braga, Eduardo Valgôde & Luís Paulo Reis. Interface framework to drive an intelligent wheelchair using facial expressions. In IEEE International Symposium on Industrial Electronics (ISIE 2007), Vigo, Spain, 1791-1796, June 2007. ISBN 1-4244-0755-9
• Pedro Miguel Faria, Rodrigo A. M. Braga, Eduardo Valgôde & Luís Paulo Reis. Platform to drive an intelligent wheelchair using facial expressions. In Proceedings 9th International Conference on Enterprise Information Systems - Human-Computer Interaction (ICEIS 2007), Funchal-Madeira, Portugal, 164-169, June 2007. ISBN 978-972-8865-92-4
• Pedro Miguel Faria & Luís Paulo Reis. An approach to a wheelchair driving system using facial expressions. In Proceedings da 2ª Conferência em Metodologias de Investigação Científica (Comic07), Porto, Portugal, 33-43, 1-2 Fevereiro 2007
• Ricardo Gimenes, Luís Mota, Luís Paulo Reis, Nuno Lau & João Certo. Simulation meets reality: A cooperative approach to robocup?s physical visualization soccer league. In New Trends in Artificial Intelligence, EPIA 2007, Guimarães, Portugal, 645-656, December 2007
• Rui Guedes, Armando Sousa & Luís Paulo Reis. Cooperative robotics on the lego nxt platform. In New Trends in Artificial Intelligence, EPIA 2007, Guimarães, Portugal, 635-644, December 2007
• Silvestre Lacerda, Norberto Lopes, Nelma Moreira & Rogério Reis. Ferramentas para a construção de arquivos digitais de história oral. In Actas XATA 2007, XML: aplicações e tecnologias associadas (Luís Carriço José Carlos Ramalho, João Correia Lopes, ed.). Universidade de Lisboa, 2007. ISBN ISBN 978-972-99166-4-9
  URL
• Nuno Lau, Luís Paulo Reis & João Certo. Multi-level, functional, spatial and temporal agent?s reasoning debugging. In New Trends in Artificial Intelligence, EPIA 2007, Guimarães, Portugal, 716-726, December 2007
• Andreia Malucelli, Luciane M. Fadelb & Eugénio Oliveira. Drugs trading in the hospital pharmacies through a multi-agent electronic market. In Proceedings of MEDINFO 2007, Brisbane, Australia, August 2007
• Armando B. Matos, Andreia C. Teixeira & André C. Souto. On a relationship between non-deterministic communication complexity and instance complexity. In Computational and Logic in the Real World, CiE, 2007, Siena, Italy (Barry Cooper, Thomas Kent, Benedikt Lowe, & Andrea Sorbi, eds.), Lecture Notes in Computer Science, vol. 4497, 274-282. Springer-Verlag, 2007
• Luís Mota & Luís Paulo Reis. An elementary communication framework for open co-operative robocup soccer teams. In The Third International Workshop on Multi-Agent Robotic Systems (MARS 2007), 2007
• Luís Mota & Luís Paulo Reis. Setplays: Achieving coordination by the appropriate use of arbitrary pre-defined flexible plans and inter-robot communication. In RoboComm 2007 - First International Conference on Robot Communication and Coordination, Athens, Greece, October 2007
• Daniel Moura & Eugénio Oliveira. Fighting fire with agents - an agent coordination model for simulated firefighting. In Proceedings of 2007 Spring Simulation MultiConference, Norfolk, USA, 71-78. Volume I, April 2007. Agent-Directed Simulation Symposium, SCS
• António Pereira, Pedro Duarte & Luís Paulo Reis. An integrated ecological modelling and decision support methodology. In 21st European Conference on Modelling and Simulation ? ECMS 2007, Prague, Czech Republic, 497-502, June 2007. ISBN 978-0-9553018-2-7
• David Pereira, Eugénio Oliveira & Nelma Moreira. Formal modelling of emotions in bdi agents. In Eighth Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII). Porto, Portugal, September 2007
• Rosaldo Rossetti, Eugénio Oliveira & Ana Bazzan. Towards a specification of a framework for sustainable transportation analysis. In New Trends in Artificial Intelligence (José Neves, Manuel Santos, & Machado José, eds.), 179-190, 2007
• Daniel Castro Silva, Pedro Abreu, Pedro Mendes & Vasco Vinhas. Integrador automático de notícias. In XATA 2007 : XML : aplicações e tecnologias associadas : actas da Quinta Conferência Nacional (José Carlos Ramalho, João Correia Lopes, & Luís Carriço, eds.), 223-234, February 2007. ISBN 978-972-99166-4-9
  URL
• Daniel Castro Silva, Pedro Abreu, Pedro Mendes & Vasco Vinhas. Voiceoverm2l - talk the math. In XATA 2007 : XML : aplicações e tecnologias associadas : actas da Quinta Conferência Nacional (José Carlos Ramalho, João Correia Lopes, & Luís Carriço, eds.), 94-105, February 2007. ISBN 978-972-99166-4-9
  URL
• Daniel Castro Silva & Vasco Vinhas. An interactive augmented reality battleship game implementation. In Proceedings of the 1st Learning with Games 2007, Sophia-Antipolis, France, 213-219, September 2007. ISBN 978-88-901168-0-3
• Joana Urbano, Ana Paula Rocha & Eugénio Oliveira. Sistema adaptativo de tomada de decisão em ambientes de negócio electrónico. In Actas do Simpósio Doutoral em Inteligência Artificial (SDIA07), associado ao EPIA 2007 ? Encontro Português de Inteligência Artificial, Guimarães, Portugal (Pedro Henriques César Analide, Paulo Novais, ed.), December 2007
• Vasco Vinhas, Luís Paulo Reis & Fernando Moreira. Real time and complete assembly lot traceability algorithm. In CoMIC?07 ?Conferência em Metodologias de Investigação Científica, FEUP, Porto, 1-2 Fevereiro 2007. Best Paper Award
• Vasco Vinhas, Luís Paulo Reis & Fernando Moreira. Real time and complete assembly lot traceability algorithm. In SEMICON, SEMI Technology Symposium (STS), Suntec Singapore International Convention & Exhibition Centre, Singapore, Maio 2007

Short papers, extended abstracts, posters, demos

• Jorge Coelho & Mário Florido. Xcentric: A logic-programming language for xml processing. In ACM SIGPLAN Workshop on Programming Language Technologies for XML, PLAN-X 2007, 93-94, 2007
• Luís Lemos, Filipe Cruz & Luís Paulo Reis. Sistema de resgate e salvamento coordenado utilizando o simulador ciber-rato. In CISTI 2007 - 2ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Novas Perspectivas em Sistemas e Tecnologias de Informação, Porto, Portugal (Álvaro Rocha et al., ed.). Edições Universidade Fernando Pessoa, Junho 2007

Other publications

• Marco Almeida, Nelma Moreira & Rogério Reis. Exact generation of minimal acyclic deterministic finite automata. Tech. Rep. DCC-2007-05, DCC - FC & LIACC, Universidade do Porto, June 2007
  URL
• Marco Almeida, Nelma Moreira & Rogério Reis. On the performance of automata minimization algorithms. Tech. Rep. DCC-2007-03, DCC - FC & LIACC, Universidade do Porto, June 2007
  URL
• David Pereira, Eugénio Oliveira & Nelma Moreira. Formal modelling of emotions in bdi agents. Tech. Rep. DCC-2007-04, DCC - FC & LIACC, Universidade do Porto, June 2007
  URL

PhD theses

• Sandra Alves. Linearization of the Lambda Calculus. Ph.D. thesis, Faculty of Science - University of Porto, 2007
• Jorge Coelho. XML Processing in Logic Programming. Ph.D. thesis, Universidade do Porto, 2007
• Rogério Reis. Autómatos finitos: manipulação, geração e contagem. Ph.D. thesis, Universidade do Porto, 2007

MSc theses

• Bruno Flávio de Castro Ribeiro. The Enigma cryptanalysis: 1932-1939. Master's thesis, DMP-FCUP, 2007
• Pedro Costa. Relational Storage Mechanisms for Tabled Logic Programs. MSc Thesis, University of Porto, Portugal, July 2007
• Ana Rosa Gonçalves. On Illuminating Polygons with Vertex Floodlights (Sobre Iluminação de Polígonos com Focos ou Reflectores em Vértices). Master's thesis, University of Aveiro, 2007
• David Pereira. Logic frameworks for reasoning about emotions in BDI Agents. Master's thesis, DCC-FCUP, May 2007
• Andreia C. Teixeira. Complexidade de Comunicação: Relação com o Tamanho dos Rectângulos e com a Complexidade das Instâncias. Master's thesis, DCC-FCUP, 2007

Contents

In international journals
In books
In proceedings with wide distribution
Accepted for publication
In other proceedings
Short papers, extended abstracts, posters, demos
Other publications
PhD theses
MSc theses