Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4456
56 Team MembersFilters -> Year: 2025
2081
TÃTULO: The Single-Writer Principle in CRDT Composition
AUTORES: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: 2017 Programming Models and Languages for Distributed Computing, PMLDC 2017 in Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017, PÁGINAS: 4:1-4:3
AUTORES: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: 2017 Programming Models and Languages for Distributed Computing, PMLDC 2017 in Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017, PÁGINAS: 4:1-4:3
2082
TÃTULO: Toward a Token-Based Approach to Concern Detection in MATLAB Sources
AUTORES: Miguel P Monteiro; Nuno C Marques; Bruno Silva; Bruno Palma; Joao Cardoso ;
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: Miguel P Monteiro; Nuno C Marques; Bruno Silva; Bruno Palma; Joao Cardoso ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 573-584
2083
TÃTULO: Towards a Mention-Pair Model for Coreference Resolution in Portuguese
AUTORES: Rocha, G ; 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: Rocha, G ; 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
2084
TÃTULO: Towards a Relation-Based Argument Extraction Model for Argumentation Mining
AUTORES: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2017, FONTE: 5th International Conference on Statistical Language and Speech Processing, SLSP 2017 in Statistical Language and Speech Processing - 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings, VOLUME: 10583, PÁGINAS: 94-105
AUTORES: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2017, FONTE: 5th International Conference on Statistical Language and Speech Processing, SLSP 2017 in Statistical Language and Speech Processing - 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings, VOLUME: 10583, PÁGINAS: 94-105
2085
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
2086
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
2087
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
2088
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
2089
TÃTULO: Towards Systematic Spreadsheet Construction Processes
AUTORES: Jorge Mendes ; Jacome Cunha ; Francisco Duarte; Gregor Engels; Joao Saraiva ; Stefan Sauer;
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: Jorge Mendes ; Jacome Cunha ; Francisco Duarte; Gregor Engels; Joao Saraiva ; Stefan Sauer;
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
2090
TÃTULO: Towards understanding consumers' quality evaluation of online health information: A case study. 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: Diversity of Engagement: Connecting People and Information in the Physical and Virtual Worlds - Proceedings of the 80th ASIS&T Annual Meeting, ASIST 2017, Washington, DC, USA, October 27 - November 1, 2017, VOLUME: 54, NÚMERO: 1, PÁGINAS: 838-839
AUTORES: Zequn Ye; Jacek Gwizdka; Carla Teixeira Lopes ; Yan Zhang;
PUBLICAÇÃO: 2017, FONTE: Diversity of Engagement: Connecting People and Information in the Physical and Virtual Worlds - Proceedings of the 80th ASIS&T Annual Meeting, ASIST 2017, Washington, DC, USA, October 27 - November 1, 2017, VOLUME: 54, NÚMERO: 1, PÁGINAS: 838-839
2091
TÃTULO: Transparent cross-system consistency
AUTORES: Joao Loff; Daniel Porto; Carlos Baquero ; Joao Garcia; Nuno Preguica ; Rodrigo Rodrigues ;
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: Joao Loff; Daniel Porto; Carlos Baquero ; Joao Garcia; Nuno Preguica ; Rodrigo Rodrigues ;
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
2092
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
2093
TÃTULO: Type-Safe Evolution of Web Services
AUTORES: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLICAÇÃO: 2017, FONTE: 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE 2017 in 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, PÁGINAS: 20-26
AUTORES: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLICAÇÃO: 2017, FONTE: 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE 2017 in 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, PÁGINAS: 20-26
2094
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
2095
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
2096
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: 23rd ACM Conference on Virtual Reality Software and Technology, VRST 2017 in Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology, VRST 2017, Gothenburg, Sweden, November 8-10, 2017, 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: 23rd ACM Conference on Virtual Reality Software and Technology, VRST 2017 in Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology, VRST 2017, Gothenburg, Sweden, November 8-10, 2017, VOLUME: Part F131944, PÁGINAS: 27:1-27:8
2097
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: 33rd Spring Conference on Computer Graphics, SCCG 2017 in Proceedings of the 33rd Spring Conference on Computer Graphics, SCCG 2017, Mikulov, Czech Republic, May 15-17, 2017, 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: 33rd Spring Conference on Computer Graphics, SCCG 2017 in Proceedings of the 33rd Spring Conference on Computer Graphics, SCCG 2017, Mikulov, Czech Republic, May 15-17, 2017, VOLUME: 2017-May, PÁGINAS: 11:1
2098
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
2099
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
2100
TÃTULO: Variability and Complexity in Software Design: Towards Quality through Modeling and Testing. Towards Quality through Modeling and Testing
AUTORES: Matthias Galster; Danny Weyns; Michael Goedicke; Uwe Zdun; Jácome Cunha ; Jaime Chavarriaga;
PUBLICAÇÃO: 2017, FONTE: ACM SIGSOFT Software Engineering Notes, VOLUME: 42, NÚMERO: 4, PÁGINAS: 35-37
AUTORES: Matthias Galster; Danny Weyns; Michael Goedicke; Uwe Zdun; Jácome Cunha ; Jaime Chavarriaga;
PUBLICAÇÃO: 2017, FONTE: ACM SIGSOFT Software Engineering Notes, VOLUME: 42, NÚMERO: 4, PÁGINAS: 35-37
