Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering

Universidade do Porto (UP) :: Faculdade de Engenharia (FEUP)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 4442

56 Team Members
Filters -> Year: 2025
4241
TÍTULO: Argumentation as distributed belief revision: Conflict resolution in decentralised co-operative multi-agent systems
AUTORES: Malheiro, B ; Oliveira, E ;
PUBLICAÇÃO: 2001, FONTE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PÁGINAS: 205-218
INDEXADO EM: Scopus DBLP CrossRef: 2
4242
TÍTULO: Bayesian-Learning Based Guidelines to determine Equivalente Mutants
AUTORES: VINCENZI, AURI M. R. ; Elisa Yumi Nakagawa; José Carlos Maldonado; Márcio Eduardo Delamaro; Roseli Aparecida Francelin Romero;
PUBLICAÇÃO: 2001, FONTE: Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), Sheraton Buenos Aires Hotel, Buenos Aires, Argentina, June 13-15, 2001, PÁGINAS: 180-187
INDEXADO EM: DBLP
4243
TÍTULO: COACH UNILANG - A Standard Language for Coaching a (Robo)Soccer Team
AUTORES: Luís Paulo Reis ; Nuno Lau ;
PUBLICAÇÃO: 2001, FONTE: 5th Robot World Cup Soccer Games and Conferences, RoboCup 2001 in RoboCup 2001: Robot Soccer World Cup V, VOLUME: 2377, PÁGINAS: 183-192
INDEXADO EM: Scopus DBLP CrossRef: 15
4244
TÍTULO: Compilation increasing the scheduling scope for multi-memory-FPGA-based custom computing machines
AUTORES: Cardoso, JMP ; Neto, HC;
PUBLICAÇÃO: 2001, FONTE: 11th International Conference on Field-Programmable Logic and Applications, FPL 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2147, PÁGINAS: 523-533
INDEXADO EM: Scopus DBLP CrossRef
4245
TÍTULO: Electronic institutions as a framework for agents' negotiation and mutual commitment
AUTORES: Rocha, AP ; Oliveira, E ;
PUBLICAÇÃO: 2001, FONTE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PÁGINAS: 232-245
INDEXADO EM: Scopus DBLP CrossRef: 5
4246
TÍTULO: Evaluating <i>N</i>-Selective Mutation for C programs: Unit and integration testing
AUTORES: Maldonado, JC; Barbosa, EF; VINCENZI, AURI M. R. ; Delamaro, ME;
PUBLICAÇÃO: 2001, FONTE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PÁGINAS: 22-33
INDEXADO EM: WOS
4247
TÍTULO: Evaluating N-Selective Mutation for C Programs: Unit and Integration Testing
AUTORES: José Carlos Maldonado; Ellen Francine Barbosa; VINCENZI, AURI M. R. ; Márcio Eduardo Delamaro;
PUBLICAÇÃO: 2001, FONTE: Mutation Testing for the New Century, PÁGINAS: 22-33
INDEXADO EM: CrossRef: 2
4248
TÍTULO: Experiences in the development of information systems in an industrial innovation context
AUTORES: Soares, AL ; Gaida, W; Schmidt, C;
PUBLICAÇÃO: 2001, FONTE: 3rd International Conference on Enterprise Information Systems, ICEIS 2001 in ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems, VOLUME: 2, PÁGINAS: 846-853
INDEXADO EM: Scopus
4249
TÍTULO: FC Portugal 2001 Team Description: Flexible Teamwork and Configurable Strategy
AUTORES: Nuno Lau ; Luís Paulo Reis ;
PUBLICAÇÃO: 2001, FONTE: 5th Robot World Cup Soccer Games and Conferences, RoboCup 2001 in RoboCup 2001: Robot Soccer World Cup V, VOLUME: 2377, PÁGINAS: 515-518
INDEXADO EM: Scopus DBLP CrossRef: 3
4250
TÍTULO: How the FEUP Removal to the New Premises Was Facilitated by the Internal Information System
AUTORES: Lígia M Ribeiro ; Maria Antónia Carravilla ; Gabriel David ;
PUBLICAÇÃO: 2001, FONTE: 7th International Conference of European University Information Systems, EUNIS 2001 in The Changing Universities - The Role of Technology, The 7th International Conference of European University Information Systems, March 28-30, 2001, Berlin, Germany, Proceedings, VOLUME: 13, PÁGINAS: 251-258
INDEXADO EM: Scopus DBLP
4251
TÍTULO: Improving the Robustness and Encoding Complexity of Behavioural Clones
AUTORES: Rui Camacho ; Pavel Brazdil ;
PUBLICAÇÃO: 2001, FONTE: 12th European Conference on Machine Learning, ECML 2001 in Machine Learning: EMCL 2001, 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001, Proceedings, VOLUME: 2167, PÁGINAS: 37-48
INDEXADO EM: Scopus DBLP CrossRef: 4
4252
TÍTULO: Inducing models of human control skills
AUTORES: Camacho, R ;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Cognitive Modeling in ICCM - 2001: PROCEEDINGS OF THE 2001 FOURTH INTERNATIONAL CONFERENCE ON COGNITIVE MODELING, PÁGINAS: 43-48
INDEXADO EM: WOS Handle
4253
TÍTULO: Matching and searching analysis for parallel hardware implementation on FPGAs  Full Text
AUTORES: Moisset, P; Diniz, P ; Park, J;
PUBLICAÇÃO: 2001, FONTE: 2001 ACM/SIGDA 9th International Sysmposium on Field Programmable Gate Arrays (FPGA 2001) in ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA, PÁGINAS: 125-133
INDEXADO EM: Scopus
4254
TÍTULO: Movement Query Operations for Spatio-Temporal Databases
AUTORES: Talel Abdessalem; José Moreira; Cristina Ribeiro ;
PUBLICAÇÃO: 2001, FONTE: 17èmes Journées Bases de Données Avancées, BDA 2001, 29 octobre - 2 novembre, Agadir (Maroc), Actes (Informal Proceedings).
INDEXADO EM: DBLP
4255
TÍTULO: Mutant Operators for Testing Concurrent Java Programs
AUTORES: Márcio E Delamaro; Mauro Pezzè; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2001, FONTE: Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001., PÁGINAS: 272-285
INDEXADO EM: DBLP
4256
TÍTULO: Novel Algorithm Combining Temporal Partitioning and Sharing of Functional Units
AUTORES: Cardoso, JMP ;
PUBLICAÇÃO: 2001, FONTE: 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001 in Proceedings - 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, PÁGINAS: 31-40
INDEXADO EM: Scopus DBLP
4257
TÍTULO: Parallel image processing system on a cluster of personal computers - Best student paper award: First prize
AUTORES: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, AJ;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Vector and Parallel Processing (VECPAR 2000) in VECTOR AND PARALLEL PROCESSING - VECPAR 2000, VOLUME: 1981, PÁGINAS: 439-452
INDEXADO EM: Scopus WOS DBLP CrossRef
4258
TÍTULO: Proteum/IM 2.0: An integrated mutation testing environment
AUTORES: Delamaro, ME; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2001, FONTE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PÁGINAS: 91-101
INDEXADO EM: WOS CrossRef: 39
4259
TÍTULO: Proteum: A family of tools to support specification and program testing based on mutation
AUTORES: Maldonado, JC; Delamaro, ME; Fabbri, SCPF; Simao, AD; Sugeta, T; VINCENZI, AURI M. R. ; Masiero, PC;
PUBLICAÇÃO: 2001, FONTE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PÁGINAS: 113-116
INDEXADO EM: WOS CrossRef: 26
4260
TÍTULO: Reducing rankings of classifiers by eliminating redundant classifiers
AUTORES: Brazdil, P ; Soares, C ; Pereira, R;
PUBLICAÇÃO: 2001, FONTE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PÁGINAS: 14-21
INDEXADO EM: Scopus DBLP CrossRef: 2

Results per Page: 20.
Página 213 de 223. Total de resultados: 4442.