CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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
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!
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!
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!
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: 10649
536 Team MembersFilters -> Year: 2026
5801
TITLE: Exploring educational immersive videogames: an empirical study with a 3D multimodal interaction prototype
AUTHORS: Fernandes, LMA; Matos, GC ; Azevedo, D ; Nunes, RR ; Paredes, H ; Morgado, L ; Barbosa, LF ; Martins, P ; Fonseca, B ; Cristóvao, P; de Carvalho, F; Cardoso, B;
PUBLISHED: 2016, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, VOLUME: 35, ISSUE: 11, PAGES: 907-918
AUTHORS: Fernandes, LMA; Matos, GC ; Azevedo, D ; Nunes, RR ; Paredes, H ; Morgado, L ; Barbosa, LF ; Martins, P ; Fonseca, B ; Cristóvao, P; de Carvalho, F; Cardoso, B;
PUBLISHED: 2016, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, VOLUME: 35, ISSUE: 11, PAGES: 907-918
5802
TITLE: Exploring Heterogeneous Computing with Advanced Path Tracing Algorithms
AUTHORS: Oliveira, A; Perdigao, C; Santos, LP ; Proenca, A ;
PUBLISHED: 2016, SOURCE: 23rd Portuguese Meeting on Computer Graphics and Interaction (EPCGI) in 2016 23RD PORTUGUESE MEETING ON COMPUTER GRAPHICS AND INTERACTION (EPCGI), PAGES: 23-30
AUTHORS: Oliveira, A; Perdigao, C; Santos, LP ; Proenca, A ;
PUBLISHED: 2016, SOURCE: 23rd Portuguese Meeting on Computer Graphics and Interaction (EPCGI) in 2016 23RD PORTUGUESE MEETING ON COMPUTER GRAPHICS AND INTERACTION (EPCGI), PAGES: 23-30
5803
TITLE: EXPLOSION OF DIFFERENTIABILITY FOR EQUIVALENCIES BETWEEN ANOSOV FLOWS ON 3-MANIFOLDS
AUTHORS: Mario Bessa ; Sergio Dias; Alberto A Pinto ;
PUBLISHED: 2016, SOURCE: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 144, ISSUE: 9, PAGES: 3757-3766
AUTHORS: Mario Bessa ; Sergio Dias; Alberto A Pinto ;
PUBLISHED: 2016, SOURCE: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 144, ISSUE: 9, PAGES: 3757-3766
5804
TITLE: Expression Atlas update - an integrated database of gene and protein expression in humans, animals and plants
AUTHORS: Robert Petryszak; Maria Keays; Amy A Tang; Nuno A Fonseca ; Elisabet Barrera; Tony Burdett; Anja Füllgrabe; Alfonso Muñoz Pomer Fuentes; Simon Jupp; Satu Koskinen; Oliver Mannion; Laura Huerta; Karine Megy; Catherine Snow; Eleanor Williams; Mitra Barzine; Emma Hastings; Hendrik Weisser; James C Wright; Pankaj Jaiswal; ...More
PUBLISHED: 2016, SOURCE: Nucleic Acids Res., VOLUME: 44, ISSUE: Database-Issue, PAGES: 746-752
AUTHORS: Robert Petryszak; Maria Keays; Amy A Tang; Nuno A Fonseca ; Elisabet Barrera; Tony Burdett; Anja Füllgrabe; Alfonso Muñoz Pomer Fuentes; Simon Jupp; Satu Koskinen; Oliver Mannion; Laura Huerta; Karine Megy; Catherine Snow; Eleanor Williams; Mitra Barzine; Emma Hastings; Hendrik Weisser; James C Wright; Pankaj Jaiswal; ...More
PUBLISHED: 2016, SOURCE: Nucleic Acids Res., VOLUME: 44, ISSUE: Database-Issue, PAGES: 746-752
5805
TITLE: Extending publish/subscribe mechanisms to SOA applications
AUTHORS: Albano, M; Ferreira, LL ; Sousa, J;
PUBLISHED: 2016, SOURCE: IEEE World Conference on Factory Communication Systems (WFCS) in 2016 IEEE WORLD CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS), VOLUME: 2016-June, PAGES: 1-4
AUTHORS: Albano, M; Ferreira, LL ; Sousa, J;
PUBLISHED: 2016, SOURCE: IEEE World Conference on Factory Communication Systems (WFCS) in 2016 IEEE WORLD CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS), VOLUME: 2016-June, PAGES: 1-4
5806
TITLE: FastStep: Scalable Boolean Matrix Decomposition
AUTHORS: Araujo, M ; Ribeiro, P ; Faloutsos, C ;
PUBLISHED: 2016, SOURCE: 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2016, PT I, VOLUME: 9651, PAGES: 461-473
AUTHORS: Araujo, M ; Ribeiro, P ; Faloutsos, C ;
PUBLISHED: 2016, SOURCE: 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2016, PT I, VOLUME: 9651, PAGES: 461-473
5807
TITLE: Feature Nets: behavioural modelling of software product lines
AUTHORS: Muschevici, R; Proença, J ; Clarke, D;
PUBLISHED: 2016, SOURCE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, ISSUE: 4, PAGES: 1181-1206
AUTHORS: Muschevici, R; Proença, J ; Clarke, D;
PUBLISHED: 2016, SOURCE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, ISSUE: 4, PAGES: 1181-1206
5808
TITLE: Federated IaaS Resource Brokerage
AUTHORS: Bruno Veloso ; Fernando Meireles; Benedita Malheiro ; Juan Carlos Burguillo;
PUBLISHED: 2016, SOURCE: Developing Interoperable and Federated Cloud Architecture, PAGES: 252-280
AUTHORS: Bruno Veloso ; Fernando Meireles; Benedita Malheiro ; Juan Carlos Burguillo;
PUBLISHED: 2016, SOURCE: Developing Interoperable and Federated Cloud Architecture, PAGES: 252-280
5809
TITLE: Fibroblast growth factor 23 is associated with left ventricular hypertrophy, not with uremic vasculopathy in peritoneal dialysis patients
AUTHORS: Sarmento Dias, M; Santos Araujo, C ; Rui Poínhos ; Oliveira, B ; Sousa, MJ; Silva, LS; Silva, IS ; Flora Correia ; Pestana, M ;
PUBLISHED: 2016, SOURCE: CLINICAL NEPHROLOGY, VOLUME: 85, ISSUE: 3, PAGES: 135-141
AUTHORS: Sarmento Dias, M; Santos Araujo, C ; Rui Poínhos ; Oliveira, B ; Sousa, MJ; Silva, LS; Silva, IS ; Flora Correia ; Pestana, M ;
PUBLISHED: 2016, SOURCE: CLINICAL NEPHROLOGY, VOLUME: 85, ISSUE: 3, PAGES: 135-141
5810
TITLE: First International Workshop on Recent Trends in News Information Retrieval (NewsIR'16)
AUTHORS: Miguel Martinez Alvarez; Udo Kruschwitz; Gabriella Kazai; Frank Hopfgartner; David P A Corney; Ricardo Campos ; Dyaa Albakour;
PUBLISHED: 2016, SOURCE: ECIR, VOLUME: 9626, PAGES: 878-882
AUTHORS: Miguel Martinez Alvarez; Udo Kruschwitz; Gabriella Kazai; Frank Hopfgartner; David P A Corney; Ricardo Campos ; Dyaa Albakour;
PUBLISHED: 2016, SOURCE: ECIR, VOLUME: 9626, PAGES: 878-882
5811
TITLE: First Principle Models Based Dataset Generation for Multi-Target Regression and Multi-Label Classification Evaluation
AUTHORS: Ricardo Teixeira Sousa; João Gama ;
PUBLISHED: 2016, SOURCE: STREAMEVOLV@ECML-PKDD, VOLUME: 2069
AUTHORS: Ricardo Teixeira Sousa; João Gama ;
PUBLISHED: 2016, SOURCE: STREAMEVOLV@ECML-PKDD, VOLUME: 2069
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP5812
TITLE: FlexHousing: Flexoffer concept applied to house energy automation
AUTHORS: Joss Santos; Michele Albano; Luis Lino Ferreira ;
PUBLISHED: 2016, SOURCE: INForum Simpósio de Informática
AUTHORS: Joss Santos; Michele Albano; Luis Lino Ferreira ;
PUBLISHED: 2016, SOURCE: INForum Simpósio de Informática
INDEXED IN: 
Handle
Handle5813
TITLE: Formal Verification of a Space System's User Interface With the IVY Workbench
AUTHORS: Campos, JC ; Sousa, M; Alves, MCB; Harrison, MD ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, ISSUE: 2, PAGES: 303-316
AUTHORS: Campos, JC ; Sousa, M; Alves, MCB; Harrison, MD ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, ISSUE: 2, PAGES: 303-316
5814
TITLE: Formal Verification With Frama-C: A Case Study in the Space Software Domain
AUTHORS: Silva, RABE; Arai, NN; Burgareli, LA; de Oliveira, JMP; Pinto, JS ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, ISSUE: 3, PAGES: 1163-1179
AUTHORS: Silva, RABE; Arai, NN; Burgareli, LA; de Oliveira, JMP; Pinto, JS ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, ISSUE: 3, PAGES: 1163-1179
5815
TITLE: Formalization of the Pumping Lemma for Context-Free Languages PDF
AUTHORS: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, ISSUE: 2, PAGES: 53-68
AUTHORS: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, ISSUE: 2, PAGES: 53-68
INDEXED IN: Scopus 
WOS DBLP 
arXiv
Scopus WOS DBLP arXiv5816
TITLE: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
AUTHORS: Lourenço, CB ; Frade, MJ ; Pinto, JS ;
PUBLISHED: 2016, SOURCE: 25th European Symposium on Programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), VOLUME: 9632, PAGES: 41-67
AUTHORS: Lourenço, CB ; Frade, MJ ; Pinto, JS ;
PUBLISHED: 2016, SOURCE: 25th European Symposium on Programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), VOLUME: 9632, PAGES: 41-67
5817
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Barbosa, M ; Portela, B ; Scerri, G; Warinschi, B;
PUBLISHED: 2016, SOURCE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, PAGES: 245-260
AUTHORS: Barbosa, M ; Portela, B ; Scerri, G; Warinschi, B;
PUBLISHED: 2016, SOURCE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, PAGES: 245-260
5818
TITLE: From information systems and technologies to a technological proposal for an agri-food industry information system: The sousacamp group [Das tecnologias e sistemas de informação à proposta tecnológica de um sistema de informação para a agroindústria: O grupo sousacamp] Full Text
AUTHORS: Branco, F ; Martins, J ; Gonçalves, R ;
PUBLISHED: 2016, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 2016, ISSUE: 18, PAGES: 18-32
AUTHORS: Branco, F ; Martins, J ; Gonçalves, R ;
PUBLISHED: 2016, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 2016, ISSUE: 18, PAGES: 18-32
5819
TITLE: From offshore-provider to brand creator: fsQCA of footwear industry Full Text
AUTHORS: Raquel Meneses ; Pedro Quelhas Brito ; Paulo Coelho Gomes;
PUBLISHED: 2016, SOURCE: JOURNAL OF BUSINESS RESEARCH, VOLUME: 69, ISSUE: 11, PAGES: 5540-5546
AUTHORS: Raquel Meneses ; Pedro Quelhas Brito ; Paulo Coelho Gomes;
PUBLISHED: 2016, SOURCE: JOURNAL OF BUSINESS RESEARCH, VOLUME: 69, ISSUE: 11, PAGES: 5540-5546
5820
TITLE: GA optimization technique for portfolio optimization of electricity market participation
AUTHORS: Faia, R; Pinto, T ; Vale, Z ;
PUBLISHED: 2016, SOURCE: 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016 in 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016
AUTHORS: Faia, R; Pinto, T ; Vale, Z ;
PUBLISHED: 2016, SOURCE: 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016 in 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016
