Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4668
62 Team MembersFilters -> Year: 2026
1701
TÃTULO: QUESt: new practices to represent hypotheses in experiment-driven software development
AUTORES: Jorge Melegati ; Xiaofeng Wang;
PUBLICAÇÃO: 2019, FONTE: IWSiB@ESEC/SIGSOFT FSE, PÁGINAS: 13-18
AUTORES: Jorge Melegati ; Xiaofeng Wang;
PUBLICAÇÃO: 2019, FONTE: IWSiB@ESEC/SIGSOFT FSE, PÁGINAS: 13-18
1702
TÃTULO: Ranking Dublin Core descriptor lists from user interactions: a case study with Dublin Core Terms using the Dendro platform
AUTORES: da Silva, JR ; Ribeiro, C ; Lopes, JC ;
PUBLICAÇÃO: 2019, FONTE: INTERNATIONAL JOURNAL ON DIGITAL LIBRARIES, VOLUME: 20, NÚMERO: 2, PÁGINAS: 185-204
AUTORES: da Silva, JR ; Ribeiro, C ; Lopes, JC ;
PUBLICAÇÃO: 2019, FONTE: INTERNATIONAL JOURNAL ON DIGITAL LIBRARIES, VOLUME: 20, NÚMERO: 2, PÁGINAS: 185-204
1703
TÃTULO: Readability of web content An analysis by topic
AUTORES: Antunes, H; Lopes, CT ;
PUBLICAÇÃO: 2019, FONTE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
AUTORES: Antunes, H; Lopes, CT ;
PUBLICAÇÃO: 2019, FONTE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
1704
TÃTULO: Regulating Blockchain Smart Contracts with Agent-Based Markets
AUTORES: Thiago R P M Rúbio; Zafeiris Kokkinogenis ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ; Eugénio Oliveira ;
PUBLICAÇÃO: 2019, FONTE: EPIA (1), VOLUME: 11804 LNAI, PÁGINAS: 399-411
AUTORES: Thiago R P M Rúbio; Zafeiris Kokkinogenis ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ; Eugénio Oliveira ;
PUBLICAÇÃO: 2019, FONTE: EPIA (1), VOLUME: 11804 LNAI, PÁGINAS: 399-411
1705
TÃTULO: Reinforcement Learning in Multi-agent Games: Open AI Gym Diplomacy Environment
AUTORES: Diogo Cruz; José Aleixo Cruz; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2019, FONTE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PÁGINAS: 49-60
AUTORES: Diogo Cruz; José Aleixo Cruz; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2019, FONTE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PÁGINAS: 49-60
1706
TÃTULO: Requirements pattern in software life cycle: A systematic mapping
AUTORES: Taciana N Kudo; Renato F Bulcão Neto; Alessandra A Macedo; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2019, FONTE: Xxii Ibero American Conference on Software Engineering Cibse 2019, PÁGINAS: 420-433
AUTORES: Taciana N Kudo; Renato F Bulcão Neto; Alessandra A Macedo; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2019, FONTE: Xxii Ibero American Conference on Software Engineering Cibse 2019, PÁGINAS: 420-433
1707
TÃTULO: Safe Walking in VR
AUTORES: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLICAÇÃO: 2019, FONTE: VRCAI, PÁGINAS: 54:1-54:2
AUTORES: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLICAÇÃO: 2019, FONTE: VRCAI, PÁGINAS: 54:1-54:2
1708
TÃTULO: Safe Walking In VR using Augmented Virtuality
AUTORES: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1911.13032
AUTORES: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1911.13032
1709
TÃTULO: Scalable eventually consistent counters over unreliable networks
AUTORES: Almeida, PS ; Baquero, C ;
PUBLICAÇÃO: 2019, FONTE: DISTRIBUTED COMPUTING, VOLUME: 32, NÚMERO: 1, PÁGINAS: 69-89
AUTORES: Almeida, PS ; Baquero, C ;
PUBLICAÇÃO: 2019, FONTE: DISTRIBUTED COMPUTING, VOLUME: 32, NÚMERO: 1, PÁGINAS: 69-89
1710
TÃTULO: Seed: Resynthesizing environmental sounds from examples
AUTORES: Bernardes, G ; Aly, L; Davies, MEP ;
PUBLICAÇÃO: 2019, FONTE: 13th Sound and Music Computing Conference, SMC 2016 in SMC 2016 - 13th Sound and Music Computing Conference, Proceedings, PÁGINAS: 55-62
AUTORES: Bernardes, G ; Aly, L; Davies, MEP ;
PUBLICAÇÃO: 2019, FONTE: 13th Sound and Music Computing Conference, SMC 2016 in SMC 2016 - 13th Sound and Music Computing Conference, Proceedings, PÁGINAS: 55-62
1711
TÃTULO: Self-adaptive Cobots in Cyber-Physical Production Systems
AUTORES: Nogueira, R; Reis, J; Rui Pinto ; Gil Gonçalves ;
PUBLICAÇÃO: 2019, FONTE: 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2019-September, PÁGINAS: 521-528
AUTORES: Nogueira, R; Reis, J; Rui Pinto ; Gil Gonçalves ;
PUBLICAÇÃO: 2019, FONTE: 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2019-September, PÁGINAS: 521-528
1712
TÃTULO: Semantics-aware Virtual Machine Image Management in IaaS Clouds
AUTORES: Saurabh, N; Remmers, J; Kimovski, D; Prodan, R; Barbosa, JG ;
PUBLICAÇÃO: 2019, FONTE: 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2019 IEEE 33RD INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2019), PÁGINAS: 418-427
AUTORES: Saurabh, N; Remmers, J; Kimovski, D; Prodan, R; Barbosa, JG ;
PUBLICAÇÃO: 2019, FONTE: 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2019 IEEE 33RD INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2019), PÁGINAS: 418-427
1713
TÃTULO: Serious games for ageing: a pilot interventional study in a cohort of heterogeneous cognitive impairment
AUTORES: Marco Simões; Rui Abreu ; Hélio Gonçalves; Ana Rodrigues; Inês Bernardino; Miguel Castelo Branco;
PUBLICAÇÃO: 2019, FONTE: 7th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2019, Kyoto, Japan, August 5-7, 2019, PÁGINAS: 1-8
AUTORES: Marco Simões; Rui Abreu ; Hélio Gonçalves; Ana Rodrigues; Inês Bernardino; Miguel Castelo Branco;
PUBLICAÇÃO: 2019, FONTE: 7th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2019, Kyoto, Japan, August 5-7, 2019, PÁGINAS: 1-8
1714
TÃTULO: Sharing and Learning Alloy on the Web
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.02275
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.02275
1715
TÃTULO: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTORES: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2019, FONTE: SETTA, VOLUME: 11951 LNCS, PÁGINAS: 38-55
AUTORES: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2019, FONTE: SETTA, VOLUME: 11951 LNCS, PÁGINAS: 38-55
1716
TÃTULO: Simulation under Arbitrary Temporal Logic Constraints
AUTORES: Brunel, J; Chemouil, D; Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2019, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 310, NÚMERO: 310, PÁGINAS: 63-69
AUTORES: Brunel, J; Chemouil, D; Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2019, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 310, NÚMERO: 310, PÁGINAS: 63-69
1717
TÃTULO: Software Operational Profile <i>vi</i>s. Test Profile
AUTORES: Cavamura, L Jr; Morimoto, R; Fabbri, S; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2019, FONTE: SBQS: PROCEEDINGS OF THE 18TH BRAZILIAN SYMPOSIUM ON SOFTWARE QUALITY, PÁGINAS: 139-148
AUTORES: Cavamura, L Jr; Morimoto, R; Fabbri, S; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2019, FONTE: SBQS: PROCEEDINGS OF THE 18TH BRAZILIAN SYMPOSIUM ON SOFTWARE QUALITY, PÁGINAS: 139-148
1718
TÃTULO: Static-time Extraction and Analysis of the ROS Computation Graph
AUTORES: Santos, A ; Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2019, FONTE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PÁGINAS: 62-69
AUTORES: Santos, A ; Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2019, FONTE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PÁGINAS: 62-69
1719
TÃTULO: Stop PropagHate at SemEval-2019 Tasks 5 and 6: Are abusive language classification results reproducible?
AUTORES: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PÁGINAS: 745-752
AUTORES: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PÁGINAS: 745-752
1720
TÃTULO: Supporting the Scale-up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach
AUTORES: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Lasri, I; Libri, A; Manelfi, C; Martinovic, J; Palermo, G; Pinto, P; Rohou, E; Sanna, N; Slaninová, K; Vitali, E; ...Mais
PUBLICAÇÃO: 2019, FONTE: 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) in 2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP), PÁGINAS: 116-123
AUTORES: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Lasri, I; Libri, A; Manelfi, C; Martinovic, J; Palermo, G; Pinto, P; Rohou, E; Sanna, N; Slaninová, K; Vitali, E; ...Mais
PUBLICAÇÃO: 2019, FONTE: 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) in 2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP), PÁGINAS: 116-123
