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

531 Team Members
Filters -> Year: 2025
381
TITLE: Validating multiple variants of an automotive light system with Alloy 6  Full Text
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 3, PAGES: 365-377
INDEXED IN: Scopus WOS DBLP
382
TITLE: VEST: automatic feature engineering for forecasting  Full Text
AUTHORS: Cerqueira, V ; Moniz, N ; Soares, C ;
PUBLISHED: 2024, SOURCE: MACHINE LEARNING, VOLUME: 113, ISSUE: 7, PAGES: 4523-4545
INDEXED IN: Scopus WOS DBLP CrossRef: 11
383
TITLE: Virtual Reality in Tourism Promotion: A Research Agenda Based on A Bibliometric Approach  Full Text
AUTHORS: Sousa, Nuno; Alen, Elisa; Losada, Nieves; Melo, Miguel ;
PUBLISHED: 2024, SOURCE: JOURNAL OF QUALITY ASSURANCE IN HOSPITALITY & TOURISM, VOLUME: 25, ISSUE: 2, PAGES: 313-342
INDEXED IN: Scopus WOS CrossRef: 12
384
TITLE: Virtual Reality Training Platform: A Proposal for Heavy Machinery Operators in Immersive Environments
AUTHORS: Pintos, Manuel; Rodrigues, Ricardo; Machado, Rui; Melo, Miguel; Barbosa, Luis; Bessa, Maximino ;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 3, WORLDCIST 2023, VOLUME: 801, PAGES: 23-32
INDEXED IN: Scopus WOS DBLP
385
TITLE: VQC-based reinforcement learning with data re-uploading: performance and trainability
AUTHORS: Coelho, Rodrigo; Sequeira, Andre ; Santos, Luis Paulo ;
PUBLISHED: 2024, SOURCE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 6, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef Unpaywall
386
TITLE: VTubers, Their Global Expansion and Impact on Modern Society An Exploratory and Comparative Study Between Portugal and the USA. An Exploratory and Comparative Study Between Portugal and the USA
AUTHORS: Miranda, Carina; Costa, Mariana; Pereira, Mariana; Almeida, Selma; Branco, Frederico ; Au Yong Oliveira, Manuel;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, WORLDCIST 2023, VOLUME: 799, PAGES: 223-231
INDEXED IN: Scopus WOS CrossRef Unpaywall
387
TITLE: WASMICO: Micro-containers in microcontrollers with WebAssembly  Full Text
AUTHORS: Ribeiro, Eduardo; André Restivo ; Ferreira, Hugo Sereno ; Dias, Joao Pedro ;
PUBLISHED: 2024, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 214, PAGES: 112081
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
388
TITLE: Weaving Agility in Safety-Critical Software Development for Aerospace: From Concerns to Opportunities
AUTHORS: Eduardo Ferreira Ribeiro, J.; Silva, Joao Gabriel; Aguiar, Ademar ;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 52778-52802
INDEXED IN: Scopus WOS DBLP CrossRef
389
TITLE: Web of Things in the context of AAL and AHA: a mapping review
AUTHORS: Sant'Ana, Hercules; Paredes, Hugo ; Barbosa, Luis; Rodrigues, Nuno F.;
PUBLISHED: 2024, SOURCE: IEEE 12th International Conference on Serious Games and Applications for Health (SeGAH) in 2024 IEEE 12TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH 2024, PAGES: 1-6
INDEXED IN: Scopus WOS DBLP CrossRef
390
TITLE: WebTraceSense-A Framework for the Visualization of User Log Interactions
AUTHORS: Paulino, Dennis; Netto, Andre Thiago ; Brito, Walkir A. T.; Paredes, Hugo ;
PUBLISHED: 2024, SOURCE: ENG, VOLUME: 5, ISSUE: 3, PAGES: 2206-2222
INDEXED IN: Scopus WOS CrossRef
391
TITLE: When Amnesia Strikes: Understanding and Reproducing Data Loss Bugs with Fault Injection PDF  Full Text
AUTHORS: Maria Ramos; João Azevedo; Kyle Kingsbury; José Pereira ; Tânia Esteves ; Ricardo Macedo; João Paulo;
PUBLISHED: 2024, SOURCE: Proc. VLDB Endow., VOLUME: 17, ISSUE: 11, PAGES: 3017-3030
INDEXED IN: Scopus DBLP CrossRef
392
TITLE: When the tourist home environment is so similar to a distant foreign destination: Evidence of constant vicarious experience effect on college students
AUTHORS: Mou, Jianjian; Brito, Pedro Quelhas ;
PUBLISHED: 2024, SOURCE: JOURNAL OF DESTINATION MARKETING & MANAGEMENT, VOLUME: 33
INDEXED IN: Scopus WOS
393
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
394
TITLE: WiFi-based Person Identification Through Motion Analysis
AUTHORS: Óscar Martins; João P Vilela ; Marco Gomes;
PUBLISHED: 2024, SOURCE: 2024 IEEE International Mediterranean Conference on Communications and Networking, MeditCom 2024, PAGES: 209-214
INDEXED IN: Scopus CrossRef Unpaywall
395
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
396
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
397
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
398
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
399
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
400
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

Results per Page: 20.
Page 20 of 423. Total results: 8443.