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

37 Team Members
Filters -> Year: 2025
761
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
762
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
763
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
764
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
765
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
767
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
768
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
769
770
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
771
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
772
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
773
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
774
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
775
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
776
TÍTULO: A comparative study on LMS interoperability
AUTORES: Leal, JP ; Queiros, R ;
PUBLICAÇÃO: 2011, FONTE: Higher Education Institutions and Learning Management Systems: Adoption and Standardization, PÁGINAS: 142-161
INDEXADO EM: Scopus CrossRef: 7 Handle
777
TÍTULO: A framework to develop meta web interfaces
AUTORES: Leal, JP ; Dias, H;
PUBLICAÇÃO: 2011, FONTE: IADIS International Conference WWW/Internet 2011, ICWI 2011 in Proceedings of the IADIS International Conference WWW/Internet 2011, ICWI 2011, PÁGINAS: 301-308
INDEXADO EM: Scopus
778
TÍTULO: A Hybrid AIS-SVM Ensemble Approach for Text Classification
AUTORES: Mario Antunes ; Catarina Silva ; Bernardete Ribeiro ; Manuel E. Correia ;
PUBLICAÇÃO: 2011, FONTE: 10th International Conference on Artificial Neural Networks and Genetic Algorithms in ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, PT II, VOLUME: 6594, NÚMERO: PART 2, PÁGINAS: 342-352
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
779
TÍTULO: A new graphical calculus of proofs  Full Text
AUTORES: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLICAÇÃO: 2011, FONTE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48, PÁGINAS: 69-84
INDEXADO EM: DBLP CrossRef: 6
780
TÍTULO: A Parallel Algorithm for Counting Subgraphs in Complex Networks  Full Text
AUTORES: Pedro Ribeiro ; Fernando Silva ; Luis Lopes ;
PUBLICAÇÃO: 2011, FONTE: 3rd International Joint Conference on Biomedical Engineering Systems and Technologies in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOLUME: 127, PÁGINAS: 380-393
INDEXADO EM: Scopus WOS DBLP CrossRef: 3

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