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: 1167
37 Team MembersFilters -> Year: 2024
381
TITLE: On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys
AUTHORS: Areias, M ; 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: Areias, M ; 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
382
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
383
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: 9th International Symposium on Ambient Intelligence, ISAmI 2018 in Ambient Intelligence - Software and Applications -, 9th International Symposium on Ambient Intelligence, ISAmI 2018, Toledo, Spain, 20-22 June 2018, VOLUME: 806, PAGES: 314-322
AUTHORS: Hélder Ribeiro de Sousa; António Pinto ;
PUBLISHED: 2018, SOURCE: 9th International Symposium on Ambient Intelligence, ISAmI 2018 in Ambient Intelligence - Software and Applications -, 9th International Symposium on Ambient Intelligence, ISAmI 2018, Toledo, Spain, 20-22 June 2018, VOLUME: 806, PAGES: 314-322
384
TITLE: On the Interoperability of European National Identity Cards
AUTHORS: Abubakar sadiq Shehu ; António Pinto ; Manuel Eduardo Correia ;
PUBLISHED: 2018, SOURCE: 9th International Symposium on Ambient Intelligence, ISAmI 2018 in Ambient Intelligence - Software and Applications -, 9th International Symposium on Ambient Intelligence, ISAmI 2018, Toledo, Spain, 20-22 June 2018, VOLUME: 806, PAGES: 338-348
AUTHORS: Abubakar sadiq Shehu ; António Pinto ; Manuel Eduardo Correia ;
PUBLISHED: 2018, SOURCE: 9th International Symposium on Ambient Intelligence, ISAmI 2018 in Ambient Intelligence - Software and Applications -, 9th International Symposium on Ambient Intelligence, ISAmI 2018, Toledo, Spain, 20-22 June 2018, VOLUME: 806, PAGES: 338-348
385
TITLE: On the Use of the Blockchain Technology in Electronic Voting Systems
AUTHORS: João Alves; António Pinto ;
PUBLISHED: 2018, SOURCE: 9th International Symposium on Ambient Intelligence, ISAmI 2018 in Ambient Intelligence - Software and Applications -, 9th International Symposium on Ambient Intelligence, ISAmI 2018, Toledo, Spain, 20-22 June 2018, VOLUME: 806, PAGES: 323-330
AUTHORS: João Alves; António Pinto ;
PUBLISHED: 2018, SOURCE: 9th International Symposium on Ambient Intelligence, ISAmI 2018 in Ambient Intelligence - Software and Applications -, 9th International Symposium on Ambient Intelligence, ISAmI 2018, Toledo, Spain, 20-22 June 2018, VOLUME: 806, PAGES: 323-330
386
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: 7th International Conference on Complex Networks and their Applications, COMPLEX NETWORKS 2018 in Complex Networks and Their Applications VII - Volume 1 Proceedings The 7th International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2018, Cambridge, UK, December 11-13, 2018., VOLUME: 812, PAGES: 143-154
AUTHORS: Jorge M B Silva ; David Oliveira Aparício ; Fernando M A Silva ;
PUBLISHED: 2018, SOURCE: 7th International Conference on Complex Networks and their Applications, COMPLEX NETWORKS 2018 in Complex Networks and Their Applications VII - Volume 1 Proceedings The 7th International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2018, Cambridge, UK, December 11-13, 2018., VOLUME: 812, PAGES: 143-154
387
TITLE: Panoptic, Privacy over Edge-Clouds
AUTHORS: Tadeu Freitas ; Joao Rodrigues ; Diogo Bogas; Miguel Coimbra ; Rolando Martins ;
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: Tadeu Freitas ; Joao Rodrigues ; Diogo Bogas; Miguel Coimbra ; Rolando Martins ;
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
388
TITLE: Parallel Asynchronous Strategies for the Execution of Feature Selection Algorithms Full Text
AUTHORS: Jorge Silva ; Ana Aguiar ; Fernando Silva ;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 46, ISSUE: 2, PAGES: 252-283
AUTHORS: Jorge Silva ; Ana Aguiar ; Fernando Silva ;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 46, ISSUE: 2, PAGES: 252-283
389
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 DBLP390
TITLE: Pattern-based calculi with finitary matching
AUTHORS: Sandra Alves ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2018, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, ISSUE: 2, PAGES: 203-243
AUTHORS: Sandra Alves ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2018, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, ISSUE: 2, PAGES: 203-243
391
TITLE: Preface
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 338, PAGES: 1-2
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 338, PAGES: 1-2
INDEXED IN: DBLP
DBLP392
TITLE: Preface to special issue: LINEARITY 2014
AUTHORS: Sandra Alves ; Iliano Cervesato;
PUBLISHED: 2018, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, ISSUE: 5, PAGES: 612-613
AUTHORS: Sandra Alves ; Iliano Cervesato;
PUBLISHED: 2018, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, ISSUE: 5, PAGES: 612-613
393
TITLE: Proceedings of the 3rd Workshop on Middleware for Edge Clouds & Cloudlets, MECC@Middleware 2018, Rennes, France, December 11, 2018
AUTHORS: Rolando Martins ; Hervé Paulino ; Luís Veiga;
PUBLISHED: 2018, SOURCE: MECC@Middleware
AUTHORS: Rolando Martins ; Hervé Paulino ; Luís Veiga;
PUBLISHED: 2018, SOURCE: MECC@Middleware
INDEXED IN: DBLP
DBLP394
TITLE: Programming Networked Vehicle Systems using Dolphin - Field Tests at REP'17
AUTHORS: Keila Lima ; Eduardo R B Marques ; Jose Pinto ; Joao B Sousa ;
PUBLISHED: 2018, SOURCE: OCEANS - MTS/IEEE Kobe Techno-Oceans Conference (OTO) in 2018 OCEANS - MTS/IEEE KOBE TECHNO-OCEANS (OTO)
AUTHORS: Keila Lima ; Eduardo R B Marques ; Jose Pinto ; Joao B Sousa ;
PUBLISHED: 2018, SOURCE: OCEANS - MTS/IEEE Kobe Techno-Oceans Conference (OTO) in 2018 OCEANS - MTS/IEEE KOBE TECHNO-OCEANS (OTO)
395
TITLE: Querying Volatile and Dynamic Networks
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2018, SOURCE: Encyclopedia of Social Network Analysis and Mining, 2nd Edition
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2018, SOURCE: Encyclopedia of Social Network Analysis and Mining, 2nd Edition
INDEXED IN: DBLP
DBLP396
TITLE: Raccode: An Eclipse Plugin for Assessment of Programming Exercises (Short Paper)
AUTHORS: André Silva; José Paulo Leal ; José Carlos Paiva ;
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: 4:1-4:8
AUTHORS: André Silva; José Paulo Leal ; José Carlos Paiva ;
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: 4:1-4:8
INDEXED IN: Scopus DBLP
Scopus DBLP397
TITLE: Road Anomalies Detection System Evaluation Full Text
AUTHORS: Silva, N; Shah, V; Soares, J ; Rodrigues, H;
PUBLISHED: 2018, SOURCE: SENSORS, VOLUME: 18, ISSUE: 7, PAGES: 1984
AUTHORS: Silva, N; Shah, V; Soares, J ; Rodrigues, H;
PUBLISHED: 2018, SOURCE: SENSORS, VOLUME: 18, ISSUE: 7, PAGES: 1984
398
TITLE: Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation PDF
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1806.00441
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1806.00441
INDEXED IN: DBLP 
arXiv
DBLP arXiv399
TITLE: Table space designs for implicit and explicit concurrent tabled evaluation
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6, PAGES: 950-992
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6, PAGES: 950-992
400
TITLE: Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia
AUTHORS: Ricardo Rocha ; Tran Cao Son; Christopher Mears; Neda Saeedloei;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 58
AUTHORS: Ricardo Rocha ; Tran Cao Son; Christopher Mears; Neda Saeedloei;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 58
INDEXED IN: DBLP
DBLP