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

AuthID: I-000-0K9


Publications Count: 4470

56 Team Members
Filters -> Year: 2025
2101
TITLE: Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
AUTHORS: Lima, BMC ; Faria, JCP ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 356-365
2102
TITLE: Towards Interoperability in the European Poetry Community: The Standardization of Philological Concepts
AUTHORS: Bermudez Sabel, Helena; Malta, Mariana Curado ; Gonzalez Blanco, Elena;
PUBLISHED: 2017, SOURCE: 1st International Conference on Language, Data and Knowledge (LDK) in LANGUAGE, DATA, AND KNOWLEDGE, LDK 2017, VOLUME: 10318, PAGES: 156-165
2103
TITLE: Towards Systematic Spreadsheet Construction Processes
AUTHORS: Jorge Mendes ; Jacome Cunha ; Francisco Duarte; Gregor Engels; Joao Saraiva ; Stefan Sauer;
PUBLISHED: 2017, SOURCE: 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), PAGES: 356-358
2104
TITLE: Towards understanding consumers' quality evaluation of online health information: A case study. Towards Understanding Consumers' Quality Evaluation of Online Health Information: A Case Study
AUTHORS: Zequn Ye; Jacek Gwizdka; Carla Teixeira Lopes ; Yan Zhang;
PUBLISHED: 2017, SOURCE: 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, ISSUE: 1, PAGES: 838-839
2105
TITLE: Transparent cross-system consistency
AUTHORS: Joao Loff; Daniel Porto; Carlos Baquero ; Joao Garcia; Nuno Preguica ; Rodrigo Rodrigues ;
PUBLISHED: 2017, SOURCE: 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), PAGES: 8:1-8:4
2106
TITLE: Transportation in Social Media: An Automatic Classifier for Travel-Related Tweets
AUTHORS: Pereira, J; Pasquali, A ; Saleiro, P; Rossetti, R ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 355-366
2107
TITLE: Type-Safe Evolution of Web Services
AUTHORS: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 20-26
2108
TITLE: Universal Parser for Wireless Sensor Networks in Industrial Cyber Physical Production Systems
AUTHORS: Silva, R ; Reis, J ; Neto, L; Gil Gonçalves ;
PUBLISHED: 2017, SOURCE: 15th IEEE International Conference on Industrial Informatics (INDIN) in 2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 633-638
2109
TITLE: Using Choreographies to Support the Gamification Process on the Development of an Application to Reduce Electricity Costs
AUTHORS: Cassola, F ; Iria, J ; Paredes, H ; Morgado, L ; Coelho, A ; Soares, F;
PUBLISHED: 2017, SOURCE: 6th International Conference on Games and Learning Alliance, GALA 2017 in GAMES AND LEARNING ALLIANCE, GALA 2017, VOLUME: 10653, PAGES: 256-258
2110
TITLE: Using custom transformation axes for mid-air manipulation of 3D virtual objects
AUTHORS: Daniel Mendes ; Maurício Sousa; Rodrigo Lorena; Alfredo Ferreira; Joaquim A Jorge;
PUBLISHED: 2017, SOURCE: 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, PAGES: 27:1-27:8
2111
TITLE: Using iterative refinement for out-of-reach selection in VR
AUTHORS: Daniel Mendes ; Daniel Medeiros; Maurício Sousa; Eduardo Cordeiro; Alfredo Ferreira; Joaquim A Jorge;
PUBLISHED: 2017, SOURCE: 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, PAGES: 11:1
2112
2113
TITLE: Using the Characteristics of Documents, Users and Tasks to Predict the Situational Relevance of Health Web Documents
AUTHORS: Melinda Oroszlányová; Carla Teixeira Lopes ; Sérgio Nunes; Cristina Ribeiro;
PUBLISHED: 2017, SOURCE: Journal of Information Systems Engineering & Management, VOLUME: 2, ISSUE: 4
2114
TITLE: Variability and Complexity in Software Design: Towards Quality through Modeling and Testing. Towards Quality through Modeling and Testing
AUTHORS: Matthias Galster; Danny Weyns; Michael Goedicke; Uwe Zdun; Jácome Cunha ; Jaime Chavarriaga;
PUBLISHED: 2017, SOURCE: ACM SIGSOFT Software Engineering Notes, VOLUME: 42, ISSUE: 4, PAGES: 35-37
2115
TITLE: Visualization of Patient Behavior from Natural Language Recommendations
AUTHORS: Jonathan Siddle; Alan Lindsay; João F Ferreira ; Julie Porteous; Jonathon Read; Fred Charles; Marc Cavazza; Gersende Georg;
PUBLISHED: 2017, SOURCE: 9th International Conference on Knowledge Capture, K-CAP 2017 in Proceedings of the Knowledge Capture Conference, K-CAP 2017, Austin, TX, USA, December 4-6, 2017, PAGES: 25:1-25:4
2116
TITLE: VRRRRoom: Virtual Reality for Radiologists in the Reading Room. Virtual Reality for Radiologists in the Reading Room
AUTHORS: Sousa, M; Mendes, D ; Paulo, S; Matela, N ; Jorge, J; Lopes, DS;
PUBLISHED: 2017, SOURCE: ACM SIGCHI Conference on Human Factors in Computing Systems (CHI) in PROCEEDINGS OF THE 2017 ACM SIGCHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI'17), VOLUME: 2017-May, PAGES: 4057-4062
2117
TITLE: WebProcessPAIR: recommendation system for software process improvement
AUTHORS: Mushtaq Raza ; João Pascoal Faria ; Luis Amaro; Pedro Castro Henriques;
PUBLISHED: 2017, SOURCE: 2017 International Conference on Software and System Process, ICSSP 2017 in Proceedings of the 2017 International Conference on Software and System Process, Paris, France, ICSSP 2017, July 5-7, 2017, VOLUME: Part F128767, PAGES: 139-140
2118
2119
TITLE: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTHORS: Joao F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5, PAGES: 906-920
2120
TITLE: A comparative study of meta-heuristics for the aircraft landing scheduling problem
AUTHORS: Câmara, A; Rubio, TRPM; Silva, DC; Oliveira, E ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies, CISTI 2016 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2016-July

Results per Page: 20.
Page 106 of 224. Total results: 4470.