Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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
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!
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!
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!
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: 25022
1714 Team MembersFilters -> Year: 2026
3441
TITLE: Execution Time Program Verification with Tight Bounds
AUTHORS: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880, PAGES: 56-72
AUTHORS: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880, PAGES: 56-72
3442
TITLE: Experiential-Informed Data Reconstruction for Fishery Sustainability and Policies in the Azores
AUTHORS: Brenda Nogueira; Gui M Menezes; Nuno Moniz ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2309.09326
AUTHORS: Brenda Nogueira; Gui M Menezes; Nuno Moniz ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2309.09326
INDEXED IN: 
DBLP
DBLP3443
TITLE: Explainable Predictive Maintenance
AUTHORS: Sepideh Pashami; Slawomir Nowaczyk; Yuantao Fan; Jakub Jakubowski; Nuno Paiva; Narjes Davari; Szymon Bobek; Samaneh Jamshidi; Hamid Sarmadi; Abdallah Alabdallah; Rita P Ribeiro ; Bruno Veloso ; Moamar Sayed Mouchaweh; Lala H Rajaoarisoa; Grzegorz J Nalepa; João Gama ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.05120
AUTHORS: Sepideh Pashami; Slawomir Nowaczyk; Yuantao Fan; Jakub Jakubowski; Nuno Paiva; Narjes Davari; Szymon Bobek; Samaneh Jamshidi; Hamid Sarmadi; Abdallah Alabdallah; Rita P Ribeiro ; Bruno Veloso ; Moamar Sayed Mouchaweh; Lala H Rajaoarisoa; Grzegorz J Nalepa; João Gama ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.05120
INDEXED IN: DBLP
DBLP3444
TITLE: Exploring a Multidisciplinary Assessment of Organisational Maturity in Business Continuity: A Perspective and Future Research Outlook
AUTHORS: Russo, Nelson; Mamede, Henrique Sao ; Reis, Leonilde; Martins, Jose ; Branco, Frederico ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 21, PAGES: 11846
AUTHORS: Russo, Nelson; Mamede, Henrique Sao ; Reis, Leonilde; Martins, Jose ; Branco, Frederico ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 21, PAGES: 11846
3445
TITLE: Exploring Automatic Specification Repair in Dafny Programs
AUTHORS: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW, PAGES: 105-112
AUTHORS: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW, PAGES: 105-112
3446
TITLE: Exploring Climate Change Data with R
AUTHORS: Nuno Guimarães ; Kimmo Vehkalahti; Pedro Campos ; Joachim Engel;
PUBLISHED: 2023, SOURCE: Statistics for Empowerment and Social Engagement: Teaching Civic Statistics to Develop Informed Citizens, PAGES: 267-296
AUTHORS: Nuno Guimarães ; Kimmo Vehkalahti; Pedro Campos ; Joachim Engel;
PUBLISHED: 2023, SOURCE: Statistics for Empowerment and Social Engagement: Teaching Civic Statistics to Develop Informed Citizens, PAGES: 267-296
3447
TITLE: Exploring Data Analysis and Visualization Techniques for Project Tracking: Insights from the ITC
AUTHORS: Barrocas, Andre; da Silva, Alberto Rodrigues ; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, QUATIC 2023, VOLUME: 1871, PAGES: 147-162
AUTHORS: Barrocas, Andre; da Silva, Alberto Rodrigues ; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, QUATIC 2023, VOLUME: 1871, PAGES: 147-162
3448
TITLE: Exploring Latent Spaces of Tonal Music using Variational Autoencoders
AUTHORS: Nádia Carvalho; Gilberto Bernardes ;
PUBLISHED: 2023
AUTHORS: Nádia Carvalho; Gilberto Bernardes ;
PUBLISHED: 2023
INDEXED IN: 
DataCite
DataCite3449
TITLE: Exploring Pseudo-Haptics for Object Compliance in Virtual Reality
AUTHORS: Carlos Lousada; Daniel Mendes ; Rui Rodrigues ;
PUBLISHED: 2023, SOURCE: ICGI, PAGES: 1-8
AUTHORS: Carlos Lousada; Daniel Mendes ; Rui Rodrigues ;
PUBLISHED: 2023, SOURCE: ICGI, PAGES: 1-8
3450
TITLE: Exploring Stigmergic Collaboration and Task Modularity Through an Expert Crowdsourcing Annotation System: The Case of Storm Phenomena in the Euro-Atlantic Region
AUTHORS: Paulino, Dennis ; Correia, Antonio ; Yagui, Marcela Mayumi Mauricio; Barroso, Joao ; Liberato, Margarida L. R. ; Vivacqua, Adriana S.; Grover, Andrea; Bigham, Jeffrey P.; Paredes, Hugo ;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11, PAGES: 106485-106502
AUTHORS: Paulino, Dennis ; Correia, Antonio ; Yagui, Marcela Mayumi Mauricio; Barroso, Joao ; Liberato, Margarida L. R. ; Vivacqua, Adriana S.; Grover, Andrea; Bigham, Jeffrey P.; Paredes, Hugo ;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11, PAGES: 106485-106502
3451
TITLE: Exploring the Determinants of Social Entrepreneurship Intention
AUTHORS: Fernando Almeida ; José Milton de Sousa Filho;
PUBLISHED: 2023, SOURCE: Springer Proceedings in Earth and Environmental Sciences, VOLUME: Part F1849, PAGES: 217-232
AUTHORS: Fernando Almeida ; José Milton de Sousa Filho;
PUBLISHED: 2023, SOURCE: Springer Proceedings in Earth and Environmental Sciences, VOLUME: Part F1849, PAGES: 217-232
3452
TITLE: Exploring the hidden dimensions of an optical extreme learning machine Full Text
AUTHORS: Silva, Duarte; Ferreira, Tiago ; Moreira, Felipe C.; Rosa, Carla C. ; Guerreiro, Ariel ; Silva, Nuno A. ;
PUBLISHED: 2023, SOURCE: JOURNAL OF THE EUROPEAN OPTICAL SOCIETY-RAPID PUBLICATIONS, VOLUME: 19, ISSUE: 1, PAGES: 436-444
AUTHORS: Silva, Duarte; Ferreira, Tiago ; Moreira, Felipe C.; Rosa, Carla C. ; Guerreiro, Ariel ; Silva, Nuno A. ;
PUBLISHED: 2023, SOURCE: JOURNAL OF THE EUROPEAN OPTICAL SOCIETY-RAPID PUBLICATIONS, VOLUME: 19, ISSUE: 1, PAGES: 436-444
3453
TITLE: Exploring the Impact of a Serious Game in the Academic Success of Entrepreneurship Students
AUTHORS: Fernando Almeida ; Zoltan Buzady;
PUBLISHED: 2023, SOURCE: Journal of Educational Technology Systems, PAGES: 004723952311531
AUTHORS: Fernando Almeida ; Zoltan Buzady;
PUBLISHED: 2023, SOURCE: Journal of Educational Technology Systems, PAGES: 004723952311531
3454
TITLE: Exploring the Impact of Water Stress on Grapevine Gene Expression and Polyphenol Production: Insights for Developing a Systems Biology Model †
AUTHORS: Igor Portis; Renan Tosin ; Paulo Oliveira Pinto; Leandro Pereira Dias; Conceição Santos; Rui Martins ; Mário Cunha ;
PUBLISHED: 2023, SOURCE: Engineering Proceedings, VOLUME: 48, ISSUE: 1
AUTHORS: Igor Portis; Renan Tosin ; Paulo Oliveira Pinto; Leandro Pereira Dias; Conceição Santos; Rui Martins ; Mário Cunha ;
PUBLISHED: 2023, SOURCE: Engineering Proceedings, VOLUME: 48, ISSUE: 1
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef3455
TITLE: Exploring the Intersection of Storytelling, Localisation, and Immersion in Video Games - A Case Study of the Witcher III: Wild Hunt
AUTHORS: Vanessa Cesário; Mariana Ribeiro; António Coelho ;
PUBLISHED: 2023, SOURCE: HCI International 2023 Posters - 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I, VOLUME: 1832, PAGES: 546-552
AUTHORS: Vanessa Cesário; Mariana Ribeiro; António Coelho ;
PUBLISHED: 2023, SOURCE: HCI International 2023 Posters - 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I, VOLUME: 1832, PAGES: 546-552
INDEXED IN: DBLP
DBLP3456
TITLE: Exploring the Intersection of Storytelling, Localisation, and Immersion in Video Games – A Case Study of the Witcher III: Wild Hunt
AUTHORS: Vanessa Cesário; Mariana Ribeiro; António Coelho ;
PUBLISHED: 2023, SOURCE: 25th International Conference on Human-Computer Interaction , HCII 2023 in Communications in Computer and Information Science, VOLUME: 1832 CCIS, PAGES: 546-552
AUTHORS: Vanessa Cesário; Mariana Ribeiro; António Coelho ;
PUBLISHED: 2023, SOURCE: 25th International Conference on Human-Computer Interaction , HCII 2023 in Communications in Computer and Information Science, VOLUME: 1832 CCIS, PAGES: 546-552
3457
TITLE: Exploring the Reduction of Configuration Spaces of Workflows
AUTHORS: Fernando Freitas; Pavel Brazdil ; Carlos Soares ;
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: 33-47
AUTHORS: Fernando Freitas; Pavel Brazdil ; Carlos Soares ;
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: 33-47
3458
TITLE: Exploring the user experience of hands-free VR interaction methods during a Fitts' task Full Text
AUTHORS: Monteiro, Pedro ; Coelho, Hugo ; Goncalves, Guilherme ; Melo, Miguel ; Bessa, Maximino ;
PUBLISHED: 2023, SOURCE: Recent Advances in Graphics and Interaction (RAGI) in COMPUTERS & GRAPHICS-UK, VOLUME: 117, PAGES: 1-12
AUTHORS: Monteiro, Pedro ; Coelho, Hugo ; Goncalves, Guilherme ; Melo, Miguel ; Bessa, Maximino ;
PUBLISHED: 2023, SOURCE: Recent Advances in Graphics and Interaction (RAGI) in COMPUTERS & GRAPHICS-UK, VOLUME: 117, PAGES: 1-12
3459
TITLE: Factors Influencing Innovation Performance in Portugal: A Cross-Country Comparative Analysis Based on the Global Innovation Index and on the European Innovation Scoreboard
AUTHORS: Coutinho, Evelina Maria Oliveira; Au Yong Oliveira, Manuel ;
PUBLISHED: 2023, SOURCE: SUSTAINABILITY, VOLUME: 15, ISSUE: 13, PAGES: 10446
AUTHORS: Coutinho, Evelina Maria Oliveira; Au Yong Oliveira, Manuel ;
PUBLISHED: 2023, SOURCE: SUSTAINABILITY, VOLUME: 15, ISSUE: 13, PAGES: 10446
3460
TITLE: FAIR-FATE: Fair Federated Learning with Momentum
AUTHORS: Teresa Salazar; Miguel Fernandes; Helder Araújo; Pedro Henriques Abreu ;
PUBLISHED: 2023, SOURCE: Computational Science - ICCS 2023 - 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part I, VOLUME: 14073, PAGES: 524-538
AUTHORS: Teresa Salazar; Miguel Fernandes; Helder Araújo; Pedro Henriques Abreu ;
PUBLISHED: 2023, SOURCE: Computational Science - ICCS 2023 - 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part I, VOLUME: 14073, PAGES: 524-538
INDEXED IN: DBLP
DBLP