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: 2644
43 Team MembersFilters -> Year: 2025
1401
TITLE: Taxi Service Trajectory - Prediction Challenge, ECML PKDD 2015
AUTHORS: Luís Moreira Matias; Michel Ferreira ; João Mendes Moreira ;
PUBLISHED: 2015
AUTHORS: Luís Moreira Matias; Michel Ferreira ; João Mendes Moreira ;
PUBLISHED: 2015
INDEXED IN: 
DBLP
DBLP1402
TITLE: The essence of bidirectional programming Full Text
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: SCIENCE CHINA Information Sciences, VOLUME: 58, ISSUE: 5, PAGES: 1-21
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: SCIENCE CHINA Information Sciences, VOLUME: 58, ISSUE: 5, PAGES: 1-21
1403
TITLE: The Genotype-Tissue Expression (GTEx) pilot analysis: Multitissue gene regulation in humans
AUTHORS: Ardlie, KG; DeLuca, DS; Segrè, AV; Sullivan, TJ; Young, TR; Gelfand, ET; Trowbridge, CA; Maller, JB; Tukiainen, T; Lek, M; Ward, LD; Kheradpour, P; Iriarte, B; Meng, Y; Palmer, CD; Esko, T; Winckler, W; Hirschhorn, JN; Kellis, M; MacArthur, DG; ...More
PUBLISHED: 2015, SOURCE: Science, VOLUME: 348, ISSUE: 6235, PAGES: 648-660
AUTHORS: Ardlie, KG; DeLuca, DS; Segrè, AV; Sullivan, TJ; Young, TR; Gelfand, ET; Trowbridge, CA; Maller, JB; Tukiainen, T; Lek, M; Ward, LD; Kheradpour, P; Iriarte, B; Meng, Y; Palmer, CD; Esko, T; Winckler, W; Hirschhorn, JN; Kellis, M; MacArthur, DG; ...More
PUBLISHED: 2015, SOURCE: Science, VOLUME: 348, ISSUE: 6235, PAGES: 648-660
1404
TITLE: The human transcriptome across tissues and individuals
AUTHORS: Melé, M; Ferreira, PG ; Reverter, F; DeLuca, DS; Monlong, J; Sammeth, M; Young, TR; Goldmann, JM; Pervouchine, DD; Sullivan, TJ; Johnson, R; Segrè, AV; Djebali, S; Niarchou, A; Wright, FA; Lappalainen, T; Calvo, M; Getz, G; Dermitzakis, ET; Ardlie, KG; ...More
PUBLISHED: 2015, SOURCE: Science, VOLUME: 348, ISSUE: 6235, PAGES: 660-665
AUTHORS: Melé, M; Ferreira, PG ; Reverter, F; DeLuca, DS; Monlong, J; Sammeth, M; Young, TR; Goldmann, JM; Pervouchine, DD; Sullivan, TJ; Johnson, R; Segrè, AV; Djebali, S; Niarchou, A; Wright, FA; Lappalainen, T; Calvo, M; Getz, G; Dermitzakis, ET; Ardlie, KG; ...More
PUBLISHED: 2015, SOURCE: Science, VOLUME: 348, ISSUE: 6235, PAGES: 660-665
1405
TITLE: The Related-Key Analysis of Feistel Constructions
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2015, SOURCE: 21st International Workshop on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION, FSE 2014, VOLUME: 8540, PAGES: 265-284
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2015, SOURCE: 21st International Workshop on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION, FSE 2014, VOLUME: 8540, PAGES: 265-284
1406
TITLE: Thread-aware logic programming for data-driven parallel programs PDF
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2015, SOURCE: 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1433
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2015, SOURCE: 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1433
INDEXED IN: 
Scopus DBLP
Scopus DBLP1407
TITLE: Time/Space based Biometric Handwritten Signature Verification
AUTHORS: Ricardo P Goncalves ; Alexandre B Augusto; Manuel E. Correia ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTHORS: Ricardo P Goncalves ; Alexandre B Augusto; Manuel E. Correia ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
1408
TITLE: Tomography: lowering management overhead for distributed component-based applications
AUTHORS: Wilfried Daniels; José Proença ; Nelson Matthys; Wouter Joosen; Danny Hughes;
PUBLISHED: 2015, SOURCE: 2nd ACM Workshop on Middleware for Context-Aware Applications in the IoT, M4IOT 2015 in Proceedings of the 2nd Workshop on Middleware for Context-Aware Applications in the IoT, M4IoT@Middleware 2015, Vancouver, BC, Canada, December 7-11, 2015, PAGES: 13-18
AUTHORS: Wilfried Daniels; José Proença ; Nelson Matthys; Wouter Joosen; Danny Hughes;
PUBLISHED: 2015, SOURCE: 2nd ACM Workshop on Middleware for Context-Aware Applications in the IoT, M4IOT 2015 in Proceedings of the 2nd Workshop on Middleware for Context-Aware Applications in the IoT, M4IoT@Middleware 2015, Vancouver, BC, Canada, December 7-11, 2015, PAGES: 13-18
INDEXED IN: Scopus DBLP
Scopus DBLP1409
TITLE: Towards Out-of-the-Box Programming of Wireless Sensor-Actuator Networks
AUTHORS: Gil Ferro ; Roberto Silva; Luis Lopes ;
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: 110-119
AUTHORS: Gil Ferro ; Roberto Silva; Luis Lopes ;
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: 110-119
1410
TITLE: Towards programmable coordination of unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins;
PUBLISHED: 2015, SOURCE: IFAC-PapersOnLine, VOLUME: 28, ISSUE: 2, PAGES: 256-261
AUTHORS: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins;
PUBLISHED: 2015, SOURCE: IFAC-PapersOnLine, VOLUME: 28, ISSUE: 2, PAGES: 256-261
1411
TITLE: Tree Search and Simulation
AUTHORS: João Pedro Pedroso ; Rui Rei;
PUBLISHED: 2015, SOURCE: Applied Simulation and Optimization, PAGES: 109-131
AUTHORS: João Pedro Pedroso ; Rui Rei;
PUBLISHED: 2015, SOURCE: Applied Simulation and Optimization, PAGES: 109-131
1413
TITLE: Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages Full Text
AUTHORS: Vasconcelos, P ; Jost, S; Florido, M ; Hammond, Kevin ;
PUBLISHED: 2015, SOURCE: 24th European Conference on Programming (ESOP) held as Part of the 18th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 9032, PAGES: 787-811
AUTHORS: Vasconcelos, P ; Jost, S; Florido, M ; Hammond, Kevin ;
PUBLISHED: 2015, SOURCE: 24th European Conference on Programming (ESOP) held as Part of the 18th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 9032, PAGES: 787-811
1414
TITLE: Typed Connector Families
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2015, SOURCE: 12th International Conference on Formal Aspects of Component Software, FACS 2015 in Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, VOLUME: 9539, PAGES: 294-311
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2015, SOURCE: 12th International Conference on Formal Aspects of Component Software, FACS 2015 in Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, VOLUME: 9539, PAGES: 294-311
1415
TITLE: Uncoordinated Frequency Hopping for secrecy with broadband jammers and eavesdroppers
AUTHORS: Sousa, JS; Vilela, JP ;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications, ICC 2015 in IEEE International Conference on Communications, VOLUME: 2015-September, PAGES: 7252-7256
AUTHORS: Sousa, JS; Vilela, JP ;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications, ICC 2015 in IEEE International Conference on Communications, VOLUME: 2015-September, PAGES: 7252-7256
INDEXED IN: Scopus
Scopus1416
TITLE: Uncoordinated Frequency Hopping for Secrecy with Broadband Jammers and Eavesdroppers
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications (ICC) in 2015 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 7252-7256
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications (ICC) in 2015 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 7252-7256
1417
TITLE: Universal Disjunctive Concatenation and Star
AUTHORS: Nelma Moreira ; Giovanni Pighizzini; Rogério Reis ;
PUBLISHED: 2015, SOURCE: 17th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2015 in Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings, VOLUME: 9118, PAGES: 197-208
AUTHORS: Nelma Moreira ; Giovanni Pighizzini; Rogério Reis ;
PUBLISHED: 2015, SOURCE: 17th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2015 in Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings, VOLUME: 9118, PAGES: 197-208
1418
TITLE: Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2015, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2015, PAGES: 1241
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2015, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2015, PAGES: 1241
INDEXED IN: DBLP
DBLP1419
TITLE: Video Analysis in Indoor Soccer using a Quadcopter
AUTHORS: Filipe Trocado Ferreira; Jaime S Cardoso ; Hélder P Oliveira ;
PUBLISHED: 2015, SOURCE: 4th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2015 in ICPRAM 2015 - Proceedings of the International Conference on Pattern Recognition Applications and Methods, Volume 1, Lisbon, Portugal, 10-12 January, 2015., VOLUME: 1, PAGES: 77-86
AUTHORS: Filipe Trocado Ferreira; Jaime S Cardoso ; Hélder P Oliveira ;
PUBLISHED: 2015, SOURCE: 4th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2015 in ICPRAM 2015 - Proceedings of the International Conference on Pattern Recognition Applications and Methods, Volume 1, Lisbon, Portugal, 10-12 January, 2015., VOLUME: 1, PAGES: 77-86
1420
TITLE: Visualization of Passively Extracted HL7 Production Metrics
AUTHORS: Ricardo Ferreira ; Manuel E. Correia ; Francisco Nuno Rocha Goncalves ; Ricardo João Cruz Correia ;
PUBLISHED: 2015, SOURCE: 8th International Conference on Health Informatics, HEALTHINF 2015 in HEALTHINF 2015 - Proceedings of the International Conference on Health Informatics, Lisbon, Portugal, 12-15 January, 2015., PAGES: 423-430
AUTHORS: Ricardo Ferreira ; Manuel E. Correia ; Francisco Nuno Rocha Goncalves ; Ricardo João Cruz Correia ;
PUBLISHED: 2015, SOURCE: 8th International Conference on Health Informatics, HEALTHINF 2015 in HEALTHINF 2015 - Proceedings of the International Conference on Health Informatics, Lisbon, Portugal, 12-15 January, 2015., PAGES: 423-430
