Departamento de Ciências dos Computadores (DCC)
Department of Computer Science

Universidade do Porto (UP) :: Faculdade de Ciências (FCUP)

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

43 Team Members
Filters -> Year: 2025
2121
TÍTULO: State Elimination Ordering Strategies: Some Experimental Results  Full Text
AUTORES: Nelma Moreira ; Davide Nabais; Rogério Reis ;
PUBLICAÇÃO: 2010, FONTE: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., VOLUME: 31, PÁGINAS: 139-148
INDEXADO EM: DBLP CrossRef: 2
2122
TÍTULO: Strong Knowledge Extractors for Public-Key Encryption Schemes  Full Text
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2010, FONTE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PÁGINAS: 164-181
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2123
TÍTULO: TALM: A hybrid execution model with distributed speculation support
AUTORES: Marzulo, LAJ; Alves, TAO; Franc, FMG; Costa, VS ;
PUBLICAÇÃO: 2010, FONTE: 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2010, 1st Workshop on Applications for Multi and Many Core Architectures, WAMMCA 2010 in Proceedings - 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2010, 1st Workshop on Applications for Multi and Many Core Architectures, WAMMCA, PÁGINAS: 31-36
INDEXADO EM: Scopus DBLP CrossRef: 11
2124
TÍTULO: Temporal Anomaly Detection: An Artificial Immune Approach Based on T Cell Activation, Clonal Size Regulation and Homeostasis
AUTORES: Antunes, MJ ; Correia, ME ;
PUBLICAÇÃO: 2010, FONTE: ADVANCES IN COMPUTATIONAL BIOLOGY, VOLUME: 680, PÁGINAS: 291-298
INDEXADO EM: Scopus WOS CrossRef: 3 Handle
2125
TÍTULO: Testing the Equivalence of Regular Languages
AUTORES: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2010, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 15, NÚMERO: 1/2, PÁGINAS: 7-25
INDEXADO EM: DBLP
2126
TÍTULO: The See-Through System: A VANET-Enabled Assistant for Overtaking Maneuvers
AUTORES: Cristina Olaverri Monreal; Pedro Gomes; Ricardo Fernandes; Fausto Vieira ; Michel Ferreira ;
PUBLICAÇÃO: 2010, FONTE: IEEE Intelligent Vehicles Symposium (IV) in 2010 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), PÁGINAS: 123-128
INDEXADO EM: Scopus WOS DBLP CrossRef: 63
2127
TÍTULO: Threads and or-parallelism unified
AUTORES: Vitor Santos Costa ; Ines Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2010, FONTE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, NÚMERO: 4-6, PÁGINAS: 417-432
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
2128
TÍTULO: Towards a Theory of Views for Feature Models PDF
AUTORES: Dave Clarke; José Proença ;
PUBLICAÇÃO: 2010, FONTE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), PÁGINAS: 91-98
INDEXADO EM: DBLP
2129
TÍTULO: Value of Photographic Side-Views in the Objective Evaluation of the Aesthetic Result of Breast Cancer Conservative Treatment
AUTORES: Magalhaes, AT; Oliveira, HP ; Costa, S; Cardoso, JS ; Cardoso, MJ;
PUBLICAÇÃO: 2010, FONTE: CANCER RESEARCH, VOLUME: 70, NÚMERO: 24 Supplement
INDEXADO EM: WOS CrossRef
2130
TÍTULO: Visual programming of XSLT from examples
AUTORES: José P Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2010, FONTE: XML, Associated Technologies and Applications
INDEXADO EM: Handle
2131
TÍTULO: Web-Based Intelligent Tutoring Systems Using the SCORM 2004 Specification - A Conceptual Framework for Implementing SCORM Compliant Intelligent Web-Based Learning Environments
AUTORES: Gustavo Santos; Álvaro Figueira ;
PUBLICAÇÃO: 2010, FONTE: 10th IEEE International Conference on Advanced Learning Technologies, ICALT 2010 in ICALT 2010, 10th IEEE International Conference on Advanced Learning Technologies, Sousse, Tunesia, 5-7 July 2010, PÁGINAS: 676-678
INDEXADO EM: Scopus DBLP CrossRef: 3
2132
TÍTULO: Your personal archival: repository server
AUTORES: José P Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2010, FONTE: Edujudge system handbook: how to organize programming competitions in Moodle courses
INDEXADO EM: Handle
2133
TÍTULO: A Cautionary View of Mobility and Connectivity Modeling in Vehicular Ad-Hoc Networks
AUTORES: Hugo Conceicao ; Michel Ferreira ; Joao Barros ;
PUBLICAÇÃO: 2009, FONTE: 69th IEEE Vehicular Technology Conference in 2009 IEEE VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-5, PÁGINAS: 2764-2768
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
2134
TÍTULO: A Knowledge Discovery Method for the Characterization of Protein Unfolding Processes
AUTORES: Elisabeth Fernandes; Alipio M Jorge ; Candida G Silva ; Rui M M Brito ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Workshop on Practical Applications of Computational Biology and Bioinformatics (IWPACBB 08) in 2ND INTERNATIONAL WORKSHOP ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY AND BIOINFORMATICS (IWPACBB 2008), VOLUME: 49, PÁGINAS: 180-188
INDEXADO EM: Scopus WOS DBLP CrossRef
2135
TÍTULO: A new method for the detection of singular points in fingerprint images
AUTORES: Magalhaes, F; Oliveira, HP ; Campilho, AC ;
PUBLICAÇÃO: 2009, FONTE: 2009 Workshop on Applications of Computer Vision, WACV 2009 in 2009 Workshop on Applications of Computer Vision, WACV 2009, PÁGINAS: 1-6
INDEXADO EM: Scopus DBLP CrossRef: 3
2136
TÍTULO: A survey of audio processing algorithms for digital stethoscopes
AUTORES: De Lima, FH; Coimbra, MT ; Da Silva, S;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Health Informatics, HEALTHINF 2009 in HEALTHINF 2009 - Proceedings of the 2nd International Conference on Health Informatics, PÁGINAS: 425-429
INDEXADO EM: Scopus
2137
TÍTULO: A SURVEY OF AUDIO PROCESSING ALGORITHMS FOR DIGITAL STETHOSCOPES
AUTORES: Fabio de Lima Hedayioglu; Miguel Tavares Coimbra ; Sandra da Silva Mattos;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Health Informatics (HEALTHINF 2009) in HEALTHINF 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PÁGINAS: 425-429
INDEXADO EM: WOS DBLP
2138
TÍTULO: A Term-Based Global Trie for Tabled Logic Programs  Full Text
AUTORES: Jorge Costa; Joao Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649, PÁGINAS: 205-219
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
2139
TÍTULO: A TOOL FOR ENDOSCOPIC CAPSULE DATASET PREPARATION FOR CLINICAL VIDEO EVENT DETECTOR ALGORITHMS
AUTORES: Sergio Lima; Joao Paulo Cunha ; Miguel Coimbra ; Jose M Soares;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Health Informatics (HEALTHINF 2009) in HEALTHINF 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PÁGINAS: 265-269
INDEXADO EM: Scopus WOS DBLP
2140
TÍTULO: A Web-Based Tool for Assessing Online Peer-Reviews
AUTORES: Elisabete Cunha; Alvaro Figueira ;
PUBLICAÇÃO: 2009, FONTE: 8th European Conference on e-Learning in PROCEEDINGS OF THE 8TH EUROPEAN CONFERENCE ON E-LEARNING, PÁGINAS: 132-139
INDEXADO EM: Scopus WOS

Results per Page: 20.
Página 107 de 136. Total de resultados: 2720.