Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 3960
49 Team MembersFilters -> Year: 2025
541
TÃTULO: Variability Analysis for Robot Operating System Applications
AUTORES: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLICAÇÃO: 2022, FONTE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PÁGINAS: 111-118
AUTORES: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLICAÇÃO: 2022, FONTE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PÁGINAS: 111-118
542
TÃTULO: Verification of railway network models with EVEREST
AUTORES: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLICAÇÃO: 2022, FONTE: 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, PÁGINAS: 345-355
AUTORES: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLICAÇÃO: 2022, FONTE: 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, PÁGINAS: 345-355
543
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
544
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
545
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
546
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
547
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
548
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
549
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
550
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
551
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
552
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
553
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
554
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
555
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
556
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
557
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
558
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
559
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
560
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