Publications since 2007
skip to Contents
-
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
-
Henrique Lopes Cardoso & Eugénio Oliveira.
Electronic Institutions for B2B: Dynamic Normative
Environments.
Springer, 2007
-
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
-
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
-
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
-
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
-
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
-
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
-
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
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
©LIACC, Universidade do Porto, 2008