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: 1130
37 Team MembersFilters -> Year: 2025
841
TITLE: E-learning frameworks: a survey
AUTHORS: Ricardo Queirós ; José P Leal ;
PUBLISHED: 2010, SOURCE: Proceedings of the 4th International Technology, Education and Development Conference
AUTHORS: Ricardo Queirós ; José P Leal ;
PUBLISHED: 2010, SOURCE: Proceedings of the 4th International Technology, Education and Development Conference
INDEXED IN: 
Handle
Handle842
TITLE: Efficient Parallel Subgraph Counting Using G-Tries
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ; Luís M B Lopes ;
PUBLISHED: 2010, SOURCE: Proceedings of the 2010 IEEE International Conference on Cluster Computing, Heraklion, Crete, Greece, 20-24 September, 2010, PAGES: 217-226
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ; Luís M B Lopes ;
PUBLISHED: 2010, SOURCE: Proceedings of the 2010 IEEE International Conference on Cluster Computing, Heraklion, Crete, Greece, 20-24 September, 2010, PAGES: 217-226
843
TITLE: Efficient Subgraph Frequency Estimation with G-Tries Full Text
AUTHORS: Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Algorithms in Bioinformatics in ALGORITHMS IN BIOINFORMATICS, VOLUME: 6293, PAGES: 238-249
AUTHORS: Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Algorithms in Bioinformatics in ALGORITHMS IN BIOINFORMATICS, VOLUME: 6293, PAGES: 238-249
844
TITLE: ELEARNING FRAMEWORKS: A SURVEY
AUTHORS: Jose Paulo Leal ; Ricardo Queiros ;
PUBLISHED: 2010, SOURCE: 4th International Technology, Education and Development Conference (INTED) in 4TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED 2010), PAGES: 1345-1354
AUTHORS: Jose Paulo Leal ; Ricardo Queiros ;
PUBLISHED: 2010, SOURCE: 4th International Technology, Education and Development Conference (INTED) in 4TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED 2010), PAGES: 1345-1354
INDEXED IN: 
WOS
WOS845
TITLE: ESEIG Mobile: An m-Learning Approach in a Superior School
AUTHORS: Ricardo Queiros ; Mario Pinto;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT II, VOLUME: 110, ISSUE: PART 2, PAGES: 355-363
AUTHORS: Ricardo Queiros ; Mario Pinto;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT II, VOLUME: 110, ISSUE: PART 2, PAGES: 355-363
846
TITLE: Feeding the beast: managing your collections of problems
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Edujudge system handbook: how to organize programming competitions in Moodle courses
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Edujudge system handbook: how to organize programming competitions in Moodle courses
INDEXED IN: Handle
Handle847
TITLE: Friendly Jamming for Wireless Secrecy
AUTHORS: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Communications in 2010 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS
AUTHORS: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Communications in 2010 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS
848
TITLE: From e-learning systems to specialised e-learning services
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: A new learning paradigm: competition supported by technology
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: A new learning paradigm: competition supported by technology
INDEXED IN: Handle
Handle849
TITLE: g-tries: an efficient data structure for discovering network motifs. an efficient data structure for discovering network motifs
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, PAGES: 1559-1566
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, PAGES: 1559-1566
850
TITLE: Gender Differences in Internet Usage Habits: A Case Study in Higher Education
AUTHORS: Babo, R; Lopes, CT ; Rodrigues, AC; Pinto, M; Queiros, R ; de Oliveira, PC;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 1-2, VOLUME: 1, PAGES: 385-396
AUTHORS: Babo, R; Lopes, CT ; Rodrigues, AC; Pinto, M; Queiros, R ; de Oliveira, PC;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 1-2, VOLUME: 1, PAGES: 385-396
INDEXED IN: 
Scopus WOS Handle
Scopus WOS Handle851
TITLE: Gestão de projectos TI e administração centralizada de sistemas e redes: cenários práticos em contexto empresarial
AUTHORS: Mário Antunes ;
PUBLISHED: 2010
AUTHORS: Mário Antunes ;
PUBLISHED: 2010
INDEXED IN: Handle
Handle852
TITLE: Godel's system T revisited Full Text
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
853
TITLE: Hábitos de utilização da internet nos alunos do ensino superior: caso de estudo
AUTHORS: Ana C Rodrigues; Mário Pinto; Ricardo Queirós ; Rosalina Babo; Carla T Lopes ; Paulo C d Oliveira;
PUBLISHED: 2010, SOURCE: Recursos humanos: das teorias às boas práticas: os artigos de investigação e intervenção
AUTHORS: Ana C Rodrigues; Mário Pinto; Ricardo Queirós ; Rosalina Babo; Carla T Lopes ; Paulo C d Oliveira;
PUBLISHED: 2010, SOURCE: Recursos humanos: das teorias às boas práticas: os artigos de investigação e intervenção
INDEXED IN: Handle
Handle854
TITLE: INTEGRATION OF REPOSITORIES IN ELEARNING SYSTEMS
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Enterprise Information Systems (ICEIS 2010) in ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 1: DATABASES AND INFORMATION SYSTEMS INTEGRATION, VOLUME: 1 DISI, PAGES: 127-132
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Enterprise Information Systems (ICEIS 2010) in ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 1: DATABASES AND INFORMATION SYSTEMS INTEGRATION, VOLUME: 1 DISI, PAGES: 127-132
INDEXED IN: Scopus WOS 
DBLP Handle
Scopus WOS DBLP Handle855
TITLE: Integration of repositories in Moodle
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010, SOURCE: XML, Associated Technologies and Applications
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010, SOURCE: XML, Associated Technologies and Applications
INDEXED IN: Handle
Handle856
TITLE: Lightweight Fault-Tolerance for Peer-to-Peer Middleware Full Text
AUTHORS: Rolando Martins ; Priya Narasimhan ; Luis Lopes ; Fernando Silva ;
PUBLISHED: 2010, SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PAGES: 313-317
AUTHORS: Rolando Martins ; Priya Narasimhan ; Luis Lopes ; Fernando Silva ;
PUBLISHED: 2010, SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PAGES: 313-317
857
TITLE: Linear Recursion PDF
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
INDEXED IN: DBLP 
arXiv
DBLP arXiv858
TITLE: Linearity and iterator types for Gödel's System ℐ
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLISHED: 2010, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 23, ISSUE: 1, PAGES: 1-27
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLISHED: 2010, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 23, ISSUE: 1, PAGES: 1-27
859
TITLE: Modelling non-trivial evaluation processes
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Conference on Enterprise Information Systems
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Conference on Enterprise Information Systems
INDEXED IN: Handle
Handle860
TITLE: On the Implementation of the CLP(BN) Language
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 234-248
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 234-248
