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

46 Team Members
Filters -> Year: 2026
1761
TÍTULO: The distinguishability operation on regular languages
AUTORES: Cezar Câmpeanu; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2014, FONTE: Sixth Workshop on Non-Classical Models for Automata and Applications - NCMA 2014, Kassel, Germany, July 28-29, 2014. Proceedings, VOLUME: 304, PÁGINAS: 85-100
INDEXADO EM: DBLP
1762
TÍTULO: The kyte latissimus dorsi flap in breast reconstruction: A technique modification attempt to reduce axillary bulging  Full Text
AUTORES: Pinto, D; Gouveia, P; Magalhaes, AT; Bastos Martins, JB; Moura, A; Oliveira, HP ; Cardoso, MJ; Mavioso, C; Correia Anacieto, JC;
PUBLICAÇÃO: 2014, FONTE: 9th European Breast Cancer Conference (EBCC) in EUROPEAN JOURNAL OF CANCER, VOLUME: 50
INDEXADO EM: WOS
1763
TÍTULO: The Related-Key Analysis of Feistel Constructions
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2014, PÁGINAS: 93
INDEXADO EM: DBLP
1764
TÍTULO: Towards using Probabilities and Logic to Model Regulatory Networks
AUTORES: Antonio Goncalves ; Irene Ong; Jeffrey A Lewis; Vitor Santos Costa ;
PUBLICAÇÃO: 2014, FONTE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PÁGINAS: 239-242
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1765
TÍTULO: Transcriptome characterization by RNA sequencing identifies a major molecular and clinical subdivision in chronic lymphocytic leukemia
AUTORES: Ferreira, PG ; Jares, P; Rico, D; Gómez López, G; Martínez Trillos, A; Villamor, N; Ecker, S; González Pérez, A; Knowles, DG; Monlong, J; Johnson, R; Quesada, V; Djebali, S; Papasaikas, P; López Guerra, M; Colomer, D; Royo, C; Cazorla, M; Pinyol, M; Clot, G; Aymerich, M; Rozman, M; Kulis, M; Tamborero, D; Gouin, A; Blanc, J; Gut, M; Gut, I; Puente, XS; Pisano, DG; Martin Subero, JI; López Bigas, N; López Guillermo, A; Valencia, A; López Otín, C; Campo, E; Guigó, R; ...Mais
PUBLICAÇÃO: 2014, FONTE: Genome Research, VOLUME: 24, NÚMERO: 2, PÁGINAS: 212-226
INDEXADO EM: Scopus CrossRef: 183
1766
TÍTULO: Unit commitment with valve-point loading effect PDF
AUTORES: João Pedro Pedroso ; Mikio Kubo; Ana Viana ;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1404.4944
INDEXADO EM: DBLP arXiv
1767
TÍTULO: Untitled  Full Text
AUTORES: Lukovic, I; Budimac, Z; Leal, JP ; Janousek, J; Rocha, A; Burdescu, DD; Dragan, D;
PUBLICAÇÃO: 2014, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, NÚMERO: 4
INDEXADO EM: WOS
1768
TÍTULO: USB Connection Vulnerabilities on Android Smartphones: Default and Vendors' Customizations
AUTORES: Andre Pereira; Manuel Correia ; Pedro Brandao ;
PUBLICAÇÃO: 2014, FONTE: 15th Joint IFIP TC-6 and TC-11 International Conference on Communications and Multimedia Security (CMS) in COMMUNICATIONS AND MULTIMEDIA SECURITY, CMS 2014, VOLUME: 8735, PÁGINAS: 19-32
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
1769
TÍTULO: Using Exit Time Predictions to Optimize Self Automated Parking Lots
AUTORES: Rafael Nunes; Luis Moreira Matias ; Michel Ferreira ;
PUBLICAÇÃO: 2014, FONTE: IEEE 17th International Conference on Intelligent Transportation Systems (ITSC) in 2014 IEEE 17TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 302-307
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1770
TÍTULO: Verified Implementations for Secure and Verifiable Computation
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2014, PÁGINAS: 456
INDEXADO EM: DBLP
1771
TÍTULO: Web mining for the integration of data mining with business intelligence in web-based decision support systems
AUTORES: Domingues, MA; Jorge, AM ; Soares, C ; Rezende, SO;
PUBLICAÇÃO: 2014, FONTE: Integration of Data Mining in Business Intelligence Systems, PÁGINAS: 120-142
INDEXADO EM: Scopus CrossRef: 3
1772
TÍTULO: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal
AUTORES: José Paulo Leal ; Ricardo Rocha ; Alberto Simões;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29
INDEXADO EM: DBLP
1773
TÍTULO: A branch-and-bound procedure for forest harvest scheduling problems addressing aspects of habitat availability  Full Text
AUTORES: Teresa Neto ; Miguel Constantino ; Isabel Martins ; Joao Pedro Pedroso ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 20, NÚMERO: 5, PÁGINAS: 689-709
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
1774
TÍTULO: A datalog engine for GPUs
AUTORES: Martinez Angeles, CA; Dutra, I ; Costa, VS; Buenabad Chavez, J;
PUBLICAÇÃO: 2013, FONTE: Kiel Declarative Programming Days 2013 - 20th Int. Conf. on Applications of Declarative Programming and Knowledge Management, INAP 2013, 22nd Int. Workshop on Functional and (Constraint) Logic Programming, WFLP 2013 and 27th WLP 2013 in Technische Berichte des Instituts fur Informatik der Christian-Albrechts-Universitat zu Kiel, NÚMERO: 1306 REPORT NO., PÁGINAS: 239-253
INDEXADO EM: Scopus
1775
TÍTULO: A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction
AUTORES: Vitor Rodrigues ; Benny Akesson; Simão Melo de Sousa ; Mário Florido ;
PUBLICAÇÃO: 2013, FONTE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752, PÁGINAS: 43-59
INDEXADO EM: Scopus DBLP CrossRef: 3
1776
TÍTULO: A DFT based rotation and scale invariant Gabor texture descriptor and its application to gastroenterology  Full Text
AUTORES: Farhan Riaz; Mario Dinis Ribeiro ; Pedro Pimentel Nunes ; Miguel Tavares Coimbra ;
PUBLICAÇÃO: 2013, FONTE: 20th IEEE International Conference on Image Processing (ICIP) in 2013 20TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2013), PÁGINAS: 1443-1446
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1777
TÍTULO: A mobile-based attribute aggregation architecture for user-centric identity management
AUTORES: Augusto, AB; Correia, ME ;
PUBLICAÇÃO: 2013, FONTE: Architectures and Protocols for Secure Information Technology Infrastructures, PÁGINAS: 266-287
INDEXADO EM: Scopus CrossRef: 1
1778
TÍTULO: A new MILP-based approach for unit commitment in power production planning  Full Text
AUTORES: Viana, A ; Pedroso, JP ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 44, NÚMERO: 1, PÁGINAS: 997-1005
INDEXADO EM: Scopus WOS CrossRef: 110
1779
TÍTULO: A PDF based digital signed document format for interoperable institutional structured data integrity
AUTORES: Luís A. Maia; Luís M. Valente; Manuel E. Correia ; Lígia M. Ribeiro; Luís Antunes ;
PUBLICAÇÃO: 2013, FONTE: EUNIS 2013 Congress Proceedings: 2013: ICT Role for Next Generation Universities, VOLUME: 1, NÚMERO: 1
INDEXADO EM: CrossRef Unpaywall Handle
1780
TÍTULO: A Potpourri of authentication mechanisms The mobile device way
AUTORES: Rui A Martins; Alexandre B Augusto ; Manuel E Correia ;
PUBLICAÇÃO: 2013, FONTE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXADO EM: Scopus WOS

Results per Page: 20.
Página 89 de 145. Total de resultados: 2883.