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

536 Team Members
Filters -> Year: 2026
6101
TÍTULO: Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets
AUTORES: Lima, B ; Faria, JP ;
PUBLICAÇÃO: 2016, FONTE: 10th International Conference on the Quality of Information and Communications Technology (QUATIC) in PROCEEDINGS 2016 10TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PÁGINAS: 230-235
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
6102
TÍTULO: Trends in Extreme Mean Sea Level Quantiles from Satellite Altimetry  Full Text
AUTORES: Susana M Barbosa ;
PUBLICAÇÃO: 2016, FONTE: MARINE GEODESY, VOLUME: 39, NÚMERO: 2, PÁGINAS: 165-177
INDEXADO EM: WOS CrossRef: 1
6103
TÍTULO: Trends in mathematical economics: Dialogues between Southern Europe and Latin America
AUTORES: Pinto, AA ; Accinelli Gamba, E ; Yannacopoulos, AN; Hervés Beloso, C;
PUBLICAÇÃO: 2016, FONTE: Trends in Mathematical Economics: Dialogues Between Southern Europe and Latin America, PÁGINAS: 1-383
INDEXADO EM: Scopus CrossRef: 2
6104
TÍTULO: Tuning Pipelined Scientific Data Analyses for Efficient Multicore Execution
AUTORES: Andre Pereira ; Antonio Onofre ; Alberto Proenca ;
PUBLICAÇÃO: 2016, FONTE: 14th International Conference on High Performance Computing & Simulation (HPCS) in 2016 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS 2016), PÁGINAS: 751-758
INDEXADO EM: Scopus WOS CrossRef
6105
TÍTULO: TweeProfiles3: visualization of spatio-temporal patterns on Twitter
AUTORES: Maia, A; Cunha, T ; Soares, C ; Abreu, PH ;
PUBLICAÇÃO: 2016, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 444, PÁGINAS: 869-878
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
6106
TÍTULO: Typed Connector Families
AUTORES: Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2016, FONTE: 12th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, VOLUME: 9539, PÁGINAS: 294-311
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
6107
TÍTULO: Types of assessing student-programming knowledge
AUTORES: Gomes, A ; Correia, FB; Abreu, PH ;
PUBLICAÇÃO: 2016, FONTE: IEEE Frontiers in Education Conference (FIE) in 2016 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE)
INDEXADO EM: WOS
6108
TÍTULO: Types of assessing student-programming knowledge
AUTORES: Anabela Gomes ; Fernanda Brito Correia; Pedro Henriques Abreu ;
PUBLICAÇÃO: 2016, FONTE: 2016 IEEE Frontiers in Education Conference, FIE 2015, Eire, PA, USA, October 12-15, 2016, VOLUME: 2016-November, PÁGINAS: 1-8
INDEXADO EM: Scopus DBLP CrossRef: 11
6109
TÍTULO: UBL: an R package for Utility-based Learning
AUTORES: Paula Branco ; Rita P Ribeiro ; Luís Torgo ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1604.08079
INDEXADO EM: DBLP
6110
TÍTULO: Understanding the determinants of social network sites adoption at firm level: A mixed methodology approach
AUTORES: Martins, J ; Gonçalves, R ; Oliveira, T; Cota, M; Branco, F ;
PUBLICAÇÃO: 2016, FONTE: ELECTRONIC COMMERCE RESEARCH AND APPLICATIONS, VOLUME: 18, PÁGINAS: 10-26
INDEXADO EM: Scopus WOS DBLP CrossRef: 39
6111
TÍTULO: Usability evaluation of an entertainment platform by people with intellectual disabilities
AUTORES: Rocha, T ; Carvalho, D ; Gonçalves, R ; Martins, J ; Branco, F ; Bessa, M ;
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: 4
6112
TÍTULO: Usability Study of SClinico
AUTORES: Joao Pavao ; BASTARDO, Rute ; Marta Covelo; Luis Torres Pereira ; Norberto Goncalves ; Alexandra Queiros; Nelson Pacheco Rocha ; Victor Costa;
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: 1
6113
TÍTULO: Usage-Driven Dublin Core Descriptor Selection A Case Study Using the Dendro Platform for Research Dataset Description. A Case Study Using the Dendro Platform for Research Dataset Description
AUTORES: da Silva, JR ; Ribeiro, C ; Lopes, JC ;
PUBLICAÇÃO: 2016, FONTE: 20th International Conference on Theory and Practice of Digital Libraries (TPDL) in RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES, TPDL 2016, VOLUME: 9819, PÁGINAS: 27-38
INDEXADO EM: Scopus WOS DBLP CrossRef
6114
TÍTULO: User Redirection and Direct Haptics in Virtual Environments
AUTORES: Carvalheiro, C; Nóbrega, R ; da Silva, H; Rodrigues, R ;
PUBLICAÇÃO: 2016, FONTE: 24th ACM Multimedia Conference (MM) in MM'16: PROCEEDINGS OF THE 2016 ACM MULTIMEDIA CONFERENCE, PÁGINAS: 1146-1155
INDEXADO EM: Scopus WOS DBLP CrossRef: 34
6115
TÍTULO: User-friendly spreadsheet querying: an empirical study. an empirical study
AUTORES: Rui Pereira ; João Saraiva ; Jácome Cunha ; João Paulo Fernandes ;
PUBLICAÇÃO: 2016, FONTE: SAC, VOLUME: 04-08-April-2016, PÁGINAS: 202-204
INDEXADO EM: Scopus DBLP CrossRef
6116
TÍTULO: Using Smartphones to Classify Urban Sounds
AUTORES: Gomes, EF ; Fábio Batista; Alípio Mário Jorge ;
PUBLICAÇÃO: 2016, FONTE: C3S2E, VOLUME: 20-22-July-2016, PÁGINAS: 67-72
INDEXADO EM: Scopus DBLP CrossRef: 3
6117
TÍTULO: Validating an Approach to Formalize Use Cases with Ontologies
AUTORES: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLICAÇÃO: 2016, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 205, NÚMERO: 205, PÁGINAS: 1-15
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Handle
6118
TÍTULO: Vanishing scares: biofeedback modulation of affective player experiences in a procedural horror game
AUTORES: Nogueira, PA ; Torres, V; Rodrigues, R ; Oliveira, E ; Nacke, LE;
PUBLICAÇÃO: 2016, FONTE: JOURNAL ON MULTIMODAL USER INTERFACES, VOLUME: 10, NÚMERO: 1, PÁGINAS: 31-62
INDEXADO EM: Scopus WOS DBLP CrossRef: 37
6119
TÍTULO: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
PUBLICAÇÃO: 2016, FONTE: 23rd International Conference on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION (FSE 2016), VOLUME: 9783, PÁGINAS: 163-184
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
6120
TÍTULO: Verifying Constant-Time Implementations
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Emmi, M;
PUBLICAÇÃO: 2016, FONTE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM, PÁGINAS: 53-70
INDEXADO EM: WOS DBLP

Results per Page: 20.
Página 306 de 533. Total de resultados: 10645.