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: 1130

37 Team Members
Filters -> Year: 2025
541
TITLE: DOTS: Drift Oriented Tool System
AUTHORS: Joana Costa; Catarina Silva ; Mario Antunes ; Bernardete Ribeiro ;
PUBLISHED: 2015, SOURCE: 22nd International Conference on Neural Information Processing (ICONIP) in NEURAL INFORMATION PROCESSING, ICONIP 2015, PT IV, VOLUME: 9492, PAGES: 615-623
INDEXED IN: Scopus WOS DBLP CrossRef: 4
542
TITLE: Dynamic inference of social roles in information cascades  Full Text
AUTHORS: Sarvenaz Choobdar ; Pedro Ribeiro ; Srinivasan Parthasarathy; Fernando Silva ;
PUBLISHED: 2015, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 29, ISSUE: 5, PAGES: 1152-1177
INDEXED IN: Scopus WOS DBLP CrossRef: 8
543
TITLE: Exploring multi-relational temporal databases with a propositional sequence miner  Full Text
AUTHORS: Ferreira, Carlos Abreu ; Gama, Joao ; Costa, Vitor Santos ;
PUBLISHED: 2015, SOURCE: PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 4, ISSUE: 1-2, PAGES: 11-20
INDEXED IN: Scopus WOS DBLP CrossRef: 3
544
TITLE: Guest editors' introduction: special issue on Inductive Logic Programming and on Multi-Relational Learning  Full Text
AUTHORS: Gerson Zaverucha; Vitor Santos Costa ;
PUBLISHED: 2015, SOURCE: MACHINE LEARNING, VOLUME: 100, ISSUE: 1, PAGES: 1-3
INDEXED IN: Scopus WOS DBLP CrossRef
545
TITLE: Health Twitter Big Bata Management with Hadoop Framework
AUTHORS: Cunha, J; Silva, C ; Antunes, M ;
PUBLISHED: 2015, SOURCE: 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 CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, VOLUME: 64, PAGES: 425-431
INDEXED IN: Scopus WOS DBLP CrossRef: 21
546
TITLE: Human pluripotent stem cell-derived neural constructs for predicting neural toxicity
AUTHORS: Michael P Schwartz; Zhonggang G Hou; Nicholas E Propson; Jue Zhang; Collin J Engstrom; Vitor Santos Costa ; Peng Jiang; Bao Kim Nguyen; Jennifer M Bolin; William Daly; Yu Wang; Ron Stewart; David D Page; William L Murphy; James A Thomson;
PUBLISHED: 2015, SOURCE: PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, VOLUME: 112, ISSUE: 40, PAGES: 12516-12521
INDEXED IN: Scopus WOS CrossRef: 262
547
TITLE: Interleaved coding for secrecy with a hidden key
AUTHORS: Sarmento, D; Vilela, J ; Harrison, WK; Gomes, M;
PUBLISHED: 2015, SOURCE: IEEE Globecom Workshops, GC Wkshps 2015 in 2015 IEEE Globecom Workshops, GC Wkshps 2015 - Proceedings
INDEXED IN: Scopus CrossRef: 13
548
TITLE: Interleaved Coding for Secrecy with a Hidden Key
AUTHORS: Dinis Sarmento; Joao P Vilela ; Willie K Harrison; Marco Gomes;
PUBLISHED: 2015, SOURCE: IEEE Globecom Workshops (GC Wkshps) in 2015 IEEE GLOBECOM WORKSHOPS (GC WKSHPS)
INDEXED IN: WOS
549
550
TITLE: Languages, Applications and Technologies - 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers
AUTHORS: José Luis Sierra Rodríguez; José Paulo Leal ; Alberto Simões ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies, SLATE 2015 in SLATE, VOLUME: 563
INDEXED IN: Scopus DBLP CrossRef: 2
551
TITLE: Liquid Intersection Types  Full Text
AUTHORS: Mario Pereira; Sandra Alves ; Mario Florido ;
PUBLISHED: 2015, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 177, ISSUE: 177, PAGES: 24-42
INDEXED IN: WOS DBLP CrossRef: 2
552
TITLE: Long term goal oriented recommender systems
AUTHORS: Nabizadeh, AH ; Jorge, AM ; Leal, JP ;
PUBLISHED: 2015, SOURCE: 11th International Conference on Web Information Systems and Technologies, WEBIST 2015 in WEBIST 2015 - 11th International Conference on Web Information Systems and Technologies, Proceedings, PAGES: 552-557
INDEXED IN: Scopus DBLP CrossRef: 4
555
TITLE: Multithreaded Tabling for Logic Programming
AUTHORS: Miguel Areias ;
PUBLISHED: 2015
INDEXED IN: DBLP Handle
556
TITLE: Network comparison using directed graphlets PDF
AUTHORS: David Oliveira Aparício ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1511.01964
INDEXED IN: DBLP arXiv
557
TITLE: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; Manuel Ribeiro; Jose Pinto ; Joao B Sousa ; Francisco Martins ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 331-334
INDEXED IN: Scopus WOS DBLP CrossRef: 5
558
TITLE: Odin: a service for gamification of learning activities
AUTHORS: José P Leal ; José Paiva; Ricardo Queirós;
PUBLISHED: 2015, SOURCE: Symposium on Languages, Applications and Technologies (SLATE), 4th
INDEXED IN: Handle
559
TITLE: Odin: A Service for Gamification of Learning Activities
AUTHORS: Jose Carlos Paiva ; Jose Paulo Leal ; Ricardo Queiros ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 194-204
INDEXED IN: Scopus WOS DBLP CrossRef: 6
560
TITLE: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2015, SOURCE: 17th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, VOLUME: 9131, PAGES: 34-49
INDEXED IN: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Page 28 of 57. Total results: 1130.