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: 1133
37 Team MembersFilters -> Year: 2025
521
TITLE: Processing Markov Logic Networks with GPUs: Accelerating Network Grounding
AUTHORS: Carlos A Alberto Martinez Angeles; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLISHED: 2016, SOURCE: 25th International Conference on Inductive Logic Programming (ILP) in INDUCTIVE LOGIC PROGRAMMING, ILP 2015, VOLUME: 9575, PAGES: 122-136
AUTHORS: Carlos A Alberto Martinez Angeles; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLISHED: 2016, SOURCE: 25th International Conference on Inductive Logic Programming (ILP) in INDUCTIVE LOGIC PROGRAMMING, ILP 2015, VOLUME: 9575, PAGES: 122-136
522
TITLE: Relational Learning with GPUs: Accelerating Rule Coverage Full Text
AUTHORS: Carlos A Alberto Martinez Angeles; Haicheng C Wu; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, ISSUE: 3, PAGES: 663-685
AUTHORS: Carlos A Alberto Martinez Angeles; Haicheng C Wu; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, ISSUE: 3, PAGES: 663-685
523
TITLE: Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction
AUTHORS: Sandra Alves ;
PUBLISHED: 2016, SOURCE: SIGLOG News, VOLUME: 3, ISSUE: 4, PAGES: 50-54
AUTHORS: Sandra Alves ;
PUBLISHED: 2016, SOURCE: SIGLOG News, VOLUME: 3, ISSUE: 4, PAGES: 50-54
INDEXED IN: 
DBLP
DBLP524
TITLE: Semantic Measures: How Similar? How Related?
AUTHORS: Teresa Costa ; Jose Paulo Leal ;
PUBLISHED: 2016, SOURCE: 16th International Conference on Web Engineering (ICWE) in WEB ENGINEERING (ICWE 2016), VOLUME: 9671, PAGES: 431-438
AUTHORS: Teresa Costa ; Jose Paulo Leal ;
PUBLISHED: 2016, SOURCE: 16th International Conference on Web Engineering (ICWE) in WEB ENGINEERING (ICWE 2016), VOLUME: 9671, PAGES: 431-438
525
TITLE: Smartphones as M2M Gateways in Smart Cities IoT Applications
AUTHORS: Pereira, C; Rodrigues, J; Pinto, A ; Rocha, P; Santiago, F; Sousa, J ; Aguiar, A ;
PUBLISHED: 2016, SOURCE: 23rd International Conference on Telecommunications (ICT) in 2016 23RD INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS (ICT), PAGES: 1-7
AUTHORS: Pereira, C; Rodrigues, J; Pinto, A ; Rocha, P; Santiago, F; Sousa, J ; Aguiar, A ;
PUBLISHED: 2016, SOURCE: 23rd International Conference on Telecommunications (ICT) in 2016 23RD INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS (ICT), PAGES: 1-7
526
TITLE: Sni'per: a Code Snippet RESTful API
AUTHORS: Ricardo Queirós ; Alberto Simões;
PUBLISHED: 2016, SOURCE: 5th Symposium on Languages, Applications and Technologies, SLATE 2016 in 5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia, VOLUME: 51, PAGES: 13:1-13:11
AUTHORS: Ricardo Queirós ; Alberto Simões;
PUBLISHED: 2016, SOURCE: 5th Symposium on Languages, Applications and Technologies, SLATE 2016 in 5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia, VOLUME: 51, PAGES: 13:1-13:11
INDEXED IN: 
Scopus DBLP
Scopus DBLP527
TITLE: The G-ACM Tool: using the Drools Rule Engine for Access Control Management PDF
AUTHORS: João Sá; Sandra Alves ; Sabine Broda ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1611.08547
AUTHORS: João Sá; Sandra Alves ; Sabine Broda ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1611.08547
INDEXED IN: DBLP 
arXiv
DBLP arXiv528
TITLE: Workshop message: Smart Vehicles 2016
AUTHORS: Festag, A; Boban, M; Kenney, JB; Vilela, JP ;
PUBLISHED: 2016, SOURCE: 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2016 in WoWMoM 2016 - 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks
AUTHORS: Festag, A; Boban, M; Kenney, JB; Vilela, JP ;
PUBLISHED: 2016, SOURCE: 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2016 in WoWMoM 2016 - 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef529
TITLE: A Framework for the Analysis of Access Control Policies with Emergency Management
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PAGES: 89-105
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PAGES: 89-105
530
TITLE: A Framework for the Secure Storage of Data Generated in the IoT
AUTHORS: Ricardo Costa ; António Pinto ;
PUBLISHED: 2015, SOURCE: 6th International Symposium on Ambient Intelligence, ISAmI 2015 in Ambient Intelligence - Software and Applications - 6th International Symposium on Ambient Intelligence, ISAmI 2015, Salamanca, Spain, June 3-5, 2015., VOLUME: 376, PAGES: 175-182
AUTHORS: Ricardo Costa ; António Pinto ;
PUBLISHED: 2015, SOURCE: 6th International Symposium on Ambient Intelligence, ISAmI 2015 in Ambient Intelligence - Software and Applications - 6th International Symposium on Ambient Intelligence, ISAmI 2015, Salamanca, Spain, June 3-5, 2015., VOLUME: 376, PAGES: 175-182
531
TITLE: A Parallel Computing Hybrid Approach for Feature Selection
AUTHORS: Jorge Silva ; Ana Aguiar ; Fernando Silva ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 97-104
AUTHORS: Jorge Silva ; Ana Aguiar ; Fernando Silva ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 97-104
533
TITLE: A Structural Approach to Assess Graph-Based Exercises
AUTHORS: Ruben Sousa; Jose Paulo Leal ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
AUTHORS: Ruben Sousa; Jose Paulo Leal ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
534
TITLE: A Typed Language for Events
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
535
TITLE: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
AUTHORS: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PAGES: 148-163
AUTHORS: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PAGES: 148-163
536
TITLE: Active Manifold Learning with Twitter Big Data
AUTHORS: Catarina Silva ; Mario Antunes ; Joana Costa; Bernardete Ribeiro ;
PUBLISHED: 2015, SOURCE: INNS Conference on Big Data in INNS CONFERENCE ON BIG DATA 2015 PROGRAM, VOLUME: 53, ISSUE: 1, PAGES: 208-215
AUTHORS: Catarina Silva ; Mario Antunes ; Joana Costa; Bernardete Ribeiro ;
PUBLISHED: 2015, SOURCE: INNS Conference on Big Data in INNS CONFERENCE ON BIG DATA 2015 PROGRAM, VOLUME: 53, ISSUE: 1, PAGES: 208-215
537
TITLE: Automatic network configuration in virtualized environment using GNS3
AUTHORS: Rodrigo Emiliano; Mario Antunes ;
PUBLISHED: 2015, SOURCE: 10th International Conference on Computer Science and Education (ICCSE) in 10TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2015), PAGES: 25-30
AUTHORS: Rodrigo Emiliano; Mario Antunes ;
PUBLISHED: 2015, SOURCE: 10th International Conference on Computer Science and Education (ICCSE) in 10TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2015), PAGES: 25-30
538
TITLE: Batched Evaluation of Full-Sharing Multithreaded Tabling
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 113-124
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 113-124
539
TITLE: Benchmarking analysis of social media strategies in the Higher Education Sector
AUTHORS: Oliveira, L ; Figueira, A ;
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: 779-786
AUTHORS: Oliveira, L ; Figueira, A ;
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: 779-786
540
TITLE: Cross-Layer Admission Control to Enhance the Support of Real-Time Applications in WSN Full Text
AUTHORS: Pinto, P ; Pinto, A ; Ricardo, M ;
PUBLISHED: 2015, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 15, ISSUE: 12, PAGES: 6945-6953
AUTHORS: Pinto, P ; Pinto, A ; Ricardo, M ;
PUBLISHED: 2015, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 15, ISSUE: 12, PAGES: 6945-6953
