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

531 Team Members
Filters -> Year: 2025
4941
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
4942
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
4943
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
4944
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
4945
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
4946
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
4947
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
4948
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
4949
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
4950
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
4951
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
4952
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
4953
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
4954
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
4955
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
4956
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
4957
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
4958
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
4959
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
4960
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: 16

Results per Page: 20.
Página 248 de 424. Total de resultados: 8480.