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

531 Team Members
Filters -> Year: 2024
4021
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
4022
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
4023
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
4024
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
4025
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
4027
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: 8
4028
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: 7
4029
TÍTULO: GA optimization technique for portfolio optimization of electricity market participation
AUTORES: Ricardo Faia; Tiago Pinto ; Zita A Vale;
PUBLICAÇÃO: 2016, FONTE: 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016, Athens, Greece, December 6-9, 2016, PÁGINAS: 1-7
INDEXADO EM: DBLP
4030
TÍTULO: Gamification of Learning Activities with the Odin service  Full Text
AUTORES: Paiva, JC ; Leal, JP ; Queiros, 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: 10 Handle
4031
TÍTULO: Gamification-Based E-Learning Strategies for Computer Programming Education
AUTORES: de Queirós, RAP ; Pinto, MT;
PUBLICAÇÃO: 2016, FONTE: Gamification-Based E-Learning Strategies for Computer Programming Education, PÁGINAS: 1-349
INDEXADO EM: Scopus CrossRef
4032
TÍTULO: Generation of realistic scenarios for multi-agent simulation of electricity markets  Full Text
AUTORES: Silva, F; Teixeira, B; Pinto, T ; Santos, G; Vale, Z; Praca, I;
PUBLICAÇÃO: 2016, FONTE: ENERGY, VOLUME: 116, NÚMERO: 1, PÁGINAS: 128-139
INDEXADO EM: Scopus WOS CrossRef Handle
4033
TÍTULO: Geometry-Based Propagation Modeling and Simulation of Vehicle-to-Infrastructure Links
AUTORES: Bengi Aygun; Mate Boban; Joao P Vilela ; Alexander M Wyglinski;
PUBLICAÇÃO: 2016, FONTE: IEEE 83rd Vehicular Technology Conference (VTC Spring) in 2016 IEEE 83RD VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), VOLUME: 2016-July
INDEXADO EM: Scopus WOS CrossRef: 15
4034
TÍTULO: GeoSpatial Platform for Port Management Processes
AUTORES: Lino Oliveira ; Jorge Santos; Leonel Dias ;
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
4035
TÍTULO: GTE-Rank: A time-aware search engine to answer time-sensitive queries  Full Text
AUTORES: Ricardo Campos ; Gael Dias; Alipio Jorge ; Celia Nunes ;
PUBLICAÇÃO: 2016, FONTE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 52, NÚMERO: 2, PÁGINAS: 273-298
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
4036
TÍTULO: Hash-Chain Based Authentication for IoT Devices and REST Web-Services
AUTORES: Pinto, A ; Costa, R ;
PUBLICAÇÃO: 2016, FONTE: 7th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE - SOFTWARE AND APPLICATIONS (ISAMI 2016), VOLUME: 476, PÁGINAS: 189-196
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
4037
TÍTULO: Hash-Chain-Based Authentication for IoT
AUTORES: Antonio Pinto ; Ricardo Costa ;
PUBLICAÇÃO: 2016, FONTE: ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, VOLUME: 5, NÚMERO: 4, PÁGINAS: 43-57
INDEXADO EM: WOS CrossRef: 11
4038
TÍTULO: HDR video on mobile devices Unlocker of new opportunities for digital business
AUTORES: Miguel Melo ; Luis Barbosa ; Cesar Meira; Frederico Branco ; Maximino Bessa ;
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
4039
TÍTULO: HDR video on small screen devices
AUTORES: Melo, M ; Bessa, M ; Debattista, K; Chalmers, A;
PUBLICAÇÃO: 2016, FONTE: High Dynamic Range Video: Concepts, Technologies and Applications, PÁGINAS: 173-188
INDEXADO EM: Scopus CrossRef: 1
4040
TÍTULO: Health Suggestions: A Chrome Extension to Help Laypersons Search for Health Information
AUTORES: Carla Teixeira Lopes ; Tiago Almeida Fernandes;
PUBLICAÇÃO: 2016, FONTE: 7th International Conference of the CLEF-Association (CLEF) in EXPERIMENTAL IR MEETS MULTILINGUALITY, MULTIMODALITY, AND INTERACTION, CLEF 2016, VOLUME: 9822, PÁGINAS: 241-246
INDEXADO EM: Scopus WOS DBLP CrossRef: 2

Results per Page: 20.
Página 202 de 414. Total de resultados: 8274.