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

530 Team Members
Filters -> Year: 2025
5481
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
5482
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
5483
TÍTULO: "Generic Shooter 3000": a realistic first person shooter powered by biofeedback. 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 CrossRef: 2
5484
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
5485
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
5486
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
5487
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
5488
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
5489
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: 4
5490
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: 3 Handle
5491
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
5492
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
5493
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
5494
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
5495
TÍTULO: A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation  Full Text
AUTORES: Andre C Santos; Joao M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira; Zlatko Petrov;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF SUPERCOMPUTING, VOLUME: 70, NÚMERO: 3, PÁGINAS: 1218-1248
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
5496
TÍTULO: A Framework for a Multimodal Transportation Network: an Agent-Based Model Approach
AUTORES: Nuno Monteiro; Rosaldo Rossetti ; Pedro Campos ; Zafeiris Kokkinogenis ;
PUBLICAÇÃO: 2014, FONTE: International Scientific Conference on Mobility and Transport in SUSTAINABLE MOBILITY IN METROPOLITAN REGIONS, MOBIL.TUM 2014, VOLUME: 4, PÁGINAS: 213-227
INDEXADO EM: Scopus WOS CrossRef: 17
5497
TÍTULO: A framework to decompose and develop metafeatures PDF
AUTORES: Pinto, F; Soares, C ; Mendes Moreira, J ;
PUBLICAÇÃO: 2014, FONTE: International Workshop on Meta-Learning and Algorithm Selection, MetaSel 2014 - Co-located with 21st European Conference on Artificial Intelligence, ECAI 2014 in CEUR Workshop Proceedings, VOLUME: 1201, PÁGINAS: 32-36
INDEXADO EM: Scopus DBLP
5498
TÍTULO: A game for robot operation training in Search and Rescue missions
AUTORES: Goncalves, R; Baptista, R ; Coelho, A ; Matos, A ; de Carvalho, CV; Bedkowski, J; Musialik, P; Ostrowski, I; Majek, K;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Remote Engineering and Virtual Instrumentation (REV) in 2014 11TH INTERNATIONAL CONFERENCE ON REMOTE ENGINEERING AND VIRTUAL INSTRUMENTATION (REV), PÁGINAS: 262-267
INDEXADO EM: Scopus WOS CrossRef: 3
5499
TÍTULO: A graph-based approach for interference free integration of commercial off-the-shelf elements in pervasive computing systems  Full Text
AUTORES: Christophe Soares ; Rui S Moreira ; Ricardo Morla ; Jose M Torres ; Pedro Sobral ;
PUBLICAÇÃO: 2014, FONTE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, VOLUME: 39, PÁGINAS: 3-15
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
5500
TÍTULO: A GUI Modeling DSL for Pattern-Based GUI Testing PARADIGM
AUTORES: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLICAÇÃO: 2014, FONTE: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), PÁGINAS: 126-135
INDEXADO EM: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Página 275 de 455. Total de resultados: 9091.