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: 1286
43 Team MembersFilters -> Year: 2026
421
TITLE: Temporal network alignment via GoT-WAVE Full Text
AUTHORS: Aparício, D ; Ribeiro, P ; Milenkovic, Tijana ; Silva, F ;
PUBLISHED: 2019, SOURCE: BIOINFORMATICS, VOLUME: 35, ISSUE: 18, PAGES: 3527-3529
AUTHORS: Aparício, D ; Ribeiro, P ; Milenkovic, Tijana ; Silva, F ;
PUBLISHED: 2019, SOURCE: BIOINFORMATICS, VOLUME: 35, ISSUE: 18, PAGES: 3527-3529
422
TITLE: TENSORCAST: forecasting and mining with coupled tensors Full Text
AUTHORS: Miguel Araujo ; Pedro Ribeiro ; Hyun Ah Song; Christos Faloutsos;
PUBLISHED: 2019, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 59, ISSUE: 3, PAGES: 497-522
AUTHORS: Miguel Araujo ; Pedro Ribeiro ; Hyun Ah Song; Christos Faloutsos;
PUBLISHED: 2019, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 59, ISSUE: 3, PAGES: 497-522
423
TITLE: Termination of lambda-calculus linearisation methods
AUTHORS: Sandra Alves ;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 292
AUTHORS: Sandra Alves ;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 292
INDEXED IN: 
Scopus
Scopus424
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
425
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: ACM Crossroads, VOLUME: 26, ISSUE: 2, PAGES: 68-71
AUTHORS: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLISHED: 2019, SOURCE: ACM Crossroads, VOLUME: 26, ISSUE: 2, PAGES: 68-71
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef426
TITLE: Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I
AUTHORS: Diogo Fernandes; Inês Dutra ;
PUBLISHED: 2019, SOURCE: ACM Crossroads, VOLUME: 26, ISSUE: 1, PAGES: 64-66
AUTHORS: Diogo Fernandes; Inês Dutra ;
PUBLISHED: 2019, SOURCE: ACM Crossroads, VOLUME: 26, ISSUE: 1, PAGES: 64-66
INDEXED IN: DBLP
DBLP427
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
428
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
429
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
DBLP430
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
DBLP431
TITLE: A Flexible Framework for Rogue Access Point Detection
AUTHORS: Ricardo Gonçalves; Manuel Eduardo Correia ; Pedro Brandão ;
PUBLISHED: 2018, SOURCE: 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 in Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018., VOLUME: 2, PAGES: 632-637
AUTHORS: Ricardo Gonçalves; Manuel Eduardo Correia ; Pedro Brandão ;
PUBLISHED: 2018, SOURCE: 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 in Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018., VOLUME: 2, PAGES: 632-637
INDEXED IN: Scopus DBLP
Scopus DBLP432
TITLE: A local algorithm to approximate the global clustering of streams generated in ubiquitous sensor networks Full Text
AUTHORS: Pedro Pereira Rodrigues ; Joao Araujo; Joao Gama ; Luis Lopes ;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, VOLUME: 14, ISSUE: 10, PAGES: 155014771880823
AUTHORS: Pedro Pereira Rodrigues ; Joao Araujo; Joao Gama ; Luis Lopes ;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, VOLUME: 14, ISSUE: 10, PAGES: 155014771880823
433
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
434
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
435
TITLE: A Unifying Framework for Type Inhabitation
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2018, SOURCE: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, VOLUME: 108, PAGES: 5:1-5:16
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2018, SOURCE: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, VOLUME: 108, PAGES: 5:1-5:16
INDEXED IN: Scopus DBLP
Scopus DBLP436
TITLE: Adaptive Learning Models Evaluation in Twitter's Timelines
AUTHORS: Costa, J; Silva, C ; Antunes, M ; Bernardete Ribeiro ;
PUBLISHED: 2018, SOURCE: 2018 International Joint Conference on Neural Networks, IJCNN 2018 in Proceedings of the International Joint Conference on Neural Networks, VOLUME: 2018-July
AUTHORS: Costa, J; Silva, C ; Antunes, M ; Bernardete Ribeiro ;
PUBLISHED: 2018, SOURCE: 2018 International Joint Conference on Neural Networks, IJCNN 2018 in Proceedings of the International Joint Conference on Neural Networks, VOLUME: 2018-July
437
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, Rio de Janeiro, Brazil, July 8-13, 2018, 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, Rio de Janeiro, Brazil, July 8-13, 2018, PAGES: 1-8
INDEXED IN: DBLP
DBLP438
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: 10th International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018 in Proceedings of the Tenth International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018, Porto, Portugal, December 13-15, 2018, VOLUME: 942, PAGES: 360-369
AUTHORS: Gonçalo Carnaz; Vítor Beires Nogueira ; Mário Antunes ; Nuno M Fonseca Ferreira ;
PUBLISHED: 2018, SOURCE: 10th International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018 in Proceedings of the Tenth International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018, Porto, Portugal, December 13-15, 2018, VOLUME: 942, PAGES: 360-369
439
TITLE: Analysis and Detection of Unreliable Users in Twitter: Two Case Studies
AUTHORS: Nuno Guimarães; Álvaro Figueira ; Luís Torgo ;
PUBLISHED: 2018, SOURCE: Knowledge Discovery, Knowledge Engineering and Knowledge Management - 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers, VOLUME: 1222, PAGES: 50-73
AUTHORS: Nuno Guimarães; Álvaro Figueira ; Luís Torgo ;
PUBLISHED: 2018, SOURCE: Knowledge Discovery, Knowledge Engineering and Knowledge Management - 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers, VOLUME: 1222, PAGES: 50-73
INDEXED IN: DBLP
DBLP440
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
