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: 1287
43 Team MembersFilters -> Year: 2026
981
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 Handle982
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
Handle983
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
984
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
Handle985
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 Handle986
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
987
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 arXiv988
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
989
TITLE: Modeling and planning collaboration using organizational constraints
AUTHORS: Michael Igler; Paulo Moura ; Matthias Färber; Michael Zeising; Stefan Jablonski;
PUBLISHED: 2010, SOURCE: 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2010 in The 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2010, Chicago, IL, USA, 9-12 October 2010, PAGES: 1-10
AUTHORS: Michael Igler; Paulo Moura ; Matthias Färber; Michael Zeising; Stefan Jablonski;
PUBLISHED: 2010, SOURCE: 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2010 in The 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2010, Chicago, IL, USA, 9-12 October 2010, PAGES: 1-10
INDEXED IN: Scopus DBLP
Scopus DBLP990
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
Handle991
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
992
TITLE: PARALLEL CALCULATION OF SUBGRAPH CENSUS IN BIOLOGICAL NETWORKS
AUTHORS: Ribeiro, P ; Silva, F ; Lopes, L ;
PUBLISHED: 2010, SOURCE: 1st International Conference on Bioinformatics (BIOINFORMATICS 2010) in BIONFORMATICS 2010: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON BIOINFORMATICS, PAGES: 56-65
AUTHORS: Ribeiro, P ; Silva, F ; Lopes, L ;
PUBLISHED: 2010, SOURCE: 1st International Conference on Bioinformatics (BIOINFORMATICS 2010) in BIONFORMATICS 2010: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON BIOINFORMATICS, PAGES: 56-65
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP993
TITLE: Patient Empowerment by the Means of Citizen-managed Electronic Health Records: Web 2.0 Health Digital Identity
AUTHORS: Falcao Reis, F; Correia, ME ;
PUBLISHED: 2010, SOURCE: 7th Annual Conference of the International-Council-on-Medical-and-Care-Compunetics (ICMCC) in MEDICAL AND CARE COMPUNETICS 6, VOLUME: 156, PAGES: 214-228
AUTHORS: Falcao Reis, F; Correia, ME ;
PUBLISHED: 2010, SOURCE: 7th Annual Conference of the International-Council-on-Medical-and-Care-Compunetics (ICMCC) in MEDICAL AND CARE COMPUNETICS 6, VOLUME: 156, PAGES: 214-228
994
TITLE: Portability of Prolog programs: Theory and case-studies PDF
AUTHORS: Wielemaker, J; Santos Costa, VS ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming, ICLP 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments - CICLOPS-WLPE 2010 in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010, VOLUME: abs/1009.3796, PAGES: 05
AUTHORS: Wielemaker, J; Santos Costa, VS ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming, ICLP 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments - CICLOPS-WLPE 2010 in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010, VOLUME: abs/1009.3796, PAGES: 05
INDEXED IN: Scopus DBLP arXiv
Scopus DBLP arXiv995
TITLE: Predicting the Start of Protein alpha-Helices Using Machine Learning Algorithms Full Text
AUTHORS: Rui Camacho ; Rita Ferreira; Natacha Rosa; Vania Guimaraes; Nuno A Fonseca ; Vitor Santos Costa ; Miguel de Sousa; Alexandre Magalhaes ;
PUBLISHED: 2010, SOURCE: 4th International workshop on Practical Applications of Computational Biology & Bioinformatics in ADVANCES IN BIOINFORMATICS, VOLUME: 74, PAGES: 33-41
AUTHORS: Rui Camacho ; Rita Ferreira; Natacha Rosa; Vania Guimaraes; Nuno A Fonseca ; Vitor Santos Costa ; Miguel de Sousa; Alexandre Magalhaes ;
PUBLISHED: 2010, SOURCE: 4th International workshop on Practical Applications of Computational Biology & Bioinformatics in ADVANCES IN BIOINFORMATICS, VOLUME: 74, PAGES: 33-41
996
TITLE: Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ; Angelika Kimmig; Gerda Janssens;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 260-272
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ; Angelika Kimmig; Gerda Janssens;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 260-272
997
TITLE: Probabilistic inductive querying using problog
AUTHORS: De Raedt, L; Kimmig, A; Gutmann, B; Kersting, K; Costa, VS ; Toivonen, H;
PUBLISHED: 2010, SOURCE: Inductive Databases and Constraint-Based Data Mining, PAGES: 229-262
AUTHORS: De Raedt, L; Kimmig, A; Gutmann, B; Kersting, K; Costa, VS ; Toivonen, H;
PUBLISHED: 2010, SOURCE: Inductive Databases and Constraint-Based Data Mining, PAGES: 229-262
998
TITLE: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 130-142
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 130-142
999
TITLE: Reusable and Inter-Operable Web-Based Intelligent Tutoring Systems Using SCORM 2004
AUTHORS: Gustavo Santos; Alvaro Figueira ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 521-527
AUTHORS: Gustavo Santos; Alvaro Figueira ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 521-527
INDEXED IN: Scopus WOS
Scopus WOS1000
TITLE: Secure multicast in IPTV services Full Text
AUTHORS: Antonio Pinto ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: COMPUTER NETWORKS, VOLUME: 54, ISSUE: 10, PAGES: 1531-1542
AUTHORS: Antonio Pinto ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: COMPUTER NETWORKS, VOLUME: 54, ISSUE: 10, PAGES: 1531-1542
