Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 1277

43 Team Members
Filters -> Year: 2026
481
TÍTULO: Pattern-based calculi with finitary matching  Full Text
AUTORES: Alves, S ; Dundua, B ; Florido, M ; Kutsia, T;
PUBLICAÇÃO: 2018, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, NÚMERO: 2, PÁGINAS: 203-243
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
482
TÍTULO: Preface
AUTORES: Sandra Alves ; Renata Wasserman;
PUBLICAÇÃO: 2018, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 338, PÁGINAS: 1-2
INDEXADO EM: Scopus CrossRef
483
TÍTULO: Preface to special issue: LINEARITY 2014
AUTORES: Alves, S ; Cervesato, I;
PUBLICAÇÃO: 2018, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, NÚMERO: 5, PÁGINAS: 612-613
INDEXADO EM: Scopus WOS DBLP CrossRef
484
TÍTULO: Programming Networked Vehicle Systems using Dolphin - Field Tests at REP'17
AUTORES: Keila Lima ; Eduardo R B Marques ; Jose Pinto ; Joao B Sousa ;
PUBLICAÇÃO: 2018, FONTE: OCEANS - MTS/IEEE Kobe Techno-Oceans Conference (OTO) in 2018 OCEANS - MTS/IEEE KOBE TECHNO-OCEANS (OTO)
INDEXADO EM: WOS CrossRef: 1
485
TÍTULO: Querying Volatile and Dynamic Networks
AUTORES: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLICAÇÃO: 2018, FONTE: Encyclopedia of Social Network Analysis and Mining. 2nd Ed., PÁGINAS: 1456-1463
INDEXADO EM: Scopus DBLP CrossRef
486
TÍTULO: Raccode: An Eclipse Plugin for Assessment of Programming Exercises (Short Paper)
AUTORES: André Silva; José Paulo Leal ; José Carlos Paiva ;
PUBLICAÇÃO: 2018, FONTE: SLATE, VOLUME: 62, PÁGINAS: 4:1-4:8
INDEXADO EM: Scopus DBLP
487
TÍTULO: Table space designs for implicit and explicit concurrent tabled evaluation
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2018, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, NÚMERO: 5-6, PÁGINAS: 950-992
INDEXADO EM: Scopus WOS DBLP CrossRef
488
TÍTULO: Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia
AUTORES: Ricardo Rocha ; Tran Cao Son; Christopher Mears; Neda Saeedloei;
PUBLICAÇÃO: 2018, FONTE: ICLP (Technical Communications), VOLUME: 58
INDEXADO EM: DBLP
489
TÍTULO: TensorCast: Forecasting time-evolving networks with contextual information
AUTORES: Miguel Araújo; Pedro Ribeiro ; Christos Faloutsos;
PUBLICAÇÃO: 2018, FONTE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July, PÁGINAS: 5199-5203
INDEXADO EM: Scopus CrossRef: 5
490
TÍTULO: TensorCast: Forecasting Time-Evolving Networks with Contextual Information
AUTORES: Miguel Araujo ; Pedro Manuel Pinto Ribeiro ; Christos Faloutsos;
PUBLICAÇÃO: 2018, FONTE: IJCAI, PÁGINAS: 5199-5203
INDEXADO EM: DBLP
491
TÍTULO: Testbed Implementation and Evaluation of Interleaved and Scrambled Coding for Physical-Layer Security
AUTORES: Martins, C; Fernandes, T; Gomes, M; Vilela, J ;
PUBLICAÇÃO: 2018, FONTE: 87th IEEE Vehicular Technology Conference, VTC Spring 2018 in 2018 IEEE 87TH VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), VOLUME: 2018-June, PÁGINAS: 1-6
INDEXADO EM: Scopus WOS CrossRef: 9
492
TÍTULO: Triple-Similarity Mechanism for alarm management in the cloud  Full Text
AUTORES: Dalmazo, BL; Vilela, JP ; Curado, M ;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & SECURITY, VOLUME: 78, PÁGINAS: 33-42
INDEXADO EM: Scopus WOS CrossRef: 11
493
TÍTULO: Twitter as a Source for Time- and Domain-Dependent Sentiment Lexicons
AUTORES: Guimaraes, N ; Torgo, L ; Figueira, A ;
PUBLICAÇÃO: 2018, FONTE: 8th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in SOCIAL NETWORK BASED BIG DATA ANALYSIS AND APPLICATIONS, PÁGINAS: 1-19
INDEXADO EM: WOS DBLP CrossRef: 3
494
TÍTULO: Uncoordinated Frequency Hopping for Wireless Secrecy Against Non-Degraded Eavesdroppers
AUTORES: Joao Sa Sousa; Joao P Vilela ;
PUBLICAÇÃO: 2018, FONTE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 13, NÚMERO: 1, PÁGINAS: 143-155
INDEXADO EM: WOS
495
TÍTULO: Uncoordinated Frequency Hopping for Wireless Secrecy Against Non-Degraded Eavesdroppers
AUTORES: Sá Sousa, J; Vilela, JP ;
PUBLICAÇÃO: 2018, FONTE: IEEE Transactions on Information Forensics and Security, VOLUME: 13, NÚMERO: 1, PÁGINAS: 143-155
INDEXADO EM: Scopus CrossRef: 11
496
TÍTULO: Uncovering Social Media Content Strategies for Worldwide Top-Ranked Universities
AUTORES: Figueira, A ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 663-670
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
497
TÍTULO: Video Dissemination in Untethered Edge-Clouds: A Case Study
AUTORES: Rodrigues, J ; Marques, ERB ; Silva, J ; Lopes, LMB ; Silva, F ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 137-152
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
498
TÍTULO: 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal
AUTORES: Ricardo Queirós ; Mário Pinto; Alberto Simões; José Paulo Leal ; Maria João Varanda Pereira;
PUBLICAÇÃO: 2017, FONTE: SLATE, VOLUME: 56
INDEXADO EM: DBLP
499
TÍTULO: A graph-based framework for the analysis of access control policies  Full Text
AUTORES: Alves, S ; Fernández, M;
PUBLICAÇÃO: 2017, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685, PÁGINAS: 3-22
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
500
TÍTULO: A LEARNING AND SOCIAL MANAGEMENT SYSTEM - VERSION 3.0
AUTORES: Alvaro Figueira ; Luciana Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PÁGINAS: 8638-8645
INDEXADO EM: WOS CrossRef

Results per Page: 20.
Página 25 de 64. Total de resultados: 1277.