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
5801
TÍTULO: Extending publish/subscribe mechanisms to SOA applications
AUTORES: Albano, M; Ferreira, LL ; Sousa, J;
PUBLICAÇÃO: 2016, FONTE: IEEE World Conference on Factory Communication Systems (WFCS) in 2016 IEEE WORLD CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS), VOLUME: 2016-June, PÁGINAS: 1-4
INDEXADO EM: Scopus WOS DBLP CrossRef: 12 Handle
5802
TÍTULO: FastStep: Scalable Boolean Matrix Decomposition
AUTORES: Araujo, M ; Ribeiro, P ; Faloutsos, C ;
PUBLICAÇÃO: 2016, FONTE: 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2016, PT I, VOLUME: 9651, PÁGINAS: 461-473
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
5803
TÍTULO: Feature Nets: behavioural modelling of software product lines
AUTORES: Muschevici, R; Proença, J ; Clarke, D;
PUBLICAÇÃO: 2016, FONTE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, NÚMERO: 4, PÁGINAS: 1181-1206
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
5804
TÍTULO: Federated IaaS Resource Brokerage
AUTORES: Bruno Veloso ; Fernando Meireles; Benedita Malheiro ; Juan Carlos Burguillo;
PUBLICAÇÃO: 2016, FONTE: Developing Interoperable and Federated Cloud Architecture, PÁGINAS: 252-280
INDEXADO EM: CrossRef: 3
5805
TÍTULO: Fibroblast growth factor 23 is associated with left ventricular hypertrophy, not with uremic vasculopathy in peritoneal dialysis patients
AUTORES: Sarmento Dias, M; Santos Araujo, C ; Rui Poínhos ; Oliveira, B ; Sousa, MJ; Silva, LS; Silva, IS ; Flora Correia ; Pestana, M ;
PUBLICAÇÃO: 2016, FONTE: CLINICAL NEPHROLOGY, VOLUME: 85, NÚMERO: 3, PÁGINAS: 135-141
INDEXADO EM: Scopus WOS CrossRef: 28 Handle
5806
TÍTULO: First International Workshop on Recent Trends in News Information Retrieval (NewsIR'16)
AUTORES: Miguel Martinez Alvarez; Udo Kruschwitz; Gabriella Kazai; Frank Hopfgartner; David P A Corney; Ricardo Campos ; Dyaa Albakour;
PUBLICAÇÃO: 2016, FONTE: ECIR, VOLUME: 9626, PÁGINAS: 878-882
INDEXADO EM: Scopus DBLP CrossRef: 12
5807
TÍTULO: First Principle Models Based Dataset Generation for Multi-Target Regression and Multi-Label Classification Evaluation
AUTORES: Ricardo Teixeira Sousa; João Gama ;
PUBLICAÇÃO: 2016, FONTE: STREAMEVOLV@ECML-PKDD, VOLUME: 2069
INDEXADO EM: Scopus DBLP
5808
TÍTULO: FlexHousing: Flexoffer concept applied to house energy automation
AUTORES: Joss Santos; Michele Albano; Luis Lino Ferreira ;
PUBLICAÇÃO: 2016, FONTE: INForum Simpósio de Informática
INDEXADO EM: Handle
5809
TÍTULO: Formal Verification of a Space System's User Interface With the IVY Workbench
AUTORES: Campos, JC ; Sousa, M; Alves, MCB; Harrison, MD ;
PUBLICAÇÃO: 2016, FONTE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, NÚMERO: 2, PÁGINAS: 303-316
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
5810
TÍTULO: Formal Verification With Frama-C: A Case Study in the Space Software Domain
AUTORES: Silva, RABE; Arai, NN; Burgareli, LA; de Oliveira, JMP; Pinto, JS ;
PUBLICAÇÃO: 2016, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, NÚMERO: 3, PÁGINAS: 1163-1179
INDEXADO EM: WOS DBLP CrossRef: 5
5811
TÍTULO: Formalization of the Pumping Lemma for Context-Free Languages PDF
AUTORES: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, NÚMERO: 2, PÁGINAS: 53-68
INDEXADO EM: Scopus WOS DBLP arXiv
5812
TÍTULO: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
AUTORES: Lourenço, CB ; Frade, MJ ; Pinto, JS ;
PUBLICAÇÃO: 2016, FONTE: 25th European Symposium on Programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), VOLUME: 9632, PÁGINAS: 41-67
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5813
TÍTULO: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTORES: Barbosa, M ; Portela, B ; Scerri, G; Warinschi, B;
PUBLICAÇÃO: 2016, FONTE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, PÁGINAS: 245-260
INDEXADO EM: Scopus WOS DBLP CrossRef: 36
5815
TÍTULO: From offshore-provider to brand creator: fsQCA of footwear industry  Full Text
AUTORES: Raquel Meneses ; Pedro Quelhas Brito ; Paulo Coelho Gomes;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF BUSINESS RESEARCH, VOLUME: 69, NÚMERO: 11, PÁGINAS: 5540-5546
INDEXADO EM: Scopus WOS CrossRef: 10
5816
TÍTULO: GA optimization technique for portfolio optimization of electricity market participation
AUTORES: Faia, R; Pinto, T ; Vale, Z ;
PUBLICAÇÃO: 2016, FONTE: 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016 in 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016
INDEXADO EM: Scopus CrossRef: 8
5817
TÍTULO: GA Optimization Technique for Portfolio Optimization of Electricity Market Participation
AUTORES: Faia, R; Pinto, T ; Vale, Z;
PUBLICAÇÃO: 2016, FONTE: IEEE Symposium Series on Computational Intelligence (IEEE SSCI) in PROCEEDINGS OF 2016 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (SSCI), PÁGINAS: 1-7
INDEXADO EM: WOS DBLP
5818
TÍTULO: Games e Gamificação: uma alternativa aos modelos de EaD
AUTORES: Eliane Schlemmer ;
PUBLICAÇÃO: 2016, FONTE: RIED. Revista Iberoamericana de Educación a Distancia, VOLUME: 19, NÚMERO: 2, PÁGINAS: 107
INDEXADO EM: CrossRef: 5
5819
TÍTULO: Gamificação de uma rede social académica universitária
AUTORES: Fernando Saraiva; Lina Morgado; Vitor Rocio ;
PUBLICAÇÃO: 2016, FONTE: 3º Encontro sobre Jogos e Mobile Learning
INDEXADO EM: Handle
5820
TÍTULO: Gamification of Learning Activities with the Odin service
AUTORES: Paiva, JC ; Leal, JP ; Queirós, R ;
PUBLICAÇÃO: 2016, FONTE: PTI 17th KKIO Software Engineering Conference in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, NÚMERO: 3, PÁGINAS: 809-826
INDEXADO EM: Scopus WOS DBLP CrossRef: 11 Handle

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