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
4201
TÍTULO: Verifying Constant-Time Implementations
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Michael Emmi;
PUBLICAÇÃO: 2016, FONTE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM, PÁGINAS: 53-70
INDEXADO EM: WOS DBLP
4202
TÍTULO: Video Annotation for Immersive Journalism using Masking Techniques
AUTORES: Joao Meira; Joao Marques; Jacob, J ; Rui Nobrega ; Rui Rodrigues ; Antonio Coelho ; Augusto de Sousa, AA ;
PUBLICAÇÃO: 2016, FONTE: 23rd Portuguese Meeting on Computer Graphics and Interaction (EPCGI) in 2016 23RD PORTUGUESE MEETING ON COMPUTER GRAPHICS AND INTERACTION (EPCGI), PÁGINAS: 49-55
INDEXADO EM: Scopus WOS CrossRef: 2
4203
TÍTULO: Virtual tagging detection for context awareness using computer vision
AUTORES: Hugo Fernandes ; Hugo Paredes ; Vítor Filipe ; João Barroso ;
PUBLICAÇÃO: 2016, FONTE: 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion, DSAI 2016 in Proceedings of the 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2016, Vila Real, Portugal, December 1-3, 2016, VOLUME: Part F126964, PÁGINAS: 1-7
INDEXADO EM: Scopus DBLP CrossRef: 3 Unpaywall
4204
TÍTULO: Visualization System for Monitoring Data Management Systems
AUTORES: Alexandre Carvalho ; Emanuel Pinho;
PUBLICAÇÃO: 2016, FONTE: Journal of Information Systems Engineering & Management, VOLUME: 1, NÚMERO: 4
INDEXADO EM: CrossRef: 2
4205
TÍTULO: Vividness, delight, and urge to buy online
AUTORES: Carlos Peixeira Marques; Ramiro Goncalves ;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
INDEXADO EM: WOS CrossRef: 1
4206
TÍTULO: Voice recognition in the LabTablet electronic laboratory notebook
AUTORES: Susana Ventura; Ricardo Carvalho Amorim ; João Rocha da Silva ; Cristina Ribeiro ;
PUBLICAÇÃO: 2016, FONTE: 9th International C* Conference on Computer Science and Software Engineering, C3S2E 2016 in Proceedings of the Ninth International C* Conference on Computer Science & Software Engineering, C3S2E '16, Porto, Portugal, July 20-22, 2016, VOLUME: 20-22-July-2016, PÁGINAS: 13-16
INDEXADO EM: Scopus DBLP CrossRef
4207
TÍTULO: Volatility Leveraging in Heart Rate: health vs disease PDF
AUTORES: Ana Paula Rocha ; Argentina Leite ; Maria Eduarda Silva ;
PUBLICAÇÃO: 2016, FONTE: 43rd Computing in Cardiology Conference (CinC) in 2016 COMPUTING IN CARDIOLOGY CONFERENCE (CINC), VOL 43, VOLUME: 43, PÁGINAS: 25-28
INDEXADO EM: Scopus WOS DBLP
4208
TÍTULO: Wang and Mendel's fuzzy rule learning method for energy consumption forecasting considering the influence of environmental temperature
AUTORES: Aria Jozi; Tiago Pinto ; Isabel Praça; Francisco Silva; Brigida Teixeira; Zita A Vale;
PUBLICAÇÃO: 2016, FONTE: 2016 Global Information Infrastructure and Networking Symposium, GIIS 2016, Porto, Portugal, October 19-21, 2016, PÁGINAS: 1-6
INDEXADO EM: DBLP
4209
TÍTULO: Wavelet-Based Clustering of Sea Level Records  Full Text
AUTORES: Barbosa, SM ; Gouveia, S ; Scotto, MG ; Alonso, AM;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL GEOSCIENCES, VOLUME: 48, NÚMERO: 2, PÁGINAS: 149-162
INDEXADO EM: Scopus WOS CrossRef: 6
4210
TÍTULO: Web Accessibility Challenges and Perspectives A systematic literature review
AUTORES: Ana Baptista; Jose Martins ; Ramiro Goncalves ; Frederico Branco ; Tania Rocha ;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
INDEXADO EM: Scopus WOS CrossRef: 14
4211
TÍTULO: Welcome to EICS 2016
AUTORES: Luyten, K; Palanque, P; Campos, JC ; Schmidt, A; Signer, B; Roussel, N;
PUBLICAÇÃO: 2016, FONTE: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2016 in EICS 2016 - 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems
INDEXADO EM: Scopus
4212
TÍTULO: Why Logical Clocks Are Easy  Full Text
AUTORES: Carlos Baquero ; Nuno Preguica;
PUBLICAÇÃO: 2016, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 59, NÚMERO: 4, PÁGINAS: 43-47
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
4213
TÍTULO: Why Logical Clocks are Easy. Sometimes all you need is the right language.
AUTORES: Carlos Baquero ; Nuno M Preguiça;
PUBLICAÇÃO: 2016, FONTE: ACM Queue, VOLUME: 14, NÚMERO: 1, PÁGINAS: 60
INDEXADO EM: Scopus DBLP CrossRef: 1
4214
TÍTULO: Why should you model time when you use Markov Models for heart sound analysis
AUTORES: Oliveira, J ; Mantadelis, T ; Coimbra, M ;
PUBLICAÇÃO: 2016, FONTE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October, PÁGINAS: 3449-3452
INDEXADO EM: Scopus WOS DBLP CrossRef
4215
TÍTULO: Workshop message: Smart Vehicles 2016
AUTORES: Festag, A; Boban, M; Kenney, JB; Vilela, JP ;
PUBLICAÇÃO: 2016, FONTE: 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2016 in WoWMoM 2016 - 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks
INDEXADO EM: Scopus CrossRef
4216
TÍTULO: Worlds of Events Deduction with Partial Knowledge about Causality PDF  Full Text
AUTORES: Haeri, SH; Van Roy, P; Baquero, C ; Meiklejohn, C;
PUBLICAÇÃO: 2016, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1608.03326, NÚMERO: 223, PÁGINAS: 113-127
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef
4218
TÍTULO: 18th IEEE International Conference on Computational Science and Engineering, CSE 2015, Porto, Portugal, October 21-23, 2015
AUTORES: Christian Plessl; Didier El Baz; Guojing Cong; João M P Cardoso ; Luís Veiga ; Thomas Rauber;
PUBLICAÇÃO: 2015, FONTE: CSE
INDEXADO EM: DBLP
4219
TÍTULO: A Bounded Neural Network for Open Set Recognition
AUTORES: Douglas O Cardoso ; Felipe Franca; Joao Gama ;
PUBLICAÇÃO: 2015, FONTE: International Joint Conference on Neural Networks (IJCNN) in 2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2015-September, PÁGINAS: 1-7
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
4220
TÍTULO: A Clear Picture of Lens Laws - Functional Pearl
AUTORES: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLICAÇÃO: 2015, FONTE: 12th International Conference on Mathematics of Program Construction, MPC 2015 in Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, VOLUME: 9129, PÁGINAS: 215-223
INDEXADO EM: Scopus DBLP CrossRef: 9

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