Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-1RA
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
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!
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!
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!
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: 1123
37 Team MembersFilters -> Year: 2025
761
TITLE: Sequential Pattern Knowledge in Multi-Relational Learning
AUTHORS: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLISHED: 2012, SOURCE: 26th Annual International Symposium on Computer and Information Science in COMPUTER AND INFORMATION SCIENCES II, PAGES: 539-545
AUTHORS: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLISHED: 2012, SOURCE: 26th Annual International Symposium on Computer and Information Science in COMPUTER AND INFORMATION SCIENCES II, PAGES: 539-545
762
TITLE: Supervising and managing projects through a template based e-portfolio system
AUTHORS: Felix, C ; Figueira, A ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1, PAGES: 152-157
AUTHORS: Felix, C ; Figueira, A ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1, PAGES: 152-157
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP763
TITLE: Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary
AUTHORS: Agostino Dovier; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: ICLP (Technical Communications), VOLUME: 17
AUTHORS: Agostino Dovier; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: ICLP (Technical Communications), VOLUME: 17
INDEXED IN: DBLP
DBLP764
TITLE: The YAP Prolog system
AUTHORS: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2, PAGES: 5-34
AUTHORS: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2, PAGES: 5-34
765
TITLE: Towards multi-threaded local tabling using a common table space
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5, PAGES: 427-443
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5, PAGES: 427-443
766
TITLE: Unachievable region in precision-recall space and its effect on empirical evaluation
AUTHORS: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PAGES: 639-646
AUTHORS: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PAGES: 639-646
INDEXED IN: Scopus DBLP
Scopus DBLP767
TITLE: Using the overlapping community structure of a network of tags to improve text clustering
AUTHORS: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 239-244
AUTHORS: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 239-244
768
TITLE: Verification of MPI Programs Using Session Types
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: 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, PAGES: 291-293
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: 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, PAGES: 291-293
769
TITLE: Visual Analysis of Online Interactions through Social Network Patterns
AUTHORS: André Silva; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 639-641
AUTHORS: André Silva; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 639-641
770
TITLE: A comparative study on LMS interoperability
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2011, SOURCE: Higher Education Institutions and Learning Management Systems: Adoption and Standardization, PAGES: 142-161
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2011, SOURCE: Higher Education Institutions and Learning Management Systems: Adoption and Standardization, PAGES: 142-161
771
TITLE: A framework to develop meta web interfaces
AUTHORS: Leal, JP ; Dias, H;
PUBLISHED: 2011, SOURCE: IADIS International Conference WWW/Internet 2011, ICWI 2011 in Proceedings of the IADIS International Conference WWW/Internet 2011, ICWI 2011, PAGES: 301-308
AUTHORS: Leal, JP ; Dias, H;
PUBLISHED: 2011, SOURCE: IADIS International Conference WWW/Internet 2011, ICWI 2011 in Proceedings of the IADIS International Conference WWW/Internet 2011, ICWI 2011, PAGES: 301-308
INDEXED IN: Scopus
Scopus772
TITLE: A Hybrid AIS-SVM Ensemble Approach for Text Classification
AUTHORS: Mario Antunes ; Catarina Silva ; Bernardete Ribeiro ; Manuel E. Correia ;
PUBLISHED: 2011, SOURCE: 10th International Conference on Artificial Neural Networks and Genetic Algorithms in ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, PT II, VOLUME: 6594, ISSUE: PART 2, PAGES: 342-352
AUTHORS: Mario Antunes ; Catarina Silva ; Bernardete Ribeiro ; Manuel E. Correia ;
PUBLISHED: 2011, SOURCE: 10th International Conference on Artificial Neural Networks and Genetic Algorithms in ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, PT II, VOLUME: 6594, ISSUE: PART 2, PAGES: 342-352
773
TITLE: A new graphical calculus of proofs Full Text
AUTHORS: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLISHED: 2011, SOURCE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48, PAGES: 69-84
AUTHORS: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLISHED: 2011, SOURCE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48, PAGES: 69-84
774
TITLE: A Parallel Algorithm for Counting Subgraphs in Complex Networks Full Text
AUTHORS: Pedro Ribeiro ; Fernando Silva ; Luis Lopes ;
PUBLISHED: 2011, SOURCE: 3rd International Joint Conference on Biomedical Engineering Systems and Technologies in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOLUME: 127, PAGES: 380-393
AUTHORS: Pedro Ribeiro ; Fernando Silva ; Luis Lopes ;
PUBLISHED: 2011, SOURCE: 3rd International Joint Conference on Biomedical Engineering Systems and Technologies in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOLUME: 127, PAGES: 380-393
775
TITLE: A programming exercise evaluation service for Mooshak
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2011, SOURCE: ACM International Collegiate Programming Contest World Finals, Collaborative Learning Institute Symposium
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2011, SOURCE: ACM International Collegiate Programming Contest World Finals, Collaborative Learning Institute Symposium
INDEXED IN: 
Handle
Handle776
TITLE: A Relational Learning Approach to Structure-Activity Relationships in Drug Design Toxicity Studies
AUTHORS: Rui Camacho ; Max Pereira; Vítor Santos Costa ; Nuno A Fonseca ; Carlos Adriano Gonçalves ; Carlos J V Simões; Rui M M Brito ;
PUBLISHED: 2011, SOURCE: J. Integrative Bioinformatics, VOLUME: 8, ISSUE: 3, PAGES: 182
AUTHORS: Rui Camacho ; Max Pereira; Vítor Santos Costa ; Nuno A Fonseca ; Carlos Adriano Gonçalves ; Carlos J V Simões; Rui M M Brito ;
PUBLISHED: 2011, SOURCE: J. Integrative Bioinformatics, VOLUME: 8, ISSUE: 3, PAGES: 182
INDEXED IN: Scopus DBLP Handle
Scopus DBLP Handle777
TITLE: A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs Full Text
AUTHORS: Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 239-253
AUTHORS: Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 239-253
778
TITLE: A Survey on eLearning Content Standardization
AUTHORS: Ricardo Queirós ; José Paulo Leal ;
PUBLISHED: 2011, SOURCE: 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, PAGES: 433-438
AUTHORS: Ricardo Queirós ; José Paulo Leal ;
PUBLISHED: 2011, SOURCE: 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, PAGES: 433-438
779
TITLE: An educational library based on clusters of semantic proximity
AUTHORS: Alves, H; Figueira, A ;
PUBLISHED: 2011, SOURCE: 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, PAGES: 226-228
AUTHORS: Alves, H; Figueira, A ;
PUBLISHED: 2011, SOURCE: 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, PAGES: 226-228
INDEXED IN: Scopus
Scopus780
TITLE: An engine for generating XSLT from examples
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2011, SOURCE: Conferência Nacional XATA: XML, aplicações e tecnologias associadas, 9.ª
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2011, SOURCE: Conferência Nacional XATA: XML, aplicações e tecnologias associadas, 9.ª
INDEXED IN: Handle
Handle