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

AuthID: I-000-0K9


Publications Count: 4732

62 Team Members
Filters -> Year: 2026
1781
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
1782
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
1783
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
1784
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
1785
TÍTULO: Software Operational Profile <i>vi</i>s. Test Profile
AUTORES: Cavamura, L Jr; Morimoto, R; Fabbri, S; Vincenzi, AMR ;
PUBLICAÇÃO: 2019, FONTE: SBQS: PROCEEDINGS OF THE 18TH BRAZILIAN SYMPOSIUM ON SOFTWARE QUALITY, PÁGINAS: 139-148
1786
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
1787
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: SemEval@NAACL-HLT, PÁGINAS: 745-752
1788
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
1789
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
1790
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
1791
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
1792
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
1793
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
1794
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
1795
TÍTULO: The ANTAREX domain specific language for high performance computing
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; Libri, A; Martinovic, J; Palermo, G; Pinto, P; Rohou, E; Slaninová, K; Vitali, E; ...Mais
PUBLICAÇÃO: 2019, FONTE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 68, PÁGINAS: 58-73
1796
TÍTULO: The Challenges of European Public Health Surveillance Systems - An Overview of the HIV-AIDS Surveillance
AUTORES: Oliveira, A ; Reis, LP ; Rita Gaio ;
PUBLICAÇÃO: 2019, FONTE: NEW KNOWLEDGE IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 3, VOLUME: 932, PÁGINAS: 513-523
1797
TÍTULO: The Feeling of Presence: An Immersive Perspective. An Immersive Perspective
AUTORES: Rodrigo Assaf; Rui Rodrigues ;
PUBLICAÇÃO: 2019, FONTE: ARTECH, PÁGINAS: 40:1-40:6
1798
TÍTULO: The iMPAcT Tool for Android Testing
AUTORES: Ines Coimbra Morgado; Ana C R Paiva ;
PUBLICAÇÃO: 2019, FONTE: Proc. ACM Hum. Comput. Interact., VOLUME: 3, NÚMERO: EICS, PÁGINAS: 4:1-4:23
1799
TÍTULO: The Perdigao: Peering into Microscale Details of Mountain Winds
AUTORES: Fernando, HJS; Mann, J; Palma, JMLM ; Lundquist, JK; Barthelmie, RJ; Belo Pereira, M; Brown, WOJ; Chow, FK; Gerz, T; Hocut, CM; Klein, PM; Leo, LS; Matos, JC; Oncley, SP; Pryor, SC; Bariteau, L; Bell, TM; Bodini, N; Carney, MB; Courtney, MS; Creegan, ED; Dimitrova, R; Gomes, S; Hagen, M; Hyde, JO; Kigle, S; Krishnamurthy, R; Lopes, JC ; Mazzaro, L; Neher, JMT; Menke, R; Murphy, P; Oswald, L; Otarola Bustos, S; Pattantyus, AK; Veiga Rodrigues, CV; Schady, A; Sirin, N; Spuler, S; Svensson, E; Tomaszewski, J; Turner, DD; van Veen, L; Vasiljevic, N; Vassallo, D; Voss, S; Wildmann, N; Wang, Y; ...Mais
PUBLICAÇÃO: 2019, FONTE: BULLETIN OF THE AMERICAN METEOROLOGICAL SOCIETY, VOLUME: 100, NÚMERO: 5, PÁGINAS: 799-820
1800
TÍTULO: The prediction of traffic flow with regression analysis
AUTORES: Alam, I; Md. Farid, D; Rossetti, RJF ;
PUBLICAÇÃO: 2019, FONTE: International Conference on Emerging Technologies in Data Mining and Information Security, IEMIS 2018 in Advances in Intelligent Systems and Computing, VOLUME: 813, PÁGINAS: 661-671

Results per Page: 20.
Página 90 de 237. Total de resultados: 4732.