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

531 Team Members
Filters -> Year: 2024
341
TITLE: Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog  Full Text
AUTHORS: Moreno, Pedro; Areias, Miguel ; Rocha, Ricardo ; Costa, Vitor Santos ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 52, ISSUE: 3, PAGES: 187-206
INDEXED IN: Scopus WOS DBLP
343
TITLE: Zipper-based embedding of strategic attribute grammars  Full Text
AUTHORS: Macedo, Jose Nuno; Rodrigues, Emanuel; Viera, Marcos; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211, PAGES: 111975
INDEXED IN: Scopus WOS DBLP CrossRef
345
TITLE: 3D Animation to Address Pandemic Challenges: A Project-Based Learning Methodology
AUTHORS: Diana Carvalho; Maria Cabral; Tânia Rocha; Hugo Paredes ; Paulo Martins ;
PUBLISHED: 2023, SOURCE: 25th International Conference on Human-Computer Interaction, HCII 2023 in HCI International 2023 - Late Breaking Papers - 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part VII, VOLUME: 14060, PAGES: 24-33
INDEXED IN: Scopus DBLP CrossRef
347
TITLE: A Backend Platform for Supporting the Reproducibility of Computational Experiments
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2308.00703
INDEXED IN: DBLP
348
TITLE: A bi-objective multi-population biased random key genetic algorithm for joint scheduling quay cranes and speed adjustable vehicles in container terminals  Full Text
AUTHORS: Fontes, Dalila B. M. M. ; Homayouni, S. Mahdi ;
PUBLISHED: 2023, SOURCE: FLEXIBLE SERVICES AND MANUFACTURING JOURNAL, VOLUME: 35, ISSUE: 1, PAGES: 241-268
INDEXED IN: Scopus WOS CrossRef: 9 Unpaywall
349
TITLE: A Biomedical Entity Extraction Pipeline for Oncology Health Records in Portuguese
AUTHORS: Hugo Sousa; Arian Pasquali; Alípio Jorge ; Catarina Sousa Santos; Mário Amorim Lopes ;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, PAGES: 950-956
INDEXED IN: Scopus WOS DBLP CrossRef: 1
350
TITLE: A Case for Partitioned Bloom Filters
AUTHORS: Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 72, ISSUE: 6, PAGES: 1681-1691
INDEXED IN: WOS DBLP
351
TITLE: A coalition formation framework of smallholder farmers in an agricultural cooperative  Full Text
AUTHORS: Sarkar, Samriddhi; Biswas, Tuhin; Malta, Mariana Curado ; Meira, Deolinda; Dutta, Animesh;
PUBLISHED: 2023, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 221, PAGES: 119781
INDEXED IN: Scopus WOS CrossRef: 2
352
TITLE: A Comparison of Point Set Registration Algorithms for Quantification of Change in Spatiotemporal Data
AUTHORS: Miguel Gomes; Alexandre Valle De Carvalho ; Marco Amaro Oliveira ; Edgar Carneiro;
PUBLISHED: 2023, SOURCE: Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2023-June
INDEXED IN: Scopus CrossRef Unpaywall
353
TITLE: A Complete V-Equational System for Graded lambda-Calculus
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.02082
INDEXED IN: DBLP
354
TITLE: A Computer Vision Approach for Level Measurement of Refilling Stations in Industrial Scenarios
AUTHORS: José Ribeiro; Rui Pinheiro; Paulo Nogueira; Arsénio Reis ; Vitor Filipe ;
PUBLISHED: 2023, SOURCE: 20th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2023 in Lecture Notes in Networks and Systems, VOLUME: 741 LNNS, PAGES: 312-321
INDEXED IN: Scopus CrossRef
355
TITLE: A congestion-based local search for transmission expansion planning problems
AUTHORS: Phillipe V Gomes; Luiz Eduardo de Oliveira; João Saraiva ;
PUBLISHED: 2023, SOURCE: Swarm Evol. Comput., VOLUME: 83, PAGES: 101422
INDEXED IN: DBLP
356
TITLE: A CPU-FPGA Holistic Source-To-Source Compilation Approach for Partitioning and Optimizing C/C plus plus Applications
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLISHED: 2023, SOURCE: 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT) in 2023 32ND INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PACT, PAGES: 320-322
INDEXED IN: Scopus WOS DBLP CrossRef
357
TITLE: A Deep Learning approach to infer morphological characteristics of the heart from cardiac sound analysis
AUTHORS: Andrade, Luis; Camacho, Rui ; Oliveira, Jorge;
PUBLISHED: 2023, SOURCE: 13th International Conference on Bioscience, Biochemistry and Bioinformatics (ICBBB) in 2023 13TH INTERNATIONAL CONFERENCE ON BIOSCIENCE, BIOCHEMISTRY AND BIOINFORMATICS, ICBBB 2023, PAGES: 63-67
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
358
TITLE: A DSL-based runtime adaptivity framework for Java
AUTHORS: Carvalho, Tiago ; Bispo, Joao ; Pinto, Pedro; Cardoso, Joao M. P. ;
PUBLISHED: 2023, SOURCE: SOFTWAREX, VOLUME: 23, PAGES: 101496
INDEXED IN: Scopus WOS DBLP CrossRef: 1
359
TITLE: A DTW Approach for Complex Data A Case Study with Network Data Streams
AUTHORS: Silva, Paula Raissa ; Vinagre, Joao ; Gama, Joao ;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, PAGES: 402-409
INDEXED IN: Scopus WOS DBLP CrossRef: 3
360
TITLE: A Game with a Purpose for Building Crowdsourced Semantic Relations Datasets for Named Entities
AUTHORS: André Fernandes dos Santos ; José Paulo Leal ;
PUBLISHED: 2023, SOURCE: Proceedings of the Computing Conference 2023 in Lecture Notes in Networks and Systems, VOLUME: 739 LNNS, PAGES: 422-439
INDEXED IN: Scopus CrossRef

Results per Page: 20.
Page 18 of 414. Total results: 8279.