Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 
Publications Count: 3888
49 Team MembersFilters -> Year: 2024
421
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
422
TITLE: Pattern Recognition and Image Analysis. 10th Iberian Conference, IbPRIA 2022, Aveiro, Portugal, May 4–6, 2022, Proceedings
AUTHORS: Armando J Pinho; Petia Georgieva; Luis F. Teixeira ; Joan Andreu Sánchez;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science
AUTHORS: Armando J Pinho; Petia Georgieva; Luis F. Teixeira ; Joan Andreu Sánchez;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science
423
TITLE: Pattern Recognition and Image Analysis - 10th Iberian Conference, IbPRIA 2022, Aveiro, Portugal, May 4-6, 2022, Proceedings
AUTHORS: Armando J Pinho ; Petia Georgieva ; Luis F. Teixeira ; Joan Andreu Sánchez;
PUBLISHED: 2022, SOURCE: IbPRIA, VOLUME: 13256
AUTHORS: Armando J Pinho ; Petia Georgieva ; Luis F. Teixeira ; Joan Andreu Sánchez;
PUBLISHED: 2022, SOURCE: IbPRIA, VOLUME: 13256
424
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
425
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
426
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
427
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
428
TITLE: Portuguese textile association fostering the internationalisation of small and medium-sized enterprises
AUTHORS: Eric Costa; António Lucas Soares ; Jorge Pinho de Sousa; Maria Elo; Susana Costa e Silva;
PUBLISHED: 2022, SOURCE: International Journal of Entrepreneurship and Small Business, VOLUME: 45, ISSUE: 1, PAGES: 77-96
AUTHORS: Eric Costa; António Lucas Soares ; Jorge Pinho de Sousa; Maria Elo; Susana Costa e Silva;
PUBLISHED: 2022, SOURCE: International Journal of Entrepreneurship and Small Business, VOLUME: 45, ISSUE: 1, PAGES: 77-96
429
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
430
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
431
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)
432
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)
433
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)
434
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)
435
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
436
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
437
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
438
TITLE: QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit
AUTHORS: Daniel Fortunato; José Campos ; Rui Abreu ;
PUBLISHED: 2022, SOURCE: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
AUTHORS: Daniel Fortunato; José Campos ; Rui Abreu ;
PUBLISHED: 2022, SOURCE: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
439
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
440
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