Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 
Publications Count: 4147
50 Team MembersFilters -> Year: 2025
641
TITLE: Pardinus: A Temporal Relational Model Finder
AUTHORS: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLISHED: 2022, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 66, ISSUE: 4, PAGES: 861-904
AUTHORS: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLISHED: 2022, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 66, ISSUE: 4, PAGES: 861-904
642
TITLE: Pattern Recognition and Image Analysis. 10th Iberian Conference, IbPRIA 2022, Aveiro, Portugal, May 4–6, 2022, Proceedings
AUTHORS: Armando J Pinho; Petia Georgieva; Luís F Teixeira ; Joan Andreu Sánchez;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science
AUTHORS: Armando J Pinho; Petia Georgieva; Luís F Teixeira ; Joan Andreu Sánchez;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science
643
TITLE: Pattern Recognition and Image Analysis - 10th Iberian Conference, IbPRIA 2022, Aveiro, Portugal, May 4-6, 2022, Proceedings
AUTHORS: Armando J Pinho ; Petia Georgieva ; Luís F Teixeira ; Joan Andreu Sánchez;
PUBLISHED: 2022, SOURCE: IbPRIA, VOLUME: 13256
AUTHORS: Armando J Pinho ; Petia Georgieva ; Luís F Teixeira ; Joan Andreu Sánchez;
PUBLISHED: 2022, SOURCE: IbPRIA, VOLUME: 13256
644
TITLE: Patterns for Documenting Open Source Frameworks
AUTHORS: João Santos; Filipe F Correia ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2203.13871
AUTHORS: João Santos; Filipe F Correia ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2203.13871
645
TITLE: Pegasus: Performance Engineering for Software Applications Targeting HPC Systems
AUTHORS: Pinto, Pedro; Bispo, Joao ; Cardoso, Joao ; Barbosa, Jorge Gomes ; Gadioli, Davide; Palermo, Gianluca; Martinovic, Jan; Golasowski, Martin; Slaninova, Katerina; Cmar, Radim; Silvano, Cristina;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 48, ISSUE: 3, PAGES: 732-754
AUTHORS: Pinto, Pedro; Bispo, Joao ; Cardoso, Joao ; Barbosa, Jorge Gomes ; Gadioli, Davide; Palermo, Gianluca; Martinovic, Jan; Golasowski, Martin; Slaninova, Katerina; Cmar, Radim; Silvano, Cristina;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 48, ISSUE: 3, PAGES: 732-754
646
TITLE: Picking Publication Targets
AUTHORS: Baquero, C ;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 65, ISSUE: 3, PAGES: 10-11
AUTHORS: Baquero, C ;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 65, ISSUE: 3, PAGES: 10-11
647
TITLE: Portuguese social solidarity cooperatives between recovery and resilience in the context of covid-19: preliminary results of the COOPVID Project
AUTHORS: Meira, Deolinda; Azevedo, Ana; Castro, Conceicao; Tome, Brizida; Rodrigues, Ana Claudia; Bernardino, Susana; Martinho, Ana Luisa; Malta, Mariana Curado ; Pinto, Agostinho Sousa; Coutinho, Bruno; Vasconcelos, Paulo; Fernandes, Tiago Pimenta; Bandeira, Ana Maria; Rocha, Ana Paula; Silva, Marlene; Gomes, Mafalda;
PUBLISHED: 2022, SOURCE: CIRIEC-ESPANA REVISTA DE ECONOMIA PUBLICA SOCIAL Y COOPERATIVA, VOLUME: 104, ISSUE: 104, PAGES: 233-266
AUTHORS: Meira, Deolinda; Azevedo, Ana; Castro, Conceicao; Tome, Brizida; Rodrigues, Ana Claudia; Bernardino, Susana; Martinho, Ana Luisa; Malta, Mariana Curado ; Pinto, Agostinho Sousa; Coutinho, Bruno; Vasconcelos, Paulo; Fernandes, Tiago Pimenta; Bandeira, Ana Maria; Rocha, Ana Paula; Silva, Marlene; Gomes, Mafalda;
PUBLISHED: 2022, SOURCE: CIRIEC-ESPANA REVISTA DE ECONOMIA PUBLICA SOCIAL Y COOPERATIVA, VOLUME: 104, ISSUE: 104, PAGES: 233-266
648
TITLE: Portuguese textile association fostering the internationalisation of small and medium-sized enterprises
AUTHORS: Costa, E; Soares, AL ; de Sousa, JP; Elo, M; Silva, SCE;
PUBLISHED: 2022, SOURCE: INTERNATIONAL JOURNAL OF ENTREPRENEURSHIP & SMALL BUSINESS, VOLUME: 45, ISSUE: 1, PAGES: 77-96
AUTHORS: Costa, E; Soares, AL ; de Sousa, JP; Elo, M; Silva, SCE;
PUBLISHED: 2022, SOURCE: INTERNATIONAL JOURNAL OF ENTREPRENEURSHIP & SMALL BUSINESS, VOLUME: 45, ISSUE: 1, PAGES: 77-96
649
TITLE: Predicting Argument Density from Multiple Annotations
AUTHORS: Rocha, Gil ; Leite, Bernardo; Trigo, Luis ; Cardoso, Henrique Lopes ; Sousa Silva, Rui ; Carvalho, Paula ; Martins, Bruno ; Won, Miguel;
PUBLISHED: 2022, SOURCE: 27th International Conference on Applications of Natural Language to Information Systems (NLDB) in NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS (NLDB 2022), VOLUME: 13286, PAGES: 227-239
AUTHORS: Rocha, Gil ; Leite, Bernardo; Trigo, Luis ; Cardoso, Henrique Lopes ; Sousa Silva, Rui ; Carvalho, Paula ; Martins, Bruno ; Won, Miguel;
PUBLISHED: 2022, SOURCE: 27th International Conference on Applications of Natural Language to Information Systems (NLDB) in NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS (NLDB 2022), VOLUME: 13286, PAGES: 227-239
650
TITLE: Proactive monitoring design patterns for cloud-native applications
AUTHORS: Carlos Albuquerque; Kadu Relvas; Filipe Figueiredo Correia ; Kyle Brown;
PUBLISHED: 2022, SOURCE: 2022 27th European Conference on Pattern Languages of Programs, EuroPLoP 2022 in Proceedings of the 27th European Conference on Pattern Languages of Programs, EuroPLop 2022, Irsee, Germany, July 6-10, 2022, PAGES: 1:1-1:13
AUTHORS: Carlos Albuquerque; Kadu Relvas; Filipe Figueiredo Correia ; Kyle Brown;
PUBLISHED: 2022, SOURCE: 2022 27th European Conference on Pattern Languages of Programs, EuroPLoP 2022 in Proceedings of the 27th European Conference on Pattern Languages of Programs, EuroPLop 2022, Irsee, Germany, July 6-10, 2022, PAGES: 1:1-1:13
651
TITLE: Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 1, Online Streaming, February 3-5, 2022
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2022, SOURCE: ICAART (1)
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2022, SOURCE: ICAART (1)
652
TITLE: Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 2, Online Streaming, February 3-5, 2022
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2022, SOURCE: ICAART (2)
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2022, SOURCE: ICAART (2)
653
TITLE: Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 3, Online Streaming, February 3-5, 2022
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2022, SOURCE: ICAART (3)
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2022, SOURCE: ICAART (3)
654
TITLE: Proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022, Volume 1: GRAPP, Online Streaming, February 6-8, 2022
AUTHORS: Augusto A de Sousa ; Kurt Debattista; Kadi Bouatouch;
PUBLISHED: 2022, SOURCE: VISIGRAPP (1: GRAPP)
AUTHORS: Augusto A de Sousa ; Kurt Debattista; Kadi Bouatouch;
PUBLISHED: 2022, SOURCE: VISIGRAPP (1: GRAPP)
655
TITLE: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022
AUTHORS: Ademar Aguiar ; Eduardo Guerra; Shigeru Chiba; Elisa Gonzalez Boix;
PUBLISHED: 2022, SOURCE: Programming
AUTHORS: Ademar Aguiar ; Eduardo Guerra; Shigeru Chiba; Elisa Gonzalez Boix;
PUBLISHED: 2022, SOURCE: Programming
656
TITLE: ProGenVR: Natural Interactions for Procedural Content Generation in VR
AUTHORS: Bruno Carvalho; Daniel Mendes ; António Coelho ; Rui Rodrigues ;
PUBLISHED: 2022, SOURCE: ICAT-EGVE 2022, International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments, Hiyoshi, Yokohama, Japan, November 30 - December 3, 2022., PAGES: 65-73
AUTHORS: Bruno Carvalho; Daniel Mendes ; António Coelho ; Rui Rodrigues ;
PUBLISHED: 2022, SOURCE: ICAT-EGVE 2022, International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments, Hiyoshi, Yokohama, Japan, November 30 - December 3, 2022., PAGES: 65-73
657
TITLE: Proposal of a lightweight, offline, full-text search engine for an mHealth app
AUTHORS: Lopes, Carla Teixeira ; Azevedo, David; Monteiro, Joao M.;
PUBLISHED: 2022, SOURCE: 17th Iberian Conference on Information Systems and Technologies (CISTI) in 2022 17TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2022-June
AUTHORS: Lopes, Carla Teixeira ; Azevedo, David; Monteiro, Joao M.;
PUBLISHED: 2022, SOURCE: 17th Iberian Conference on Information Systems and Technologies (CISTI) in 2022 17TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2022-June
658
TITLE: QMutPy: A mutation testing tool for Quantum algorithms and applications in Qiskit
AUTHORS: Daniel Fortunato; Jose Campos ; Rui Abreu ;
PUBLISHED: 2022, SOURCE: ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, PAGES: 797-800
AUTHORS: Daniel Fortunato; Jose Campos ; Rui Abreu ;
PUBLISHED: 2022, SOURCE: ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, PAGES: 797-800
659
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
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
660
TITLE: Quantum Software Frameworks for Deep Learning
AUTHORS: Filipa Ramos Ferreira; João Paulo Fernandes ; Rui Abreu ;
PUBLISHED: 2022, SOURCE: Quantum Software Engineering, PAGES: 281-302
AUTHORS: Filipa Ramos Ferreira; João Paulo Fernandes ; Rui Abreu ;
PUBLISHED: 2022, SOURCE: Quantum Software Engineering, PAGES: 281-302