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

43 Team Members
Filters -> Year: 2025
1541
TÍTULO: Symmetric Groups and Quotient Complexity of Boolean Operations
AUTORES: Jason Bell; Janusz Brzozowski; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2014, FONTE: 41st International Colloquium on Automata, Languages and Programming in AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, VOLUME: 8573, NÚMERO: PART 2, PÁGINAS: 1-12
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1542
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: 2
1544
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
1545
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
1546
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
1547
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
1548
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
1549
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
1550
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: 173
1551
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
1552
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
1553
TÍTULO: USB Connection Vulnerabilities on Android Smartphones: Default and Vendors' Customizations
AUTORES: Andre Pereira; Manuel E. 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: 5
1554
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
1555
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
1556
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
1557
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
1558
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
1559
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
1560
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

Results per Page: 20.
Página 78 de 133. Total de resultados: 2644.