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

37 Team Members
Filters -> Year: 2024
761
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
762
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
763
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
764
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
765
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
766
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
767
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
768
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
769
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
770
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
771
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
772
TÍTULO: A programming exercise evaluation service for Mooshak
AUTORES: José P Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2011, FONTE: ACM International Collegiate Programming Contest World Finals, Collaborative Learning Institute Symposium
INDEXADO EM: Handle
773
TÍTULO: A Relational Learning Approach to Structure-Activity Relationships in Drug Design Toxicity Studies
AUTORES: Rui Camacho ; Max Pereira; Vítor Santos Costa ; Nuno A Fonseca ; Carlos Adriano Gonçalves ; Carlos J V Simões; Rui M M Brito ;
PUBLICAÇÃO: 2011, FONTE: J. Integrative Bioinformatics, VOLUME: 8, NÚMERO: 3, PÁGINAS: 182
INDEXADO EM: Scopus DBLP Handle
774
TÍTULO: A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs  Full Text
AUTORES: Joao Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PÁGINAS: 239-253
INDEXADO EM: Scopus WOS DBLP CrossRef
775
TÍTULO: A Survey on eLearning Content Standardization
AUTORES: Ricardo Queirós ; José Paulo Leal ;
PUBLICAÇÃO: 2011, FONTE: Information Systems, E-learning, and Knowledge Management Research - 4th World Summit on the Knowledge Society, WSKS 2011, Mykonos, Greece, September 21-23, 2011. Revised Selected Papers, VOLUME: 278, PÁGINAS: 433-438
INDEXADO EM: Scopus DBLP CrossRef: 2 Handle
776
TÍTULO: An educational library based on clusters of semantic proximity
AUTORES: Alves, H; Figueira, A ;
PUBLICAÇÃO: 2011, FONTE: IADIS European Conference on Data Mining 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011 in Proceedings of the IADIS European Conference on Data Mining 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011, PÁGINAS: 226-228
INDEXADO EM: Scopus
777
TÍTULO: An engine for generating XSLT from examples
AUTORES: José P Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2011, FONTE: Conferência Nacional XATA: XML, aplicações e tecnologias associadas, 9.ª
INDEXADO EM: Handle
778
TÍTULO: Assessing the Effect of 2D Fingerprint Filtering on ILP-Based Structure-Activity Relationships Toxicity Studies in Drug Design
AUTORES: Rui Camacho ; Max Pereira; Vitor Santos Costa ; Nuno A Fonseca ; Carlos J V Simoes; Rui M M Brito ;
PUBLICAÇÃO: 2011, FONTE: 5th International Conference on Practical Applications of Computational Biology and Bioinformatics in 5TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS (PACBB 2011), VOLUME: 93, PÁGINAS: 355-363
INDEXADO EM: Scopus WOS DBLP CrossRef
779
TÍTULO: Clustering distributed sensor data streams using local processing and reduced communication  Full Text
AUTORES: Joao Gama ; Pedro Pereira Rodrigues ; Luis Lopes ;
PUBLICAÇÃO: 2011, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 15, NÚMERO: 1, PÁGINAS: 3-28
INDEXADO EM: Scopus WOS DBLP CrossRef: 40
780
TÍTULO: Constrained Sequential Pattern Knowledge in Multi-relational Learning  Full Text
AUTORES: Carlos Abreu Ferreira ; Joao Gama ; Vitor Santos Costa ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PÁGINAS: 282-296
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 39 de 56. Total de resultados: 1120.