Departamento de Ciências dos Computadores (DCC)
Department of Computer Science

Universidade do Porto (UP) :: Faculdade de Ciências (FCUP)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 2644

43 Team Members
Filters -> Year: 2025
1402
TÍTULO: The essence of bidirectional programming  Full Text
AUTORES: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE CHINA Information Sciences, VOLUME: 58, NÚMERO: 5, PÁGINAS: 1-21
INDEXADO EM: DBLP CrossRef: 19
1403
TÍTULO: The Genotype-Tissue Expression (GTEx) pilot analysis: Multitissue gene regulation in humans
AUTORES: 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; Getz, G; Shabalin, AA; Li, G; Zhou, YH; Nobel, AB; Rusyn, I; Wright, FA; Lappalainen, T; Ferreira, PG ; Ongen, H; Rivas, MA; Battle, A; Mostafavi, S; Monlong, J; Sammeth, M; Melé, M; Reverter, F; Goldmann, JM; Koller, D; Guigó, R; McCarthy, MI; Dermitzakis, ET; Gamazon, ER; Im, HK; Konkashbaev, A; Nicolae, DL; Cox, NJ; Flutre, T; Wen, X; Stephens, M; Pritchard, JK; Tu, Z; Zhang, B; Huang, T; Long, Q; Lin, L; Yang, J; Zhu, J; Liu, J; Brown, A; Mestichelli, B; Tidwell, D; Lo, E; Salvatore, M; Shad, S; Thomas, JA; Lonsdale, JT; Moser, MT; Gillard, BM; Karasik, E; Ramsey, K; Choi, C; Foster, BA; Syron, J; Fleming, J; Magazine, H; Hasz, R; Walters, GD; Bridge, JP; Miklos, M; Sullivan, S; Barker, LK; Traino, HM; Mosavel, M; Siminoff, LA; Valley, DR; Rohrer, DC; Jewell, SD; Branton, PA; Sobin, LH; Barcus, M; Qi, L; McLean, J; Hariharan, P; Um, KS; Wu, S; Tabor, D; Shive, C; Smith, AM; Buia, SA; Undale, AH; Robinson, KL; Roche, N; Valentino, KM; Britton, A; Burges, R; Bradbury, D; Hambright, KW; Seleski, J; Korzeniewski, GE; Erickson, K; Marcus, Y; Tejada, J; Taherian, M; Lu, C; Basile, M; Mash, DC; Volpi, S; Struewing, JP; Temple, GF; Boyer, J; Colantuoni, D; Little, R; Koester, S; Carithers, LJ; Moore, HM; Guan, P; Compton, C; Sawyer, SJ; Demchok, JP; Vaught, JB; Rabiner, CA; Lockhart, ; ...Mais
PUBLICAÇÃO: 2015, FONTE: Science, VOLUME: 348, NÚMERO: 6235, PÁGINAS: 648-660
INDEXADO EM: Scopus CrossRef: 4313
1404
TÍTULO: The human transcriptome across tissues and individuals
AUTORES: 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; Guigó, R; ...Mais
PUBLICAÇÃO: 2015, FONTE: Science, VOLUME: 348, NÚMERO: 6235, PÁGINAS: 660-665
INDEXADO EM: Scopus CrossRef: 1112
1405
TÍTULO: The Related-Key Analysis of Feistel Constructions
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2015, FONTE: 21st International Workshop on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION, FSE 2014, VOLUME: 8540, PÁGINAS: 265-284
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
1406
TÍTULO: Thread-aware logic programming for data-driven parallel programs PDF
AUTORES: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLICAÇÃO: 2015, FONTE: 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1433
INDEXADO EM: Scopus DBLP
1407
TÍTULO: Time/Space based Biometric Handwritten Signature Verification
AUTORES: Ricardo P Goncalves ; Alexandre B Augusto; Manuel E. Correia ;
PUBLICAÇÃO: 2015, FONTE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
INDEXADO EM: Scopus WOS CrossRef
1408
TÍTULO: Tomography: lowering management overhead for distributed component-based applications
AUTORES: Wilfried Daniels; José Proença ; Nelson Matthys; Wouter Joosen; Danny Hughes;
PUBLICAÇÃO: 2015, FONTE: 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, PÁGINAS: 13-18
INDEXADO EM: Scopus DBLP
1409
TÍTULO: Towards Out-of-the-Box Programming of Wireless Sensor-Actuator Networks
AUTORES: Gil Ferro ; Roberto Silva; Luis Lopes ;
PUBLICAÇÃO: 2015, FONTE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PÁGINAS: 110-119
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1410
TÍTULO: Towards programmable coordination of unmanned vehicle networks
AUTORES: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins;
PUBLICAÇÃO: 2015, FONTE: IFAC-PapersOnLine, VOLUME: 28, NÚMERO: 2, PÁGINAS: 256-261
INDEXADO EM: Scopus CrossRef: 5
1411
TÍTULO: Tree Search and Simulation
AUTORES: João Pedro Pedroso ; Rui Rei;
PUBLICAÇÃO: 2015, FONTE: Applied Simulation and Optimization, PÁGINAS: 109-131
INDEXADO EM: CrossRef: 5
1412
TÍTULO: Tuning a Semantic Relatedness Algorithm using a Multiscale Approach  Full Text
AUTORES: Leal, JP ; Costa, T ;
PUBLICAÇÃO: 2015, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 12, NÚMERO: 2, PÁGINAS: 635-654
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1413
TÍTULO: Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages  Full Text
AUTORES: Vasconcelos, P ; Jost, S; Florido, M ; Hammond, Kevin ;
PUBLICAÇÃO: 2015, FONTE: 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, PÁGINAS: 787-811
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
1414
TÍTULO: Typed Connector Families
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2015, FONTE: 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, PÁGINAS: 294-311
INDEXADO EM: Scopus DBLP CrossRef: 2
1415
TÍTULO: Uncoordinated Frequency Hopping for secrecy with broadband jammers and eavesdroppers
AUTORES: Sousa, JS; Vilela, JP ;
PUBLICAÇÃO: 2015, FONTE: IEEE International Conference on Communications, ICC 2015 in IEEE International Conference on Communications, VOLUME: 2015-September, PÁGINAS: 7252-7256
INDEXADO EM: Scopus
1416
TÍTULO: Uncoordinated Frequency Hopping for Secrecy with Broadband Jammers and Eavesdroppers
AUTORES: Joao Sa Sousa; Joao P Vilela ;
PUBLICAÇÃO: 2015, FONTE: IEEE International Conference on Communications (ICC) in 2015 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PÁGINAS: 7252-7256
INDEXADO EM: WOS CrossRef: 1
1417
TÍTULO: Universal Disjunctive Concatenation and Star
AUTORES: Nelma Moreira ; Giovanni Pighizzini; Rogério Reis ;
PUBLICAÇÃO: 2015, FONTE: 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, PÁGINAS: 197-208
INDEXADO EM: Scopus DBLP CrossRef: 1
1418
TÍTULO: Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLICAÇÃO: 2015, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2015, PÁGINAS: 1241
INDEXADO EM: DBLP
1419
TÍTULO: Video Analysis in Indoor Soccer using a Quadcopter
AUTORES: Filipe Trocado Ferreira; Jaime S Cardoso ; Hélder P Oliveira ;
PUBLICAÇÃO: 2015, FONTE: 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, PÁGINAS: 77-86
INDEXADO EM: Scopus DBLP CrossRef: 3
1420
TÍTULO: Visualization of Passively Extracted HL7 Production Metrics
AUTORES: Ricardo Ferreira ; Manuel E. Correia ; Francisco Nuno Rocha Goncalves ; Ricardo João Cruz Correia ;
PUBLICAÇÃO: 2015, FONTE: 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., PÁGINAS: 423-430
INDEXADO EM: Scopus DBLP CrossRef

Results per Page: 20.
Página 71 de 133. Total de resultados: 2644.