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
421
TITLE: Towards a Framework for Gamified Programming Education
AUTHORS: Jakub Swacha; Ricardo Queiros ; Jose Carlos Paiva ;
PUBLISHED: 2019, SOURCE: International Symposium on Educational Technology (ISET) in 2019 INTERNATIONAL SYMPOSIUM ON EDUCATIONAL TECHNOLOGY (ISET 2019), PAGES: 144-149
AUTHORS: Jakub Swacha; Ricardo Queiros ; Jose Carlos Paiva ;
PUBLISHED: 2019, SOURCE: International Symposium on Educational Technology (ISET) in 2019 INTERNATIONAL SYMPOSIUM ON EDUCATIONAL TECHNOLOGY (ISET 2019), PAGES: 144-149
422
TITLE: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2
AUTHORS: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLISHED: 2019, SOURCE: XRDS, VOLUME: 26, ISSUE: 2, PAGES: 68-71
AUTHORS: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLISHED: 2019, SOURCE: XRDS, VOLUME: 26, ISSUE: 2, PAGES: 68-71
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef423
TITLE: Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I
AUTHORS: Diogo Fernandes; Inês Dutra ;
PUBLISHED: 2019, SOURCE: XRDS, VOLUME: 26, ISSUE: 1, PAGES: 64-66
AUTHORS: Diogo Fernandes; Inês Dutra ;
PUBLISHED: 2019, SOURCE: XRDS, VOLUME: 26, ISSUE: 1, PAGES: 64-66
INDEXED IN: DBLP
DBLP424
TITLE: Using HandSpy to Study Writing in Real Time: a Comparison between Low- and High-Quality Texts in Grade 2
AUTHORS: Rui A Alves ; José Paulo Leal ; Teresa Limpo;
PUBLISHED: 2019, SOURCE: Studies in Writing, VOLUME: 38, PAGES: 50-70
AUTHORS: Rui A Alves ; José Paulo Leal ; Teresa Limpo;
PUBLISHED: 2019, SOURCE: Studies in Writing, VOLUME: 38, PAGES: 50-70
425
TITLE: What is the Cost of the Index Selector Task for OFDM with Index Modulation?
AUTHORS: Queiroz, S; Vilela, J ; Monteiro, E;
PUBLISHED: 2019, SOURCE: Wireless Days Conference (WD) in 2019 WIRELESS DAYS (WD), VOLUME: 2019-April
AUTHORS: Queiroz, S; Vilela, J ; Monteiro, E;
PUBLISHED: 2019, SOURCE: Wireless Days Conference (WD) in 2019 WIRELESS DAYS (WD), VOLUME: 2019-April
426
TITLE: 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: LSFA, VOLUME: 338
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: LSFA, VOLUME: 338
INDEXED IN: DBLP
DBLP427
TITLE: 7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal
AUTHORS: Pedro Rangel Henriques; José Paulo Leal ; António Menezes Leitão; Xavier Gómez Guinovart;
PUBLISHED: 2018, SOURCE: SLATE, VOLUME: 62
AUTHORS: Pedro Rangel Henriques; José Paulo Leal ; António Menezes Leitão; Xavier Gómez Guinovart;
PUBLISHED: 2018, SOURCE: SLATE, VOLUME: 62
INDEXED IN: DBLP
DBLP428
TITLE: A Flexible Framework for Rogue Access Point Detection
AUTHORS: Ricardo Gonçalves; Manuel Eduardo Correia ; Pedro Brandão ;
PUBLISHED: 2018, SOURCE: ICETE (2), VOLUME: 2, PAGES: 632-637
AUTHORS: Ricardo Gonçalves; Manuel Eduardo Correia ; Pedro Brandão ;
PUBLISHED: 2018, SOURCE: ICETE (2), VOLUME: 2, PAGES: 632-637
INDEXED IN: 
Scopus DBLP
Scopus DBLP429
TITLE: A local algorithm to approximate the global clustering of streams generated in ubiquitous sensor networks
AUTHORS: Rodrigues, PP ; Araújo, J; Gama, J ; Lopes, L ;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, VOLUME: 14, ISSUE: 10, PAGES: 155014771880823
AUTHORS: Rodrigues, PP ; Araújo, J; Gama, J ; Lopes, L ;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, VOLUME: 14, ISSUE: 10, PAGES: 155014771880823
430
TITLE: A Methodology for Assessing the Resilience Against Email Phishing
AUTHORS: Magalhães, JP ; Antonio Pinto ;
PUBLISHED: 2018, SOURCE: 9th International Conference on Intelligent Systems (IS) in 2018 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS (IS), PAGES: 515-520
AUTHORS: Magalhães, JP ; Antonio Pinto ;
PUBLISHED: 2018, SOURCE: 9th International Conference on Intelligent Systems (IS) in 2018 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS (IS), PAGES: 515-520
431
TITLE: A Three-Step Data-Mining Analysis of Top-Ranked Higher Education Institutions' Communication on Facebook
AUTHORS: Alvaro Figueira ;
PUBLISHED: 2018, SOURCE: 6th International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM) in SIXTH INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY (TEEM'18), PAGES: 923-929
AUTHORS: Alvaro Figueira ;
PUBLISHED: 2018, SOURCE: 6th International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM) in SIXTH INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY (TEEM'18), PAGES: 923-929
432
TITLE: A Unifying Framework for Type Inhabitation
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2018, SOURCE: FSCD, VOLUME: 108, PAGES: 5:1-5:16
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2018, SOURCE: FSCD, VOLUME: 108, PAGES: 5:1-5:16
INDEXED IN: Scopus DBLP
Scopus DBLP433
TITLE: Adaptive Learning Models Evaluation in Twitter's Timelines
AUTHORS: Joana Cósta; Catarina Silva ; Mário Antunes ; Bernardete Ribeiro ;
PUBLISHED: 2018, SOURCE: 2018 International Joint Conference on Neural Networks, IJCNN 2018 in IJCNN, VOLUME: 2018-July, PAGES: 1-8
AUTHORS: Joana Cósta; Catarina Silva ; Mário Antunes ; Bernardete Ribeiro ;
PUBLISHED: 2018, SOURCE: 2018 International Joint Conference on Neural Networks, IJCNN 2018 in IJCNN, VOLUME: 2018-July, PAGES: 1-8
434
TITLE: An Automated System for Criminal Police Reports Analysis
AUTHORS: Gonçalo Carnaz; Vítor Beires Nogueira ; Mário Antunes ; Nuno M Fonseca Ferreira ;
PUBLISHED: 2018, SOURCE: SoCPaR, VOLUME: 942, PAGES: 360-369
AUTHORS: Gonçalo Carnaz; Vítor Beires Nogueira ; Mário Antunes ; Nuno M Fonseca Ferreira ;
PUBLISHED: 2018, SOURCE: SoCPaR, VOLUME: 942, PAGES: 360-369
435
TITLE: Analysis and Detection of Unreliable Users in Twitter: Two Case Studies
AUTHORS: Nuno Guimarães ; Álvaro Figueira ; Luís Torgo ;
PUBLISHED: 2018, SOURCE: 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2018 in IC3K, VOLUME: 1222 CCIS, PAGES: 50-73
AUTHORS: Nuno Guimarães ; Álvaro Figueira ; Luís Torgo ;
PUBLISHED: 2018, SOURCE: 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2018 in IC3K, VOLUME: 1222 CCIS, PAGES: 50-73
436
TITLE: Analysis of short blocklength codes for secrecy
AUTHORS: Harrison, WK; Sarmento, D; Vilela, JP ; Gomes, MAC;
PUBLISHED: 2018, SOURCE: EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING, VOLUME: 2018, ISSUE: 1
AUTHORS: Harrison, WK; Sarmento, D; Vilela, JP ; Gomes, MAC;
PUBLISHED: 2018, SOURCE: EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING, VOLUME: 2018, ISSUE: 1
437
TITLE: Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction?
AUTHORS: Ana Rebelo ; Tiago Oliveira ; Manuel Eduardo Correia ; Jaime S Cardoso ;
PUBLISHED: 2018, SOURCE: CIARP, VOLUME: 11401 LNCS, PAGES: 628-636
AUTHORS: Ana Rebelo ; Tiago Oliveira ; Manuel Eduardo Correia ; Jaime S Cardoso ;
PUBLISHED: 2018, SOURCE: CIARP, VOLUME: 11401 LNCS, PAGES: 628-636
438
TITLE: Assessing Containerized REST Services Performance in the Presence of Operator Faults
AUTHORS: Mariana Cunha ; Nuno Laranjeiro ;
PUBLISHED: 2018, SOURCE: Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018, PAGES: 95-100
AUTHORS: Mariana Cunha ; Nuno Laranjeiro ;
PUBLISHED: 2018, SOURCE: Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018, PAGES: 95-100
INDEXED IN: Scopus CrossRef
Scopus CrossRef439
TITLE: Asura: A Game-Based Assessment Environment for Mooshak (Short Paper)
AUTHORS: José Carlos Paiva ; José Paulo Leal ;
PUBLISHED: 2018, SOURCE: SLATE, VOLUME: 62, PAGES: 9:1-9:9
AUTHORS: José Carlos Paiva ; José Paulo Leal ;
PUBLISHED: 2018, SOURCE: SLATE, VOLUME: 62, PAGES: 9:1-9:9
INDEXED IN: Scopus DBLP
Scopus DBLP440
TITLE: atSNPInfrastructure, a Case Study for Searching Billions of Records While Providing Significant Cost Savings over Cloud Providers
AUTHORS: Christopher Harrison; Sündüz Keles; Rebecca Hudson; Sunyoung Shin; Inês Dutra ;
PUBLISHED: 2018, SOURCE: IPDPS Workshops, PAGES: 497-506
AUTHORS: Christopher Harrison; Sündüz Keles; Rebecca Hudson; Sunyoung Shin; Inês Dutra ;
PUBLISHED: 2018, SOURCE: IPDPS Workshops, PAGES: 497-506
