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

531 Team Members
Filters -> Year: 2025
3881
TÍTULO: The maximum edge weight clique problem: Formulations and solution approaches
AUTORES: Hosseinian, S; Fontes, DBMM ; Butenko, S; Nardelli, MB; Fornari, M; Curtarolo, S;
PUBLICAÇÃO: 2017, FONTE: Springer Optimization and Its Applications, VOLUME: 130, PÁGINAS: 217-237
INDEXADO EM: Scopus CrossRef: 9
3882
TÍTULO: The MINDS Method: Integrating Management and Interaction Design Perspectives for Service Design
AUTORES: Jorge Grenha Teixeira ; Lia Patricio ; Ko Hsun Huang; Raymond P Fisk; Leonel Nobrega; Larry Constantine;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF SERVICE RESEARCH, VOLUME: 20, NÚMERO: 3, PÁGINAS: 240-258
INDEXADO EM: Scopus WOS CrossRef: 54
3883
TÍTULO: The P-SOCRATES timing analysis methodology for parallel real-time applications deployed on many-core platforms
AUTORES: Vincent Nelis; Patrick Meumeu Yomsi; Luís Miguel Pinho ;
PUBLICAÇÃO: 2017, FONTE: OpenAccess Series in Informatics, VOLUME: 57, PÁGINAS: 101-109
INDEXADO EM: Scopus Handle
3884
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
3885
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
3886
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
3887
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
3888
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
3889
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
3890
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
3891
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
3892
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
3893
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
3894
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
3895
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
3896
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
3897
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
3898
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
3899
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
3900
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

Results per Page: 20.
Página 195 de 423. Total de resultados: 8455.