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: 8107
531 Team MembersFilters -> Year: 2024
3881
TITLE: Exploring a Large News Collection Using Visualization Tools PDF
AUTHORS: Tiago Devezas ; José Luís Devezas ; Sérgio Nunes ;
PUBLISHED: 2016, SOURCE: 1st International Workshop on Recent Trends in News Information Retrieval, NewsIR 2016 in Proceedings of the First International Workshop on Recent Trends in News Information Retrieval co-located with 38th European Conference on Information Retrieval (ECIR 2016), Padua, Italy, March 20, 2016., VOLUME: 1568, PAGES: 48-53
AUTHORS: Tiago Devezas ; José Luís Devezas ; Sérgio Nunes ;
PUBLISHED: 2016, SOURCE: 1st International Workshop on Recent Trends in News Information Retrieval, NewsIR 2016 in Proceedings of the First International Workshop on Recent Trends in News Information Retrieval co-located with 38th European Conference on Information Retrieval (ECIR 2016), Padua, Italy, March 20, 2016., VOLUME: 1568, PAGES: 48-53
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP3882
TITLE: Exploring educational immersive videogames: an empirical study with a 3D multimodal interaction prototype Full Text
AUTHORS: Luis Miguel A Alves Fernandes; Goncalo Cruz Matos ; Diogo Azevedo ; Ricardo Rodrigues Nunes ; Hugo Paredes ; Leonel Morgado ; Luis Filipe Barbosa ; Paulo Martins ; Benjamim Fonseca ; Paulo Cristovao; Fausto de Carvalho; Bernardo Cardoso;
PUBLISHED: 2016, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, VOLUME: 35, ISSUE: 11, PAGES: 907-918
AUTHORS: Luis Miguel A Alves Fernandes; Goncalo Cruz Matos ; Diogo Azevedo ; Ricardo Rodrigues Nunes ; Hugo Paredes ; Leonel Morgado ; Luis Filipe Barbosa ; Paulo Martins ; Benjamim Fonseca ; Paulo Cristovao; Fausto de Carvalho; Bernardo Cardoso;
PUBLISHED: 2016, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, VOLUME: 35, ISSUE: 11, PAGES: 907-918
3883
TITLE: Exploring heterogeneous computing with advanced path tracing algorithms
AUTHORS: Oliveira, A; Perdigao, C; Santos, LP; Proenca, A ;
PUBLISHED: 2016, SOURCE: 23 Encontro Portugues de Computacao Grafica e Interacao, EPCGI 2016 - 23rd Portuguese Meeting on Computer Graphics and Interaction, EPCGI 2016 in 2016 23 Encontro Portugues de Computacao Grafica e Interacao, EPCGI 2016
AUTHORS: Oliveira, A; Perdigao, C; Santos, LP; Proenca, A ;
PUBLISHED: 2016, SOURCE: 23 Encontro Portugues de Computacao Grafica e Interacao, EPCGI 2016 - 23rd Portuguese Meeting on Computer Graphics and Interaction, EPCGI 2016 in 2016 23 Encontro Portugues de Computacao Grafica e Interacao, EPCGI 2016
INDEXED IN: Scopus
Scopus3884
TITLE: Exploring Heterogeneous Computing with Advanced Path Tracing Algorithms
AUTHORS: Andre Oliveira; Cesar Perdigao; Luis Paulo Santos ; Alberto Proenca ;
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: Andre Oliveira; Cesar Perdigao; Luis Paulo Santos ; Alberto Proenca ;
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
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef3885
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
3886
TITLE: Extending publish/subscribe mechanisms to SOA applications
AUTHORS: Albano, M; Ferreira, LL ; Sousa, J;
PUBLISHED: 2016, SOURCE: 12th IEEE World Conference on Factory Communication Systems, WFCS 2016 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, VOLUME: 2016-June
AUTHORS: Albano, M; Ferreira, LL ; Sousa, J;
PUBLISHED: 2016, SOURCE: 12th IEEE World Conference on Factory Communication Systems, WFCS 2016 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, VOLUME: 2016-June
INDEXED IN: Scopus CrossRef
Scopus CrossRef3887
TITLE: Extending publish/subscribe mechanisms to SOA applications
AUTHORS: Albano, M; Ferreira, LL ; Sousa, J;
PUBLISHED: 2016, SOURCE: 12th IEEE World Conference on Factory Communication Systems, WFCS 2016 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, VOLUME: 2016-June
AUTHORS: Albano, M; Ferreira, LL ; Sousa, J;
PUBLISHED: 2016, SOURCE: 12th IEEE World Conference on Factory Communication Systems, WFCS 2016 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, VOLUME: 2016-June
INDEXED IN: Scopus
Scopus3888
TITLE: Extending publish/subscribe mechanisms to SOA applications
AUTHORS: Michele Albano; Luis Lino Ferreira ; Jose Sousa;
PUBLISHED: 2016, SOURCE: IEEE World Conference on Factory Communication Systems (WFCS) in 2016 IEEE WORLD CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS)
AUTHORS: Michele Albano; Luis Lino Ferreira ; Jose Sousa;
PUBLISHED: 2016, SOURCE: IEEE World Conference on Factory Communication Systems (WFCS) in 2016 IEEE WORLD CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS)
INDEXED IN: WOS
WOS3889
TITLE: FastStep: Scalable Boolean Matrix Decomposition
AUTHORS: Miguel Araujo ; Pedro Ribeiro ; Christos Faloutsos ;
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: Miguel Araujo ; Pedro Ribeiro ; Christos Faloutsos ;
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
3890
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
3891
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 ; Poinhos, R ; 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 ; Poinhos, R ; Oliveira, B ; Sousa, MJ; Silva, LS; Silva, IS; Flora Correia ; Pestana, M ;
PUBLISHED: 2016, SOURCE: CLINICAL NEPHROLOGY, VOLUME: 85, ISSUE: 3, PAGES: 135-141
3892
TITLE: First International Workshop on Recent Trends in News Information Retrieval (NewsIR'16)
AUTHORS: Miguel Martinez Alvarez; Udo Kruschwitz; Gabriella Kazai; Frank Hopfgartner; David Corney; Ricardo Campos ; Dyaa Albakour;
PUBLISHED: 2016, SOURCE: 38th European Conference on Information Retrieval Research, ECIR 2016 in Advances in Information Retrieval - 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20-23, 2016. Proceedings, VOLUME: 9626, PAGES: 878-882
AUTHORS: Miguel Martinez Alvarez; Udo Kruschwitz; Gabriella Kazai; Frank Hopfgartner; David Corney; Ricardo Campos ; Dyaa Albakour;
PUBLISHED: 2016, SOURCE: 38th European Conference on Information Retrieval Research, ECIR 2016 in Advances in Information Retrieval - 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20-23, 2016. Proceedings, VOLUME: 9626, PAGES: 878-882
3893
TITLE: First Principle Models Based Dataset Generation for Multi-Target Regression and Multi-Label Classification Evaluation PDF
AUTHORS: Ricardo Sousa; João Gama ;
PUBLISHED: 2016, SOURCE: 2016 Workshop on Large-Scale Learning from Data Streams in Evolving Environments, STREAMEVOLV 2016 in Proceedings of the Workshop on Large-scale Learning from Data Streams in Evolving Environments (STREAMEVOLV 2016) co-located with the 2016 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML/PKDD 2016), Riva del Garda, Italy, September 23, 2016., VOLUME: 2069
AUTHORS: Ricardo Sousa; João Gama ;
PUBLISHED: 2016, SOURCE: 2016 Workshop on Large-Scale Learning from Data Streams in Evolving Environments, STREAMEVOLV 2016 in Proceedings of the Workshop on Large-scale Learning from Data Streams in Evolving Environments (STREAMEVOLV 2016) co-located with the 2016 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML/PKDD 2016), Riva del Garda, Italy, September 23, 2016., VOLUME: 2069
INDEXED IN: Scopus DBLP
Scopus DBLP3894
TITLE: Formal Verification of a Space System's User Interface With the IVY Workbench Full Text
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
3895
TITLE: Formal Verification With Frama-C: A Case Study in the Space Software Domain Full Text
AUTHORS: Rovedy Aparecida B E Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria P Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, ISSUE: 3, PAGES: 1163-1179
AUTHORS: Rovedy Aparecida B E Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria P Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, ISSUE: 3, PAGES: 1163-1179
3896
TITLE: Formalization of the Pumping Lemma for Context-Free Languages
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
Scopus WOS DBLP3897
TITLE: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
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: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
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
3898
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2016, PAGES: 14
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2016, PAGES: 14
INDEXED IN: DBLP
DBLP3899
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
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: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
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
3900
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
