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
4141
TÍTULO: Exploração do high fidelity para desenvolvimento de jogos em mundos virtuais imersivos multi utilizador
AUTORES: José Martins; Leonel Morgado ; Vitor Cardoso;
PUBLICAÇÃO: 2016, FONTE: Videojogos 2016 - 9.ª Conferência de Ciências e Artes dos Videojogos
INDEXADO EM: Handle
4142
TÍTULO: Exploratory Study of the Cardiac Dynamic Trajectory in the Embedding Space PDF
AUTORES: Oliveira, J ; Cardoso, B; Coimbra, MT ;
PUBLICAÇÃO: 2016, FONTE: 43rd Computing in Cardiology Conference (CinC) in 2016 COMPUTING IN CARDIOLOGY CONFERENCE (CINC), VOL 43, VOLUME: 43, PÁGINAS: 193-196
INDEXADO EM: Scopus WOS DBLP CrossRef
4143
TÍTULO: Exploring a Large News Collection Using Visualization Tools PDF
AUTORES: Tiago Devezas ; José Luís Devezas ; Sérgio Nunes ;
PUBLICAÇÃO: 2016, FONTE: 1st International Workshop on Recent Trends in News Information Retrieval, NewsIR 2016 in Proceedings of the First International Workshop on Recent Trends in News Information Retrieval co-located with 38th European Conference on Information Retrieval (ECIR 2016), Padua, Italy, March 20, 2016., VOLUME: 1568, PÁGINAS: 48-53
INDEXADO EM: Scopus DBLP
4144
TÍTULO: Exploring educational immersive videogames: an empirical study with a 3D multimodal interaction prototype  Full Text
AUTORES: Luis Miguel A Alves Fernandes; Goncalo Cruz Matos ; Diogo Azevedo ; Ricardo Rodrigues Nunes ; Hugo Paredes ; Leonel Morgado ; Luis Filipe Barbosa ; Paulo Martins ; Benjamim Fonseca ; Paulo Cristovao; Fausto de Carvalho; Bernardo Cardoso;
PUBLICAÇÃO: 2016, FONTE: BEHAVIOUR & INFORMATION TECHNOLOGY, VOLUME: 35, NÚMERO: 11, PÁGINAS: 907-918
INDEXADO EM: Scopus WOS DBLP CrossRef: 31
4145
TÍTULO: Exploring Heterogeneous Computing with Advanced Path Tracing Algorithms
AUTORES: Oliveira, A; Perdigao, C; Santos, LP ; Proenca, A ;
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: 23-30
INDEXADO EM: Scopus WOS CrossRef
4146
TÍTULO: EXPLOSION OF DIFFERENTIABILITY FOR EQUIVALENCIES BETWEEN ANOSOV FLOWS ON 3-MANIFOLDS
AUTORES: Mario Bessa ; Sergio Dias; Alberto A Pinto ;
PUBLICAÇÃO: 2016, FONTE: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 144, NÚMERO: 9, PÁGINAS: 3757-3766
INDEXADO EM: Scopus WOS CrossRef
4147
TÍTULO: Extending publish/subscribe mechanisms to SOA applications
AUTORES: Albano, M; Ferreira, LL ; Sousa, J;
PUBLICAÇÃO: 2016, FONTE: 12th IEEE World Conference on Factory Communication Systems, WFCS 2016 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, VOLUME: 2016-June
INDEXADO EM: Scopus CrossRef
4148
TÍTULO: Extending publish/subscribe mechanisms to SOA applications
AUTORES: Albano, M; Ferreira, LL ; Sousa, J;
PUBLICAÇÃO: 2016, FONTE: 12th IEEE World Conference on Factory Communication Systems, WFCS 2016 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, VOLUME: 2016-June
INDEXADO EM: Scopus
4149
TÍTULO: Extending publish/subscribe mechanisms to SOA applications
AUTORES: Michele Albano; Luis Lino Ferreira ; Jose Sousa;
PUBLICAÇÃO: 2016, FONTE: IEEE World Conference on Factory Communication Systems (WFCS) in 2016 IEEE WORLD CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS)
INDEXADO EM: WOS
4150
TÍTULO: FastStep: Scalable Boolean Matrix Decomposition
AUTORES: Miguel Araujo ; Pedro Ribeiro ; Christos Faloutsos ;
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
4151
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
4152
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 ; Poinhos, R ; 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: 27 Handle
4153
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 Corney; Ricardo Campos ; Dyaa Albakour;
PUBLICAÇÃO: 2016, FONTE: 38th European Conference on Information Retrieval Research, ECIR 2016 in Advances in Information Retrieval - 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20-23, 2016. Proceedings, VOLUME: 9626, PÁGINAS: 878-882
INDEXADO EM: Scopus DBLP CrossRef: 4
4154
TÍTULO: First Principle Models Based Dataset Generation for Multi-Target Regression and Multi-Label Classification Evaluation PDF
AUTORES: Ricardo Sousa; João Gama ;
PUBLICAÇÃO: 2016, FONTE: 2016 Workshop on Large-Scale Learning from Data Streams in Evolving Environments, STREAMEVOLV 2016 in Proceedings of the Workshop on Large-scale Learning from Data Streams in Evolving Environments (STREAMEVOLV 2016) co-located with the 2016 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML/PKDD 2016), Riva del Garda, Italy, September 23, 2016., VOLUME: 2069
INDEXADO EM: Scopus DBLP
4155
TÍTULO: Formal Verification of a Space System's User Interface With the IVY Workbench  Full Text
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: 10
4156
TÍTULO: Formal Verification With Frama-C: A Case Study in the Space Software Domain  Full Text
AUTORES: Rovedy Aparecida B E Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria P Parente de Oliveira; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2016, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, NÚMERO: 3, PÁGINAS: 1163-1179
INDEXADO EM: WOS DBLP CrossRef: 2
4157
TÍTULO: Formalization of the Pumping Lemma for Context-Free Languages
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
4158
TÍTULO: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
AUTORES: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
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
4159
TÍTULO: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTORES: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLICAÇÃO: 2016, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2016, PÁGINAS: 14
INDEXADO EM: DBLP
4160
TÍTULO: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTORES: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
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: 31

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