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

AuthID: I-000-0K9


Publications Count: 3973

49 Team Members
Filters -> Year: 2025
941
TÍTULO: ROSY: An elegant language to teach the pure reactive nature of robot programming
AUTORES: Hugo Pacheco ; Nuno Macedo ;
PUBLICAÇÃO: 2020, FONTE: 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, PÁGINAS: 240-247
942
TÍTULO: Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces
AUTORES: Alberto Oliveira; Ricardo Freitas; Alípio Jorge ; Vítor Amorim; Nuno Moniz ; Ana C R Paiva ; Paulo J Azevedo ;
PUBLICAÇÃO: 2020, FONTE: 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, PÁGINAS: 516-523
943
TÍTULO: Serious Pervasive Games
AUTORES: António Coelho ; Rui Rodrigues ; Rui Nóbrega; Jacob, J ; Leonel Morgado ; Pedro Cardoso; van Zeller, Maria ; Liliana Santos; António Augusto de Sousa ;
PUBLICAÇÃO: 2020, FONTE: Frontiers Comput. Sci., VOLUME: 2, PÁGINAS: 30
944
TÍTULO: Simulating a Three-Lane Roundabout Using SUMO
AUTORES: Leite, B; Azevedo, P; Leixo, R; Rossetti, RJF ;
PUBLICAÇÃO: 2020, FONTE: 3rd European-Alliance-for-Innovation (EAI) International Conference on Intelligent Transport Systems (INTSYS) in INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 310, PÁGINAS: 18-31
945
TÍTULO: Simulation of Gamification Elements to Promote Carpooling in a Closed Community
AUTORES: Bruno Miguel Pinto; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PÁGINAS: 1-7
946
TÍTULO: Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
AUTORES: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2020, FONTE: 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, PÁGINAS: 101-115
947
TÍTULO: SmartBugs. a framework to analyze solidity smart contracts
AUTORES: João F Ferreira; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
948
TÍTULO: SmartBugs: A Framework to Analyze Solidity Smart Contracts
AUTORES: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), PÁGINAS: 1349-1352
949
TÍTULO: SmartGC: a software architecture for garbage collection in smart cities
AUTORES: Ramalho, MS; Rossetti, RJF ; Cacho, N; Souza, A;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL OF BIO-INSPIRED COMPUTATION, VOLUME: 16, NÚMERO: 2, PÁGINAS: 79-93
950
TÍTULO: Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy
AUTORES: Luiz Cavamura Júnior; Ricardo Morimoto; Sandra Fabbri; Ana C R Paiva ; Auri Marcelo Rizzo Vincenzi;
PUBLICAÇÃO: 2020, FONTE: J. Softw. Eng. Res. Dev., VOLUME: 8, PÁGINAS: 5
951
TÍTULO: Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications
AUTORES: Hamid Arabnejad; Joao Bispo ; Joao M P Cardoso ; Jorge G Barbosa ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, NÚMERO: 9, PÁGINAS: 6753-6785
952
TÍTULO: Spatiotemporal Phenomena Summarization through Static Visual Narratives
AUTORES: Marques, D; de Carvalho, AV ; Rodrigues, R ; Carneiro, E;
PUBLICAÇÃO: 2020, FONTE: 24th International Conference Information Visualisation (IV) in 2020 24TH INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV 2020), VOLUME: 2020-September, PÁGINAS: 467-472
953
TÍTULO: SPELLing out energy leaks: Aiding developers locate energy inefficient code
AUTORES: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PÁGINAS: 110463
954
TÍTULO: State-Machine Replication for Planet-Scale Systems
AUTORES: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLICAÇÃO: 2020, FONTE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PÁGINAS: 24:1-24:15
955
TÍTULO: State-machine replication for planet-scale systems
AUTORES: Vitor Enes; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the Fifteenth European Conference on Computer Systems
956
TÍTULO: State-Machine Replication for Planet-Scale Systems (Extended Version)
AUTORES: Vitor Enes ; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2003.11789
957
TÍTULO: State-of-the-Art Approaches for Meta-Knowledge Assertion in the Web of Data
AUTORES: Sen, S; Malta, MC ; Dutta, B; Dutta, A;
PUBLICAÇÃO: 2020, FONTE: IETE TECHNICAL REVIEW, VOLUME: 38, NÚMERO: 6, PÁGINAS: 672-709
958
TÍTULO: Stress among Portuguese Medical Students: the EuStress Solution
AUTORES: Silva, E ; Aguiar, J; Reis, LP ; Sa, JOE; Goncalves, J; Carvalho, V;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 44, NÚMERO: 2, PÁGINAS: 45
959
TÍTULO: Studying How Health Literacy Influences Attention during Online Information Seeking
AUTORES: Lopes, CT ; Ramos, E;
PUBLICAÇÃO: 2020, FONTE: 5th ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) in CHIIR'20: PROCEEDINGS OF THE 2020 CONFERENCE ON HUMAN INFORMATION INTERACTION AND RETRIEVAL, PÁGINAS: 283-291
960
TÍTULO: Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study
AUTORES: Nuno Flores ; Ana C R Paiva ; Nuno Cruz;
PUBLICAÇÃO: 2020, FONTE: INFORMATION, VOLUME: 11, NÚMERO: 3, PÁGINAS: 153

Results per Page: 20.
Página 48 de 199. Total de resultados: 3973.