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

531 Team Members
Filters -> Year: 2024
841
TITLE: Using survey data to estimate the impact of the omicron variant on vaccine efficacy against COVID-19 infection  Full Text
AUTHORS: Rufino, Jesus; Baquero, Carlos ; Frey, Davide; Glorioso, Christin A.; Ortega, Antonio; Rescic, Nina; Roberts, Julian Charles; Lillo, Rosa E.; Menezes, Raquel ; Champati, Jaya Prakash; Fernandez Anta, Antonio;
PUBLISHED: 2023, SOURCE: SCIENTIFIC REPORTS, VOLUME: 13, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 1
842
TITLE: Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
AUTHORS: Santo, Jose Espirito; Frade, Maria Joao ; Pinto, Luis;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 131, PAGES: 100830
INDEXED IN: Scopus WOS CrossRef Unpaywall
843
TITLE: Velocity-Aware Geo-Indistinguishability
AUTHORS: Mendes, R; Cunha, M ; Vilela, JP ;
PUBLISHED: 2023, SOURCE: 13th ACM Conference on Data and Application Security and Privacy, CODASPY 2023 in CODASPY 2023 - Proceedings of the 13th ACM Conference on Data and Application Security and Privacy, PAGES: 141-152
INDEXED IN: Scopus CrossRef Unpaywall
844
TITLE: Verifying Temporal Relational Models with Pardinus
AUTHORS: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PAGES: 254-261
INDEXED IN: Scopus WOS DBLP CrossRef
845
TITLE: Virtual Assistants in Industry 4.0: A Systematic Literature Review  Full Text
AUTHORS: Pereira, Rodrigo; Lima, Claudio; Pinto, Tiago ; Reis, Arsenio ;
PUBLISHED: 2023, SOURCE: ELECTRONICS, VOLUME: 12, ISSUE: 19, PAGES: 4096
INDEXED IN: Scopus WOS CrossRef: 1
846
TITLE: Virtual Reality and the Cognitive Screening of Older Adults: A Review
AUTHORS: BASTARDO, Rute ; João Pavão; Bruno Gago; Nelson Pacheco Rocha;
PUBLISHED: 2023, SOURCE: International Conference on Information Technology and Systems, ICITS 2023 in Lecture Notes in Networks and Systems, VOLUME: 692 LNNS, PAGES: 419-430
INDEXED IN: Scopus CrossRef
847
TITLE: Virtual Reality Training Platform: A Proposal for Heavy Machinery Operators in Immersive Environments
AUTHORS: Manuel Pinto; Ricardo Rodrigues; Rui Machado; Miguel Melo; Luís Barbosa; Maximino Bessa ;
PUBLISHED: 2023, SOURCE: 11th World Conference on Information Systems and Technologies, WorldCIST 2023 in Information Systems and Technologies - WorldCIST 2023, Volume 3, Pisa, Italy, April 4-6, 2023., VOLUME: 801, PAGES: 23-32
INDEXED IN: Scopus DBLP
848
TITLE: Vision Transformers Applied to Indoor Room Classification
AUTHORS: Veiga, Bruno; Pinto, Tiago ; Teixeira, Ruben; Ramos, Carlos;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT II, VOLUME: 14116, PAGES: 561-573
INDEXED IN: Scopus WOS CrossRef
849
TITLE: Vision Transformers Applied to Indoor Room Classification
AUTHORS: Bruno Veiga; Tiago Pinto ; Rúben Teixeira; Carlos Ramos;
PUBLISHED: 2023, SOURCE: Progress in Artificial Intelligence - 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II, VOLUME: 14116, PAGES: 561-573
INDEXED IN: DBLP
850
TITLE: Visually-Assisted Decomposition of Monoliths to Microservices
AUTHORS: Salles, Breno; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PAGES: 293-295
INDEXED IN: Scopus WOS DBLP CrossRef
851
TITLE: VR2CARE: an age-friendly ecosystem for physical activity, rehabilitation, and social interaction
AUTHORS: Qbilat, Malak ; Mota, Telma; de Carvalho, Fausto; Mendonca, Joao; Nitti, Vito; Pannese, Lucia; Gall, Markus; Morgado, Leonel ; van Staalduinen, Willeke; Van Berlo, Ad; Paredes, Hugo ;
PUBLISHED: 2023, SOURCE: International Conference on Intelligent Metaverse Technologies and Applications (IMETA) in 2023 INTERNATIONAL CONFERENCE ON INTELLIGENT METAVERSE TECHNOLOGIES & APPLICATIONS, IMETA, PAGES: 163-167
INDEXED IN: Scopus WOS CrossRef: 1 Unpaywall Handle
852
TITLE: Wavelet-based fuzzy clustering of interval time series  Full Text
AUTHORS: D'Urso, Pierpaolo; De Giovanni, Livia; Maharaj, Elizabeth Ann; Brito, Paula ; Teles, Paulo ;
PUBLISHED: 2023, SOURCE: INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, VOLUME: 152, PAGES: 136-159
INDEXED IN: Scopus WOS DBLP CrossRef: 10 Unpaywall
853
TITLE: Wearable Devices for Communication and Problem-Solving in the Context of Industry 4.0
AUTHORS: Nunes, Ricardo; Pereira, Rodrigo; Nogueira, Paulo; Barroso, Joao ; Rocha, Tania; Reis, Arsenio ;
PUBLISHED: 2023, SOURCE: 25th International Conference on Human-Computer Interaction (HCI International) in HCI INTERNATIONAL 2023 LATE BREAKING PAPERS, HCII 2023,PT IV, VOLUME: 14057, PAGES: 583-592
INDEXED IN: Scopus WOS CrossRef
854
TITLE: Wearable Devices in Industry 4.0: A Systematic Literature Review
AUTHORS: Hugo Anes; Tiago Pinto ; Claudio Lima; Paulo Nogueira; Arsénio Reis ;
PUBLISHED: 2023, SOURCE: 20th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2023 in Distributed Computing and Artificial Intelligence, Special Sessions I, 20th International Conference, Guimaraes, Portugal, 12-14 July 2023., VOLUME: 741, PAGES: 332-341
INDEXED IN: Scopus DBLP
855
TITLE: Weighted synchronous automata
AUTHORS: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2023, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, ISSUE: 9, PAGES: 1234-1253
INDEXED IN: Scopus WOS DBLP CrossRef
856
TITLE: Welfare-Balanced International Trade Agreements  Full Text
AUTHORS: Martins, Filipe ; Pinto, Alberto A. ; Zubelli, Jorge P.;
PUBLISHED: 2023, SOURCE: MATHEMATICS, VOLUME: 11, ISSUE: 1, PAGES: 40
INDEXED IN: Scopus WOS CrossRef
857
TITLE: What about the usability in low-code platforms? A systematic literature review
AUTHORS: Pinho, Daniel; Aguiar, Ademar ; Amaral, Vasco;
PUBLISHED: 2023, SOURCE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 74, PAGES: 101185
INDEXED IN: Scopus WOS DBLP CrossRef
858
TITLE: Which Way to Go - Finding Frequent Trajectories Through Clustering
AUTHORS: Thiago Andrade ; João Gama ;
PUBLISHED: 2023, SOURCE: 26th International Conference on Discovery Science, DS 2023 in Discovery Science - 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings, VOLUME: 14276, PAGES: 460-473
INDEXED IN: Scopus DBLP CrossRef: 1
859
TITLE: Why Adjunctions Matter—A Functional Programmer Perspective
AUTHORS: José Nuno Oliveira ;
PUBLISHED: 2023, SOURCE: 26th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13710 LNCS, PAGES: 25-59
INDEXED IN: Scopus CrossRef
860
TITLE: Why Industry 5.0 Needs XAI 2.0? PDF
AUTHORS: Szymon Bobek; Slawomir Nowaczyk; João Gama ; Sepideh Pashami; Rita P Ribeiro ; Zahra Taghiyarrenani; Bruno Veloso ; Lala H Rajaoarisoa; Maciej Szelazek; Grzegorz J Nalepa;
PUBLISHED: 2023, SOURCE: Joint 1st World Conference on eXplainable Artificial Intelligence: Late-Breaking Work, Demos and Doctoral Consortium, xAI-2023: LB-D-DC in Joint Proceedings of the xAI-2023 Late-breaking Work, Demos and Doctoral Consortium co-located with the 1st World Conference on eXplainable Artificial Intelligence (xAI-2023), Lisbon, Portugal, July 26-28, 2023., VOLUME: 3554, PAGES: 1-6
INDEXED IN: Scopus DBLP

Results per Page: 20.
Page 43 of 414. Total results: 8273.