Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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: 2702
43 Team MembersFilters -> Year: 2025
1361
TITLE: Analysis of the electromechanical activity of the heart from synchronized ECG and PCG signals of subjects under stress
AUTHORS: Castro, A; Moukadem, A; Schmidt, S; Dieterlen, A; Coimbra, MT ;
PUBLISHED: 2015, SOURCE: 8th International Conference on Bio-Inspired Systems and Signal Processing, BIOSIGNALS 2015 in BIOSIGNALS 2015 - 8th International Conference on Bio-Inspired Systems and Signal Processing, Proceedings; Part of 8th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015, PAGES: 49-56
AUTHORS: Castro, A; Moukadem, A; Schmidt, S; Dieterlen, A; Coimbra, MT ;
PUBLISHED: 2015, SOURCE: 8th International Conference on Bio-Inspired Systems and Signal Processing, BIOSIGNALS 2015 in BIOSIGNALS 2015 - 8th International Conference on Bio-Inspired Systems and Signal Processing, Proceedings; Part of 8th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015, PAGES: 49-56
1362
TITLE: Automated Diagnosis of Breast Cancer on Medical Images
AUTHORS: Marina Velikova; Inês Dutra ; Elizabeth S Burnside;
PUBLISHED: 2015, SOURCE: Foundations of Biomedical Knowledge Representation - Methods and Applications, VOLUME: 9521, PAGES: 47-67
AUTHORS: Marina Velikova; Inês Dutra ; Elizabeth S Burnside;
PUBLISHED: 2015, SOURCE: Foundations of Biomedical Knowledge Representation - Methods and Applications, VOLUME: 9521, PAGES: 47-67
1363
TITLE: Average Size of Automata Constructions from Regular Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: Bulletin of the EATCS, VOLUME: 116
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: Bulletin of the EATCS, VOLUME: 116
INDEXED IN: 
DBLP
DBLP1364
TITLE: Batched Evaluation of Full-Sharing Multithreaded Tabling
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 113-124
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 113-124
1365
TITLE: Benchmarking analysis of social media strategies in the Higher Education Sector
AUTHORS: Oliveira, L ; Figueira, A ;
PUBLISHED: 2015, SOURCE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, VOLUME: 64, PAGES: 779-786
AUTHORS: Oliveira, L ; Figueira, A ;
PUBLISHED: 2015, SOURCE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, VOLUME: 64, PAGES: 779-786
1366
TITLE: Biased allelic expression in human primary fibroblast single cells
AUTHORS: Borel, C; Ferreira, PG ; Santoni, F; Delaneau, O; Fort, A; Popadin, KY; Garieri, M; Falconnet, E; Ribaux, P; Guipponi, M; Padioleau, I; Carninci, P; Dermitzakis, ET; Antonarakis, SE;
PUBLISHED: 2015, SOURCE: American Journal of Human Genetics, VOLUME: 96, ISSUE: 1, PAGES: 70-80
AUTHORS: Borel, C; Ferreira, PG ; Santoni, F; Delaneau, O; Fort, A; Popadin, KY; Garieri, M; Falconnet, E; Ribaux, P; Guipponi, M; Padioleau, I; Carninci, P; Dermitzakis, ET; Antonarakis, SE;
PUBLISHED: 2015, SOURCE: American Journal of Human Genetics, VOLUME: 96, ISSUE: 1, PAGES: 70-80
1367
TITLE: Can ride-sharing become attractive? A case study of taxi-sharing employing a simulation modelling approach
AUTHORS: Pedro M d'Orey ; Michel Ferreira ;
PUBLISHED: 2015, SOURCE: IET INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 9, ISSUE: 2, PAGES: 210-220
AUTHORS: Pedro M d'Orey ; Michel Ferreira ;
PUBLISHED: 2015, SOURCE: IET INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 9, ISSUE: 2, PAGES: 210-220
1368
TITLE: Can We Find Deterministic Signatures in ECG and PCG Signals?
AUTHORS: Oliveira, JH ; Ferreira, V; Miguel T Coimbra ;
PUBLISHED: 2015, SOURCE: 8th International Conference on Bio-Inspired Systems and Signal Processing, BIOSIGNALS 2015 in BIOSIGNALS 2015 - Proceedings of the International Conference on Bio-inspired Systems and Signal Processing, Lisbon, Portugal, 12-15 January, 2015., PAGES: 184-189
AUTHORS: Oliveira, JH ; Ferreira, V; Miguel T Coimbra ;
PUBLISHED: 2015, SOURCE: 8th International Conference on Bio-Inspired Systems and Signal Processing, BIOSIGNALS 2015 in BIOSIGNALS 2015 - Proceedings of the International Conference on Bio-inspired Systems and Signal Processing, Lisbon, Portugal, 12-15 January, 2015., PAGES: 184-189
1369
TITLE: Certifying execution time in multicores Full Text
AUTHORS: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, ISSUE: P3, PAGES: 505-534
AUTHORS: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, ISSUE: P3, PAGES: 505-534
1370
TITLE: Class-Based Outlier Detection: Staying Zombies or Awaiting for Resurrection?
AUTHORS: Leona Nezvalova; Lubos Popelinsky; Luis Torgo ; Karel Vaculik;
PUBLISHED: 2015, SOURCE: 14th International Symposium on Intelligent Data Analysis (IDA) in Advances in Intelligent Data Analysis XIV, VOLUME: 9385, PAGES: 193-204
AUTHORS: Leona Nezvalova; Lubos Popelinsky; Luis Torgo ; Karel Vaculik;
PUBLISHED: 2015, SOURCE: 14th International Symposium on Intelligent Data Analysis (IDA) in Advances in Intelligent Data Analysis XIV, VOLUME: 9385, PAGES: 193-204
1371
TITLE: Classification and reconstruction of compressed GMM signals with side information
AUTHORS: Renna, F ; Wang, L; Yuan, X; Yang, J; Reeves, G; Calderbank, R; Carin, L; Rodrigues, MRD ;
PUBLISHED: 2015, SOURCE: IEEE International Symposium on Information Theory, ISIT 2015 in IEEE International Symposium on Information Theory - Proceedings, VOLUME: 2015-June, PAGES: 994-998
AUTHORS: Renna, F ; Wang, L; Yuan, X; Yang, J; Reeves, G; Calderbank, R; Carin, L; Rodrigues, MRD ;
PUBLISHED: 2015, SOURCE: IEEE International Symposium on Information Theory, ISIT 2015 in IEEE International Symposium on Information Theory - Proceedings, VOLUME: 2015-June, PAGES: 994-998
1372
TITLE: Closed Shortest Path in the Original Coordinates with an Application to Breast Cancer Full Text
AUTHORS: Jaime S Cardoso ; Inês Domingues ; Helder P Oliveira ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, VOLUME: 29, ISSUE: 1, PAGES: 1555002
AUTHORS: Jaime S Cardoso ; Inês Domingues ; Helder P Oliveira ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, VOLUME: 29, ISSUE: 1, PAGES: 1555002
1373
TITLE: Collaborative filtering with recency-based negative feedback
AUTHORS: Joao Vinagre ; Alipio Mario Jorge ; Joao Gama ;
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: 963-965
AUTHORS: Joao Vinagre ; Alipio Mario Jorge ; Joao Gama ;
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: 963-965
1374
TITLE: Compressive Classification: Where Wireless Communications Meets Machine Learning
AUTHORS: Rodrigues, M ; Nokleby, M; Renna, F ; Calderbank, R;
PUBLISHED: 2015, SOURCE: International Workshop on Compressed Sensing and its Applications in Compressed Sensing and its Applications, ISSUE: 9783319160412, PAGES: 451-468
AUTHORS: Rodrigues, M ; Nokleby, M; Renna, F ; Calderbank, R;
PUBLISHED: 2015, SOURCE: International Workshop on Compressed Sensing and its Applications in Compressed Sensing and its Applications, ISSUE: 9783319160412, PAGES: 451-468
1375
TITLE: Corrigendum: Sporadic and reversible chromothripsis in chronic lymphocytic leukemia revealed by longitudinal genomic analysis Full Text
AUTHORS: Bassaganyas, L; Beà, S; Escaramís, G; Tornador, C; Salaverria, I; Zapata, L; Drechsel, O; Ferreira, PG ; Rodriguez Santiago, B; Tubio, JMC; Navarro, A; Martín García, D; López, C; Martínez Trillos, A; López Guillermo, A; Gut, M; Ossowski, S; López Otín, C; Campo, E; Estivill, X;
PUBLISHED: 2015, SOURCE: Leukemia, VOLUME: 29, ISSUE: 3, PAGES: 758
AUTHORS: Bassaganyas, L; Beà, S; Escaramís, G; Tornador, C; Salaverria, I; Zapata, L; Drechsel, O; Ferreira, PG ; Rodriguez Santiago, B; Tubio, JMC; Navarro, A; Martín García, D; López, C; Martínez Trillos, A; López Guillermo, A; Gut, M; Ossowski, S; López Otín, C; Campo, E; Estivill, X;
PUBLISHED: 2015, SOURCE: Leukemia, VOLUME: 29, ISSUE: 3, PAGES: 758
1376
TITLE: Cutting Stock with Binary Patterns: Arc-flow Formulation with Graph Compression PDF
AUTHORS: Filipe Brandão; João Pedro Pedroso ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1502.02899
AUTHORS: Filipe Brandão; João Pedro Pedroso ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1502.02899
INDEXED IN: DBLP 
arXiv
DBLP arXiv1377
TITLE: Data Quality in HL7 Messages - A Real Case Analysis
AUTHORS: Ricardo Ferreira ; Manuel E Correia ; Francisco Rocha Goncalves ; Ricardo Cruz Correia ;
PUBLISHED: 2015, SOURCE: 28th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2015 IEEE 28TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2015-July, PAGES: 197-200
AUTHORS: Ricardo Ferreira ; Manuel E Correia ; Francisco Rocha Goncalves ; Ricardo Cruz Correia ;
PUBLISHED: 2015, SOURCE: 28th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2015 IEEE 28TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2015-July, PAGES: 197-200
1378
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
1379
TITLE: Deciding Synchronous Kleene Algebra with Derivatives
AUTHORS: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLISHED: 2015, SOURCE: 20th International Conference on Implementation and Application of Automata, CIAA 2015 in Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings, VOLUME: 9223, PAGES: 49-62
AUTHORS: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLISHED: 2015, SOURCE: 20th International Conference on Implementation and Application of Automata, CIAA 2015 in Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings, VOLUME: 9223, PAGES: 49-62
1380
TITLE: Demo: DisToNet: Disconnection Tolerant Mobile Ad-Hoc Networks. Disconnection Tolerant Mobile Ad-Hoc Networks
AUTHORS: Emanuel Lima; Pedro Brandão ; Orangel Azuaje; Ana Aguiar ;
PUBLISHED: 2015, SOURCE: 10th ACM MobiCom Workshop on Challenged Networks, CHANTS 2015 in Proceedings of the 10th ACM MobiCom Workshop on Challenged Networks, CHANTS@MobiCom 2015, Paris, France, September 11, 2015, PAGES: 63-64
AUTHORS: Emanuel Lima; Pedro Brandão ; Orangel Azuaje; Ana Aguiar ;
PUBLISHED: 2015, SOURCE: 10th ACM MobiCom Workshop on Challenged Networks, CHANTS 2015 in Proceedings of the 10th ACM MobiCom Workshop on Challenged Networks, CHANTS@MobiCom 2015, Paris, France, September 11, 2015, PAGES: 63-64
