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

43 Team Members
Filters -> Year: 2025
1601
TÍTULO: Tabling, Rational Terms, and Coinduction Finally Together!
AUTORES: Theofrastos Mantadelis ; Ricardo Rocha ; Paulo Moura ;
PUBLICAÇÃO: 2014, FONTE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 4-5, PÁGINAS: 429-443
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1603
TÍTULO: Tessellation-based Coarse Registration Method for 3D Reconstruction of the Female Torso
AUTORES: Pedro Costa; Joao P Monteiro ; Hooshiar Zolfagharnasab ; Helder P Oliveira ;
PUBLICAÇÃO: 2014, FONTE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2014 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), PÁGINAS: 301-306
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
1604
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
1605
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
1606
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
1607
TÍTULO: Towards a framework for multidirectional model transformations PDF
AUTORES: Macedo, N ; Cunha, A ; Pacheco, H ;
PUBLICAÇÃO: 2014, FONTE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in CEUR Workshop Proceedings, VOLUME: 1133, PÁGINAS: 71-74
INDEXADO EM: Scopus DBLP
1608
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
1609
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: 179
1610
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
1611
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
1612
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
1613
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
1614
TÍTULO: Validity Checking of Putback Transformations in Bidirectional Programming
AUTORES: Zhenjiang Hu; Hugo Pacheco ; Sebastian Fischer;
PUBLICAÇÃO: 2014, FONTE: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, VOLUME: 8442, PÁGINAS: 1-15
INDEXADO EM: DBLP
1615
TÍTULO: Validity checking of putback transformations in bidirectional programming
AUTORES: Hu, Z; Pacheco, H ; Fischer, S;
PUBLICAÇÃO: 2014, FONTE: 19th International Symposium on Formal Methods, FM 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8442 LNCS, PÁGINAS: 1-15
INDEXADO EM: Scopus CrossRef: 9
1616
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
1617
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
1618
TÍTULO: Writing bidirectional model transformations as intentional updates
AUTORES: Tao Zan; Hugo Pacheco ; Zhenjiang Hu;
PUBLICAÇÃO: 2014, FONTE: 36th International Conference on Software Engineering, ICSE 2014 in 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014, PÁGINAS: 488-491
INDEXADO EM: Scopus DBLP CrossRef: 5
1619
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
1620
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: 14

Results per Page: 20.
Página 81 de 136. Total de resultados: 2704.