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: 1277
43 Team MembersFilters -> Year: 2026
521
TITLE: Improving Diagram Assessment in Mooshak
AUTHORS: Helder Correia; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2017, SOURCE: TEA, VOLUME: 829, PAGES: 69-82
AUTHORS: Helder Correia; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2017, SOURCE: TEA, VOLUME: 829, PAGES: 69-82
522
TITLE: Improving the benchmarking of social media content strategies using clustering and KPI
AUTHORS: Luciana Oliveira ; Alvaro Figueira ;
PUBLISHED: 2017, SOURCE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CENTERIS 2017 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2017 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2017 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 121, PAGES: 826-834
AUTHORS: Luciana Oliveira ; Alvaro Figueira ;
PUBLISHED: 2017, SOURCE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CENTERIS 2017 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2017 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2017 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 121, PAGES: 826-834
523
TITLE: Inhabitation machines: determinism and principality
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: NCMA, PAGES: 57-70
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: NCMA, PAGES: 57-70
INDEXED IN: 
DBLP
DBLP524
TITLE: Introduction to the 33rd international conference on logic programming special issue
AUTHORS: Rocha, R ; Son, TC;
PUBLISHED: 2017, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6, PAGES: 684-688
AUTHORS: Rocha, R ; Son, TC;
PUBLISHED: 2017, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6, PAGES: 684-688
525
TITLE: Joint Design of Massive MIMO Precoder and Security Scheme for Multiuser Scenarios under Reciprocal Channel Conditions Full Text
AUTHORS: Gustavo Anjos; Daniel Castanheira ; Adao Silva; Atilio Gameiro; Marco Gomes; Joao Vilela ;
PUBLISHED: 2017, SOURCE: WIRELESS COMMUNICATIONS & MOBILE COMPUTING, VOLUME: 2017, PAGES: 1-10
AUTHORS: Gustavo Anjos; Daniel Castanheira ; Adao Silva; Atilio Gameiro; Marco Gomes; Joao Vilela ;
PUBLISHED: 2017, SOURCE: WIRELESS COMMUNICATIONS & MOBILE COMPUTING, VOLUME: 2017, PAGES: 1-10
526
TITLE: Journalistic Relevance Classification in Social Network Messages: an Exploratory Approach
AUTHORS: Miguel Sandim ; Paula Fortuna ; Alvaro Figueira ; Luciana Oliveira ;
PUBLISHED: 2017, SOURCE: 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS) in COMPLEX NETWORKS & THEIR APPLICATIONS V, VOLUME: 693, PAGES: 631-642
AUTHORS: Miguel Sandim ; Paula Fortuna ; Alvaro Figueira ; Luciana Oliveira ;
PUBLISHED: 2017, SOURCE: 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS) in COMPLEX NETWORKS & THEIR APPLICATIONS V, VOLUME: 693, PAGES: 631-642
527
TITLE: JPC: A library for categorising and applying inter-language conversions between Java and Prolog Full Text
AUTHORS: Castro, S; Mens, K; Moura, P ;
PUBLISHED: 2017, SOURCE: 4th International Workshop on Academic Software Development Tools and Techniques in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 134, PAGES: 75-99
AUTHORS: Castro, S; Mens, K; Moura, P ;
PUBLISHED: 2017, SOURCE: 4th International Workshop on Academic Software Development Tools and Techniques in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 134, PAGES: 75-99
528
TITLE: Magni - A Framework for Developing Context-Aware Mobile Applications
AUTHORS: Queirós, R ; Filipe, Portela ; José Machado ;
PUBLISHED: 2017, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in RECENT ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 3, VOLUME: 571, PAGES: 417-426
AUTHORS: Queirós, R ; Filipe, Portela ; José Machado ;
PUBLISHED: 2017, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in RECENT ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 3, VOLUME: 571, PAGES: 417-426
529
TITLE: Managing Diabetes: Counselling Supported by User Data in a Mobile Platform
AUTHORS: Diogo Machado; Inês Dutra ; Pedro Brandão ; Vítor Santos Costa ;
PUBLISHED: 2017, SOURCE: RuleML+RR (Supplement), VOLUME: 1875
AUTHORS: Diogo Machado; Inês Dutra ; Pedro Brandão ; Vítor Santos Costa ;
PUBLISHED: 2017, SOURCE: RuleML+RR (Supplement), VOLUME: 1875
INDEXED IN: 
Scopus DBLP
Scopus DBLP530
TITLE: Managing Diabetes: Pattern Discovery and Counselling supported by user data in a mobile platform
AUTHORS: Machado, D; Paiva, T; Dutra, I ; Costa, VS ; Brandao, P ;
PUBLISHED: 2017, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 296-299
AUTHORS: Machado, D; Paiva, T; Dutra, I ; Costa, VS ; Brandao, P ;
PUBLISHED: 2017, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 296-299
531
TITLE: Markov logic networks for adverse drug event extraction from text Full Text
AUTHORS: Natarajan, S; Bangera, V; Khot, T; Picado, J; Wazalwar, A; Costa, VS ; Page, D; Caldwell, M;
PUBLISHED: 2017, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 51, ISSUE: 2, PAGES: 435-457
AUTHORS: Natarajan, S; Bangera, V; Khot, T; Picado, J; Wazalwar, A; Costa, VS ; Page, D; Caldwell, M;
PUBLISHED: 2017, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 51, ISSUE: 2, PAGES: 435-457
532
TITLE: Measuring the return on communication investments on social media: The case of the higher education sector. The case of the higher education sector
AUTHORS: Luciana Oliveira ; Álvaro Figueira ;
PUBLISHED: 2017, SOURCE: 9th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2017 in Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017, Sydney, Australia, July 31 - August 03, 2017, PAGES: 1140-1143
AUTHORS: Luciana Oliveira ; Álvaro Figueira ;
PUBLISHED: 2017, SOURCE: 9th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2017 in Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017, Sydney, Australia, July 31 - August 03, 2017, PAGES: 1140-1143
533
TITLE: Mining Moodle Logs for Grade Prediction: A methodology walk-through. A methodology walk-through
AUTHORS: Álvaro Figueira ;
PUBLISHED: 2017, SOURCE: 5th International Conference on Technological Ecosystem for Enhancing Multiculturality, TEEM 2017 in Proceedings of the 5th International Conference on Technological Ecosystems for Enhancing Multiculturality, TEEM 2017, Cádiz, Spain, October 18 - 20, 2017, VOLUME: Part F132203, PAGES: 44:1-44:8
AUTHORS: Álvaro Figueira ;
PUBLISHED: 2017, SOURCE: 5th International Conference on Technological Ecosystem for Enhancing Multiculturality, TEEM 2017 in Proceedings of the 5th International Conference on Technological Ecosystems for Enhancing Multiculturality, TEEM 2017, Cádiz, Spain, October 18 - 20, 2017, VOLUME: Part F132203, PAGES: 44:1-44:8
534
TITLE: MuSec: Sonification of Alarms Generated by a SIEM
AUTHORS: Sousa, L; Pinto, A ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 32-39
AUTHORS: Sousa, L; Pinto, A ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 32-39
535
TITLE: Network Motifs Detection Using Random Networks with Prescribed Subgraph Frequencies
AUTHORS: Miguel E P Silva ; Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2017, SOURCE: 8th Conference on Complex Networks (CompleNet) in COMPLEX NETWORKS VIII, VOLUME: Part F2, PAGES: 17-29
AUTHORS: Miguel E P Silva ; Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2017, SOURCE: 8th Conference on Complex Networks (CompleNet) in COMPLEX NETWORKS VIII, VOLUME: Part F2, PAGES: 17-29
536
TITLE: On Applying Probabilistic Logic Programming to Breast Cancer Data
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: ILP, VOLUME: 10759 LNAI, PAGES: 31-45
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: ILP, VOLUME: 10759 LNAI, PAGES: 31-45
537
TITLE: On scaling dynamic programming problems with a multithreaded tabling, Prolog system Full Text
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2017, SOURCE: 1st International Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH Conference in JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 125, PAGES: 417-426
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2017, SOURCE: 1st International Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH Conference in JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 125, PAGES: 417-426
538
TITLE: On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems Full Text
AUTHORS: Goncalves, R; Miguel Areias ; Rocha, R ;
PUBLISHED: 2017, SOURCE: INFORMATION, VOLUME: 8, ISSUE: 4, PAGES: 129
AUTHORS: Goncalves, R; Miguel Areias ; Rocha, R ;
PUBLISHED: 2017, SOURCE: INFORMATION, VOLUME: 8, ISSUE: 4, PAGES: 129
539
TITLE: On the use of stochastic local search techniques to revise first-order logic theories from examples Full Text
AUTHORS: Paes, A; Zaverucha, G; Costa, VS ;
PUBLISHED: 2017, SOURCE: MACHINE LEARNING, VOLUME: 106, ISSUE: 2, PAGES: 197-241
AUTHORS: Paes, A; Zaverucha, G; Costa, VS ;
PUBLISHED: 2017, SOURCE: MACHINE LEARNING, VOLUME: 106, ISSUE: 2, PAGES: 197-241
540
TITLE: Online Conversation Application with Confidentiality, Anonymity, and Identity Requirements
AUTHORS: Fernandes, P; Pinto, A ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 40-46
AUTHORS: Fernandes, P; Pinto, A ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 40-46
