Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 1280

43 Team Members
Filters -> Year: 2026
521
TITLE: FOSTERING EFFICIENT LEARNING IN THE TECHNICAL FIELD OF ROBOTICS BY CHANGING THE AUTONOMOUS DRIVING COMPETITION OF THE PORTUGUESE ROBOTICS OPEN
AUTHORS: Valter Costa ; Joao Resende ; Patricia Sousa ; Armando Sousa ; Nuno Lau ; Luis Reis ;
PUBLISHED: 2017, SOURCE: 10th Annual International Conference of Education, Research and Innovation (ICERI) in 10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), PAGES: 7705-7711
INDEXED IN: WOS CrossRef: 1
523
TITLE: Improving Diagram Assessment in Mooshak
AUTHORS: Helder Correia; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2017, SOURCE: TEA, VOLUME: 829, PAGES: 69-82
INDEXED IN: Scopus DBLP CrossRef
524
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
INDEXED IN: Scopus WOS CrossRef: 5
525
TITLE: Inhabitation machines: determinism and principality
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: NCMA, PAGES: 57-70
INDEXED IN: DBLP
526
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
INDEXED IN: Scopus WOS DBLP CrossRef
527
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
INDEXED IN: Scopus WOS CrossRef: 2
528
TITLE: Journalistic Relevance Classification in Social Network Messages: an Exploratory Approach
AUTHORS: Sandim, M ; Fortuna, P ; Figueira, A ; Oliveira, L ;
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
529
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
530
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Handle
531
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
INDEXED IN: Scopus DBLP
532
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
INDEXED IN: Scopus WOS DBLP CrossRef: 5
533
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
INDEXED IN: Scopus WOS DBLP CrossRef: 7
535
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
INDEXED IN: Scopus DBLP CrossRef: 11
536
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
INDEXED IN: Scopus WOS DBLP CrossRef
537
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
INDEXED IN: Scopus WOS CrossRef: 7
538
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
INDEXED IN: Scopus DBLP CrossRef: 3
539
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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
540
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
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Page 27 of 64. Total results: 1280.