CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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: 8460

531 Team Members
Filters -> Year: 2025
4921
TÍTULO: Watch Out for that Tree! A Tutorial on Shortcut Deforestation
AUTORES: João Paulo Fernandes ; Jácome Cunha ; João Saraiva ; Alberto Pardo;
PUBLICAÇÃO: 2015, FONTE: 6th Central European Functional Programming School, CEFP 2015 in Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers, VOLUME: 10094, PÁGINAS: 1-41
INDEXADO EM: Scopus DBLP CrossRef
4922
TÍTULO: Welcome to EICS 2015
AUTORES: Ziegler, J; Nebeling, M; Nigay, L; Campos, J ; Winckler, M;
PUBLICAÇÃO: 2015, FONTE: 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2015 in EICS 2015 - Proceedings of the 2015 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
INDEXADO EM: Scopus
4923
TÍTULO: Well-formed control flow for critical sections in RTFM-core
AUTORES: Lindgren, P; Lindner, M; Lindner, A; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2015, FONTE: 13th International Conference on Industrial Informatics, INDIN 2015 in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, PÁGINAS: 1438-1445
INDEXADO EM: Scopus CrossRef
4924
TÍTULO: When Good-Enough is Enough: Complex Queries at Fixed Cost
AUTORES: Mickulicz, ND; Rolando Martins ; Narasimhan, P; Gandhi, R;
PUBLICAÇÃO: 2015, FONTE: 1st IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2015 in 2015 IEEE FIRST INTERNATIONAL CONFERENCE ON BIG DATA COMPUTING SERVICE AND APPLICATIONS (BIGDATASERVICE 2015), PÁGINAS: 89-98
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
4925
TÍTULO: Where to look when identifying roadkilled amphibians?
AUTORES: Franch, M; Silva, C; Lopes, G ; Ribeiro, F; Paulo Trigueiros ; Seco, L; Sillero, N ;
PUBLICAÇÃO: 2015, FONTE: ACTA HERPETOLOGICA, VOLUME: 10, NÚMERO: 2, PÁGINAS: 103-110
INDEXADO EM: Scopus WOS Handle
4926
TÍTULO: Wind farm distribution network optimization  Full Text
AUTORES: Cerveira, A ; Baptista, J ; Pires, EJS ;
PUBLICAÇÃO: 2015, FONTE: INTEGRATED COMPUTER-AIDED ENGINEERING, VOLUME: 23, NÚMERO: 1, PÁGINAS: 69-79
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
4927
TÍTULO: X-Ray: Monitoring and analysis of distributed database queries
AUTORES: Guimaraes, P; Pereira, J ;
PUBLICAÇÃO: 2015, FONTE: 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9038, PÁGINAS: 80-93
INDEXADO EM: Scopus DBLP CrossRef: 1
4928
TÍTULO: Zipper-Based Modular and Deforested Computations
AUTORES: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLICAÇÃO: 2015, FONTE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PÁGINAS: 407-427
INDEXADO EM: Scopus WOS DBLP CrossRef
4929
TÍTULO: "Generic Shooter 3000": a realistic first person shooter powered by biofeedback
AUTORES: Gonçalo Amaral da Silva; Pedro Alves Nogueira; Rui Rodrigues ;
PUBLICAÇÃO: 2014, FONTE: 1st ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2014 in Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play, Toronto, ON, Canada, October 19 - 22, 2014, PÁGINAS: 371-374
INDEXADO EM: Scopus DBLP
4930
TÍTULO: 18th International Database Engineering & Applications Symposium, IDEAS 2014, Porto, Portugal, July 7-9, 2014
AUTORES: Bipin C Desai; Ana Maria de Almeida; Jorge Bernardino ; Elsa Ferreira Gomes ;
PUBLICAÇÃO: 2014, FONTE: IDEAS
INDEXADO EM: DBLP
4931
TÍTULO: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal
AUTORES: Maria João Varanda Pereira; José Paulo Leal ; Alberto Simões;
PUBLICAÇÃO: 2014, FONTE: SLATE, VOLUME: 38
INDEXADO EM: DBLP
4932
TÍTULO: A Benchmark-Based Approach for Ranking Root Causes of Performance Problems in Software Development
AUTORES: Mushtaq Raza ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2014, FONTE: 15th International Conference on Product-Focused Software Process Improvement (PROFES) in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2014, VOLUME: 8892, PÁGINAS: 314-317
INDEXADO EM: Scopus WOS DBLP CrossRef
4933
TÍTULO: A Bounded Model Checker for SPARK Programs
AUTORES: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2014, FONTE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837, PÁGINAS: 24-30
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
4934
TÍTULO: A Characterization of Uncoordinated Frequency Hopping for Wireless Secrecy
AUTORES: Joao Sa Sousa; Joao P Vilela ;
PUBLICAÇÃO: 2014, FONTE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC)
INDEXADO EM: Scopus WOS CrossRef: 8
4935
TÍTULO: A Clustering-Based Approach for Exploring Sequences of Compiler Optimizations
AUTORES: Luiz G A Martins; Ricardo Nobre ; Alexandra C B Delbem; Eduardo Marques; Joao M P Cardoso ;
PUBLICAÇÃO: 2014, FONTE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PÁGINAS: 2436-2443
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
4936
TÍTULO: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTORES: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLICAÇÃO: 2014, FONTE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PÁGINAS: 16-30
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
4937
TÍTULO: A Critical Embedded System product line model-based approach
AUTORES: Paulo G G Queiroz ; Rosana T V Braga;
PUBLICAÇÃO: 2014, FONTE: Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, VOLUME: 2014-January, NÚMERO: January, PÁGINAS: 71-75
INDEXADO EM: Scopus
4938
TÍTULO: A data warehouse to support web site automation
AUTORES: Domingues, MA; Soares, C ; Jorge, AM ; Rezende, SO;
PUBLICAÇÃO: 2014, FONTE: Journal of the Brazilian Computer Society, VOLUME: 20, NÚMERO: 1, PÁGINAS: 1-16
INDEXADO EM: Scopus DBLP CrossRef: 2
4939
TÍTULO: A Datalog Engine for GPUs
AUTORES: Carlos A Alberto Martinez Angeles; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLICAÇÃO: 2014, FONTE: Kiel Declarative Programming Days (KDPD) in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 8439, PÁGINAS: 152-168
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
4940
TÍTULO: A Distributed Architecture for Remote Validation of Software Licenses Using USB/IP Protocol
AUTORES: Mario J Antunes ; Albano Afonso; Filipe Mota Pinto;
PUBLICAÇÃO: 2014, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 276, PÁGINAS: 269-279
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 247 de 423. Total de resultados: 8460.