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

AuthID: I-000-0K9


Publications Count: 4456

56 Team Members
Filters -> Year: 2025
2081
TITLE: The Single-Writer Principle in CRDT Composition
AUTHORS: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 4:1-4:3
2082
TITLE: Toward a Token-Based Approach to Concern Detection in MATLAB Sources
AUTHORS: Miguel P Monteiro; Nuno C Marques; Bruno Silva; Bruno Palma; Joao Cardoso ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 573-584
2083
TITLE: Towards a Mention-Pair Model for Coreference Resolution in Portuguese
AUTHORS: Rocha, G ; Cardoso, HL ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 855-867
2084
TITLE: Towards a Relation-Based Argument Extraction Model for Argumentation Mining
AUTHORS: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 94-105
2085
TITLE: Towards an architecture for smart garbage collection in urban settings
AUTHORS: Ramalho, MA; Rossetti, RJF ; Cacho, N;
PUBLISHED: 2017, SOURCE: 2017 International Smart Cities Conference, ISC2 2017 in 2017 International Smart Cities Conference, ISC2 2017
2086
TITLE: Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper)
AUTHORS: 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;
PUBLISHED: 2017, SOURCE: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PAGES: 388-393
2087
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
2088
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
2089
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
2090
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
2091
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
2092
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
2093
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
2094
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
2095
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
2096
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
2097
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
2098
2099
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
2100
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

Results per Page: 20.
Page 105 of 223. Total results: 4456.