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

531 Team Members
Filters -> Year: 2024
381
TITLE: Work-in-progress—Introduction to Virtual Reality Headset: Experiments with Secondary and Higher Education students
AUTHORS: Diana Almeida; Maria Castelhano; Leonel Morgado ; Daniela Pedrosa;
PUBLISHED: 2024, SOURCE: Academic Proceedings of the 10th International Conference of the Immersive Learning Research Network (iLRN2024)
INDEXED IN: CrossRef Handle
382
TITLE: X-Model4Rec: An Extensible Recommender Model Based on the User's Dynamic Taste Profile
AUTHORS: Rogério Xavier de Azambuja; António Jorge Morais ; Vítor Filipe ;
PUBLISHED: 2024, SOURCE: Hum. Centric Intell. Syst., VOLUME: 4, ISSUE: 3, PAGES: 344-362
INDEXED IN: DBLP CrossRef Unpaywall
383
TITLE: X-Wing
AUTHORS: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLISHED: 2024, SOURCE: IACR Commun. Cryptol., VOLUME: 1, ISSUE: 1, PAGES: 21
INDEXED IN: DBLP
384
TITLE: X-Wing: The Hybrid KEM You've Been Looking For
AUTHORS: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 39
INDEXED IN: DBLP
385
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 CrossRef: 2
387
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
389
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
391
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
392
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: 10 Unpaywall
393
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
394
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
395
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
396
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
397
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
398
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
399
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
400
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

Results per Page: 20.
Page 20 of 422. Total results: 8434.