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
461
TITLE: Improving Candidate Quality of Probabilistic Logic Models
AUTHORS: Joana Côrte Real ; Anton Dries; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 64, PAGES: 6:1-6:14
AUTHORS: Joana Côrte Real ; Anton Dries; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 64, PAGES: 6:1-6:14
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP462
TITLE: Introdução ao desenvolvimento moderno para a Web
AUTHORS: Carlos F Portela; Ricardo Queirós ;
PUBLISHED: 2018
AUTHORS: Carlos F Portela; Ricardo Queirós ;
PUBLISHED: 2018
INDEXED IN: 
Handle
Handle463
TITLE: Kaang: A RESTful API Generator for the Modern Web
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2018, SOURCE: 7th Symposium on Languages, Applications and Technologies, SLATE 2018 in 7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal, VOLUME: 62, PAGES: 1:1-1:15
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2018, SOURCE: 7th Symposium on Languages, Applications and Technologies, SLATE 2018 in 7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal, VOLUME: 62, PAGES: 1:1-1:15
INDEXED IN: Scopus DBLP
Scopus DBLP464
TITLE: LearnJS - A JavaScript Learning Playground (Short Paper)
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2018, SOURCE: 7th Symposium on Languages, Applications and Technologies, SLATE 2018 in 7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal, VOLUME: 62, PAGES: 2:1-2:9
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2018, SOURCE: 7th Symposium on Languages, Applications and Technologies, SLATE 2018 in 7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal, VOLUME: 62, PAGES: 2:1-2:9
INDEXED IN: Scopus DBLP
Scopus DBLP465
TITLE: LRMalloc: A Modern and Competitive Lock-Free Dynamic Memory Allocator
AUTHORS: Ricardo Leite ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: VECPAR, VOLUME: 11333 LNCS, PAGES: 230-243
AUTHORS: Ricardo Leite ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: VECPAR, VOLUME: 11333 LNCS, PAGES: 230-243
466
TITLE: Measuring Performance and Efficiency on Social Media: A Longitudinal Study
AUTHORS: Luciana Oliveira ; Alvaro Figueira ;
PUBLISHED: 2018, SOURCE: 5th European Conference on Social Media (ECSM) in PROCEEDINGS OF THE 5TH EUROPEAN CONFERENCE ON SOCIAL MEDIA (ECSM 2018), PAGES: 198-207
AUTHORS: Luciana Oliveira ; Alvaro Figueira ;
PUBLISHED: 2018, SOURCE: 5th European Conference on Social Media (ECSM) in PROCEEDINGS OF THE 5TH EUROPEAN CONFERENCE ON SOCIAL MEDIA (ECSM 2018), PAGES: 198-207
INDEXED IN: Scopus 
WOS
Scopus WOS467
TITLE: Moozz: Assessment of Quizzes in Mooshak 2.0 (Short Paper)
AUTHORS: Helder Correia; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2018, SOURCE: SLATE, VOLUME: 62, PAGES: 3:1-3:8
AUTHORS: Helder Correia; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2018, SOURCE: SLATE, VOLUME: 62, PAGES: 3:1-3:8
INDEXED IN: Scopus DBLP
Scopus DBLP468
TITLE: Nested QPSK Encoding for Information Theoretic Security
AUTHORS: Rendon, GT; Harrison, WK; Gomes, MAC; Vilela, JP ;
PUBLISHED: 2018, SOURCE: 2018 IEEE International Conference on Communications, ICC 2018 in 2018 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), VOLUME: 2018-May
AUTHORS: Rendon, GT; Harrison, WK; Gomes, MAC; Vilela, JP ;
PUBLISHED: 2018, SOURCE: 2018 IEEE International Conference on Communications, ICC 2018 in 2018 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), VOLUME: 2018-May
469
TITLE: On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2018, SOURCE: 16th IEEE ISPA / 17th IEEE IUCC / 8th IEEE BDCloud / 11th IEEE SocialCom / 8th IEEE SustainCom in 2018 IEEE INT CONF ON PARALLEL & DISTRIBUTED PROCESSING WITH APPLICATIONS, UBIQUITOUS COMPUTING & COMMUNICATIONS, BIG DATA & CLOUD COMPUTING, SOCIAL COMPUTING & NETWORKING, SUSTAINABLE COMPUTING & COMMUNICATIONS, PAGES: 415-422
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2018, SOURCE: 16th IEEE ISPA / 17th IEEE IUCC / 8th IEEE BDCloud / 11th IEEE SocialCom / 8th IEEE SustainCom in 2018 IEEE INT CONF ON PARALLEL & DISTRIBUTED PROCESSING WITH APPLICATIONS, UBIQUITOUS COMPUTING & COMMUNICATIONS, BIG DATA & CLOUD COMPUTING, SOCIAL COMPUTING & NETWORKING, SUSTAINABLE COMPUTING & COMMUNICATIONS, PAGES: 415-422
470
TITLE: On the Effect of Update Frequency on Geo-Indistinguishability of Mobility Traces
AUTHORS: Mendes, R; Vilela, J ;
PUBLISHED: 2018, SOURCE: 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec) in WISEC'18: PROCEEDINGS OF THE 11TH ACM CONFERENCE ON SECURITY & PRIVACY IN WIRELESS AND MOBILE NETWORKS, PAGES: 271-276
AUTHORS: Mendes, R; Vilela, J ;
PUBLISHED: 2018, SOURCE: 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec) in WISEC'18: PROCEEDINGS OF THE 11TH ACM CONFERENCE ON SECURITY & PRIVACY IN WIRELESS AND MOBILE NETWORKS, PAGES: 271-276
471
TITLE: On the Feasibility of Blockchain for Online Surveys with Reputation and Informed Consent Support
AUTHORS: Hélder Ribeiro de Sousa; António Pinto ;
PUBLISHED: 2018, SOURCE: ISAmI, VOLUME: 806, PAGES: 314-322
AUTHORS: Hélder Ribeiro de Sousa; António Pinto ;
PUBLISHED: 2018, SOURCE: ISAmI, VOLUME: 806, PAGES: 314-322
472
TITLE: On the Interoperability of European National Identity Cards
AUTHORS: Abubakar Sadiq Shehu ; António Pinto ; Manuel Eduardo Correia ;
PUBLISHED: 2018, SOURCE: ISAmI, VOLUME: 806, PAGES: 338-348
AUTHORS: Abubakar Sadiq Shehu ; António Pinto ; Manuel Eduardo Correia ;
PUBLISHED: 2018, SOURCE: ISAmI, VOLUME: 806, PAGES: 338-348
473
TITLE: On the Use of the Blockchain Technology in Electronic Voting Systems
AUTHORS: João Alves; António Pinto ;
PUBLISHED: 2018, SOURCE: ISAmI, VOLUME: 806, PAGES: 323-330
AUTHORS: João Alves; António Pinto ;
PUBLISHED: 2018, SOURCE: ISAmI, VOLUME: 806, PAGES: 323-330
474
TITLE: OTARIOS: OpTimizing Author Ranking with Insiders/Outsiders Subnetworks
AUTHORS: Jorge M B Silva ; David Oliveira Aparício ; Fernando M A Silva ;
PUBLISHED: 2018, SOURCE: COMPLEX NETWORKS (1), VOLUME: 812, PAGES: 143-154
AUTHORS: Jorge M B Silva ; David Oliveira Aparício ; Fernando M A Silva ;
PUBLISHED: 2018, SOURCE: COMPLEX NETWORKS (1), VOLUME: 812, PAGES: 143-154
475
TITLE: Panoptic, Privacy over Edge-Clouds
AUTHORS: Freitas, T ; Rodrigues, J ; Bogas, D; Coimbra, M ; Martins, R ;
PUBLISHED: 2018, SOURCE: 6th IEEE International Conference on Future Internet of Things and Cloud (FiCloud) in 2018 IEEE 6TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD 2018), PAGES: 325-332
AUTHORS: Freitas, T ; Rodrigues, J ; Bogas, D; Coimbra, M ; Martins, R ;
PUBLISHED: 2018, SOURCE: 6th IEEE International Conference on Future Internet of Things and Cloud (FiCloud) in 2018 IEEE 6TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD 2018), PAGES: 325-332
477
TITLE: Path Patterns Visualization in Semantic Graphs
AUTHORS: José Paulo Leal ;
PUBLISHED: 2018, SOURCE: 7th Symposium on Languages, Applications and Technologies, SLATE 2018 in 7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal, VOLUME: 62, PAGES: 15:1-15:15
AUTHORS: José Paulo Leal ;
PUBLISHED: 2018, SOURCE: 7th Symposium on Languages, Applications and Technologies, SLATE 2018 in 7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal, VOLUME: 62, PAGES: 15:1-15:15
INDEXED IN: Scopus DBLP
Scopus DBLP478
TITLE: Pattern-based calculi with finitary matching
AUTHORS: Alves, S ; Dundua, B ; Florido, M ; Kutsia, T;
PUBLISHED: 2018, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, ISSUE: 2, PAGES: 203-243
AUTHORS: Alves, S ; Dundua, B ; Florido, M ; Kutsia, T;
PUBLISHED: 2018, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, ISSUE: 2, PAGES: 203-243
479
TITLE: Preface
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 338, PAGES: 1-2
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 338, PAGES: 1-2
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef480
TITLE: Preface to special issue: LINEARITY 2014
AUTHORS: Alves, S ; Cervesato, I;
PUBLISHED: 2018, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, ISSUE: 5, PAGES: 612-613
AUTHORS: Alves, S ; Cervesato, I;
PUBLISHED: 2018, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, ISSUE: 5, PAGES: 612-613
