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

531 Team Members
Filters -> Year: 2025
41
TÍTULO: Incremental Repair Feedback on Automated Assessment of Programming Assignments  Full Text
AUTORES: Paiva, Jose Carlos; Leal, Jose Paulo; Figueira, Alvaro ;
PUBLICAÇÃO: 2025, FONTE: ELECTRONICS, VOLUME: 14, NÚMERO: 4, PÁGINAS: 819
INDEXADO EM: Scopus WOS CrossRef
42
TÍTULO: Interpretable Rules for Online Failure Prediction: A Case Study on the Metro do Porto dataset
AUTORES: Matthias Jakobs; Bruno Veloso ; João Gama ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2502.07394
INDEXADO EM: DBLP
43
TÍTULO: Layer-based management of collaborative interior design in extended reality  Full Text
AUTORES: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLICAÇÃO: 2025, FONTE: BEHAVIOUR & INFORMATION TECHNOLOGY, PÁGINAS: 1-17
INDEXADO EM: Scopus WOS CrossRef
44
TÍTULO: Leakage-Free Probabilistic Jasmin Programs
AUTORES: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLICAÇÃO: 2025, FONTE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PÁGINAS: 3-16
INDEXADO EM: Scopus WOS DBLP CrossRef
45
TÍTULO: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTORES: Madeira, Alexandre; Oliveira, Jose Nuno; Proenca, Jose ; Neves, Renato;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PÁGINAS: 101023
INDEXADO EM: Scopus WOS DBLP
46
TÍTULO: Machine Learning for Decision Support and Automation in Games: A Study on Vehicle Optimal Path  Full Text
AUTORES: Penelas, Goncalo; Barbosa, Luis ; Reis, Arsenio; Barroso, Joao ; Pinto, Tiago;
PUBLICAÇÃO: 2025, FONTE: ALGORITHMS, VOLUME: 18, NÚMERO: 2, PÁGINAS: 106
INDEXADO EM: Scopus WOS CrossRef
47
TÍTULO: METFORD - Mutation tEsTing Framework fOR anDroid
AUTORES: Vincenzi, Auri M. R.; Kuroishi, Pedro H.; Bispo, Joao ; da Veiga, Ana R. C.; da Mata, David R. C.; Azevedo, Francisco B.; Paiva, Ana C. R.;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PÁGINAS: 112332
INDEXADO EM: Scopus WOS DBLP CrossRef
48
TÍTULO: METFORD - Mutation tEsTing Framework fOR anDroid
AUTORES: Auri M R Vincenzi; Pedro Henrique Kuroishi; João C M Bispo; Ana R C da Veiga; David R C da Mata; Francisco B Azevedo; Ana C R Paiva ;
PUBLICAÇÃO: 2025, FONTE: J. Syst. Softw., VOLUME: 222, PÁGINAS: 112332
INDEXADO EM: DBLP
49
TÍTULO: Modeling Electricity Markets and Energy Systems: Challenges and Opportunities  Full Text
AUTORES: Aliabadi, Danial Esmaeili; Pinto, Tiago ;
PUBLICAÇÃO: 2025, FONTE: ENERGIES, VOLUME: 18, NÚMERO: 2, PÁGINAS: 245
INDEXADO EM: Scopus WOS CrossRef
50
TÍTULO: Modelling sustainability in cyber-physical systems: A systematic mapping study  Full Text
AUTORES: Barisic, Ankica; Cunha, Jacome ; Ruchkin, Ivan; Moreira, Ana; Araujo, Joao; Challenger, Moharram; Savic, Dusan; Amaral, Vasco;
PUBLICAÇÃO: 2025, FONTE: SUSTAINABLE COMPUTING-INFORMATICS & SYSTEMS, VOLUME: 45, PÁGINAS: 101051
INDEXADO EM: Scopus WOS DBLP CrossRef
51
TÍTULO: Multilanguage Detection of Design Pattern Instances  Full Text
AUTORES: Andrade, Hugo; Bispo, Joao ; Correia, Filipe F. ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 37, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef Unpaywall
52
TÍTULO: Multilayer horizontal visibility graphs for multivariate time series analysis
AUTORES: Silva, Vanessa Freitas ; Silva, Maria Eduarda ; Ribeiro, Pedro ; Silva, Fernando ;
PUBLICAÇÃO: 2025, FONTE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 39, NÚMERO: 3, PÁGINAS: 17
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
53
TÍTULO: Next Higher Point: Two Novel Approaches for Computing Natural Visibility Graphs
AUTORES: Patrick Daniel; Vanessa Freitas Silva; Pedro Ribeiro ;
PUBLICAÇÃO: 2025, FONTE: Complex Networks & Their Applications XIII, PÁGINAS: 259-272
INDEXADO EM: CrossRef Unpaywall
54
TÍTULO: On Bridging Prolog and Python to Enhance an Inductive Logic Programming System
AUTORES: Vítor Manuel de Morais Santos Costa; Miguel Areias ;
PUBLICAÇÃO: 2025, FONTE: 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025 in Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, VOLUME: 15537, PÁGINAS: 1-17
INDEXADO EM: Scopus DBLP CrossRef
55
TÍTULO: On-device edge learning for IoT data streams: a survey
AUTORES: Afonso Lourenço; João Rodrigo; João Gama ; Goreti Marreiros;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2502.17788
INDEXADO EM: DBLP
56
TÍTULO: Optimizing job shop scheduling with speed-adjustable machines and peak power constraints: A mathematical model and heuristic solutions
AUTORES: Homayouni, S. Mahdi; Fontes, Dalila B. M. M. ;
PUBLICAÇÃO: 2025, FONTE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 32, NÚMERO: 1, PÁGINAS: 194-220
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
57
TÍTULO: Parametric models for distributional data  Full Text
AUTORES: Brito, Paula ; Silva, A. Pedro Duarte;
PUBLICAÇÃO: 2025, FONTE: ADVANCES IN DATA ANALYSIS AND CLASSIFICATION
INDEXADO EM: Scopus WOS CrossRef
58
TÍTULO: Post, Predict, and Rank: Exploring the Relationship Between Social Media Strategy and Higher Education Institution Rankings
AUTORES: Rocha, Bruna; Figueira, Alvaro ;
PUBLICAÇÃO: 2025, FONTE: INFORMATICS-BASEL, VOLUME: 12, NÚMERO: 1, PÁGINAS: 6
INDEXADO EM: Scopus WOS CrossRef Unpaywall
59
TÍTULO: Promoting sustainable and personalized travel behaviors while preserving data privacy
AUTORES: Cláudia Brito ; Noela Pina; Tânia Esteves ; Ricardo Vitorino; Inês Cunha; João Paulo ;
PUBLICAÇÃO: 2025, FONTE: Transportation Engineering, VOLUME: 19, PÁGINAS: 100237
INDEXADO EM: Scopus CrossRef Unpaywall
60
TÍTULO: Qualitative Research for a Marketing Plan: The Case Study of Polytechnic Institute of Viana do Castelo
AUTORES: Catarina Fernandes; Manuel José Fonseca; Jorge Esparteiro Garcia ;
PUBLICAÇÃO: 2025, FONTE: International Conference on Marketing and Technologies, ICMarkTech 2023 in Smart Innovation, Systems and Technologies, VOLUME: 393, PÁGINAS: 685-699
INDEXADO EM: Scopus CrossRef Unpaywall

Results per Page: 20.
Página 3 de 435. Total de resultados: 8689.