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

AuthID: I-000-0K9


Publications Count: 3888

49 Team Members
Filters -> Year: 2024
861
TITLE: Reverse Engineering of Android Applications: REiMPAcT
AUTHORS: Marco A Gonçalves; Ana C R Paiva ;
PUBLISHED: 2020, SOURCE: 13th International Conference on the Quality of Information and Communications Technology, QUATIC 2020 in Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings, VOLUME: 1266, PAGES: 369-382
862
TITLE: Revisiting harmonic change detection
AUTHORS: Ramoneda, P; Bernardes, G ;
PUBLISHED: 2020, SOURCE: 149th Audio Engineering Society Convention 2020, AES 2020 in 149th Audio Engineering Society Convention 2020, AES 2020
863
TITLE: Robot 2019: Fourth Iberian Robotics Conference. Advances in Robotics, Volume 2
AUTHORS: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLISHED: 2020, SOURCE: Advances in Intelligent Systems and Computing
864
TITLE: Robot 2019: Fourth Iberian Robotics Conference - Advances in Robotics, Volume 1, Porto, Portugal, 20-22 November, 2019
AUTHORS: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLISHED: 2020, SOURCE: ROBOT (1), VOLUME: 1092
865
TITLE: Robot 2019: Fourth Iberian Robotics Conference - Advances in Robotics, Volume 2, Porto, Portugal, 20-22 November, 2019
AUTHORS: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLISHED: 2020, SOURCE: ROBOT (2), VOLUME: 1093
866
TITLE: Role of Content Analysis in Improving the Curation of Experimental Data
AUTHORS: João Daniel Aguiar Castro ; Cristiana Landeira; João Rocha da Silva; Cristina Ribeiro ;
PUBLISHED: 2020, SOURCE: Int. J. Digit. Curation, VOLUME: 15, ISSUE: 1, PAGES: 1-14
867
TITLE: ROSY: An elegant language to teach the pure reactive nature of robot programming
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: 4th IEEE International Conference on Robotic Computing, IRC 2020 in Fourth IEEE International Conference on Robotic Computing, IRC 2020, Taichung, Taiwan, November 9-11, 2020, PAGES: 240-247
868
TITLE: Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces
AUTHORS: Alberto Oliveira; Ricardo Freitas; Alípio Jorge ; Vítor Amorim; Nuno Moniz ; Ana C R Paiva ; Paulo J Azevedo ;
PUBLISHED: 2020, SOURCE: 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020 in Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part II, VOLUME: 12490, PAGES: 516-523
869
TITLE: Serious Pervasive Games
AUTHORS: António Coelho ; Rui Rodrigues ; Rui Nóbrega; Jacob, J ; Leonel Morgado ; Pedro Cardoso; van Zeller, Maria ; Liliana Santos; António Augusto de Sousa ;
PUBLISHED: 2020, SOURCE: Frontiers Comput. Sci., VOLUME: 2, PAGES: 30
870
TITLE: Simulating a Three-Lane Roundabout Using SUMO
AUTHORS: Leite, B; Azevedo, P; Leixo, R; Rossetti, RJF ;
PUBLISHED: 2020, SOURCE: 3rd European-Alliance-for-Innovation (EAI) International Conference on Intelligent Transport Systems (INTSYS) in INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 310, PAGES: 18-31
871
TITLE: Simulation of Gamification Elements to Promote Carpooling in a Closed Community
AUTHORS: Bruno Miguel Pinto; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PAGES: 1-7
872
TITLE: Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2020, SOURCE: 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020 in ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020, PAGES: 101-115
873
TITLE: SmartBugs. a framework to analyze solidity smart contracts
AUTHORS: João F Ferreira; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLISHED: 2020, SOURCE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
874
TITLE: SmartBugs: A Framework to Analyze Solidity Smart Contracts
AUTHORS: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), PAGES: 1349-1352
875
TITLE: SmartGC: a software architecture for garbage collection in smart cities
AUTHORS: Ramalho, MS; Rossetti, RJF ; Cacho, N; Souza, A;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF BIO-INSPIRED COMPUTATION, VOLUME: 16, ISSUE: 2, PAGES: 79-93
876
TITLE: Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy
AUTHORS: Luiz Cavamura Júnior; Ricardo Morimoto; Sandra Fabbri; Ana C R Paiva ; Auri Marcelo Rizzo Vincenzi;
PUBLISHED: 2020, SOURCE: J. Softw. Eng. Res. Dev., VOLUME: 8, PAGES: 5
877
TITLE: Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications
AUTHORS: Hamid Arabnejad; Joao Bispo ; Joao M P Cardoso ; Jorge G Barbosa ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, ISSUE: 9, PAGES: 6753-6785
878
TITLE: Spatiotemporal Phenomena Summarization through Static Visual Narratives
AUTHORS: Marques, D; de Carvalho, AV ; Rodrigues, R ; Carneiro, E;
PUBLISHED: 2020, SOURCE: 24th International Conference Information Visualisation (IV) in 2020 24TH INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV 2020), VOLUME: 2020-September, PAGES: 467-472
879
TITLE: SPELLing out energy leaks: Aiding developers locate energy inefficient code
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
880
TITLE: State-Machine Replication for Planet-Scale Systems
AUTHORS: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLISHED: 2020, SOURCE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PAGES: 24:1-24:15

Results per Page: 20.
Page 44 of 195. Total results: 3888.