Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4147
50 Team MembersFilters -> Year: 2025
701
TÃTULO: Verified Password Generation from Password Composition Policies
AUTORES: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PÁGINAS: 271-288
AUTORES: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PÁGINAS: 271-288
702
TÃTULO: Visitors come to experience science: towards a non-obtrusive evaluation method based on immersive virtual reality
AUTORES: Morais, C ; Luciano Moreira ; Teixeira, A; Aguiar, T; Coelho, A ; Pereira, V; Jacinto, A; Varzim, M; Paiva, JC; Rosa, M ;
PUBLICAÇÃO: 2022, FONTE: JCOM-JOURNAL OF SCIENCE COMMUNICATION, VOLUME: 21, NÚMERO: 1
AUTORES: Morais, C ; Luciano Moreira ; Teixeira, A; Aguiar, T; Coelho, A ; Pereira, V; Jacinto, A; Varzim, M; Paiva, JC; Rosa, M ;
PUBLICAÇÃO: 2022, FONTE: JCOM-JOURNAL OF SCIENCE COMMUNICATION, VOLUME: 21, NÚMERO: 1
703
TÃTULO: Visual notations in container orchestrations: an empirical study with Docker Compose
AUTORES: Piedade, Bruno; Dias, Joao Pedro ; Correia, Filipe F. ;
PUBLICAÇÃO: 2022, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 21, NÚMERO: 5, PÁGINAS: 1983-2005
AUTORES: Piedade, Bruno; Dias, Joao Pedro ; Correia, Filipe F. ;
PUBLICAÇÃO: 2022, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 21, NÚMERO: 5, PÁGINAS: 1983-2005
704
TÃTULO: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTORES: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2022, FONTE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PÁGINAS: 24-34
AUTORES: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2022, FONTE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PÁGINAS: 24-34
705
TÃTULO: What Ever Happened to Peer-to-Peer Systems?
AUTORES: Baquero, Carlos ;
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 66, NÚMERO: 3, PÁGINAS: 14-15
AUTORES: Baquero, Carlos ;
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 66, NÚMERO: 3, PÁGINAS: 14-15
706
TÃTULO: When software engineering meets quantum computing
AUTORES: Ali, S; Yue, T; Abreu, R ;
PUBLICAÇÃO: 2022, FONTE: Communications of the ACM, VOLUME: 65, NÚMERO: 4, PÁGINAS: 84-88
AUTORES: Ali, S; Yue, T; Abreu, R ;
PUBLICAÇÃO: 2022, FONTE: Communications of the ACM, VOLUME: 65, NÚMERO: 4, PÁGINAS: 84-88
707
TÃTULO: Which Technologies are Most Frequently Used by Data Scientists?
AUTORES: Paula Pereira; João Paulo Fernandes ; Jácome Cunha ;
PUBLICAÇÃO: 2022, FONTE: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022 in 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022, Rome, Italy, September 12-16, 2022, VOLUME: 2022-September, PÁGINAS: 1-5
AUTORES: Paula Pereira; João Paulo Fernandes ; Jácome Cunha ;
PUBLICAÇÃO: 2022, FONTE: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022 in 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022, Rome, Italy, September 12-16, 2022, VOLUME: 2022-September, PÁGINAS: 1-5
708
TÃTULO: WindsPT e-Science platform for wind measurement campaigns
AUTORES: Gomes D.F.; Lopes J.C. ; Palma J.M.L.M.; Senra F.; Dias S.; Coimbra I.L.;
PUBLICAÇÃO: 2022, FONTE: Journal of Physics: Conference Series, VOLUME: 2265, NÚMERO: 2, PÁGINAS: 022081
AUTORES: Gomes D.F.; Lopes J.C. ; Palma J.M.L.M.; Senra F.; Dias S.; Coimbra I.L.;
PUBLICAÇÃO: 2022, FONTE: Journal of Physics: Conference Series, VOLUME: 2265, NÚMERO: 2, PÁGINAS: 022081
709
TÃTULO: "Want to come play with me?" Outlier subgroup discovery on spatio-temporal interactions
AUTORES: Carolina Centeio Jorge ; Atzmueller, M; Heravi, BM; Gibson, JL; Rossetti, RJF ; de Sa, CR;
PUBLICAÇÃO: 2021, FONTE: EXPERT SYSTEMS, VOLUME: 40, NÚMERO: 5
AUTORES: Carolina Centeio Jorge ; Atzmueller, M; Heravi, BM; Gibson, JL; Rossetti, RJF ; de Sa, CR;
PUBLICAÇÃO: 2021, FONTE: EXPERT SYSTEMS, VOLUME: 40, NÚMERO: 5
710
TÃTULO: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021, January 19, 2021, Budapest, Hungary
AUTORES: João Bispo ; Stefano Cherubin; José Flich;
PUBLICAÇÃO: 2021, FONTE: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021 in PARMA-DITAM@HiPEAC, VOLUME: 88
AUTORES: João Bispo ; Stefano Cherubin; José Flich;
PUBLICAÇÃO: 2021, FONTE: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021 in PARMA-DITAM@HiPEAC, VOLUME: 88
711
TÃTULO: 6D Localization and Kicking for Humanoid Robotic Soccer
AUTORES: Abreu, M ; Silva, T; Teixeira, H; Reis, LP ; Lau, N ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 102, NÚMERO: 2, PÁGINAS: 30
AUTORES: Abreu, M ; Silva, T; Teixeira, H; Reis, LP ; Lau, N ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 102, NÚMERO: 2, PÁGINAS: 30
712
TÃTULO: A Binary Translation Framework for Automated Hardware Generation
AUTORES: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLICAÇÃO: 2021, FONTE: IEEE MICRO, VOLUME: 41, NÚMERO: 4, PÁGINAS: 15-22
AUTORES: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLICAÇÃO: 2021, FONTE: IEEE MICRO, VOLUME: 41, NÚMERO: 4, PÁGINAS: 15-22
713
TÃTULO: A Chatbot for Recipe Recommendation and Preference Modeling
AUTORES: Samagaio, Alvaro Mendes; Cardoso, Henrique Lopes ; Ribeiro, David;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PÁGINAS: 389-402
AUTORES: Samagaio, Alvaro Mendes; Cardoso, Henrique Lopes ; Ribeiro, David;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PÁGINAS: 389-402
714
TÃTULO: A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities
AUTORES: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLICAÇÃO: 2021, FONTE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October, PÁGINAS: 196-207
AUTORES: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLICAÇÃO: 2021, FONTE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October, PÁGINAS: 196-207
715
TÃTULO: A Comparative Study on the Performance of the IB+ Tree and the I2B+ Tree
AUTORES: Carneiro, E ; de Carvalho, AV; Oliveira, MA ;
PUBLICAÇÃO: 2021, FONTE: Journal of Information Systems Engineering and Management, VOLUME: 6, NÚMERO: 3
AUTORES: Carneiro, E ; de Carvalho, AV; Oliveira, MA ;
PUBLICAÇÃO: 2021, FONTE: Journal of Information Systems Engineering and Management, VOLUME: 6, NÚMERO: 3
716
TÃTULO: A CPG-Based Agile and Versatile Locomotion Framework Using Proximal Symmetry Loss
AUTORES: Mohammadreza Kasaei; Miguel Abreu; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2103.00928
AUTORES: Mohammadreza Kasaei; Miguel Abreu; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2103.00928
717
TÃTULO: A data-based multi-algorithm system for an end-to-end intelligent manufacturing process
AUTORES: Artur Freitas Gonçalves; João Reis; Gil Gonçalves ;
PUBLICAÇÃO: 2021
AUTORES: Artur Freitas Gonçalves; João Reis; Gil Gonçalves ;
PUBLICAÇÃO: 2021
718
TÃTULO: A Data-Driven Simulator for Assessing Decision-Making in Soccer
AUTORES: Mendes Neves, Tiago ; Mendes Moreira, Joao ; Rossetti, Rosaldo J. F. ;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PÁGINAS: 687-698
AUTORES: Mendes Neves, Tiago ; Mendes Moreira, Joao ; Rossetti, Rosaldo J. F. ;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PÁGINAS: 687-698
719
TÃTULO: A methodology and framework for software memoization of functions
AUTORES: Pedro Pinto ; João M P Cardoso ;
PUBLICAÇÃO: 2021, FONTE: 18th ACM International Conference on Computing Frontiers 2021, CF 2021 in CF '21: Computing Frontiers Conference, Virtual Event, Italy, May 11-13, 2021, PÁGINAS: 93-101
AUTORES: Pedro Pinto ; João M P Cardoso ;
PUBLICAÇÃO: 2021, FONTE: 18th ACM International Conference on Computing Frontiers 2021, CF 2021 in CF '21: Computing Frontiers Conference, Virtual Event, Italy, May 11-13, 2021, PÁGINAS: 93-101
720
TÃTULO: A Model to Enable the Reuse of Metadata-Based Frameworks in Adaptive Object Model Architectures
AUTORES: Guerra, E; Dias, AD; Veras, LGDO; Aguiar, A ; Choma, J; Da Silva, TS;
PUBLICAÇÃO: 2021, FONTE: IEEE ACCESS, VOLUME: 9, PÁGINAS: 85124-85143
AUTORES: Guerra, E; Dias, AD; Veras, LGDO; Aguiar, A ; Choma, J; Da Silva, TS;
PUBLICAÇÃO: 2021, FONTE: IEEE ACCESS, VOLUME: 9, PÁGINAS: 85124-85143