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

University of Porto (UP) :: Faculty of Engineering (FEUP)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 3948

49 Team Members
Filters -> Year: 2024
1661
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
INDEXED IN: Scopus CrossRef: 4
1662
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
INDEXED IN: Scopus WOS CrossRef: 4
1663
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
INDEXED IN: Scopus WOS DBLP CrossRef
1664
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
INDEXED IN: Scopus DBLP CrossRef: 2
1665
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1666
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
INDEXED IN: Scopus WOS DBLP CrossRef: 7
1667
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
INDEXED IN: Scopus DBLP CrossRef: 6
1668
TITLE: Universal Parser for Wireless Sensor Networks in Industrial Cyber Physical Production Systems
AUTHORS: Ricardo Silva; Joao Reis ; Luis Neto; 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
INDEXED IN: Scopus WOS CrossRef
1669
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
INDEXED IN: Scopus DBLP CrossRef: 11
1670
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
INDEXED IN: Scopus DBLP CrossRef
1671
1672
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
INDEXED IN: CrossRef: 1
1673
TITLE: Variability and Complexity in Software Design: 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
INDEXED IN: DBLP
1674
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
INDEXED IN: Scopus WOS DBLP CrossRef: 32
1675
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
INDEXED IN: Scopus DBLP CrossRef
1677
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1678
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
INDEXED IN: Scopus
1679
TITLE: A Comparative Study of Meta-Heuristics for the Aircraft Landing Scheduling Problem
AUTHORS: Alvaro Camara; Rubio, TRPM ; Daniel Castro Silva ; Eugenio Oliveira ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
INDEXED IN: WOS CrossRef: 2
1680
TITLE: A Computer-Vision Approach to Traffic Analysis Over Intersections
AUTHORS: Gustavo Lira; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ; Daniel C Moura; Rubio, TRPM ;
PUBLISHED: 2016, SOURCE: 19th IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2016 IEEE 19TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 47-53
INDEXED IN: Scopus WOS DBLP CrossRef: 9

Results per Page: 20.
Page 84 of 198. Total results: 3948.