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
1822
TÍTULO: Programming exercises evaluation systems: An interoperability survey
AUTORES: Queiros, R ; Leal, JP ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1, PÁGINAS: 83-90
INDEXADO EM: Scopus DBLP
1823
TÍTULO: Programming exercises evaluation systems: an interoperability survey
AUTORES: Ricardo Queirós; José P Leal ;
PUBLICAÇÃO: 2012, FONTE: Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1
INDEXADO EM: Handle
1824
TÍTULO: Querying subgraph sets with g-tries
AUTORES: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLICAÇÃO: 2012, FONTE: 2nd ACM SIGMOD Workshop on Databases and Social Networks, DBSocial 2012 in Proceedings of the 2nd ACM SIGMOD Workshop on Databases and Social Networks, DBSocial 2012, Scottsdale, AZ, USA, May 20, 2012, PÁGINAS: 25-30
INDEXADO EM: Scopus DBLP CrossRef: 17
1825
TÍTULO: Reducing the Environmental Impact of Taxi Operation: the Taxi-sharing Use Case
AUTORES: Pedro M d'Orey ; Ricardo Fernandes; Michel Ferreira ;
PUBLICAÇÃO: 2012, FONTE: 12th International Conference on ITS Telecommunications (ITST) in 2012 12TH INTERNATIONAL CONFERENCE ON ITS TELECOMMUNICATIONS (ITST-2012), PÁGINAS: 313-317
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1826
TÍTULO: Relational differential prediction
AUTORES: Nassif, H; Santos Costa, V ; Burnside, ES; Page, D;
PUBLICAÇÃO: 2012, FONTE: 2012 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML-PKDD 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7523 LNAI, NÚMERO: PART 1, PÁGINAS: 617-632
INDEXADO EM: Scopus DBLP CrossRef: 3
1827
TÍTULO: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560, PÁGINAS: 146-161
INDEXADO EM: Scopus DBLP CrossRef: 2
1828
TÍTULO: RNA secondary structure mediates alternative 3 ' ss selection in Saccharomyces cerevisiae
AUTORES: Mireya Plass; Carles Codony Servat; Pedro G Gabriel Ferreira ; Josep Vilardell; Eduardo Eyras;
PUBLICAÇÃO: 2012, FONTE: RNA-A PUBLICATION OF THE RNA SOCIETY, VOLUME: 18, NÚMERO: 6, PÁGINAS: 1103-1115
INDEXADO EM: Scopus WOS CrossRef: 37
1829
TÍTULO: Robustness of logical depth
AUTORES: Antunes, L ; Souto, A ; Teixeira, A ;
PUBLICAÇÃO: 2012, FONTE: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7318 LNCS, PÁGINAS: 29-34
INDEXADO EM: Scopus DBLP CrossRef
1830
TÍTULO: Runtime programming through model-preserving, scalable runtime patches
AUTORES: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLICAÇÃO: 2012, FONTE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS, PÁGINAS: 290-294
INDEXADO EM: Scopus DBLP CrossRef
1831
TÍTULO: Scalable VANET Simulations with NS-3
AUTORES: Ricardo Fernandes; Michel Ferreira ;
PUBLICAÇÃO: 2012, FONTE: IEEE 75th Vehicular Technology Conference (VTC Spring) in 2012 IEEE 75TH VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), PÁGINAS: 1-5
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
1832
TÍTULO: Scheduling cyclic task graphs with SCC-map
AUTORES: Sardinha, A; Alves, TAO; Marzulo, LAJ; Franca, FMG; Barbosa, VC; Costa, VS ;
PUBLICAÇÃO: 2012, FONTE: 3rd Workshop on Applications for Multi-Core Architecture, WAMCA 2012 in Proceedings - 3rd Workshop on Applications for Multi-Core Architecture, WAMCA 2012, PÁGINAS: 54-59
INDEXADO EM: Scopus CrossRef: 2
1833
TÍTULO: Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines
AUTORES: Ines Dutra ; Ricardo Rocha ; Vitor Santos Costa ; Fernando Silva ; Joao Santos ;
PUBLICAÇÃO: 2012, FONTE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), PÁGINAS: 1581-1590
INDEXADO EM: Scopus WOS DBLP CrossRef
1834
TÍTULO: Security and privacy issues for the network of the future. Security and privacy issues for the network of the future  Full Text
AUTORES: Giannis F Marias; Joao Barros ; Markus Fiedler; Andreas Fischer; Harald Hauff; Ralph Herkenhoener; Antonio Grillo; Alessandro Lentini; Luisa Lima ; Charlott Lorentzen; Wojciech Mazurczyk; Hermann de Meer; Paulo F Oliveira; George C Polyzos; Enric Pujol; Krzysztof Szczypiorski; Joao P Vilela ; Tiago T V Vinhoza ;
PUBLICAÇÃO: 2012, FONTE: SECURITY AND COMMUNICATION NETWORKS, VOLUME: 5, NÚMERO: 9, PÁGINAS: 987-1005
INDEXADO EM: Scopus WOS CrossRef: 11
1835
TÍTULO: Self tolerance by tuning T-cell activation: An artificial immune system for anomaly detection
AUTORES: Antunes, MJ ; Manuel E. Correia ;
PUBLICAÇÃO: 2012, FONTE: 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, BIONETICS 2010 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 87 LNICST, PÁGINAS: 1-15
INDEXADO EM: Scopus DBLP CrossRef: 2
1836
TÍTULO: Semantically Secure Functional Encryption, Revisited
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2012, PÁGINAS: 474
INDEXADO EM: DBLP
1838
TÍTULO: Sequential Pattern Knowledge in Multi-Relational Learning
AUTORES: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLICAÇÃO: 2012, FONTE: 26th Annual International Symposium on Computer and Information Science in COMPUTER AND INFORMATION SCIENCES II, PÁGINAS: 539-545
INDEXADO EM: Scopus WOS DBLP CrossRef
1839
TÍTULO: Shape your body. control a virtual silhouette using body motion
AUTORES: Luís Leite; Veronica Orvalho ;
PUBLICAÇÃO: 2012, FONTE: Proceedings of the 2012 ACM annual conference extended abstracts on Human Factors in Computing Systems Extended Abstracts - CHI EA '12
INDEXADO EM: CrossRef: 18
1840
TÍTULO: Shape your body: control a virtual silhouette using body motion
AUTORES: Luís Leite; Verónica Orvalho ;
PUBLICAÇÃO: 2012, FONTE: CHI Conference on Human Factors in Computing Systems, CHI '12, Extended Abstracts Volume, Austin, TX, USA, May 5-10, 2012, PÁGINAS: 1913-1918
INDEXADO EM: DBLP

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