Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4438

56 Team Members
Filters -> Year: 2025
821
TITLE: Verified Password Generation from Password Composition Policies
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PAGES: 271-288
822
TITLE: Visitors come to experience science: towards a non-obtrusive evaluation method based on immersive virtual reality
AUTHORS: Morais, C ; Luciano Moreira ; Teixeira, A; Aguiar, T; Coelho, A ; Pereira, V; Jacinto, A; Varzim, M; Paiva, JC; Rosa, M ;
PUBLISHED: 2022, SOURCE: JCOM-JOURNAL OF SCIENCE COMMUNICATION, VOLUME: 21, ISSUE: 1
823
TITLE: Visual notations in container orchestrations: an empirical study with Docker Compose
AUTHORS: Piedade, Bruno; Dias, Joao Pedro ; Correia, Filipe F. ;
PUBLISHED: 2022, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 21, ISSUE: 5, PAGES: 1983-2005
824
TITLE: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PAGES: 24-34
825
TITLE: What Ever Happened to Peer-to-Peer Systems?
AUTHORS: Baquero, Carlos ;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 66, ISSUE: 3, PAGES: 14-15
826
TITLE: When software engineering meets quantum computing
AUTHORS: Ali, S; Yue, T; Abreu, R ;
PUBLISHED: 2022, SOURCE: Communications of the ACM, VOLUME: 65, ISSUE: 4, PAGES: 84-88
827
TITLE: Which Technologies are Most Frequently Used by Data Scientists?
AUTHORS: Paula Pereira; João Paulo Fernandes ; Jácome Cunha ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 1-5
828
TITLE: WindsPT e-Science platform for wind measurement campaigns
AUTHORS: Gomes D.F.; Lopes J.C. ; Palma J.M.L.M.; Senra F.; Dias S.; Coimbra I.L.;
PUBLISHED: 2022, SOURCE: Journal of Physics: Conference Series, VOLUME: 2265, ISSUE: 2, PAGES: 022081
829
TITLE: Work-from-home and its implication for project management, resilience and innovation - a global survey on software companies
AUTHORS: Anh Nguyen Duc; Dron Khanna; Des Greer; Xiaofeng Wang; Luciana Martinez Zaina; Gerardo Matturro; Jorge Melegati ; Eduardo Martins Guerra; Giang Huong Le; Petri Kettunen; Sami Hyrynsalmi; Henry Edison; Afonso Sales; Didzis Rutitis; Kai Kristian Kemell; Abdullah Aldaeej; Tommi Mikkonen; Juan Garbajosa; Pekka Abrahamsson;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.04950
830
TITLE: XPro: A Model to Explain the Limited Adoption and Implementation of Experimentation in Software Startups
AUTHORS: Jorge Melegati ; Henry Edison; Xiaofeng Wang;
PUBLISHED: 2022, SOURCE: IEEE Trans. Software Eng., VOLUME: 48, ISSUE: 6, PAGES: 1929-1946
831
TITLE: "Want to come play with me?" Outlier subgroup discovery on spatio-temporal interactions
AUTHORS: Carolina Centeio Jorge ; Atzmueller, M; Heravi, BM; Gibson, JL; Rossetti, RJF ; de Sa, CR;
PUBLISHED: 2021, SOURCE: EXPERT SYSTEMS, VOLUME: 40, ISSUE: 5
832
TITLE: 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
AUTHORS: João Bispo ; Stefano Cherubin; José Flich;
PUBLISHED: 2021, SOURCE: 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
833
TITLE: 6D Localization and Kicking for Humanoid Robotic Soccer
AUTHORS: Abreu, M ; Silva, T; Teixeira, H; Reis, LP ; Lau, N ;
PUBLISHED: 2021, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 102, ISSUE: 2, PAGES: 30
834
TITLE: A Binary Translation Framework for Automated Hardware Generation
AUTHORS: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: IEEE MICRO, VOLUME: 41, ISSUE: 4, PAGES: 15-22
835
TITLE: A case study on automatic summarization for gray literature
AUTHORS: Jorge Melegati ; Eduardo Guerra; Igor Wiese; Xiaofeng Wang;
PUBLISHED: 2021
836
TITLE: A Chatbot for Recipe Recommendation and Preference Modeling
AUTHORS: Samagaio, Alvaro Mendes; Cardoso, Henrique Lopes ; Ribeiro, David;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 389-402
837
TITLE: A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities
AUTHORS: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLISHED: 2021, SOURCE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October, PAGES: 196-207
838
TITLE: A Comparative Study on the Performance of the IB+ Tree and the I2B+ Tree
AUTHORS: Carneiro, E ; de Carvalho, AV; Oliveira, MA ;
PUBLISHED: 2021, SOURCE: Journal of Information Systems Engineering and Management, VOLUME: 6, ISSUE: 3
839
TITLE: A CPG-Based Agile and Versatile Locomotion Framework Using Proximal Symmetry Loss
AUTHORS: Mohammadreza Kasaei; Miguel Abreu; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.00928
840

Results per Page: 20.
Page 42 of 222. Total results: 4438.