Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4614
61 Team MembersFilters -> Year: 2026
1661
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
1662
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
1663
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
1664
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
1665
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
1666
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
1667
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
1668
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
1669
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
1670
TÃTULO: Simulation under Arbitrary Temporal Logic Constraints
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: F-IDE@FM, VOLUME: 310, PÁGINAS: 63-69
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: F-IDE@FM, VOLUME: 310, PÁGINAS: 63-69
1671
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
1672
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
1673
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
1674
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
1675
TÃTULO: Tactical Level Decision-Making for Platoons of Autonomous Vehicles Using Auction Mechanisms
AUTORES: Kokkinogenis, Z ; Teixeira, M; d'Orey, PM ; Rossetti, RJF ;
PUBLICAÇÃO: 2019, FONTE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PÁGINAS: 1632-1638
AUTORES: Kokkinogenis, Z ; Teixeira, M; d'Orey, PM ; Rossetti, RJF ;
PUBLICAÇÃO: 2019, FONTE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PÁGINAS: 1632-1638
1676
TÃTULO: Team Fernando-Pessa at SemEval-2019 Task 4: Back to Basics in Hyperpartisan News Detection
AUTORES: André Ferreira Cruz; Gil Rocha ; Rui Sousa Silva ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2019, FONTE: SemEval@NAACL-HLT, PÁGINAS: 999-1003
AUTORES: André Ferreira Cruz; Gil Rocha ; Rui Sousa Silva ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2019, FONTE: SemEval@NAACL-HLT, PÁGINAS: 999-1003
1677
TÃTULO: Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets
AUTORES: Awan, MA; Bletsas, KN; Souto, PF ; Akesson, B; Tovar, E ;
PUBLICAÇÃO: 2019, FONTE: Embedded Systems Week / Int Conf on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) / International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) / Int Conf on Embedded Software (EMSOFT) in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, VOLUME: 18, NÚMERO: 5, PÁGINAS: 109:1-109:23
AUTORES: Awan, MA; Bletsas, KN; Souto, PF ; Akesson, B; Tovar, E ;
PUBLICAÇÃO: 2019, FONTE: Embedded Systems Week / Int Conf on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) / International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) / Int Conf on Embedded Software (EMSOFT) in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, VOLUME: 18, NÚMERO: 5, PÁGINAS: 109:1-109:23
1678
TÃTULO: Testing Android Incoming Calls
AUTORES: Paiva, ACR ; Gonçalves, MA; Barros, AR;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PÁGINAS: 441-448
AUTORES: Paiva, ACR ; Gonçalves, MA; Barros, AR;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PÁGINAS: 441-448
1679
TÃTULO: Testing When Mobile Apps Go to Background and Come Back to Foreground
AUTORES: Paiva, ACR ; Gouveia, JMEP; Elizabeth, JD; Delamaro, ME;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2019), PÁGINAS: 102-111
AUTORES: Paiva, ACR ; Gouveia, JMEP; Elizabeth, JD; Delamaro, ME;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2019), PÁGINAS: 102-111
1680
TÃTULO: Text mining applications to facilitate economic and food safety law enforcement
AUTORES: Magalhães, G; Faria, BM ; Reis, LP ; Cardoso, HL ;
PUBLICAÇÃO: 2019, FONTE: 4th International Conference on Big Data Analytics, Data Mining and Computational Intelligence 2019, BigDaCI 2019 and the 8th International Conference on Theory and Practice in Modern Computing 2019, TPMC 2019 in Multi Conference on Computer Science and Information Systems, MCCSIS 2019 - Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2019 and Theory and Practice in Modern Computing 2019, PÁGINAS: 199-203
AUTORES: Magalhães, G; Faria, BM ; Reis, LP ; Cardoso, HL ;
PUBLICAÇÃO: 2019, FONTE: 4th International Conference on Big Data Analytics, Data Mining and Computational Intelligence 2019, BigDaCI 2019 and the 8th International Conference on Theory and Practice in Modern Computing 2019, TPMC 2019 in Multi Conference on Computer Science and Information Systems, MCCSIS 2019 - Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2019 and Theory and Practice in Modern Computing 2019, PÁGINAS: 199-203