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
881
TITLE: CrimsonHex: um repositório de objectos de aprendizagem
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2009, SOURCE: JLBE09: Jornadas Luso-Brasileiras de Ensino e Tecnologia em Engenharia
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2009, SOURCE: JLBE09: Jornadas Luso-Brasileiras de Ensino e Tecnologia em Engenharia
INDEXED IN: 
Handle
Handle882
TITLE: Defining programming problems as learning objects
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: World Academy of Science, Engineering and Technology, VOLUME: 58, PAGES: 188-195
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: World Academy of Science, Engineering and Technology, VOLUME: 58, PAGES: 188-195
INDEXED IN: 
Scopus Handle
Scopus Handle883
TITLE: Designing a user interface for repositories of learning objects
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009 in Proceedings of the IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009, VOLUME: 2, PAGES: 137-140
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009 in Proceedings of the IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009, VOLUME: 2, PAGES: 137-140
INDEXED IN: Scopus Handle
Scopus Handle884
TITLE: Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009 Full Text
AUTHORS: João Gama ; Vítor Santos Costa ; Alípio Mário Jorge ; Pavel Brazdil ;
PUBLISHED: 2009, SOURCE: Discovery Science, VOLUME: 5808
AUTHORS: João Gama ; Vítor Santos Costa ; Alípio Mário Jorge ; Pavel Brazdil ;
PUBLISHED: 2009, SOURCE: Discovery Science, VOLUME: 5808
885
TITLE: Distributed, Modular HTL Full Text
AUTHORS: Thomas A Henzinger; Christoph M Kirsch; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2009, SOURCE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, PAGES: 171-180
AUTHORS: Thomas A Henzinger; Christoph M Kirsch; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2009, SOURCE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, PAGES: 171-180
886
TITLE: EduMCA: An approach to educational mobile content adaptation
AUTHORS: Queiros, R ; Pinto, MP;
PUBLISHED: 2009, SOURCE: 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009 - 4th Iberian Conference on Information Systems and Technologies, CISTI 2009 in Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009, PAGES: 485-488
AUTHORS: Queiros, R ; Pinto, MP;
PUBLISHED: 2009, SOURCE: 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009 - 4th Iberian Conference on Information Systems and Technologies, CISTI 2009 in Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009, PAGES: 485-488
INDEXED IN: Scopus
Scopus887
TITLE: Extending the learning object definition to represent programming problems
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2009, SOURCE: Actas do INForum Simpósio de Informática: XML Aplicações e Tecnologias Associadas
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2009, SOURCE: Actas do INForum Simpósio de Informática: XML Aplicações e Tecnologias Associadas
INDEXED IN: Handle
Handle888
TITLE: High Level Thread-Based Competitive Or-Parallelism in Logtalk Full Text
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PAGES: 107-121
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PAGES: 107-121
889
TITLE: IMC: A Communication Protocol for Networked Vehicles and Sensors
AUTHORS: Ricardo Martins; Paulo Sousa Dias ; Eduardo R B Marques ; Jose Pinto ; Joao B Sousa ; Fernando L Pereira ;
PUBLISHED: 2009, SOURCE: OCEANS 2009 Conference in OCEANS 2009 - EUROPE, VOLS 1 AND 2, PAGES: 1263-1268
AUTHORS: Ricardo Martins; Paulo Sousa Dias ; Eduardo R B Marques ; Jose Pinto ; Joao B Sousa ; Fernando L Pereira ;
PUBLISHED: 2009, SOURCE: OCEANS 2009 Conference in OCEANS 2009 - EUROPE, VOLS 1 AND 2, PAGES: 1263-1268
890
TITLE: Improving the automatic evaluation of problem solutions in programming contests
AUTHORS: Ribeiro, P ; Guerreiro, P;
PUBLISHED: 2009, SOURCE: International Conference Joint with the 21st International Olympiad in Informatics, IOI 2009 in Olympiads in Informatics, VOLUME: 3, PAGES: 132-143
AUTHORS: Ribeiro, P ; Guerreiro, P;
PUBLISHED: 2009, SOURCE: International Conference Joint with the 21st International Olympiad in Informatics, IOI 2009 in Olympiads in Informatics, VOLUME: 3, PAGES: 132-143
INDEXED IN: Scopus
Scopus891
TITLE: Improving the efficiency of inductive logic programming systems Full Text
AUTHORS: Fonseca, NA ; Costa, VS ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLISHED: 2009, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 39, ISSUE: 2, PAGES: 189-219
AUTHORS: Fonseca, NA ; Costa, VS ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLISHED: 2009, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 39, ISSUE: 2, PAGES: 189-219
892
TITLE: Knowledge discovery for sensor network comprehension
AUTHORS: Rodrigues, PP ; Gama, J ; Lopes, L ;
PUBLISHED: 2009, SOURCE: Intelligent Techniques for Warehousing and Mining Sensor Network Data, PAGES: 118-135
AUTHORS: Rodrigues, PP ; Gama, J ; Lopes, L ;
PUBLISHED: 2009, SOURCE: Intelligent Techniques for Warehousing and Mining Sensor Network Data, PAGES: 118-135
893
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Gama, J ; Costa, VS ; Jorge, A ; Brazdil, P;
PUBLISHED: 2009, SOURCE: 12th International Conference on Discovery Science, DS 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5808 LNAI
AUTHORS: Gama, J ; Costa, VS ; Jorge, A ; Brazdil, P;
PUBLISHED: 2009, SOURCE: 12th International Conference on Discovery Science, DS 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5808 LNAI
INDEXED IN: Scopus
Scopus894
TITLE: Management of User Generated Multicast Sessions in IMS-based Networks
AUTHORS: Nuno Passaro; Antonio Pinto ; Manuel Ricardo ; Telma Mota; Filipe Pinto; Teresa Almeida; Joao Goncalves;
PUBLISHED: 2009, SOURCE: 3rd International Conference on Next Generation Mobile Applications, Services, and Technologies in THIRD INTERNATIONAL CONFERENCE ON NEXT GENERATION MOBILE APPLICATIONS, SERVICES, AND TECHNOLOGIES, PROCEEDINGS, PAGES: 3-8
AUTHORS: Nuno Passaro; Antonio Pinto ; Manuel Ricardo ; Telma Mota; Filipe Pinto; Teresa Almeida; Joao Goncalves;
PUBLISHED: 2009, SOURCE: 3rd International Conference on Next Generation Mobile Applications, Services, and Technologies in THIRD INTERNATIONAL CONFERENCE ON NEXT GENERATION MOBILE APPLICATIONS, SERVICES, AND TECHNOLOGIES, PROCEEDINGS, PAGES: 3-8
895
TITLE: Mapping e-learning interactions using social network analysis
AUTHORS: Figueira, A ;
PUBLISHED: 2009, SOURCE: 8th IASTED International Conference on Web-based Education, WBE 2009 in Proceedings of the 8th IASTED International Conference on Web-based Education, WBE 2009, PAGES: 66-72
AUTHORS: Figueira, A ;
PUBLISHED: 2009, SOURCE: 8th IASTED International Conference on Web-based Education, WBE 2009 in Proceedings of the 8th IASTED International Conference on Web-based Education, WBE 2009, PAGES: 66-72
INDEXED IN: Scopus
Scopus896
TITLE: Moodle - Criação e Gestão de cursos online
AUTHORS: Álvaro Figueira ;
PUBLISHED: 2009
AUTHORS: Álvaro Figueira ;
PUBLISHED: 2009
INDEXED IN: Handle
Handle897
TITLE: mtDNA GeneExtractor: A computer tool for mtDNA gene/region information extraction Full Text
AUTHORS: Fernando Freitas; Sandra Oliveira; Ricardo Rocha ; Luisa Pereira ;
PUBLISHED: 2009, SOURCE: MITOCHONDRION, VOLUME: 9, ISSUE: 1, PAGES: 36-40
AUTHORS: Fernando Freitas; Sandra Oliveira; Ricardo Rocha ; Luisa Pereira ;
PUBLISHED: 2009, SOURCE: MITOCHONDRION, VOLUME: 9, ISSUE: 1, PAGES: 36-40
898
TITLE: On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 113-125
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 113-125
899
TITLE: On Just in Time Indexing of Dynamic Predicates in Prolog
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 126-137
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 126-137
900
TITLE: ON THE STRENGTHENING OF OPENID AUTHENTICATION MECANISMS WITH THE PORTUGUESE CITIZEN CARD
AUTHORS: Filipa Falcao Reis; Diana Almeida; Manuel E. Correia ;
PUBLISHED: 2009, SOURCE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO, PAGES: 273-278
AUTHORS: Filipa Falcao Reis; Diana Almeida; Manuel E. Correia ;
PUBLISHED: 2009, SOURCE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO, PAGES: 273-278
INDEXED IN: Scopus 
WOS
Scopus WOS