Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4649
62 Team MembersFilters -> Year: 2026
2241
TÃTULO: The Single-Writer Principle in CRDT Composition
AUTORES: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: PMLDC@ECOOP, PÁGINAS: 4:1-4:3
AUTORES: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: PMLDC@ECOOP, PÁGINAS: 4:1-4:3
2242
TÃTULO: Toward a Token-Based Approach to Concern Detection in MATLAB Sources
AUTORES: Monteiro, MP; Marques, NC; Silva, B; Palma, B; Cardoso, J ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 573-584
AUTORES: Monteiro, MP; Marques, NC; Silva, B; Palma, B; Cardoso, J ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 573-584
2243
TÃTULO: Towards a Mention-Pair Model for Coreference Resolution in Portuguese
AUTORES: Gil Rocha ; Cardoso, HL ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 855-867
AUTORES: Gil Rocha ; Cardoso, HL ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 855-867
2244
TÃTULO: Towards a Relation-Based Argument Extraction Model for Argumentation Mining
AUTORES: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2017, FONTE: SLSP, VOLUME: 10583 LNAI, PÁGINAS: 94-105
AUTORES: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2017, FONTE: SLSP, VOLUME: 10583 LNAI, PÁGINAS: 94-105
2245
TÃTULO: Towards an architecture for smart garbage collection in urban settings
AUTORES: Ramalho, MA; Rossetti, RJF ; Cacho, N;
PUBLICAÇÃO: 2017, FONTE: 2017 International Smart Cities Conference, ISC2 2017 in 2017 International Smart Cities Conference, ISC2 2017
AUTORES: Ramalho, MA; Rossetti, RJF ; Cacho, N;
PUBLICAÇÃO: 2017, FONTE: 2017 International Smart Cities Conference, ISC2 2017 in 2017 International Smart Cities Conference, ISC2 2017
2246
TÃTULO: Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper)
AUTORES: Lom Messan Hillah; Rodrigo Elia Assad; Antonia Bertolino; Márcio Eduardo Delamaro; Fabio De Rosa; Vinicius C Garcia; Francesca Lonetti; Ariele Paolo Maesano; Libero Maesano; Eda Marchetti; Breno Miranda; VINCENZI, AURI M. R. ; Juliano Iyoda;
PUBLICAÇÃO: 2017, FONTE: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PÁGINAS: 388-393
AUTORES: Lom Messan Hillah; Rodrigo Elia Assad; Antonia Bertolino; Márcio Eduardo Delamaro; Fabio De Rosa; Vinicius C Garcia; Francesca Lonetti; Ariele Paolo Maesano; Libero Maesano; Eda Marchetti; Breno Miranda; VINCENZI, AURI M. R. ; Juliano Iyoda;
PUBLICAÇÃO: 2017, FONTE: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PÁGINAS: 388-393
2247
TÃTULO: Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
AUTORES: Lima, BMC ; Faria, JCP ;
PUBLICAÇÃO: 2017, FONTE: 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017 in Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, PÁGINAS: 356-365
AUTORES: Lima, BMC ; Faria, JCP ;
PUBLICAÇÃO: 2017, FONTE: 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017 in Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, PÁGINAS: 356-365
2248
TÃTULO: Towards Interoperability in the European Poetry Community: The Standardization of Philological Concepts
AUTORES: Bermudez Sabel, Helena; Malta, Mariana Curado ; Gonzalez Blanco, Elena;
PUBLICAÇÃO: 2017, FONTE: 1st International Conference on Language, Data and Knowledge (LDK) in LANGUAGE, DATA, AND KNOWLEDGE, LDK 2017, VOLUME: 10318, PÁGINAS: 156-165
AUTORES: Bermudez Sabel, Helena; Malta, Mariana Curado ; Gonzalez Blanco, Elena;
PUBLICAÇÃO: 2017, FONTE: 1st International Conference on Language, Data and Knowledge (LDK) in LANGUAGE, DATA, AND KNOWLEDGE, LDK 2017, VOLUME: 10318, PÁGINAS: 156-165
2249
TÃTULO: Towards Systematic Spreadsheet Construction Processes
AUTORES: Mendes, J ; Cunha, J ; Duarte, F; Engels, G; Saraiva, J ; Sauer, S;
PUBLICAÇÃO: 2017, FONTE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PÁGINAS: 356-358
AUTORES: Mendes, J ; Cunha, J ; Duarte, F; Engels, G; Saraiva, J ; Sauer, S;
PUBLICAÇÃO: 2017, FONTE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PÁGINAS: 356-358
2250
TÃTULO: Towards understanding consumers' quality evaluation of online health information: A case study
AUTORES: Zequn Ye; Jacek Gwizdka; Carla Teixeira Lopes ; Yan Zhang;
PUBLICAÇÃO: 2017, FONTE: ASIST, VOLUME: 54, NÚMERO: 1, PÁGINAS: 838-839
AUTORES: Zequn Ye; Jacek Gwizdka; Carla Teixeira Lopes ; Yan Zhang;
PUBLICAÇÃO: 2017, FONTE: ASIST, VOLUME: 54, NÚMERO: 1, PÁGINAS: 838-839
2251
TÃTULO: Transparent cross-system consistency
AUTORES: João Loff; Carlos Baquero ; Nuno Preguiça ;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 8:1-8:4
AUTORES: João Loff; Carlos Baquero ; Nuno Preguiça ;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 8:1-8:4
2252
TÃTULO: Transportation in Social Media: An Automatic Classifier for Travel-Related Tweets
AUTORES: Pereira, J; Pasquali, A ; Saleiro, P; Rossetti, R ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 355-366
AUTORES: Pereira, J; Pasquali, A ; Saleiro, P; Rossetti, R ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 355-366
2253
TÃTULO: Type-Safe Evolution of Web Services
AUTORES: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLICAÇÃO: 2017, FONTE: VACE@ICSE, PÁGINAS: 20-26
AUTORES: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLICAÇÃO: 2017, FONTE: VACE@ICSE, PÁGINAS: 20-26
2254
TÃTULO: Universal Parser for Wireless Sensor Networks in Industrial Cyber Physical Production Systems
AUTORES: Silva, R ; Reis, J ; Neto, L; Gil Gonçalves ;
PUBLICAÇÃO: 2017, FONTE: 15th IEEE International Conference on Industrial Informatics (INDIN) in 2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PÁGINAS: 633-638
AUTORES: Silva, R ; Reis, J ; Neto, L; Gil Gonçalves ;
PUBLICAÇÃO: 2017, FONTE: 15th IEEE International Conference on Industrial Informatics (INDIN) in 2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PÁGINAS: 633-638
2255
TÃTULO: Using Choreographies to Support the Gamification Process on the Development of an Application to Reduce Electricity Costs
AUTORES: Cassola, F ; Iria, J ; Paredes, H ; Morgado, L ; Coelho, A ; Soares, F;
PUBLICAÇÃO: 2017, FONTE: 6th International Conference on Games and Learning Alliance, GALA 2017 in GAMES AND LEARNING ALLIANCE, GALA 2017, VOLUME: 10653, PÁGINAS: 256-258
AUTORES: Cassola, F ; Iria, J ; Paredes, H ; Morgado, L ; Coelho, A ; Soares, F;
PUBLICAÇÃO: 2017, FONTE: 6th International Conference on Games and Learning Alliance, GALA 2017 in GAMES AND LEARNING ALLIANCE, GALA 2017, VOLUME: 10653, PÁGINAS: 256-258
2256
TÃTULO: Using custom transformation axes for mid-air manipulation of 3D virtual objects
AUTORES: Daniel Mendes ; Maurício Sousa; Rodrigo Lorena; Alfredo Ferreira; Joaquim A Jorge;
PUBLICAÇÃO: 2017, FONTE: VRST, VOLUME: Part F131944, PÁGINAS: 27:1-27:8
AUTORES: Daniel Mendes ; Maurício Sousa; Rodrigo Lorena; Alfredo Ferreira; Joaquim A Jorge;
PUBLICAÇÃO: 2017, FONTE: VRST, VOLUME: Part F131944, PÁGINAS: 27:1-27:8
2257
TÃTULO: Using iterative refinement for out-of-reach selection in VR
AUTORES: Daniel Mendes ; Daniel Medeiros; Maurício Sousa; Eduardo Cordeiro; Alfredo Ferreira; Joaquim A Jorge;
PUBLICAÇÃO: 2017, FONTE: SCCG, VOLUME: 2017-May, PÁGINAS: 11:1
AUTORES: Daniel Mendes ; Daniel Medeiros; Maurício Sousa; Eduardo Cordeiro; Alfredo Ferreira; Joaquim A Jorge;
PUBLICAÇÃO: 2017, FONTE: SCCG, VOLUME: 2017-May, PÁGINAS: 11:1
2258
TÃTULO: Using reverse engineering to define a domain model: The case of the development of a metadata application profile for european poetry. The Case of the Development of a Metadata Application Profile for European Poetry
AUTORES: Mariana Curado Malta ; Paloma Centenera; Elena Gonzalez Blanco;
PUBLICAÇÃO: 2017, FONTE: Developing Metadata Application Profiles, PÁGINAS: 146-177
AUTORES: Mariana Curado Malta ; Paloma Centenera; Elena Gonzalez Blanco;
PUBLICAÇÃO: 2017, FONTE: Developing Metadata Application Profiles, PÁGINAS: 146-177
2259
TÃTULO: Using the Characteristics of Documents, Users and Tasks to Predict the Situational Relevance of Health Web Documents
AUTORES: Melinda Oroszlányová; Carla Teixeira Lopes ; Sérgio Nunes; Cristina Ribeiro;
PUBLICAÇÃO: 2017, FONTE: Journal of Information Systems Engineering & Management, VOLUME: 2, NÚMERO: 4
AUTORES: Melinda Oroszlányová; Carla Teixeira Lopes ; Sérgio Nunes; Cristina Ribeiro;
PUBLICAÇÃO: 2017, FONTE: Journal of Information Systems Engineering & Management, VOLUME: 2, NÚMERO: 4
2260
TÃTULO: Validation of a low intrusiveness heart rate sensor for stress assessment
AUTORES: Pereira, T ; Almeida, PR; Cunha, JPS ; Aguiar, A ;
PUBLICAÇÃO: 2017, FONTE: BIOMEDICAL PHYSICS & ENGINEERING EXPRESS, VOLUME: 3, NÚMERO: 1, PÁGINAS: 017004
AUTORES: Pereira, T ; Almeida, PR; Cunha, JPS ; Aguiar, A ;
PUBLICAÇÃO: 2017, FONTE: BIOMEDICAL PHYSICS & ENGINEERING EXPRESS, VOLUME: 3, NÚMERO: 1, PÁGINAS: 017004
