Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

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

37 Team Members
Filters -> Year: 2025
762
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
763
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
764
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
765
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
766
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
767
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
768
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
769
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
770
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
772
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
773
TÍTULO: Supervising and managing projects through a template based e-portfolio system
AUTORES: Felix, C ; Figueira, A ;
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: 152-157
INDEXADO EM: Scopus DBLP
774
775
TÍTULO: The YAP Prolog system
AUTORES: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 1-2, PÁGINAS: 5-34
INDEXADO EM: Scopus WOS DBLP CrossRef: 67
776
TÍTULO: Towards multi-threaded local tabling using a common table space
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 4-5, PÁGINAS: 427-443
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
777
TÍTULO: Unachievable region in precision-recall space and its effect on empirical evaluation
AUTORES: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLICAÇÃO: 2012, FONTE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PÁGINAS: 639-646
INDEXADO EM: Scopus DBLP
778
TÍTULO: Using the overlapping community structure of a network of tags to improve text clustering
AUTORES: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLICAÇÃO: 2012, FONTE: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PÁGINAS: 239-244
INDEXADO EM: Scopus DBLP CrossRef: 4
779
TÍTULO: Verification of MPI Programs Using Session Types
AUTORES: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2012, FONTE: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490, PÁGINAS: 291-293
INDEXADO EM: Scopus DBLP CrossRef: 11 Unpaywall
780
TÍTULO: Visual Analysis of Online Interactions through Social Network Patterns
AUTORES: André Silva; Álvaro Figueira ;
PUBLICAÇÃO: 2012, FONTE: 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012 in 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012, Rome, Italy, July 4-6, 2012, PÁGINAS: 639-641
INDEXADO EM: Scopus DBLP CrossRef: 6

Results per Page: 20.
Página 39 de 57. Total de resultados: 1135.