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: 2851
46 Team MembersFilters -> Year: 2026
1461
TITLE: Preface: Non-classical models of automata and applications VII
AUTHORS: Holzer, M; Moreira, N ; Reis, R ;
PUBLISHED: 2016, SOURCE: RAIRO - Theoretical Informatics and Applications, VOLUME: 50, ISSUE: 4, PAGES: 273-274
AUTHORS: Holzer, M; Moreira, N ; Reis, R ;
PUBLISHED: 2016, SOURCE: RAIRO - Theoretical Informatics and Applications, VOLUME: 50, ISSUE: 4, PAGES: 273-274
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef1462
TITLE: Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation
AUTHORS: Arriaga, A; Barbosa, M ; Farshim, P;
PUBLISHED: 2016, SOURCE: 17th International Conference on Cryptology in India (INDOCRYPT) in PROGRESS IN CRYPTOLOGY - INDOCRYPT 2016, VOLUME: 10095, PAGES: 227-247
AUTHORS: Arriaga, A; Barbosa, M ; Farshim, P;
PUBLISHED: 2016, SOURCE: 17th International Conference on Cryptology in India (INDOCRYPT) in PROGRESS IN CRYPTOLOGY - INDOCRYPT 2016, VOLUME: 10095, PAGES: 227-247
1463
TITLE: Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets, Trento, Italy, December 12-16, 2016
AUTHORS: Rolando Martins ; Hervé Paulino ;
PUBLISHED: 2016, SOURCE: MECC@Middleware
AUTHORS: Rolando Martins ; Hervé Paulino ;
PUBLISHED: 2016, SOURCE: MECC@Middleware
INDEXED IN: 
DBLP CrossRef
DBLP CrossRef1464
TITLE: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016
AUTHORS: Gilles Dowek; Daniel R Licata; Sandra Alves ;
PUBLISHED: 2016, SOURCE: LFMTP
AUTHORS: Gilles Dowek; Daniel R Licata; Sandra Alves ;
PUBLISHED: 2016, SOURCE: LFMTP
INDEXED IN: DBLP CrossRef
DBLP CrossRef1465
TITLE: Processing Markov Logic Networks with GPUs: Accelerating Network Grounding
AUTHORS: Martínez Angeles, CA; Dutra, I ; Costa, VS ; Buenabad Chávez, J;
PUBLISHED: 2016, SOURCE: 25th International Conference on Inductive Logic Programming (ILP) in INDUCTIVE LOGIC PROGRAMMING, ILP 2015, VOLUME: 9575, PAGES: 122-136
AUTHORS: Martínez Angeles, CA; Dutra, I ; Costa, VS ; Buenabad Chávez, J;
PUBLISHED: 2016, SOURCE: 25th International Conference on Inductive Logic Programming (ILP) in INDUCTIVE LOGIC PROGRAMMING, ILP 2015, VOLUME: 9575, PAGES: 122-136
1466
TITLE: PySCIPOPT: Mathematical Programming in Python with the SCIP Optimization Suite
AUTHORS: Maher, S; Miltenberger, M; Pedroso, JP ; Rehfeldt, D; Schwarz, R; Serrano, F;
PUBLISHED: 2016, SOURCE: 5th International Congress on Mathematical Software (ICMS) in MATHEMATICAL SOFTWARE, ICMS 2016, VOLUME: 9725, PAGES: 301-307
AUTHORS: Maher, S; Miltenberger, M; Pedroso, JP ; Rehfeldt, D; Schwarz, R; Serrano, F;
PUBLISHED: 2016, SOURCE: 5th International Congress on Mathematical Software (ICMS) in MATHEMATICAL SOFTWARE, ICMS 2016, VOLUME: 9725, PAGES: 301-307
1467
TITLE: Query processing for the internet-of-things: Coupling of device energy consumption and cloud infrastructure billing
AUTHORS: Renna, F ; Doyle, J; Andreopoulos, Y; Giotsas, V;
PUBLISHED: 2016, SOURCE: 1st IEEE International Conference on Internet-of-Things Design and Implementation, IoTDI 2016 in Proceedings - 2016 IEEE 1st International Conference on Internet-of-Things Design and Implementation, IoTDI 2016, PAGES: 83-94
AUTHORS: Renna, F ; Doyle, J; Andreopoulos, Y; Giotsas, V;
PUBLISHED: 2016, SOURCE: 1st IEEE International Conference on Internet-of-Things Design and Implementation, IoTDI 2016 in Proceedings - 2016 IEEE 1st International Conference on Internet-of-Things Design and Implementation, IoTDI 2016, PAGES: 83-94
1468
TITLE: Recursive circle packing problems Full Text
AUTHORS: Pedroso, JP ; Cunha, S; Tavares, JN ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 23, ISSUE: 1-2, PAGES: 355-368
AUTHORS: Pedroso, JP ; Cunha, S; Tavares, JN ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 23, ISSUE: 1-2, PAGES: 355-368
1469
TITLE: Relational Learning with GPUs: Accelerating Rule Coverage Full Text
AUTHORS: Martínez Angeles, CA; Wu, HC; Dutra, I ; Costa, VS ; Buenabad Chávez, J;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, ISSUE: 3, PAGES: 663-685
AUTHORS: Martínez Angeles, CA; Wu, HC; Dutra, I ; Costa, VS ; Buenabad Chávez, J;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, ISSUE: 3, PAGES: 663-685
1470
TITLE: Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction
AUTHORS: Sandra Alves ;
PUBLISHED: 2016, SOURCE: SIGLOG News, VOLUME: 3, ISSUE: 4, PAGES: 50-54
AUTHORS: Sandra Alves ;
PUBLISHED: 2016, SOURCE: SIGLOG News, VOLUME: 3, ISSUE: 4, PAGES: 50-54
INDEXED IN: DBLP
DBLP1471
TITLE: Resampling Strategies for Imbalanced Time Series
AUTHORS: Moniz, N ; Branco, P ; Torgo, L ;
PUBLISHED: 2016, SOURCE: 3rd IEEE/ACM International Conference on Data Science and Advanced Analytics (DSAA) in PROCEEDINGS OF 3RD IEEE/ACM INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS, (DSAA 2016), PAGES: 282-291
AUTHORS: Moniz, N ; Branco, P ; Torgo, L ;
PUBLISHED: 2016, SOURCE: 3rd IEEE/ACM International Conference on Data Science and Advanced Analytics (DSAA) in PROCEEDINGS OF 3RD IEEE/ACM INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS, (DSAA 2016), PAGES: 282-291
1472
TITLE: Scalable Framework for Live Data Sharing Through 802.11
AUTHORS: Eduardo Soares ; Pedro Brandao ; Rui Prior ;
PUBLISHED: 2016, SOURCE: Mediterranean Conference on Information and Communication Technologies (MedCT) in PROCEEDINGS OF THE MEDITERRANEAN CONFERENCE ON INFORMATION & COMMUNICATION TECHNOLOGIES 2015 (MEDCT 2015), VOL 2, VOLUME: 381, PAGES: 183-192
AUTHORS: Eduardo Soares ; Pedro Brandao ; Rui Prior ;
PUBLISHED: 2016, SOURCE: Mediterranean Conference on Information and Communication Technologies (MedCT) in PROCEEDINGS OF THE MEDITERRANEAN CONFERENCE ON INFORMATION & COMMUNICATION TECHNOLOGIES 2015 (MEDCT 2015), VOL 2, VOLUME: 381, PAGES: 183-192
1473
TITLE: Segmentation of the metacarpus and phalange in musculoskeletal ultrasound images using local active contours
AUTHORS: Martins, N; Sultan, MS; Veiga, D; Ferreira, M; Coimbra, M ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 4097-4100
AUTHORS: Martins, N; Sultan, MS; Veiga, D; Ferreira, M; Coimbra, M ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 4097-4100
1474
TITLE: Semantic Measures: How Similar? How Related?
AUTHORS: Costa, T ; Leal, JP ;
PUBLISHED: 2016, SOURCE: 16th International Conference on Web Engineering (ICWE) in WEB ENGINEERING (ICWE 2016), VOLUME: 9671, PAGES: 431-438
AUTHORS: Costa, T ; Leal, JP ;
PUBLISHED: 2016, SOURCE: 16th International Conference on Web Engineering (ICWE) in WEB ENGINEERING (ICWE 2016), VOLUME: 9671, PAGES: 431-438
1475
TITLE: Sequence variation between 462 human individuals fine-tunes functional sites of RNA processing Full Text
AUTHORS: Pedro G Ferreira ; Martin Oti; Matthias Barann; Thomas Wieland; Suzana Ezquina; Marc R Friedländer; Manuel A Rivas; Anna Esteve-Codina; Xavier Estivill; Roderic Guigó; Emmanouil Dermitzakis; Stylianos Antonarakis; Thomas Meitinger; Tim M Strom; Aarno Palotie; Jean François Deleuze; Ralf Sudbrak; Hans Lerach; Ivo Gut; Ann-Christine Syvänen; ...More
PUBLISHED: 2016, SOURCE: SCIENTIFIC REPORTS, VOLUME: 6, PAGES: 32406
AUTHORS: Pedro G Ferreira ; Martin Oti; Matthias Barann; Thomas Wieland; Suzana Ezquina; Marc R Friedländer; Manuel A Rivas; Anna Esteve-Codina; Xavier Estivill; Roderic Guigó; Emmanouil Dermitzakis; Stylianos Antonarakis; Thomas Meitinger; Tim M Strom; Aarno Palotie; Jean François Deleuze; Ralf Sudbrak; Hans Lerach; Ivo Gut; Ann-Christine Syvänen; ...More
PUBLISHED: 2016, SOURCE: SCIENTIFIC REPORTS, VOLUME: 6, PAGES: 32406
1476
TITLE: Sequential anomalies: a study in the Railway Industry Full Text
AUTHORS: Ribeiro, RP ; Pereira, P; Gama, J ;
PUBLISHED: 2016, SOURCE: MACHINE LEARNING, VOLUME: 105, ISSUE: 1, PAGES: 127-153
AUTHORS: Ribeiro, RP ; Pereira, P; Gama, J ;
PUBLISHED: 2016, SOURCE: MACHINE LEARNING, VOLUME: 105, ISSUE: 1, PAGES: 127-153
1477
TITLE: Signal reconstruction in the presence of side information: The impact of projection kernel design
AUTHORS: Chen, MY; Renna, F ; Rodrigues, MRD;
PUBLISHED: 2016, SOURCE: 41st IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2016 in ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings, VOLUME: 2016-May, PAGES: 4618-4622
AUTHORS: Chen, MY; Renna, F ; Rodrigues, MRD;
PUBLISHED: 2016, SOURCE: 41st IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2016 in ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings, VOLUME: 2016-May, PAGES: 4618-4622
1478
TITLE: Spatiotemporal Control of Forkhead Binding to DNA Regulates the Meiotic Gene Expression Program
AUTHORS: Isabel Alves Rodrigues; Pedro G Ferreira ; Alberto Moldon; Ana P Vivancos; Elena Hidalgo; Roderic Guigo; Jose Ayte;
PUBLISHED: 2016, SOURCE: CELL REPORTS, VOLUME: 14, ISSUE: 4, PAGES: 885-895
AUTHORS: Isabel Alves Rodrigues; Pedro G Ferreira ; Alberto Moldon; Ana P Vivancos; Elena Hidalgo; Roderic Guigo; Jose Ayte;
PUBLISHED: 2016, SOURCE: CELL REPORTS, VOLUME: 14, ISSUE: 4, PAGES: 885-895
1479
TITLE: The breast cancer conservative treatment. Cosmetic results - BCCT.core - Software for objective assessment of esthetic outcome in breast cancer conservative treatment: A narrative review Full Text
AUTHORS: Cardoso, MJ ; Cardoso, JS ; Oliveira, HP ; Gouveia, P ;
PUBLISHED: 2016, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 126, PAGES: 154-159
AUTHORS: Cardoso, MJ ; Cardoso, JS ; Oliveira, HP ; Gouveia, P ;
PUBLISHED: 2016, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 126, PAGES: 154-159
1480
TITLE: The Effect of Data Exchange Protocols on Decision Support Systems for Heart Sounds
AUTHORS: Gomes, P; Faria, S ; Coimbra, M ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October, PAGES: 5384-5387
AUTHORS: Gomes, P; Faria, S ; Coimbra, M ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October, PAGES: 5384-5387
