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: 8279
531 Team MembersFilters -> Year: 2024
4341
TITLE: A logic for n-dimensional hierarchical refinement Full Text
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: 17th International Workshop on Refinement, Refine 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 209, ISSUE: 209, PAGES: 40-56
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: 17th International Workshop on Refinement, Refine 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 209, ISSUE: 209, PAGES: 40-56
4342
TITLE: A Logic for Robotics? Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
4343
TITLE: A microscope for the data centre
AUTHORS: Pereira, N ; Tennina, S; Loureiro, J; Severino, R ; Saraiva, B; Santos, M; Filipe de Faria Pacheco ; Tovar, E ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF SENSOR NETWORKS, VOLUME: 18, ISSUE: 3-4, PAGES: 193-203
AUTHORS: Pereira, N ; Tennina, S; Loureiro, J; Severino, R ; Saraiva, B; Santos, M; Filipe de Faria Pacheco ; Tovar, E ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF SENSOR NETWORKS, VOLUME: 18, ISSUE: 3-4, PAGES: 193-203
4344
TITLE: A Modular Sampling Framework for Flexible Traffic Analysis
AUTHORS: Joao Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2015, SOURCE: 23rd International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2015 23RD INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PAGES: 200-204
AUTHORS: Joao Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2015, SOURCE: 23rd International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2015 23RD INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PAGES: 200-204
4345
TITLE: A modular sampling framework for flexible traffic analysis
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2015, SOURCE: 23rd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2015, Split, Croatia, September 16-18, 2015, PAGES: 200-204
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2015, SOURCE: 23rd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2015, Split, Croatia, September 16-18, 2015, PAGES: 200-204
INDEXED IN: 
DBLP
DBLP4346
TITLE: A MULTI-AGENT BROKERAGE PLATFORM FOR MEDIA CONTENT RECOMMENDATION
AUTHORS: Veloso, B ; Malheiro, B ; Burguillo, JC;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, VOLUME: 25, ISSUE: 3, PAGES: 513-527
AUTHORS: Veloso, B ; Malheiro, B ; Burguillo, JC;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, VOLUME: 25, ISSUE: 3, PAGES: 513-527
4347
TITLE: A Multi-DAG Model for Real-Time Parallel Applications with Conditional Execution
AUTHORS: Jose Carlos Fonseca; Vincent Nelis; Gurulingesh Raravi; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 1925-1932
AUTHORS: Jose Carlos Fonseca; Vincent Nelis; Gurulingesh Raravi; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 1925-1932
4348
TITLE: A multi-spot exploration of the topological structures of the reconstructed phase-space for the detection of cardiac murmurs
AUTHORS: Jorge Oliveira ; Cristina Oliveira ; Bruna Cardoso; Malik Saad Sultan ; Miguel Tavares Coimbra ;
PUBLISHED: 2015, SOURCE: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2015 37TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2015-November, PAGES: 4194-4197
AUTHORS: Jorge Oliveira ; Cristina Oliveira ; Bruna Cardoso; Malik Saad Sultan ; Miguel Tavares Coimbra ;
PUBLISHED: 2015, SOURCE: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2015 37TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2015-November, PAGES: 4194-4197
4349
TITLE: A new concept of 3D DCS interface application for industrial production console operators Full Text
AUTHORS: Ramiro Goncalves ; Jose Martins ; Frederico Branco ; Miguel R G Gonzalez Castro; Manuel P Perez Cota; Joao Barroso ;
PUBLISHED: 2015, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 14, ISSUE: 3, PAGES: 399-413
AUTHORS: Ramiro Goncalves ; Jose Martins ; Frederico Branco ; Miguel R G Gonzalez Castro; Manuel P Perez Cota; Joao Barroso ;
PUBLISHED: 2015, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 14, ISSUE: 3, PAGES: 399-413
4350
TITLE: A Novel Approach using Alloy in Domain-specific Language Engineering
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLISHED: 2015, SOURCE: 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) in MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, PAGES: 157-164
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLISHED: 2015, SOURCE: 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) in MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, PAGES: 157-164
4351
TITLE: A novel run-time monitoring architecture for safe and efficient inline monitoring
AUTHORS: Nelissen, G; Pereira, D ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9111, PAGES: 66-82
AUTHORS: Nelissen, G; Pereira, D ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9111, PAGES: 66-82
4352
TITLE: A Parallel Computing Hybrid Approach for Feature Selection
AUTHORS: Jorge Silva ; Ana Aguiar ; Fernando Silva ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 97-104
AUTHORS: Jorge Silva ; Ana Aguiar ; Fernando Silva ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 97-104
4353
TITLE: A perspective on architectural re-engineering Full Text
AUTHORS: Alejandro Sanchez ; Nuno Oliveira; Luis S Barbosa ; Pedro Henriques ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 98, PAGES: 764-784
AUTHORS: Alejandro Sanchez ; Nuno Oliveira; Luis S Barbosa ; Pedro Henriques ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 98, PAGES: 764-784
4354
TITLE: A Proposal for a social e-learning model [Proposta de um modelo de e-learning social] Full Text
AUTHORS: Martins, J ; Gonçalves, R ; Santos, V; Cota, MP; Oliveira, T; Branco, F ;
PUBLISHED: 2015, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, ISSUE: 16, PAGES: 92-107
AUTHORS: Martins, J ; Gonçalves, R ; Santos, V; Cota, MP; Oliveira, T; Branco, F ;
PUBLISHED: 2015, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, ISSUE: 16, PAGES: 92-107
4355
TITLE: A Reconfigurable Architecture for Binary Acceleration of Loops with Memory Accesses Full Text
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2015, SOURCE: ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, VOLUME: 7, ISSUE: 4, PAGES: 29:1-29:20
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2015, SOURCE: ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, VOLUME: 7, ISSUE: 4, PAGES: 29:1-29:20
4356
TITLE: A review of performance criteria to validate simulation models Full Text
AUTHORS: Joana Hora ; Pedro Campos ;
PUBLISHED: 2015, SOURCE: EXPERT SYSTEMS, VOLUME: 32, ISSUE: 5, PAGES: 578-595
AUTHORS: Joana Hora ; Pedro Campos ;
PUBLISHED: 2015, SOURCE: EXPERT SYSTEMS, VOLUME: 32, ISSUE: 5, PAGES: 578-595
4358
TITLE: A Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators
AUTHORS: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLISHED: 2015, SOURCE: 18th Forum on Specification and Design Languages (FDL) in 2015 18th Forum on Specification and Design Languages (FDL), VOLUME: 2015-October, PAGES: 74-81
AUTHORS: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLISHED: 2015, SOURCE: 18th Forum on Specification and Design Languages (FDL) in 2015 18th Forum on Specification and Design Languages (FDL), VOLUME: 2015-October, PAGES: 74-81
4359
TITLE: A Structural Approach to Assess Graph-Based Exercises
AUTHORS: Ruben Sousa; Jose Paulo Leal ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
AUTHORS: Ruben Sousa; Jose Paulo Leal ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
4360
TITLE: A study of risk-aware program transformation
AUTHORS: Murta, D; Oliveira, JN ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110, PAGES: 51-77
AUTHORS: Murta, D; Oliveira, JN ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110, PAGES: 51-77
