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

531 Team Members
Filters -> Year: 2025
3901
TÍTULO: The present and future of privacy-preserving computation in fog computing
AUTORES: Sousa, PR ; Antunes, L ; Rolando Martins ;
PUBLICAÇÃO: 2017, FONTE: Fog Computing in the Internet of Things: Intelligence at the Edge, PÁGINAS: 51-69
INDEXADO EM: Scopus CrossRef: 9
3902
TÍTULO: The Single-Writer Principle in CRDT Composition
AUTORES: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: 2017 Programming Models and Languages for Distributed Computing, PMLDC 2017 in Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017, PÁGINAS: 4:1-4:3
INDEXADO EM: Scopus DBLP CrossRef: 2
3903
TÍTULO: The Specification and Analysis of Use Properties of a Nuclear Control System
AUTORES: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLICAÇÃO: 2017, FONTE: The Handbook of Formal Methods in Human-Computer Interaction., PÁGINAS: 379-403
INDEXADO EM: DBLP CrossRef: 1
3904
TÍTULO: The use of sheep as a model for studying peripheral nerve regeneration following nerve injury: review of the literature
AUTORES: Camila Cardoso Diogo; Jose Arthur Camassa; Jose Eduardo Pereira; Luis Maltez da Costa; Vitor Filipe ; Pedro Alexandre Couto ; Stefano Geuna; Ana Colette Mauricio ; Artur Severo Varejao;
PUBLICAÇÃO: 2017, FONTE: NEUROLOGICAL RESEARCH, VOLUME: 39, NÚMERO: 10, PÁGINAS: 926-939
INDEXADO EM: Scopus WOS CrossRef: 32
3905
TÍTULO: Time-dependent genetic effects on gene expression implicate aging processes
AUTORES: Bryois, J; Buil, A; Ferreira, PG ; Panousis, NI; Brown, AA; Viñuela, A; Planchon, A; Bielser, D; Small, K; Spector, T; Dermitzakis, ET;
PUBLICAÇÃO: 2017, FONTE: Genome Research, VOLUME: 27, NÚMERO: 4, PÁGINAS: 545-552
INDEXADO EM: Scopus CrossRef: 32
3906
TÍTULO: TOM: A Model-Based GUI Testing Framework
AUTORES: Miguel Pinto; Marcelo Goncalves; Paolo Masci ; Jose Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PÁGINAS: 155-161
INDEXADO EM: Scopus WOS DBLP CrossRef
3907
TÍTULO: Tools control center to enable the joint simulation of multi-agent systems
AUTORES: Brígida Teixeira; Tiago Pinto ; Gabriel Santos; Isabel Praça; Zita Vale;
PUBLICAÇÃO: 2017, FONTE: Advances in Intelligent Systems and Computing, VOLUME: 619, PÁGINAS: 307-308
INDEXADO EM: Scopus CrossRef
3908
TÍTULO: Tools Control Center to Enable the Joint Simulation of Multi-agent Systems
AUTORES: Brigida Teixeira; Tiago Pinto ; Gabriel Santos; Isabel Praça; Zita A Vale;
PUBLICAÇÃO: 2017, FONTE: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions., VOLUME: 619, PÁGINAS: 307-308
INDEXADO EM: DBLP
3909
TÍTULO: Toward a Token-Based Approach to Concern Detection in MATLAB Sources
AUTORES: Miguel P Monteiro; Nuno C Marques; Bruno Silva; Bruno Palma; Joao Cardoso ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 573-584
INDEXADO EM: Scopus WOS DBLP CrossRef
3910
TÍTULO: Towards a Framework for Agent-Based Simulation of User Behaviour in E-Commerce Context
AUTORES: Duarte Duarte; Hugo Sereno Ferreira ; João Pedro Dias ; Zafeiris Kokkinogenis ;
PUBLICAÇÃO: 2017, FONTE: 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017 in Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions., VOLUME: 619, PÁGINAS: 30-38
INDEXADO EM: Scopus DBLP CrossRef: 2
3911
TÍTULO: Towards a Green Ranking for Programming Languages
AUTORES: Marco Couto ; Rui Pereira ; Francisco Ribeiro ; Rui Rua ; Joao Saraiva ;
PUBLICAÇÃO: 2017, FONTE: 21st Brazilian Symposium on Programming Languages (SBLP) as Part of 8th Brazilian Conference on Software (CBSoft) in PROCEEDINGS OF THE 21ST BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES (SBLP 2017), VOLUME: Part F130805, PÁGINAS: 7:1-7:8
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
3912
TÍTULO: Towards a Lock-Free, Fixed Size and Persistent Hash Map Design
AUTORES: Miguel Joao Goncalves Areias ; Ricardo Jorge Gomes Lopes da Rocha ;
PUBLICAÇÃO: 2017, FONTE: 29th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2017 in 29th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2017, Campinas, Brazil, October 17-20, 2017, PÁGINAS: 145-152
INDEXADO EM: Scopus DBLP CrossRef: 3
3913
TÍTULO: Towards a middleware for mobile edge-cloud applications
AUTORES: João Rodrigues ; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLICAÇÃO: 2017, FONTE: 2nd Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2017 in Proceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets, MECC@Middleware 2017, Las Vegas, NV, USA, December 11 - 15, 2017, PÁGINAS: 1:1-1:6
INDEXADO EM: Scopus DBLP CrossRef: 17
3914
TÍTULO: Towards an Automated Test Bench Environment for Prolog Systems
AUTORES: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2017, FONTE: 6th Symposium on Languages, Applications and Technologies, SLATE 2017 in 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal, VOLUME: 56, PÁGINAS: 2:1-2:13
INDEXADO EM: Scopus DBLP
3915
TÍTULO: Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
AUTORES: Lima, BMC ; Faria, JCP ;
PUBLICAÇÃO: 2017, FONTE: 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017 in Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, PÁGINAS: 356-365
INDEXADO EM: Scopus CrossRef: 4
3916
TÍTULO: Towards Interoperability in the European Poetry Community: The Standardization of Philological Concepts
AUTORES: Bermudez Sabel, Helena; Malta, Mariana Curado ; Gonzalez Blanco, Elena;
PUBLICAÇÃO: 2017, FONTE: 1st International Conference on Language, Data and Knowledge (LDK) in LANGUAGE, DATA, AND KNOWLEDGE, LDK 2017, VOLUME: 10318, PÁGINAS: 156-165
INDEXADO EM: Scopus WOS CrossRef: 4
3917
TÍTULO: Towards new data management platforms for a DSO as market enabler - UPGRID Portugal demo
AUTORES: Alonso, A ; Couto, R ; Pacheco, H; Bessa, R ; Gouveia, C ; Seca, L; Moreira, J ; Nunes, P; Matos, PG; Oliveira, A;
PUBLICAÇÃO: 2017, FONTE: 24th International Conference and Exhibition on Electricity Distribution, CIRED 2017 in CIRED - Open Access Proceedings Journal, VOLUME: 2017, NÚMERO: 1, PÁGINAS: 2926-2930
INDEXADO EM: Scopus CrossRef: 2
3918
TÍTULO: Towards Systematic Spreadsheet Construction Processes
AUTORES: Jorge Mendes ; Jacome Cunha ; Francisco Duarte; Gregor Engels; Joao Saraiva ; Stefan Sauer;
PUBLICAÇÃO: 2017, FONTE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PÁGINAS: 356-358
INDEXADO EM: Scopus WOS DBLP CrossRef
3919
TÍTULO: Towards understanding consumers' quality evaluation of online health information: A case study. Towards Understanding Consumers' Quality Evaluation of Online Health Information: A Case Study
AUTORES: Zequn Ye; Jacek Gwizdka; Carla Teixeira Lopes ; Yan Zhang;
PUBLICAÇÃO: 2017, FONTE: Diversity of Engagement: Connecting People and Information in the Physical and Virtual Worlds - Proceedings of the 80th ASIS&T Annual Meeting, ASIST 2017, Washington, DC, USA, October 27 - November 1, 2017, VOLUME: 54, NÚMERO: 1, PÁGINAS: 838-839
INDEXADO EM: Scopus DBLP CrossRef: 2
3920
TÍTULO: Transparent cross-system consistency
AUTORES: Joao Loff; Daniel Porto; Carlos Baquero ; Joao Garcia; Nuno Preguica ; Rodrigo Rodrigues ;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 8:1-8:4
INDEXADO EM: Scopus WOS DBLP CrossRef: 2

Results per Page: 20.
Página 196 de 424. Total de resultados: 8473.