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

531 Team Members
Filters -> Year: 2024
4641
TITLE: Visualization for streaming telecommunications networks
AUTHORS: Sarmento, R ; Cordeiro, M ; Gama, J ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 117-131
INDEXED IN: Scopus DBLP CrossRef
4642
TITLE: Visualization of Evolving Large Scale Ego-Networks
AUTHORS: Rui Sarmento ; Mario Cordeiro ; Joao Gama ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 960-962
INDEXED IN: Scopus WOS DBLP CrossRef: 3
4643
TITLE: Visualization of Passively Extracted HL7 Production Metrics
AUTHORS: Ricardo Ferreira ; Manuel E. Correia ; Francisco Nuno Rocha Goncalves ; Ricardo João Cruz Correia ;
PUBLISHED: 2015, SOURCE: 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., PAGES: 423-430
INDEXED IN: Scopus DBLP CrossRef
4644
TITLE: Voxel-based registration of simulated and real patient CBCT data for accurate dental implant pose estimation
AUTHORS: Moreira, AHJ; Queiros, S; Morais, P; Rodrigues, NF ; Correia, AR ; Fernandes, V; Pinho, ACM; Fonseca, JC; Vilaca, JL;
PUBLISHED: 2015, SOURCE: Computer-Aided Diagnosis (CAD) Conference at the SPIE Medical Imaging Symposium in MEDICAL IMAGING 2015: COMPUTER-AIDED DIAGNOSIS, VOLUME: 9414
INDEXED IN: Scopus WOS CrossRef Handle
4645
TITLE: Watch Out for that Tree! A Tutorial on Shortcut Deforestation
AUTHORS: João Paulo Fernandes ; Jácome Cunha ; João Saraiva ; Alberto Pardo;
PUBLISHED: 2015, SOURCE: 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, PAGES: 1-41
INDEXED IN: Scopus DBLP CrossRef
4646
TITLE: Welcome to EICS 2015
AUTHORS: Ziegler, J; Nebeling, M; Nigay, L; Campos, J ; Winckler, M;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus
4647
TITLE: When Good-Enough is Enough: Complex Queries at Fixed Cost
AUTHORS: Nathan D Mickulicz; Rolando Martins ; Priya Narasimhan; Rajeev Gandhi;
PUBLISHED: 2015, SOURCE: 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, PAGES: 89-98
INDEXED IN: Scopus DBLP CrossRef: 3
4648
TITLE: Where to look when identifying roadkilled amphibians?
AUTHORS: Franch, M; Silva, C; Lopes, G ; Ribeiro, F; Paulo Trigueiros ; Seco, L; Sillero, N ;
PUBLISHED: 2015, SOURCE: ACTA HERPETOLOGICA, VOLUME: 10, ISSUE: 2, PAGES: 103-110
INDEXED IN: Scopus WOS Handle
4649
TITLE: Wind farm distribution network optimization  Full Text
AUTHORS: Cerveira, A ; Baptista, J ; Pires, EJS ;
PUBLISHED: 2015, SOURCE: INTEGRATED COMPUTER-AIDED ENGINEERING, VOLUME: 23, ISSUE: 1, PAGES: 69-79
INDEXED IN: Scopus WOS DBLP CrossRef: 17
4650
TITLE: X-Ray: Monitoring and analysis of distributed database queries
AUTHORS: Guimaraes, P; Pereira, J ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 80-93
INDEXED IN: Scopus DBLP CrossRef: 1
4651
TITLE: Zipper-Based Modular and Deforested Computations
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PAGES: 407-427
INDEXED IN: Scopus WOS DBLP CrossRef
4652
TITLE: "Generic Shooter 3000": a realistic first person shooter powered by biofeedback
AUTHORS: Gonçalo Amaral da Silva; Pedro Alves Nogueira; Rui Rodrigues ;
PUBLISHED: 2014, SOURCE: 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, PAGES: 371-374
INDEXED IN: Scopus DBLP
4653
TITLE: 18th International Database Engineering & Applications Symposium, IDEAS 2014, Porto, Portugal, July 7-9, 2014
AUTHORS: Bipin C Desai; Ana Maria de Almeida; Jorge Bernardino; Elsa Ferreira Gomes ;
PUBLISHED: 2014, SOURCE: IDEAS
INDEXED IN: DBLP
4654
TITLE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal
AUTHORS: Maria João Varanda Pereira; José Paulo Leal ; Alberto Simões;
PUBLISHED: 2014, SOURCE: SLATE, VOLUME: 38
INDEXED IN: DBLP
4655
TITLE: A Benchmark-Based Approach for Ranking Root Causes of Performance Problems in Software Development
AUTHORS: Mushtaq Raza ; Joao Pascoal Faria ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Product-Focused Software Process Improvement (PROFES) in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2014, VOLUME: 8892, PAGES: 314-317
INDEXED IN: Scopus WOS DBLP CrossRef
4656
TITLE: A Bounded Model Checker for SPARK Programs
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837, PAGES: 24-30
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4657
TITLE: A Characterization of Uncoordinated Frequency Hopping for Wireless Secrecy
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2014, SOURCE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC)
INDEXED IN: Scopus WOS CrossRef: 7
4658
TITLE: A Clustering-Based Approach for Exploring Sequences of Compiler Optimizations
AUTHORS: Luiz G A Martins; Ricardo Nobre ; Alexandra C B Delbem; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 2436-2443
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4659
TITLE: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 16-30
INDEXED IN: Scopus WOS DBLP CrossRef Handle
4660
TITLE: A Critical Embedded System product line model-based approach
AUTHORS: Paulo G G Queiroz ; Rosana T V Braga;
PUBLISHED: 2014, SOURCE: Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, VOLUME: 2014-January, ISSUE: January, PAGES: 71-75
INDEXED IN: Scopus

Results per Page: 20.
Página 233 de 406. Total de resultados: 8120.