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: 1164
37 Team MembersFilters -> Year: 2025
461
TITLE: Inhabitation machines: determinism and principality
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017., PAGES: 57-70
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017., PAGES: 57-70
INDEXED IN: 
DBLP
DBLP462
TITLE: Introduction to the 33rd international conference on logic programming special issue
AUTHORS: Ricardo Rocha ; Tran Cao Son;
PUBLISHED: 2017, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6, PAGES: 684-688
AUTHORS: Ricardo Rocha ; Tran Cao Son;
PUBLISHED: 2017, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6, PAGES: 684-688
463
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
464
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
465
TITLE: Magni - A Framework for Developing Context-Aware Mobile Applications
AUTHORS: Queiros, 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: Queiros, 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
466
TITLE: Managing Diabetes: Counselling Supported by User Data in a Mobile Platform PDF
AUTHORS: Diogo Machado; Inês Dutra ; Pedro Brandão ; Vítor Santos Costa ;
PUBLISHED: 2017, SOURCE: 2017 Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017, RuleML+RR 2017 in Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017., VOLUME: 1875
AUTHORS: Diogo Machado; Inês Dutra ; Pedro Brandão ; Vítor Santos Costa ;
PUBLISHED: 2017, SOURCE: 2017 Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017, RuleML+RR 2017 in Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017., VOLUME: 1875
INDEXED IN: 
Scopus DBLP
Scopus DBLP467
TITLE: Managing Diabetes: Pattern Discovery and Counselling supported by user data in a mobile platform
AUTHORS: Diogo Machado; Tiago Paiva; Ines Dutra ; Vitor Santos Costa ; Pedro Brandao ;
PUBLISHED: 2017, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 296-299
AUTHORS: Diogo Machado; Tiago Paiva; Ines Dutra ; Vitor Santos Costa ; Pedro Brandao ;
PUBLISHED: 2017, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 296-299
468
TITLE: Markov logic networks for adverse drug event extraction from text Full Text
AUTHORS: Sriraam Natarajan; Vishal Bangera; Tushar Khot; Jose Picado; Anurag Wazalwar; Vitor Santos Costa ; David Page; Michael Caldwell;
PUBLISHED: 2017, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 51, ISSUE: 2, PAGES: 435-457
AUTHORS: Sriraam Natarajan; Vishal Bangera; Tushar Khot; Jose Picado; Anurag Wazalwar; Vitor Santos Costa ; David Page; Michael Caldwell;
PUBLISHED: 2017, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 51, ISSUE: 2, PAGES: 435-457
469
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
470
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
471
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
472
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
473
TITLE: On Applying Probabilistic Logic Programming to Breast Cancer Data
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: 27th International Conference on Inductive Logic Programming, ILP 2017 in Inductive Logic Programming - 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers, VOLUME: 10759, PAGES: 31-45
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: 27th International Conference on Inductive Logic Programming, ILP 2017 in Inductive Logic Programming - 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers, VOLUME: 10759, PAGES: 31-45
474
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
475
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
476
TITLE: On the use of stochastic local search techniques to revise first-order logic theories from examples Full Text
AUTHORS: Aline Paes; Gerson Zaverucha; Vitor Santos Costa ;
PUBLISHED: 2017, SOURCE: MACHINE LEARNING, VOLUME: 106, ISSUE: 2, PAGES: 197-241
AUTHORS: Aline Paes; Gerson Zaverucha; Vitor Santos Costa ;
PUBLISHED: 2017, SOURCE: MACHINE LEARNING, VOLUME: 106, ISSUE: 2, PAGES: 197-241
477
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
478
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
479
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: 4th Workshop on CrossCloud Infrastructures and Platforms, CrossCloud 2017 in Proceedings of the 4th Workshop on CrossCloud Infrastructures & Platforms, CrossCloud@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017, 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: 4th Workshop on CrossCloud Infrastructures and Platforms, CrossCloud 2017 in Proceedings of the 4th Workshop on CrossCloud Infrastructures & Platforms, CrossCloud@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017, PAGES: 5:1-5:7
480
TITLE: Performance Analysis of Network Traffic Predictors in the Cloud Full Text
AUTHORS: Bruno L Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLISHED: 2017, SOURCE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 25, ISSUE: 2, PAGES: 290-320
AUTHORS: Bruno L Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLISHED: 2017, SOURCE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 25, ISSUE: 2, PAGES: 290-320
