CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 9189

535 Team Members
Filters -> Year: 2025
381
TITLE: Robotic Process Automation Comparative Analysis of Market Solutions
AUTHORS: Silva, Arlindo; Mamede, Henrique Sao ; Santos, Vitor; Santos, Arnaldo; Silveira, Clara;
PUBLISHED: 2025, SOURCE: 2024 International Conference on Marketing and Technologies-ICMarkTech in MARKETING AND SMART TECHNOLOGIES, ICMARKTECH 2024, VOL 1, VOLUME: 438, PAGES: 101-124
INDEXED IN: Scopus WOS CrossRef Unpaywall
382
TITLE: Salvador Urban Network Transportation (SUNT): A Landmark Spatiotemporal Dataset for Public Transportation
AUTHORS: Ferreira, Marcos V.; Souza, Matheus; Rios, Tatiane N.; Fernandes, Islame F. C.; Nery, Jorge; Gama, Joao ; Bifet, Albert; Rios, Ricardo A.;
PUBLISHED: 2025, SOURCE: SCIENTIFIC DATA, VOLUME: 12, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
383
TITLE: Sampling approaches to reduce very frequent seasonal time series  Full Text
AUTHORS: Baldo, Afonso; Ferreira, Paulo J. S.; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
384
TITLE: Screening Urban Soil Contamination in Rome: Insights from XRF and Multivariate Analysis
AUTHORS: Chandramohan, Monica Shree; Martinho da Silva, Isabel ; Ribeiro, Rita P. ; Jorge, Alipio; Esteves da Silva, Joaquim ;
PUBLISHED: 2025, SOURCE: ENVIRONMENTS, VOLUME: 12, ISSUE: 4, PAGES: 126
INDEXED IN: Scopus WOS CrossRef
386
TITLE: Segmentation of coronary calcifications with a domain knowledge-based lightweight 3D convolutional neural network  Full Text
AUTHORS: Rui Santos; Rui Castro; Rubén Baeza; Fábio Nunes; Vítor Manuel Filipe; Francesco Renna ; Hugo Paredes ; Ricardo Fontes Carvalho; João Pedrosa;
PUBLISHED: 2025, SOURCE: Comput. Biol. Medicine, VOLUME: 196, PAGES: 110798
INDEXED IN: DBLP CrossRef
387
TITLE: Sensor Deployment and Data Delivery in the Digital Twin Framework
AUTHORS: Sylaios, Georgios; Vasilijevic, Antonio; Ristolainen, Asko; Garcia Valle, Gonzalo; Margirier, Felix; Oliveira, Marco Amaro ;
PUBLISHED: 2025, SOURCE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PAGES: 1-6
INDEXED IN: Scopus WOS CrossRef Unpaywall
388
TITLE: Sensory Analysis Lab 3DModel: Modeling an Integrated Oenology Laboratory in Blender. Modeling an Integrated Oenology Laboratory in Blender
AUTHORS: Tânia De Jesus Vilela Da Rocha; Vilela, A; João Manuel Pereira Barroso ; Mehdi Akbari;
PUBLISHED: 2025, SOURCE: 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024 in Proceedings of the 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, PAGES: 332-337
INDEXED IN: Scopus CrossRef
390
TITLE: Serious Game Design for Green Mobility: A Lean Inception Approach
AUTHORS: Brito, Walkir, WAT,AT; null; null; Silva, João Sousa, JSE,E; Nunes, Ricardo Rodrigues, RR,; Filipe, Manuel De Jesus, VMDJ,V ;
PUBLISHED: 2025, SOURCE: 4th International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2024 in Communications in Computer and Information Science, VOLUME: 2479 CCIS, PAGES: 217-224
INDEXED IN: Scopus CrossRef
391
TITLE: SIMD Acceleration of Matrix-Vector Operations on RISC-V for Variable Precision Neural Networks
AUTHORS: Salinas, Gonzalo; Sequeira, Guilherme; Rodriguez, Alfonso; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2025, SOURCE: 2025 International Parallel and Distributed Processing Symposium Workshops-IPDPSW-Annual in 2025 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, IPDPSW, PAGES: 1140-1147
INDEXED IN: WOS DBLP CrossRef
392
TITLE: Simulating Ocean Futures: A Digital Twin Pilot for Environmental Scenarios
AUTHORS: Antonio, Vasilijevic; Bronner, Ute; Nepstad, Raymond; Oliveira, Marco Amaro ;
PUBLISHED: 2025, SOURCE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PAGES: 1-6
INDEXED IN: Scopus WOS CrossRef Unpaywall
393
TITLE: Social Compliance With NPIs, Mobility Patterns, and Reproduction Number: Lessons From COVID-19 in Europe
AUTHORS: Baccega, Daniele; Aguilar, Jose; Baquero, Carlos ; Fernandez Anta, Antonio; Marcos Ramirez, Juan;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 134357-134375
INDEXED IN: Scopus WOS DBLP CrossRef
394
TITLE: Spatio-Temporal Predictive Modeling Techniques for Different Domains: a Survey
AUTHORS: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 19 Unpaywall
395
TITLE: Specification of paraconsistent transition systems, revisited  Full Text
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103196
INDEXED IN: Scopus WOS DBLP CrossRef
396
TITLE: Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025 in CoRR, VOLUME: abs/2507.03659, PAGES: 261-278
INDEXED IN: Scopus DBLP CrossRef
397
TITLE: Specifying Distributed Hash Tables with Allen Temporal Logic
AUTHORS: Policarpo, Nuno; Santos, Jose Fragoso; Cunha, Alcino ; Leitao, Joao; Costa, Pedro Akos;
PUBLISHED: 2025, SOURCE: 13th International Conference on Formal Methods in Software Engineering-FORMALISE in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, PAGES: 63-73
INDEXED IN: Scopus WOS DBLP CrossRef
398
TITLE: Spectral Manifold Harmonization for Graph Imbalanced Regression
AUTHORS: Brenda Nogueira; Gabe Gomes; Meng Jiang; Nitesh V Chawla; Nuno Moniz ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.01132
INDEXED IN: DBLP
399
TITLE: STEERING INTO THE FUTURE: PUBLIC PERCEPTIONS AND ACCEPTANCE OF AUTONOMOUS BUSES
AUTHORS: Ejdys, Joanna; Gulc, Aleksandra; Budna, Klaudia; Esparteiro Garcia, Jorge ;
PUBLISHED: 2025, SOURCE: ECONOMICS AND ENVIRONMENT, VOLUME: 92, ISSUE: 1, PAGES: 1140
INDEXED IN: Scopus WOS CrossRef: 1
400
TITLE: Strategic Alliances in NetLogo: A Flocking Algorithm with Reinforcement Learning
AUTHORS: Sónia C Teixeira ; Pedro Campos;
PUBLISHED: 2025, SOURCE: Machine Learning Perspectives of Agent-Based Models, PAGES: 287-306
INDEXED IN: Scopus CrossRef

Results per Page: 20.
Page 20 of 460. Total results: 9189.