Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 3965
49 Team MembersFilters -> Year: 2025
361
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
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
362
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
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
363
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
AUTHORS: Pinho, Daniel; Aguiar, Ademar ; Amaral, Vasco;
PUBLISHED: 2023, SOURCE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 74, PAGES: 101185
364
TITLE: 13th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 11th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2022, June 22, 2022, Budapest, Hungary
AUTHORS: Francesca Palumbo; João Bispo ; Stefano Cherubin;
PUBLISHED: 2022, SOURCE: PARMA-DITAM, VOLUME: 100
AUTHORS: Francesca Palumbo; João Bispo ; Stefano Cherubin;
PUBLISHED: 2022, SOURCE: PARMA-DITAM, VOLUME: 100
365
TITLE: 18Ni300 Maraging Steel Produced via Direct energy Deposition on H13 Tool Steel and DIN CK45
AUTHORS: Gil, J; Seca, R; Amaral, R; Emadinia, O; Reis, A; de Jesus, A ;
PUBLISHED: 2022, SOURCE: 25th International Conference on Material Forming, ESAFORM 2022 in Key Engineering Materials, VOLUME: 926 KEM, PAGES: 194-205
AUTHORS: Gil, J; Seca, R; Amaral, R; Emadinia, O; Reis, A; de Jesus, A ;
PUBLISHED: 2022, SOURCE: 25th International Conference on Material Forming, ESAFORM 2022 in Key Engineering Materials, VOLUME: 926 KEM, PAGES: 194-205
366
TITLE: A case study comparing machine learning with statistical methods for time series forecasting: size matters
AUTHORS: Cerqueira, Vitor ; Torgo, Luis ; Soares, Carlos ;
PUBLISHED: 2022, SOURCE: JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, VOLUME: 59, ISSUE: 2, PAGES: 415-433
AUTHORS: Cerqueira, Vitor ; Torgo, Luis ; Soares, Carlos ;
PUBLISHED: 2022, SOURCE: JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, VOLUME: 59, ISSUE: 2, PAGES: 415-433
367
TITLE: A Flexible HLS Hoeffding Tree Implementation for Runtime Learning on FPGA
AUTHORS: Sousa, Luis Miguel; Paulino, Nuno ; Ferreira, Joao Canas ; Bispo, Joao ;
PUBLISHED: 2022, SOURCE: 21st IEEE Mediterranean Electrotechnical Conference (IEEE MELECON) in 2022 IEEE 21ST MEDITERRANEAN ELECTROTECHNICAL CONFERENCE (IEEE MELECON 2022), VOLUME: abs/2112.01875, PAGES: 972-977
AUTHORS: Sousa, Luis Miguel; Paulino, Nuno ; Ferreira, Joao Canas ; Bispo, Joao ;
PUBLISHED: 2022, SOURCE: 21st IEEE Mediterranean Electrotechnical Conference (IEEE MELECON) in 2022 IEEE 21ST MEDITERRANEAN ELECTROTECHNICAL CONFERENCE (IEEE MELECON 2022), VOLUME: abs/2112.01875, PAGES: 972-977
368
TITLE: A Highly Customizable Information Visualization Framework
AUTHORS: Luís Spínola; Daniel Castro Silva ; Luís Paulo Reis ;
PUBLISHED: 2022, SOURCE: 22nd Annual International Conference on Computational Science, ICCS 2022 in Computational Science - ICCS 2022 - 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part II, VOLUME: 13351, PAGES: 110-116
AUTHORS: Luís Spínola; Daniel Castro Silva ; Luís Paulo Reis ;
PUBLISHED: 2022, SOURCE: 22nd Annual International Conference on Computational Science, ICCS 2022 in Computational Science - ICCS 2022 - 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part II, VOLUME: 13351, PAGES: 110-116
369
TITLE: A Highly Customizable Information Visualization Framework
AUTHORS: Spinola, Luis; Silva, Daniel Castro ; Reis, Luis Paulo ;
PUBLISHED: 2022, SOURCE: 22nd Annual International Conference on Computational Science (ICCS) in COMPUTATIONAL SCIENCE, ICCS 2022, PT II, PAGES: 110-116
AUTHORS: Spinola, Luis; Silva, Daniel Castro ; Reis, Luis Paulo ;
PUBLISHED: 2022, SOURCE: 22nd Annual International Conference on Computational Science (ICCS) in COMPUTATIONAL SCIENCE, ICCS 2022, PT II, PAGES: 110-116
370
TITLE: A Live Environment to Improve the Refactoring Experience
AUTHORS: Sara Fernandes ; Ademar Aguiar ; André Restivo ;
PUBLISHED: 2022, SOURCE: 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022 in Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, PAGES: 30-37
AUTHORS: Sara Fernandes ; Ademar Aguiar ; André Restivo ;
PUBLISHED: 2022, SOURCE: 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022 in Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, PAGES: 30-37
371
TITLE: A Novel Multi-View Ensemble Learning Architecture to Improve the Structured Text Classification
AUTHORS: Goncalves, Carlos Adriano ; Vieira, Adrian Seara; Goncalves, Celia Talma; Camacho, Rui ; Iglesias, Eva Lorenzo; Diz, Lourdes Borrajo;
PUBLISHED: 2022, SOURCE: INFORMATION, VOLUME: 13, ISSUE: 6, PAGES: 283
AUTHORS: Goncalves, Carlos Adriano ; Vieira, Adrian Seara; Goncalves, Celia Talma; Camacho, Rui ; Iglesias, Eva Lorenzo; Diz, Lourdes Borrajo;
PUBLISHED: 2022, SOURCE: INFORMATION, VOLUME: 13, ISSUE: 6, PAGES: 283
372
TITLE: A Pattern-Based Test Platform for Families of Smart Health Products
AUTHORS: Almeida, Pedro; Faria, Joao Pascoal ; Lima, Bruno ;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December, PAGES: 595-605
AUTHORS: Almeida, Pedro; Faria, Joao Pascoal ; Lima, Bruno ;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December, PAGES: 595-605
373
TITLE: A Pilot Study Testing the Effectiveness of a Mindfulness-Based Program for Portuguese School Children
AUTHORS: Magalhaes, Sofia; Nunes, Tania; Soeiro, Ines; Rodrigues, Rui; Coelho, Antonio ; Pinheiro, Marisa; Castro, Sao Luis ; Leal, Teresa; Limpo, Teresa;
PUBLISHED: 2022, SOURCE: MINDFULNESS, VOLUME: 13, ISSUE: 11, PAGES: 2751-2764
AUTHORS: Magalhaes, Sofia; Nunes, Tania; Soeiro, Ines; Rodrigues, Rui; Coelho, Antonio ; Pinheiro, Marisa; Castro, Sao Luis ; Leal, Teresa; Limpo, Teresa;
PUBLISHED: 2022, SOURCE: MINDFULNESS, VOLUME: 13, ISSUE: 11, PAGES: 2751-2764
374
TITLE: A Plug-and-Play Solution for Smart Transducers in Industrial Applications Based on IEEE 1451 and IEC 61499 Standards
AUTHORS: Oliveira, Diogo; Pinheiro, Joao; Neto, Luis; Pinto, Vitor H. ; Gil Gonçalves ;
PUBLISHED: 2022, SOURCE: SENSORS, VOLUME: 22, ISSUE: 19, PAGES: 7694
AUTHORS: Oliveira, Diogo; Pinheiro, Joao; Neto, Luis; Pinto, Vitor H. ; Gil Gonçalves ;
PUBLISHED: 2022, SOURCE: SENSORS, VOLUME: 22, ISSUE: 19, PAGES: 7694
375
TITLE: A survey on applications of coalition formation in multi-agent systems
AUTHORS: Sarkar, S; Malta, MC ; Dutta, A;
PUBLISHED: 2022, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 34, ISSUE: 11
AUTHORS: Sarkar, S; Malta, MC ; Dutta, A;
PUBLISHED: 2022, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 34, ISSUE: 11
376
TITLE: A Survey on Attention Mechanisms for Medical Applications: are we Moving Toward Better Algorithms?
AUTHORS: Goncalves, Tiago ; Rio Torto, Isabel ; Luis F. Teixeira ; Cardoso, Jaime S. ;
PUBLISHED: 2022, SOURCE: IEEE ACCESS, VOLUME: 10, PAGES: 98909-98935
AUTHORS: Goncalves, Tiago ; Rio Torto, Isabel ; Luis F. Teixeira ; Cardoso, Jaime S. ;
PUBLISHED: 2022, SOURCE: IEEE ACCESS, VOLUME: 10, PAGES: 98909-98935
377
TITLE: A survey on attention mechanisms for medical applications: are we moving towards better algorithms?
AUTHORS: Tiago Gonçalves; Isabel Rio Torto ; Luis F. Teixeira ; Jaime S Cardoso ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2204.12406
AUTHORS: Tiago Gonçalves; Isabel Rio Torto ; Luis F. Teixeira ; Jaime S Cardoso ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2204.12406
378
TITLE: A Survey on the Adoption of Patterns for Engineering Software for the Cloud
AUTHORS: Sousa, Tiago Boldt ; Ferreira, Hugo Sereno ; Correia, Filipe Figueiredo ;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 48, ISSUE: 6, PAGES: 2128-2140
AUTHORS: Sousa, Tiago Boldt ; Ferreira, Hugo Sereno ; Correia, Filipe Figueiredo ;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 48, ISSUE: 6, PAGES: 2128-2140
379
TITLE: A transformer-based IDE plugin for vulnerability detection
AUTHORS: Mamede, Claudia; Pinconschi, Eduard; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022
AUTHORS: Mamede, Claudia; Pinconschi, Eduard; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022
380
TITLE: Acting emotions: physiological correlates of emotional valence and arousal dynamics in theatre
AUTHORS: Aly, L ; Bota, P; Godinho, L; Bernardes, G ; Silva, H;
PUBLISHED: 2022, SOURCE: 2022 ACM International Conference on Interactive Media Experiences, IMX 2022 in IMX 2022 - Proceedings of the 2022 ACM International Conference on Interactive Media Experiences, PAGES: 381-385
AUTHORS: Aly, L ; Bota, P; Godinho, L; Bernardes, G ; Silva, H;
PUBLISHED: 2022, SOURCE: 2022 ACM International Conference on Interactive Media Experiences, IMX 2022 in IMX 2022 - Proceedings of the 2022 ACM International Conference on Interactive Media Experiences, PAGES: 381-385