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

531 Team Members
Filters -> Year: 2024
4661
TÍTULO: Validating the coverage of bus schedules: A Machine Learning approach  Full Text
AUTORES: Joao Mendes Moreira ; Luis Moreira Matias ; Joao Gama ; Jorge Freire de Sousa ;
PUBLICAÇÃO: 2015, FONTE: INFORMATION SCIENCES, VOLUME: 293, PÁGINAS: 299-313
INDEXADO EM: Scopus WOS DBLP CrossRef: 39
4662
TÍTULO: Validation of percutaneous puncture trajectory during renal access using 4D ultrasound reconstruction
AUTORES: Rodrigues, PL; Rodrigues, NF ; Fonseca, JC; Vilaca, JL;
PUBLICAÇÃO: 2015, FONTE: Conference on Medical Imaging - Image-Guided Procedures, Robotic Interventions, and Modeling in MEDICAL IMAGING 2015: IMAGE-GUIDED PROCEDURES, ROBOTIC INTERVENTIONS, AND MODELING, VOLUME: 9415
INDEXADO EM: Scopus WOS CrossRef Handle
4663
TÍTULO: Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLICAÇÃO: 2015, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2015, PÁGINAS: 1241
INDEXADO EM: DBLP
4664
TÍTULO: Very fast decision rules for classification in data streams  Full Text
AUTORES: Petr Kosina; Joao Gama ;
PUBLICAÇÃO: 2015, FONTE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 29, NÚMERO: 1, PÁGINAS: 168-202
INDEXADO EM: Scopus WOS DBLP CrossRef: 34
4665
TÍTULO: Visualization for streaming telecommunications networks
AUTORES: Sarmento, R ; Cordeiro, M ; Gama, J ;
PUBLICAÇÃO: 2015, FONTE: 3rd International Workshop on New Frontiers in Mining Complex Patterns, (NFMCP 2014) held in Conjunction with European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML-PKDD 2014 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 8983, PÁGINAS: 117-131
INDEXADO EM: Scopus DBLP CrossRef
4666
TÍTULO: Visualization of Evolving Large Scale Ego-Networks
AUTORES: Rui Sarmento ; Mario Cordeiro ; Joao Gama ;
PUBLICAÇÃO: 2015, FONTE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PÁGINAS: 960-962
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
4667
TÍTULO: Visualization of Passively Extracted HL7 Production Metrics
AUTORES: Ricardo Ferreira ; Manuel E. Correia ; Francisco Nuno Rocha Goncalves ; Ricardo João Cruz Correia ;
PUBLICAÇÃO: 2015, FONTE: 8th International Conference on Health Informatics, HEALTHINF 2015 in HEALTHINF 2015 - Proceedings of the International Conference on Health Informatics, Lisbon, Portugal, 12-15 January, 2015., PÁGINAS: 423-430
INDEXADO EM: Scopus DBLP CrossRef
4668
TÍTULO: Voxel-based registration of simulated and real patient CBCT data for accurate dental implant pose estimation
AUTORES: Moreira, AHJ; Queiros, S; Morais, P; Rodrigues, NF ; Correia, AR ; Fernandes, V; Pinho, ACM; Fonseca, JC; Vilaca, JL;
PUBLICAÇÃO: 2015, FONTE: Computer-Aided Diagnosis (CAD) Conference at the SPIE Medical Imaging Symposium in MEDICAL IMAGING 2015: COMPUTER-AIDED DIAGNOSIS, VOLUME: 9414
INDEXADO EM: Scopus WOS CrossRef Handle
4669
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
4670
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
4671
TÍTULO: When Good-Enough is Enough: Complex Queries at Fixed Cost
AUTORES: Nathan D Mickulicz; Rolando Martins ; Priya Narasimhan; Rajeev Gandhi;
PUBLICAÇÃO: 2015, FONTE: 1st IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2015 in First IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2015, Redwood City, CA, USA, March 30 - April 2, 2015, PÁGINAS: 89-98
INDEXADO EM: Scopus DBLP CrossRef: 3
4672
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
4673
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
4674
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
4675
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
4676
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
4677
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
4678
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
4679
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
4680
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

Results per Page: 20.
Página 234 de 408. Total de resultados: 8154.