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

531 Team Members
Filters -> Year: 2024
2381
TITLE: Exploring Video Game Searches on the Web
AUTHORS: Mansouri, B; Zahedi, MS; Campos, R ; Farhoodi, M;
PUBLISHED: 2019, SOURCE: World Wide Web Conference (WWW) in COMPANION OF THE WORLD WIDE WEB CONFERENCE (WWW 2019 ), PAGES: 1161-1170
INDEXED IN: Scopus WOS DBLP CrossRef
2382
TITLE: Extended Reality Framework for Remote Collaborative Interactions in Virtual Environments
AUTHORS: Pereira, V; Matos, T ; Rodrigues, R ; Nobrega, R ; Jacob, J ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 17-24
INDEXED IN: Scopus WOS DBLP CrossRef
2383
TITLE: Extracting Clothing Features for Blind People Using Image Processing and Machine Learning Techniques: First Insights
AUTHORS: Rocha, D; Carvalho, V; Soares, F ; Oliveira, E;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computational Vision and Biomechanics, VOLUME: 34, PAGES: 411-418
INDEXED IN: Scopus CrossRef: 2
2384
TITLE: Fair Remuneration of Energy Consumption Flexibility Using Shapley Value
AUTHORS: Faia, Ricardo; Pinto, Tiago ; Vale, Zita;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2019, PT I, VOLUME: 11804, PAGES: 532-544
INDEXED IN: Scopus WOS CrossRef: 4
2385
TITLE: Fair Remuneration of Energy Consumption Flexibility Using Shapley Value
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita A Vale;
PUBLISHED: 2019, SOURCE: Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 532-544
INDEXED IN: DBLP
2386
TITLE: Fall-Prevention Exergames Using Balance Board Systems
AUTHORS: Miguel Brito; Rui Nóbrega ; Jacob, J ; Rui Rodrigues ; António Coelho ;
PUBLISHED: 2019, SOURCE: 17th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2019 in Human-Computer Interaction - INTERACT 2019 - 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part II, VOLUME: 11747, PAGES: 406-426
INDEXED IN: Scopus DBLP CrossRef
2387
TITLE: Fast Heuristic-Based GPU Compiler Sequence Specialization
AUTHORS: Nobre, R; Reis, L; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: International European Conference on Parallel and Distributed Computing (Euro-Par) in EURO-PAR 2018: PARALLEL PROCESSING WORKSHOPS, VOLUME: 11339, PAGES: 494-505
INDEXED IN: WOS DBLP CrossRef: 1
2388
TITLE: Feature-enriched author ranking in incomplete networks
AUTHORS: Silva, J ; Aparicio, D ; Silva, F ;
PUBLISHED: 2019, SOURCE: APPLIED NETWORK SCIENCE, VOLUME: 4, ISSUE: 1, PAGES: 74
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2389
TITLE: Finding Dominant Nodes Using Graphlets
AUTHORS: David Aparício ; Pedro Ribeiro ; Fernando Silva ; Jorge M B Silva ;
PUBLISHED: 2019, SOURCE: 8th International Conference on Complex Networks and their Applications, COMPLEX NETWORKS 2019 in Complex Networks and Their Applications VIII - Volume 1 Proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019, Lisbon, Portugal, December 10-12, 2019., VOLUME: 881, PAGES: 77-89
INDEXED IN: Scopus DBLP CrossRef: 1
2390
TITLE: Flow Monitoring System for IoT Networks
AUTHORS: Leonel Santos; Carlos Rabadão ; Ramiro Gonçalves ;
PUBLISHED: 2019, SOURCE: 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, PAGES: 420-430
INDEXED IN: Scopus DBLP CrossRef: 7
2391
TITLE: Formal Methods – The Next 30 Years. Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 1
2392
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine  Full Text
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
INDEXED IN: Scopus WOS DBLP CrossRef: 8
2393
TITLE: Formal Verification of Interactive Computing Systems: Opportunities, Challenges PDF
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503, PAGES: 69-75
INDEXED IN: Scopus DBLP
2394
TITLE: From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
AUTHORS: Daniel Maciel; Ana C R Paiva ; Alberto Rodrigues da Silva ;
PUBLISHED: 2019, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PAGES: 265-272
INDEXED IN: Scopus WOS DBLP CrossRef: 6
2395
TITLE: Full-Duplex Jamming for Enhanced Hidden-Key Secrecy
AUTHORS: Dryer, Z; Nickerl, A; Gomes, MAC; Vilela, JP ; Harrison, WK;
PUBLISHED: 2019, SOURCE: IEEE International Conference on Communications (ICC) in ICC 2019 - 2019 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), VOLUME: 2019-May
INDEXED IN: Scopus WOS CrossRef: 1
2396
TITLE: Gait stride-to-stride variability and foot clearance pattern analysis in Idiopathic Parkinson's Disease and Vascular Parkinsonism
AUTHORS: Ferreira, F ; Gago, MF; Bicho, E; Carvalho, C; Mollaei, N; Rodrigues, L; Sousa, N; Rodrigues, PP ; Ferreira, C ; Gama, J ;
PUBLISHED: 2019, SOURCE: JOURNAL OF BIOMECHANICS, VOLUME: 92, PAGES: 98-104
INDEXED IN: Scopus WOS CrossRef: 18 Handle
2397
TITLE: Generalising KAT to Verify Weighted Computations  Full Text
AUTHORS: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2, PAGES: 141-184
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2398
TITLE: Generating a Binary Symmetric Channel for Wiretap Codes
AUTHORS: Harrison, WK; Fernandes, T; Gomes, MAC; Vilela, JP ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 14, ISSUE: 8, PAGES: 2128-2138
INDEXED IN: Scopus WOS CrossRef: 11
2399
TITLE: Genetic Algorithms for Portfolio Optimization with Weighted Sum Approach
AUTHORS: Faia, R; Pinto, T ; Vale, Z; Corchado, JM; Soares, J; Lezama, F;
PUBLISHED: 2019, SOURCE: 8th IEEE Symposium Series on Computational Intelligence, SSCI 2018 in Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018, PAGES: 1823-1829
INDEXED IN: Scopus CrossRef: 6
2400
TITLE: Genetic fuzzy rule-based system using MOGUL learning methodology for energy consumption forecasting
AUTHORS: Jozi, A; Pinto, T ; Praca, I; Silva, F; Teixeira, B; Vale, Z;
PUBLISHED: 2019, SOURCE: ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, VOLUME: 8, ISSUE: 1, PAGES: 55-64
INDEXED IN: Scopus WOS CrossRef

Results per Page: 20.
Página 120 de 406. Total de resultados: 8106.