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

531 Team Members
Filters -> Year: 2024
1141
TITLE: Quantitative relational modelling with QAlloy
AUTHORS: Pedro Silva; José N Oliveira ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2022, SOURCE: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022, PAGES: 885-896
INDEXED IN: Scopus DBLP CrossRef Unpaywall
1142
TITLE: Quantitative Weak Linearisation
AUTHORS: Sandra Alves ; Daniel Ventura;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 78-95
INDEXED IN: Scopus DBLP CrossRef
1143
TITLE: Recommendation Tool for Use of Immersive Learning Environments
AUTHORS: Leonel Morgado ; Manuel Torres ; Dennis Beck; Fernanda Torres; Antonio Almeida ; Ana Simões ; Filpa Ramalho ; António Coelho ;
PUBLISHED: 2022, SOURCE: 8th International Conference of the Immersive Learning Research Network, iLRN 2022, Vienna, Austria, May 30 - June 4, 2022, PAGES: 1-8
INDEXED IN: Scopus DBLP CrossRef Unpaywall Handle
1144
TITLE: Regression Analysis with the Distribution and Symmetric Distribution Model
AUTHORS: Sónia Dias ; Paula Brito ;
PUBLISHED: 2022, SOURCE: Analysis of Distributional Data, PAGES: 295-318
INDEXED IN: CrossRef
1145
TITLE: Reliability analysis based improved directional simulation using Harris Hawks optimization algorithm for engineering systems  Full Text
AUTHORS: Jafari Asl, Jafar; Ben Seghier, Mohamed El Amine; Ohadi, Sima; José António Correia ; Barroso, Joao ;
PUBLISHED: 2022, SOURCE: ENGINEERING FAILURE ANALYSIS, VOLUME: 135, PAGES: 106148
INDEXED IN: Scopus WOS CrossRef: 23 Unpaywall
1146
TITLE: Report on the 2nd Linked Archives International Workshop (LinkedArchives 2022) at TPDL 2022  Full Text
AUTHORS: Carla Teixeira Lopes ; Cristina Ribeiro ; Franco Niccolucci; María Poveda Villalón; Nuno Freire;
PUBLISHED: 2022, SOURCE: SIGIR Forum, VOLUME: 56, ISSUE: 2, PAGES: 14:1-14:8
INDEXED IN: DBLP
1147
TITLE: Report on the 5th International Workshop on Narrative Extraction from Texts (Text2Story 2022) at ECIR 2022
AUTHORS: Ricardo Campos ; Alípio M Jorge ; Adam Jatowt; Sumit Bhatia; Marina Litvak; João Paulo Cordeiro; Conceição Rocha ; Hugo Sousa; Behrooz Mansouri;
PUBLISHED: 2022, SOURCE: SIGIR Forum, VOLUME: 56, ISSUE: 1, PAGES: 10:1-10:10
INDEXED IN: DBLP
1148
TITLE: Report on women in logic 2020 & 2021
AUTHORS: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLISHED: 2022, SOURCE: ACM SIGLOG News, VOLUME: 9, ISSUE: 2, PAGES: 31-33
INDEXED IN: DBLP
1149
TITLE: Reputation of Public Organizations: What Dimensions Are Crucial?
AUTHORS: Meirinhos, Galvao; Bessa, Maximino ; Leal, Carmem; Oliveira, Marcio; amelia carvalho ; Rui Silva ;
PUBLISHED: 2022, SOURCE: ADMINISTRATIVE SCIENCES, VOLUME: 12, ISSUE: 4, PAGES: 126
INDEXED IN: Scopus WOS CrossRef: 3
1150
TITLE: Research Data Management in the Image Lifecycle: A Study of Current Behaviors
AUTHORS: Rodrigues, Joana ; Lopes, Carla Teixeira ;
PUBLISHED: 2022, SOURCE: 16th International Conference on Research Challenges in Information Sciences (RCIS) in RESEARCH CHALLENGES IN INFORMATION SCIENCE, VOLUME: 446, PAGES: 39-54
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
1151
TITLE: Risk compliance and master data management in banking - A novel BCBS 239 compliance action-plan proposal
AUTHORS: Martins, Jose ; Mamede, Henrique S. ; Correia, Jose;
PUBLISHED: 2022, SOURCE: HELIYON, VOLUME: 8, ISSUE: 6
INDEXED IN: WOS CrossRef: 3 Unpaywall
1152
TITLE: Robotic Process Automation (RPA) adoption: a systematic literature review
AUTHORS: da Silva Costa, DA; Mamede, HS ; Miguel Mira da Silva;
PUBLISHED: 2022, SOURCE: Engineering Management in Production and Services, VOLUME: 14, ISSUE: 2, PAGES: 1-12
INDEXED IN: Scopus CrossRef: 24 Unpaywall
1153
TITLE: Robustness Evaluation of Regression Tasks with Skewed Domain Preferences
AUTHORS: Nuno Costa; Nuno Moniz ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2212.07562
INDEXED IN: DBLP
1154
TITLE: Scalable transcriptomics analysis with Dask: applications in data science and machine learning  Full Text
AUTHORS: Moreno, Marta; Vilaca, Ricardo ; Ferreira, Pedro G. ;
PUBLISHED: 2022, SOURCE: BMC BIOINFORMATICS, VOLUME: 23, ISSUE: 1, PAGES: 514
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
1155
TITLE: SCARA Self Posture Recognition Using a Monocular Camera
AUTHORS: Tinoco, Vitor ; Silva, Manuel F. ; Santos, Filipe N. ; Morais, Raul; Filipe, Vitor ;
PUBLISHED: 2022, SOURCE: IEEE ACCESS, VOLUME: 10, PAGES: 25883-25891
INDEXED IN: Scopus WOS CrossRef: 2 Unpaywall
1156
TITLE: Schedule Peer-to-Peer Transactions of an Energy Community Using Particle Swarm
AUTHORS: Vieira, M; Faia, R; Pinto, T ; Vale, Z;
PUBLISHED: 2022, SOURCE: 18th International Conference on the European Energy Market, EEM 2022 in International Conference on the European Energy Market, EEM, VOLUME: 2022-September
INDEXED IN: Scopus CrossRef
1157
TITLE: Scheduling in a no-wait flow shop to minimise total earliness and tardiness with additional idle time allowed  Full Text
AUTHORS: Schaller, J; Valente, JMS ;
PUBLISHED: 2022, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 60, ISSUE: 18, PAGES: 5488-5504
INDEXED IN: WOS CrossRef: 5
1158
TITLE: Schema-guided Testing of Message-oriented Systems
AUTHORS: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 26-37
INDEXED IN: Scopus WOS DBLP CrossRef
1159
TITLE: Science education through project-based learning: a case study
AUTHORS: Carolina Santos; Eliza Rybska; Michal Klichowski; Barbara Jankowiak; Sylwia Jaskulska; Nuno Domingues; Diana Carvalho; Tânia Rocha; Hugo Paredes ; Paulo Martins; João Rocha;
PUBLISHED: 2022, SOURCE: 2022 International Conference on ENTERprise Information Systems, CENTERIS 2022 - International Conference on Project MANagement, ProjMAN 2022 and International Conference on Health and Social Care Information Systems and Technologies, HCist 2022 in CENTERIS 2022 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist - International Conference on Health and Social Care Information Systems and Technologies 2022, Hybrid Event / Lisbon, Portugal, November 9-11, 2022., VOLUME: 219, PAGES: 1713-1720
INDEXED IN: Scopus DBLP
1160
TITLE: ScraPE - An Automated Tool for Programming Exercises Scraping
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2022, SOURCE: 11th Symposium on Languages, Applications and Technologies, SLATE 2022 in 11th Symposium on Languages, Applications and Technologies, SLATE 2022, July 14-15, 2022, Universidade da Beira Interior, Covilhã, Portugal., VOLUME: 104, PAGES: 18:1-18:7
INDEXED IN: Scopus DBLP

Results per Page: 20.
Page 58 of 409. Total results: 8180.