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

531 Team Members
Filters -> Year: 2025
21
TÍTULO: Leakage-Free Probabilistic Jasmin Programs
AUTORES: José Bacelar Almeida ; Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLICAÇÃO: 2025, FONTE: 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, co-located with POPL 2025 in Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025, PÁGINAS: 3-16
INDEXADO EM: Scopus DBLP CrossRef
22
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
23
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
24
TÍTULO: Multilanguage Detection of Design Pattern Instances  Full Text
AUTORES: Hugo Andrade; João Bispo; Filipe F. Correia ;
PUBLICAÇÃO: 2025, FONTE: Journal of Software: Evolution and Process, VOLUME: 37, NÚMERO: 2
INDEXADO EM: CrossRef Unpaywall
25
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
26
TÍTULO: Post, Predict, and Rank: Exploring the Relationship Between Social Media Strategy and Higher Education Institution Rankings
AUTORES: Bruna Rocha; Álvaro Figueira ;
PUBLICAÇÃO: 2025, FONTE: Informatics, VOLUME: 12, NÚMERO: 1, PÁGINAS: 6
INDEXADO EM: CrossRef Unpaywall
27
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
28
TÍTULO: Reducing measurement costs by recycling the Hessian in adaptive variational quantum algorithms
AUTORES: Ramoa, Mafalda; Santos, Luis Paulo ; Mayhall, Nicholas J.; Barnes, Edwin; Economou, Sophia E.;
PUBLICAÇÃO: 2025, FONTE: QUANTUM SCIENCE AND TECHNOLOGY, VOLUME: 10, NÚMERO: 1, PÁGINAS: 015031
INDEXADO EM: WOS CrossRef
29
TÍTULO: Social Compliance with NPIs, Mobility Patterns, and Reproduction Number: Lessons from COVID-19 in Europe
AUTORES: Daniele Baccega; Jose Aguilar; Carlos Baquero ; Antonio Fernández Anta; Juan Marcos Ramirez;
PUBLICAÇÃO: 2025
INDEXADO EM: CrossRef
30
TÍTULO: Spatio-Temporal Predictive Modeling Techniques for Different Domains: a Survey
AUTORES: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLICAÇÃO: 2025, FONTE: ACM COMPUTING SURVEYS, VOLUME: 57, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef Unpaywall
31
TÍTULO: Specification of paraconsistent transition systems, revisited
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PÁGINAS: 103196
INDEXADO EM: Scopus WOS DBLP
32
TÍTULO: Testing infrastructures to support mobile application testing: A systematic mapping study
AUTORES: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; Vincenzi, Auri Marcelo Rizzo;
PUBLICAÇÃO: 2025, FONTE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PÁGINAS: 107573
INDEXADO EM: Scopus WOS DBLP
33
TÍTULO: The Application of Machine Learning and Deep Learning with a Multi-Criteria Decision Analysis for Pedestrian Modeling: A Systematic Literature Review (1999-2023)  Full Text
AUTORES: Reyes Norambuena, Pedro; Pinto, Alberto Adrego ; Martinez, Javier; Karbassi Yazdi, Amir; Tan, Yong;
PUBLICAÇÃO: 2025, FONTE: SUSTAINABILITY, VOLUME: 17, NÚMERO: 1, PÁGINAS: 41
INDEXADO EM: Scopus WOS CrossRef
34
TÍTULO: The hierarchical importance of patent's characteristics to licensing: An analysis through Random Forest  Full Text
AUTORES: Reis, Alexander Araujo; Leite, Rafael Angelo Santos; Walter, Cicero Eduardo; Reis, Igor Bezerra; Goncalves, Ramiro; Martins, Jose; Branco, Frederico ; Au Yong Oliveira, Manuel;
PUBLICAÇÃO: 2025, FONTE: EXPERT SYSTEMS, VOLUME: 42, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
35
TÍTULO: The impact of digital marketing on the esports industry: Preliminary approach. Preliminary Approach
AUTORES: Tiago Braga Fernandes; Bruno Barbosa Sousa; Jorge Esparteiro Garcia ; Manuel José Serra da Fonseca;
PUBLICAÇÃO: 2025, FONTE: Evolving Strategies for Organizational Management and Performance Evaluation, PÁGINAS: 581-602
INDEXADO EM: Scopus CrossRef Unpaywall
36
TÍTULO: "Viewing puzzles as two-faced: theoretical and practical implications for Puzzle-based Learning"
AUTORES: Fontes, Mario Madureira; Morgado, Leonel Caseiro ; Pestana, Pedro; Pedrosa, Daniela; Cravino, Jose Paulo;
PUBLICAÇÃO: 2024, FONTE: THINKING SKILLS AND CREATIVITY, VOLUME: 52, PÁGINAS: 101470
INDEXADO EM: Scopus WOS CrossRef: 1 Unpaywall Handle
37
TÍTULO: 13th Symposium on Languages, Applications and Technologies, SLATE 2024, July 4-5, 2024, Águeda, Portugal
AUTORES: Mário Rodrigues; José Paulo Leal ; Filipe, Portela;
PUBLICAÇÃO: 2024, FONTE: 13th Symposium on Languages, Applications and Technologies, SLATE 2024 in SLATE, VOLUME: 120
INDEXADO EM: Scopus DBLP
39
TÍTULO: 3D Modelling to Address Pandemic Challenges: A Project-Based Learning Methodology
AUTORES: Tânia Rocha; Ana Ribeiro; Joana Oliveira; Ricardo Rodrigues Nunes; Diana Carvalho; Hugo Paredes ; Paulo Martins;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2411.08730
INDEXADO EM: DBLP
40
TÍTULO: 4Doodle: Two-handed Gestures for Immersive Sketching of Architectural Models
AUTORES: Fernando Fonseca; Maurício Sousa; Daniel Mendes ; Alfredo Ferreira; Joaquim A Jorge;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2405.18887
INDEXADO EM: DBLP

Results per Page: 20.
Página 2 de 432. Total de resultados: 8632.