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

49 Team Members
Filters -> Year: 2024
2641
TÍTULO: Automatic Unbounded Verification of Alloy Specifications with Prover9 PDF
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1209.5773
INDEXADO EM: DBLP arXiv
2642
TÍTULO: Beat Tracking for Multiple Applications: A Multi-Agent System Architecture With State Recovery  Full Text
AUTORES: Joao Lobato Oliveira ; Matthew E P Davies ; Fabien Gouyon ; Luis Paulo Reis ;
PUBLICAÇÃO: 2012, FONTE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, NÚMERO: 10, PÁGINAS: 2696-2706
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
2643
TÍTULO: Bidirectional Transformation of Model-Driven Spreadsheets
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLICAÇÃO: 2012, FONTE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PÁGINAS: 105-120
INDEXADO EM: Scopus DBLP CrossRef: 16 Handle
2644
TÍTULO: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTORES: Joao Pedro Reis; Antonio Pereira; Luis Paulo Reis ;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
INDEXADO EM: Scopus WOS
2645
TÍTULO: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTORES: Joao Pedro Reis; Antonio Pereira; Luis Paulo Reis ;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PÁGINAS: 162-+
INDEXADO EM: WOS
2646
TÍTULO: Brief announcement: Efficient causality tracking in distributed storage systems with dotted version vectors  Full Text
AUTORES: Preguica, N ; Bauqero, C ; Almeida, PS ; Fonte, V ; Goncalves, R;
PUBLICAÇÃO: 2012, FONTE: 2012 ACM Symposium on Principles of Distributed Computing, PODC'12 in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, PÁGINAS: 335-336
INDEXADO EM: Scopus DBLP
2647
TÍTULO: Brief Announcement: Semantics of Eventually Consistent Replicated Sets
AUTORES: Annette Bieniusa; Marek Zawirski; Nuno Preguica ; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sergio Duarte ;
PUBLICAÇÃO: 2012, FONTE: 26th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, DISC 2012, VOLUME: 7611, PÁGINAS: 441-442
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
2648
TÍTULO: Bus bunching detection by mining sequences of headway deviations
AUTORES: Moreira Matias, L ; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLICAÇÃO: 2012, FONTE: 12th Industrial Conference on Advances in Data Mining, ICDM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7377 LNAI, PÁGINAS: 77-91
INDEXADO EM: Scopus DBLP CrossRef: 20
2649
TÍTULO: Bus Bunching detection: A sequence mining approach
AUTORES: Moreira Matias, L; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLICAÇÃO: 2012, FONTE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PÁGINAS: 13-17
INDEXADO EM: Scopus
2650
TÍTULO: Cerebral Palsy EEG signals Classification: Facial Expressions and Thoughts for Driving an Intelligent Wheelchair
AUTORES: Brigida Monica Faria ; Luis Paulo Reis ; Nuno Lau ;
PUBLICAÇÃO: 2012, FONTE: 12th IEEE International Conference on Data Mining (ICDM) in 12TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2012), PÁGINAS: 33-40
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
2651
TÍTULO: Coastal Ecosystems Simulation: A Decision Tree Analysis for Bivalve's Growth Conditions
AUTORES: Reis, JP; Pereira, A ; Reis, LP ;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PÁGINAS: 392-+
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
2652
TÍTULO: Coastal ecosystems simulation: A decision tree analysis for Bivalve's growth conditions
AUTORES: Reis, JP; Pereira, A; Reis, LP ;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Modelling and Simulation, ECMS 2012 in Proceedings - 26th European Conference on Modelling and Simulation, ECMS 2012
INDEXADO EM: Scopus
2653
TÍTULO: Collaborative Spaces as Mediators for Information Sharing in Collaborative Networks
AUTORES: Antonio Lucas Soares ; Fabio Alves ;
PUBLICAÇÃO: 2012, FONTE: 13th IFIP WG 5.5 Working Conference on Virtual Enterprises (PROVE-VE 2012) in COLLABORATIVE NETWORKS IN THE INTERNET OF SERVICES, VOLUME: 380, PÁGINAS: 459-466
INDEXADO EM: Scopus WOS CrossRef: 1
2654
TÍTULO: Combining a Multi-Objective Optimization Approach with Meta-Learning for SVM Parameter Selection  Full Text
AUTORES: Pericles B C de Miranda; Ricardo B C Prudencio; Andre Carlos P L F de Carvalho; Carlos Soares ;
PUBLICAÇÃO: 2012, FONTE: IEEE International Conference on Systems, Man, and Cybernetics (SMC) in PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), PÁGINAS: 2909-2914
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
2655
TÍTULO: Combining meta-learning and optimization algorithms for parameter selection
AUTORES: Gomes, T; Miranda, P; Prudencio, R; Soares, C ; Carvalho, A;
PUBLICAÇÃO: 2012, FONTE: 5th Planning to Learn Workshop, PlanLearn 2012 at 2012 European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 950, PÁGINAS: 6-7
INDEXADO EM: Scopus
2656
TÍTULO: Combining meta-learning and search techniques to select parameters for support vector machines  Full Text
AUTORES: Taciana A F Gomes; Ricardo B C Prudencio; Carlos Soares ; Andre L D Rossi; Andre Carvalho;
PUBLICAÇÃO: 2012, FONTE: NEUROCOMPUTING, VOLUME: 75, NÚMERO: 1, PÁGINAS: 3-13
INDEXADO EM: Scopus WOS DBLP CrossRef: 94
2657
TÍTULO: Combining meta-learning with multi-objective particle swarm algorithms for svm parameter selection: An experimental analysis  Full Text
AUTORES: Miranda, PBC; Prudencio, RBC; Carvalho, ACPLF; Soares, C ;
PUBLICAÇÃO: 2012, FONTE: 2012 Brazilian Conference on Neural Networks, SBRN 2012 in Proceedings - Brazilian Symposium on Neural Networks, SBRN, PÁGINAS: 1-6
INDEXADO EM: Scopus DBLP CrossRef: 4
2658
TÍTULO: Comparing state-of-the-art regression methods for long term travel time prediction  Full Text
AUTORES: Joao Mendes Moreira ; Alipio Mario Jorge ; Jorge Freire de Sousa ; Carlos Soares ;
PUBLICAÇÃO: 2012, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 16, NÚMERO: 3, PÁGINAS: 427-449
INDEXADO EM: Scopus WOS DBLP CrossRef: 43
2659
TÍTULO: Conceptual clustering of multi-relational data
AUTORES: Fonseca, NA ; Santos Costa, V ; Camacho, R ;
PUBLICAÇÃO: 2012, FONTE: 21st International Conference on InductiveLogic Programming, ILP 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7207 LNAI, PÁGINAS: 145-159
INDEXADO EM: Scopus DBLP CrossRef: 4
2660
TÍTULO: Constraint-based debugging of spreadsheets PDF
AUTORES: Abreu, R ; Riboira, A; Wotawa, F;
PUBLICAÇÃO: 2012, FONTE: 15th Ibero-American Conference on Software Engineering, CIbSE 2012 in 15th Ibero-American Conference on Software Engineering, CIbSE 2012, PÁGINAS: 1-14
INDEXADO EM: Scopus DBLP

Results per Page: 20.
Página 133 de 198. Total de resultados: 3951.