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

531 Team Members
Filters -> Year: 2024
241
TITLE: Where DoWe Go From Here? Location Prediction from Time-Evolving Markov Models
AUTHORS: Andrade, Thiago ; Gama, Joao ;
PUBLISHED: 2024, SOURCE: 39th Annual ACM Symposium on Applied Computing (SAC) in 39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, PAGES: 365-367
INDEXED IN: Scopus WOS DBLP CrossRef
242
TITLE: Work in progress: Leveraging Virtual Escape Rooms for Innovative Computer Programming Learning Environments
AUTHORS: Queiros, Ricardo ; Pinto, Carla M. A.; Cruz, Mario;
PUBLISHED: 2024, SOURCE: IEEE World Engineering Education Conference (EDUNINE) in VIII IEEE WORLD ENGINEERING EDUCATION CONFERENCE, EDUNINE 2024
INDEXED IN: Scopus WOS CrossRef
243
TITLE: X-Model4Rec: An Extensible Recommender Model Based on the User’s Dynamic Taste Profile
AUTHORS: Rogério Xavier de Azambuja; A. Jorge Morais ; Vítor Filipe ;
PUBLISHED: 2024, SOURCE: Human-Centric Intelligent Systems
INDEXED IN: CrossRef Unpaywall
244
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
245
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
246
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
248
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
250
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
252
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
253
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
254
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
255
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
256
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
257
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
258
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
259
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
260
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

Results per Page: 20.
Page 13 of 406. Total results: 8110.