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: 4619

61 Team Members
Filters -> Year: 2026
4441
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
4442
TÍTULO: Reducing Rankings of Classifiers by Eliminating Redundant Classifiers
AUTORES: Pavel Brazdil ; Carlos Soares ; Rui Pereira;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 14-21
INDEXADO EM: Scopus DBLP CrossRef: 2
4443
TÍTULO: REQUIREMENTS FOR AN AGENT BASED INFORMATION SYSTEM SUPPORTING VARIABLY COUPLED NETWORKED ENTERPRISES
AUTORES: Azevedo, AL ; Sousa, JP ; Soares, AL ;
PUBLICAÇÃO: 2001, FONTE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PÁGINAS: 137-144
INDEXADO EM: Scopus WOS CrossRef: 2
4444
TÍTULO: Sampling-Based Relative Landmarks: Systematically Test-Driving Algorithms Before Choosing
AUTORES: Carlos Soares ; Johann Petrak; Pavel Brazdil ;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 88-95
INDEXADO EM: Scopus DBLP CrossRef: 19
4445
TÍTULO: Self-tuned parallel processing system for heterogeneous clusters
AUTORES: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, A;
PUBLICAÇÃO: 2001, FONTE: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001) in PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, PÁGINAS: 1451-1457
INDEXADO EM: WOS
4446
TÍTULO: Synthesis of pipelined memory access controllers for streamed data applications on FPGA-based computing engines  Full Text
AUTORES: Park, J; Diniz, PC ;
PUBLICAÇÃO: 2001, FONTE: 14th International Symposium on System Synthesis (ISSS'01) in Proceedings of the International Symposium on System Synthesis, PÁGINAS: 221-226
INDEXADO EM: Scopus
4447
TÍTULO: Toward the determination of sufficient mutant operators for C  Full Text
AUTORES: Barbosa, EF; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2001, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, NÚMERO: 2, PÁGINAS: 113-136
INDEXADO EM: Scopus WOS DBLP CrossRef: 101
4448
TÍTULO: Unit and integration testing strategies for C programs using mutation  Full Text
AUTORES: VINCENZI, AURI M. R. ; Maldonado, JC; Barbosa, EF; Delamaro, ME;
PUBLICAÇÃO: 2001, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, NÚMERO: 4, PÁGINAS: 249-268
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
4449
TÍTULO: Use-Case Controller
AUTORES: Ademar Aguiar ; Alexandre Sousa; Alexandre Pinto;
PUBLICAÇÃO: 2001, FONTE: EuroPLoP, PÁGINAS: 53-68
INDEXADO EM: DBLP
4450
4451
TÍTULO: A comparison of ranking methods for classification algorithm selection
AUTORES: Brazdil, PB ; Soares, C ;
PUBLICAÇÃO: 2000, FONTE: 11th European Conference on Machine Learning in MACHINE LEARNING: ECML 2000, VOLUME: 1810, PÁGINAS: 63-74
INDEXADO EM: Scopus WOS DBLP CrossRef: 75
4452
TÍTULO: A minimalist approach to framework documentation
AUTORES: Ademar Aguiar ;
PUBLICAÇÃO: 2000, FONTE: 2000 Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2000 in Object Oriented Programming Systems Languages and Applications Conference, OOPSLA 2000, Minneapolis, MN, USA, October 15-19, 2000, Addendum to the proceedings, PÁGINAS: 143-144
INDEXADO EM: Scopus DBLP CrossRef: 2 Handle
4453
TÍTULO: A Note on Two Simple Transformations for Improving the Efficiency of an ILP System
AUTORES: Vítor Santos Costa ; Ashwin Srinivasan; Rui Camacho ;
PUBLICAÇÃO: 2000, FONTE: ILP, PÁGINAS: 225-242
INDEXADO EM: DBLP CrossRef: 12 Handle
4454
TÍTULO: A Platform for Electronic Commerce with Adaptive Agents
AUTORES: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2000, FONTE: AMEC, VOLUME: 2003, PÁGINAS: 96-107
INDEXADO EM: Scopus DBLP CrossRef: 8
4455
TÍTULO: Agent-based framework for the assessment of drivers' decision-making
AUTORES: Rossetti Rosaldo, JF ; Sergio Bampi; Ronghui Liu; Vliet Dirck Van;
PUBLICAÇÃO: 2000, FONTE: 2000 IEEE Intelligent Transportation Systems Proceedings in IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, PÁGINAS: 387-392
INDEXADO EM: Scopus
4456
TÍTULO: An enhanced static-list scheduling algorithm for temporal partitioning onto RPUs
AUTORES: Cardoso, JMP ; Neto, HC;
PUBLICAÇÃO: 2000, FONTE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34, PÁGINAS: 485-496
INDEXADO EM: WOS DBLP CrossRef: 10
4457
TÍTULO: Automatic synthesis of data storage and control structures for FPGA-based computing engines
AUTORES: Diniz, P ; Park, J;
PUBLICAÇÃO: 2000, FONTE: IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2000 in IEEE Symposium on FPGAs for Custom Computing Machines, Proceedings, VOLUME: 2000-January, PÁGINAS: 91-100
INDEXADO EM: Scopus
4458
TÍTULO: Distributed planning and control systems for the virtual enterprise: organizational requirements and development life-cycle  Full Text
AUTORES: Soares, AL ; Azevedo, AL ; de Sousa, JP ;
PUBLICAÇÃO: 2000, FONTE: JOURNAL OF INTELLIGENT MANUFACTURING, VOLUME: 11, NÚMERO: 3, PÁGINAS: 253-270
INDEXADO EM: Scopus WOS CrossRef: 50
4459
TÍTULO: FC Portugal Team Description: RoboCup 2000 Simulation League Champion
AUTORES: Luís Paulo Reis ; Nuno Lau ;
PUBLICAÇÃO: 2000, FONTE: RoboCup, VOLUME: 2019 LNAI, PÁGINAS: 29-40
INDEXADO EM: Scopus DBLP CrossRef: 30
4460
TÍTULO: Graphical control of autonomous, virtual vehicles
AUTORES: Leitao, JM ; Sousa, AA ; Ferreira, FN;
PUBLICAÇÃO: 2000, FONTE: 51st Vehicular Technology Conference in 2000 IEEE 51ST VEHICULAR TECHNOLOGY CONFERENCE, PROCEEDINGS, VOLS 1-3, VOLUME: 1, PÁGINAS: 507-511
INDEXADO EM: Scopus WOS CrossRef: 8

Results per Page: 20.
Página 223 de 231. Total de resultados: 4619.