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

535 Team Members
Filters -> Year: 2026
4061
TÍTULO: Simplifying the Algorithm Selection Using Reduction of Rankings of Classification Algorithms
AUTORES: Salisu Mamman Abdulrahman; Pavel Brazdil ; Wan Mohd Nazmee Wan Zainon; Alhassan Adamu;
PUBLICAÇÃO: 2019, FONTE: 8th International Conference on Software and Computer Applications (ICSCA) in 2019 8TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2019), VOLUME: Part F147956, PÁGINAS: 140-148
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
4062
TÍTULO: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTORES: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2019, FONTE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PÁGINAS: 38-55
INDEXADO EM: Scopus DBLP CrossRef: 2
4063
TÍTULO: Simulation under Arbitrary Temporal Logic Constraints PDF  Full Text
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PÁGINAS: 63-69
INDEXADO EM: Scopus DBLP arXiv CrossRef: 5
4064
TÍTULO: Size-Density Trajectory in Regenerated Maritime Pine Stands after Fire  Full Text
AUTORES: Enes, T; Lousada, J; Aranha, J; Cerveira, A ; Alegria, C; Fonseca, T;
PUBLICAÇÃO: 2019, FONTE: FORESTS, VOLUME: 10, NÚMERO: 12, PÁGINAS: 1057
INDEXADO EM: Scopus WOS CrossRef: 10 Handle
4065
TÍTULO: Smart cities and smart tourism: What future do they bring?
AUTORES: Matos, A; Pinto, B; Barros, F; Martins, S; Martins, J ; Au Yong Oliveira, M ;
PUBLICAÇÃO: 2019, FONTE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 932, PÁGINAS: 358-370
INDEXADO EM: Scopus CrossRef: 22
4066
TÍTULO: Smart Coach - A Recommendation System for Young Football Athletes
AUTORES: Paulo Matos; João Rocha ; Ramiro Gonçalves ; Ana de Almeida ; Filipe Santos; David Abreu; Constantino Martins ;
PUBLICAÇÃO: 2019, FONTE: 10th International Symposium on Ambient Intelligence, ISAmI 2019 in Ambient Intelligence - Software and Applications -,10th International Symposium on Ambient Intelligence, ISAmI 2019, Ávila, Spain, 26-28 June 2019., VOLUME: 1006, PÁGINAS: 171-178
INDEXADO EM: Scopus DBLP CrossRef: 6
4067
TÍTULO: Smart Governance in european smart cities
AUTORES: Bernardo, MDM ;
PUBLICAÇÃO: 2019, FONTE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), PÁGINAS: 1-6
INDEXADO EM: WOS CrossRef: 1
4068
TÍTULO: Smart Governance in european smart cities [Smart Governance em cidades inteligentes europeias]
AUTORES: Bernardo, MDRM ;
PUBLICAÇÃO: 2019, FONTE: 14th Iberian Conference on Information Systems and Technologies, CISTI 2019 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2019-June
INDEXADO EM: Scopus
4069
TÍTULO: Smart Marketing With the Internet of Things
AUTORES: Dora Simões; Belem Barbosa ; Sandra Filipe ;
PUBLICAÇÃO: 2019, FONTE: Advances in Marketing, Customer Relationship Management, and E-Services
INDEXADO EM: CrossRef: 2 Openlibrary Handle
4070
TÍTULO: Smart Tourist Experiences. Impacts of Smartphones on Leisure Travels
AUTORES: Natalia Menezes; Belem Barbosa ; Carolina Barrios Laborda; Dayana Pinzón P Callejas;
PUBLICAÇÃO: 2019, FONTE: Impacts of Mobile Use and Experience on Contemporary Society - Advances in Human and Social Aspects of Technology, PÁGINAS: 254-270
INDEXADO EM: CrossRef
4071
TÍTULO: SOCIAL ENGAGEMENT AND MOTIVATION IN A MOOC ON SCHOOL LIBRARIES
AUTORES: Bastos, G; Cabral, P; Rocio, V ;
PUBLICAÇÃO: 2019, FONTE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019), PÁGINAS: 6690-6695
INDEXADO EM: WOS Handle
4072
TÍTULO: Social Media Marketing- What's in it for Tourism? Insights from a Systematic Literature Review
AUTORES: Pereira, I; Barbosa, B ; Vale, V;
PUBLICAÇÃO: 2019, FONTE: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP TOURISM AND HOSPITALITY MANAGEMENT (IWTHM2019), PÁGINAS: 111-113
INDEXADO EM: WOS
4073
TÍTULO: Software Modules and Communication to Support Real-Time Remote Control and Monitoring of Unmanned Vehicles
AUTORES: João Ramos; David Safadinho; Roberto Ribeiro; Patrício Domingues; João Barroso ; António Pereira ;
PUBLICAÇÃO: 2019, FONTE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PÁGINAS: 45-55
INDEXADO EM: Scopus DBLP CrossRef: 1
4074
TÍTULO: SoK: Computer-Aided Cryptography
AUTORES: Manuel Barbosa ; Gilles Barthe ; Karthikeyan Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PÁGINAS: 1393
INDEXADO EM: DBLP
4075
TÍTULO: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages PDF
AUTORES: Ramos, MVM; Almeida, JCB ; Moreira, N ; de Queiroz, RJGB;
PUBLICAÇÃO: 2019, FONTE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PÁGINAS: 151-167
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef
4076
TÍTULO: Soundwalking and Algorithmic Listening
AUTORES: Miguel Carvalhais ; Rosemary Lee;
PUBLICAÇÃO: 2019, FONTE: Electronic Workshops in Computing
INDEXADO EM: CrossRef: 2
4077
TÍTULO: Special Issue of DASFAA 2019
AUTORES: Guoliang Li; João Gama ; Jun Yang;
PUBLICAÇÃO: 2019, FONTE: Data Science and Engineering, VOLUME: 4, NÚMERO: 3, PÁGINAS: 177-178
INDEXADO EM: Scopus DBLP CrossRef
4078
TÍTULO: Special track on data streams
AUTORES: Bifet, A; Carvalho, A; Ferreira, C ; Gama, J ;
PUBLICAÇÃO: 2019, FONTE: 34th Annual ACM Symposium on Applied Computing, SAC 2019 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F147772, PÁGINAS: 556
INDEXADO EM: Scopus
4079
TÍTULO: Speculative Design for Development of Serious Games: A Case Study in the Context of Anorexia Nervosa
AUTORES: Peçaibes, V; Cardoso, P; Giesteira, B ;
PUBLICAÇÃO: 2019, FONTE: 7th EAI International Conference on Arts and Technology, Interactivity, and Game Creation, ArtsIT 2018 and 3rd EAI International Conference on Design, Learning and Innovation, DLI 2018 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, VOLUME: 265, PÁGINAS: 176-181
INDEXADO EM: Scopus CrossRef: 3
4080
TÍTULO: Static-time Extraction and Analysis of the ROS Computation Graph
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PÁGINAS: 62-69
INDEXADO EM: Scopus WOS DBLP CrossRef: 16

Results per Page: 20.
Página 204 de 527. Total de resultados: 10521.