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

531 Team Members
Filters -> Year: 2024
361
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
362
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
363
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
364
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
365
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
366
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
367
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
368
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
369
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
370
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
371
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
372
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
373
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
374
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
375
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
376
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
377
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
378
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
379
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 19 of 422. Total results: 8435.