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

AuthID: I-000-0K9


Publications Count: 4482

56 Team Members
Filters -> Year: 2025
861
TITLE: Variability Analysis for Robot Operating System Applications
AUTHORS: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLISHED: 2022, SOURCE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PAGES: 111-118
862
TITLE: Verification of railway network models with EVEREST
AUTHORS: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLISHED: 2022, SOURCE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, PAGES: 345-355
863
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
864
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
865
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
866
867
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
868
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
869
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
870
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
871
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
872
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
873
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
874
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
875
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
876
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
877
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
878
TITLE: A case study on automatic summarization for gray literature
AUTHORS: Jorge Melegati ; Eduardo Guerra; Igor Wiese; Xiaofeng Wang;
PUBLISHED: 2021
879
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
880
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

Results per Page: 20.
Page 44 of 225. Total results: 4482.