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: 1280
43 Team MembersFilters -> Year: 2026
482
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 DBLP483
TITLE: Pattern-based calculi with finitary matching Full Text
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
484
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 CrossRef485
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
486
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)
487
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 Ed., PAGES: 1456-1463
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2018, SOURCE: Encyclopedia of Social Network Analysis and Mining. 2nd Ed., PAGES: 1456-1463
488
TITLE: Raccode: An Eclipse Plugin for Assessment of Programming Exercises (Short Paper)
AUTHORS: André Silva; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2018, SOURCE: SLATE, VOLUME: 62, PAGES: 4:1-4:8
AUTHORS: André Silva; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2018, SOURCE: SLATE, VOLUME: 62, PAGES: 4:1-4:8
INDEXED IN: Scopus DBLP
Scopus DBLP489
TITLE: Table space designs for implicit and explicit concurrent tabled evaluation
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6, PAGES: 950-992
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6, PAGES: 950-992
490
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
DBLP491
TITLE: TensorCast: Forecasting time-evolving networks with contextual information
AUTHORS: Miguel Araújo; Pedro Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July, PAGES: 5199-5203
AUTHORS: Miguel Araújo; Pedro Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July, PAGES: 5199-5203
492
TITLE: TensorCast: Forecasting Time-Evolving Networks with Contextual Information
AUTHORS: Miguel Araujo ; Pedro Manuel Pinto Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: IJCAI, PAGES: 5199-5203
AUTHORS: Miguel Araujo ; Pedro Manuel Pinto Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: IJCAI, PAGES: 5199-5203
INDEXED IN: DBLP
DBLP493
TITLE: Testbed Implementation and Evaluation of Interleaved and Scrambled Coding for Physical-Layer Security
AUTHORS: Martins, C; Fernandes, T; Gomes, M; Vilela, J ;
PUBLISHED: 2018, SOURCE: 87th IEEE Vehicular Technology Conference, VTC Spring 2018 in 2018 IEEE 87TH VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), VOLUME: 2018-June, PAGES: 1-6
AUTHORS: Martins, C; Fernandes, T; Gomes, M; Vilela, J ;
PUBLISHED: 2018, SOURCE: 87th IEEE Vehicular Technology Conference, VTC Spring 2018 in 2018 IEEE 87TH VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), VOLUME: 2018-June, PAGES: 1-6
494
TITLE: Triple-Similarity Mechanism for alarm management in the cloud Full Text
AUTHORS: Dalmazo, BL; Vilela, JP ; Curado, M ;
PUBLISHED: 2018, SOURCE: COMPUTERS & SECURITY, VOLUME: 78, PAGES: 33-42
AUTHORS: Dalmazo, BL; Vilela, JP ; Curado, M ;
PUBLISHED: 2018, SOURCE: COMPUTERS & SECURITY, VOLUME: 78, PAGES: 33-42
495
TITLE: Twitter as a Source for Time- and Domain-Dependent Sentiment Lexicons
AUTHORS: Guimaraes, N ; Torgo, L ; Figueira, A ;
PUBLISHED: 2018, SOURCE: 8th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in SOCIAL NETWORK BASED BIG DATA ANALYSIS AND APPLICATIONS, PAGES: 1-19
AUTHORS: Guimaraes, N ; Torgo, L ; Figueira, A ;
PUBLISHED: 2018, SOURCE: 8th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in SOCIAL NETWORK BASED BIG DATA ANALYSIS AND APPLICATIONS, PAGES: 1-19
496
TITLE: Uncoordinated Frequency Hopping for Wireless Secrecy Against Non-Degraded Eavesdroppers
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 13, ISSUE: 1, PAGES: 143-155
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 13, ISSUE: 1, PAGES: 143-155
INDEXED IN: 
WOS
WOS497
TITLE: Uncoordinated Frequency Hopping for Wireless Secrecy Against Non-Degraded Eavesdroppers
AUTHORS: Sá Sousa, J; Vilela, JP ;
PUBLISHED: 2018, SOURCE: IEEE Transactions on Information Forensics and Security, VOLUME: 13, ISSUE: 1, PAGES: 143-155
AUTHORS: Sá Sousa, J; Vilela, JP ;
PUBLISHED: 2018, SOURCE: IEEE Transactions on Information Forensics and Security, VOLUME: 13, ISSUE: 1, PAGES: 143-155
498
TITLE: Uncovering Social Media Content Strategies for Worldwide Top-Ranked Universities
AUTHORS: Figueira, A ;
PUBLISHED: 2018, SOURCE: International Conference on ENTERprise Information Systems / International Conference on Project MANagement / International Conference on Health and Social Care Information Systems and Technologies, CENTERIS/ProjMAN/HCist 2018 in CENTERIS 2018 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2018 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2018 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 138, PAGES: 663-670
AUTHORS: Figueira, A ;
PUBLISHED: 2018, SOURCE: International Conference on ENTERprise Information Systems / International Conference on Project MANagement / International Conference on Health and Social Care Information Systems and Technologies, CENTERIS/ProjMAN/HCist 2018 in CENTERIS 2018 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2018 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2018 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 138, PAGES: 663-670
499
TITLE: Video Dissemination in Untethered Edge-Clouds: A Case Study
AUTHORS: Rodrigues, J ; Marques, ERB ; Silva, J ; Lopes, LMB ; Silva, F ;
PUBLISHED: 2018, SOURCE: 18th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) held as Part of the 13th International Federated Conference on Distributed Computing Techniques (DisCoTec) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2018), VOLUME: 10853, PAGES: 137-152
AUTHORS: Rodrigues, J ; Marques, ERB ; Silva, J ; Lopes, LMB ; Silva, F ;
PUBLISHED: 2018, SOURCE: 18th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) held as Part of the 13th International Federated Conference on Distributed Computing Techniques (DisCoTec) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2018), VOLUME: 10853, PAGES: 137-152
500
TITLE: 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal
AUTHORS: Ricardo Queirós ; Mário Pinto; Alberto Simões; José Paulo Leal ; Maria João Varanda Pereira;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56
AUTHORS: Ricardo Queirós ; Mário Pinto; Alberto Simões; José Paulo Leal ; Maria João Varanda Pereira;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56
INDEXED IN: DBLP
DBLP