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: 1276
43 Team MembersFilters -> Year: 2026
521
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
522
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
523
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
524
TITLE: JPC: A library for categorising and applying inter-language conversions between Java and Prolog
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
525
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
526
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 DBLP527
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
528
TITLE: Markov logic networks for adverse drug event extraction from 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
529
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
530
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
531
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
532
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
533
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
534
TITLE: On scaling dynamic programming problems with a multithreaded tabling, Prolog system
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
535
TITLE: On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems
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
536
TITLE: On the use of stochastic local search techniques to revise first-order logic theories from examples
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
537
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
538
TITLE: Ontology-Based Framework Applied to Money Laundering Investigations
AUTHORS: Gonçalo Carnaz; Vitor B Nogueira; Mário Antunes ;
PUBLISHED: 2017
AUTHORS: Gonçalo Carnaz; Vitor B Nogueira; Mário Antunes ;
PUBLISHED: 2017
539
TITLE: Optimising the calculation of statistical functions
AUTHORS: André Valente Rodrigues; Carla Silva ; Paulo Ricardo Amorim Borges; Sergio Silva; Inês Dutra ;
PUBLISHED: 2017, SOURCE: Int. J. Big Data Intell., VOLUME: 4, ISSUE: 2, PAGES: 123-138
AUTHORS: André Valente Rodrigues; Carla Silva ; Paulo Ricardo Amorim Borges; Sergio Silva; Inês Dutra ;
PUBLISHED: 2017, SOURCE: Int. J. Big Data Intell., VOLUME: 4, ISSUE: 2, PAGES: 123-138
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef540
TITLE: P3-Mobile: Parallel Computing for Mobile Edge-Clouds. Parallel Computing for Mobile Edge-Clouds
AUTHORS: Joaquim Silva ; Daniel Silva; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: CCB@EuroSys, PAGES: 5:1-5:7
AUTHORS: Joaquim Silva ; Daniel Silva; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: CCB@EuroSys, PAGES: 5:1-5:7
