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

University of Porto (UP) :: Faculty of Sciences (FCUP)

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

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: 2726

43 Team Members
Filters -> Year: 2025
1481
TITLE: Survey of Temporal Information Retrieval and Related Applications  Full Text
AUTHORS: Ricardo Campos ; Gael Dias; Alipio M Jorge ; Adam Jatowt;
PUBLISHED: 2015, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 47, ISSUE: 2, PAGES: 15
INDEXED IN: Scopus WOS DBLP CrossRef: 133
1482
TITLE: Symbolic Manipulation of Code Properties PDF
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1504.04715
INDEXED IN: DBLP arXiv
1483
TITLE: Synchronized age-related gene expression changes across multiple tissues in human and the link to complex diseases  Full Text
AUTHORS: Jialiang Yang; Tao Huang; Francesca Petralia; Quan Long; Bin Zhang; Carmen Argmann; Yong Zhao; Charles V Mobbs; Eric E Schadt; Jun Zhu; Zhidong Tu; Kristin G Ardlie; David S Deluca; Ayellet V Segrè; Timothy J Sullivan; Taylor R Young; Ellen T Gelfand; Casandra A Trowbridge; Julian B Maller; Taru Tukiainen; Monkol Lek; Lucas D Ward; Pouya Kheradpour; Benjamin Iriarte; Yan Meng; Cameron D Palmer; Wendy Winckler; Joel Hirschhorn; Manolis Kellis; Daniel G MacArthur; Gad Getz; Andrey A Shablin; Gen Li; Yi Hui Zhou; Andrew B Nobel; Ivan Rusyn; Fred A Wright; Tuuli Lappalainen; Pedro G Ferreira ; Halit Ongen; Manuel A Rivas; Alexis Battle; Sara Mostafavi; Jean Monlong; Michael Sammeth; Marta Mele; Ferran Reverter; Jakob Goldman; Daphne Koller; Roderic Guigo; Mark I McCarthy; Emmanouil T Dermitzakis; Eric R Gamazon; Anuar Konkashbaev; Dan L Nicolae; Nancy J Cox; Timothée Flutre; Xiaoquan Wen; Matthew Stephens; Jonathan K Pritchard; Luan Lin; Jun Liu; Amanda Brown; Bernadette Mestichelli; Denee Tidwell; Edmund Lo; Mike Salvatore; Saboor Shad; Jeffrey A Thomas; John T Lonsdale; Christopher Choi; Ellen Karasik; Kimberly Ramsey; Michael T Moser; Barbara A Foster; Bryan M Gillard; John Syron; Johnelle Fleming; Harold Magazine; Rick Hasz; Gary D Walters; Jason P Bridge; Mark Miklos; Susan Sullivan; Laura K Barker; Heather Traino; Magboeba Mosavel; Laura A Siminoff; Dana R Valley; Daniel C Rohrer; Scott Jewel; Philip Branton; Leslie H Sobin; Liqun Qi; Pushpa Hariharan; Shenpei Wu; David Tabor; Charles Shive; Anna M Smith; Stephen A Buia; ...More
PUBLISHED: 2015, SOURCE: Scientific Reports, VOLUME: 5
INDEXED IN: Scopus
1485
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
INDEXED IN: DBLP CrossRef: 24
1486
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; 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, ; ...More
PUBLISHED: 2015, SOURCE: Science, VOLUME: 348, ISSUE: 6235, PAGES: 648-660
INDEXED IN: Scopus CrossRef: 4595
1487
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; Guigó, R; ...More
PUBLISHED: 2015, SOURCE: Science, VOLUME: 348, ISSUE: 6235, PAGES: 660-665
INDEXED IN: Scopus CrossRef: 1183
1488
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
INDEXED IN: Scopus WOS DBLP CrossRef: 11
1489
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
INDEXED IN: Scopus DBLP
1490
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)
INDEXED IN: Scopus WOS CrossRef
1491
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
INDEXED IN: Scopus DBLP
1492
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
1493
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
INDEXED IN: Scopus CrossRef: 4
1494
TITLE: Tree Search and Simulation
AUTHORS: João Pedro Pedroso ; Rui Rei;
PUBLISHED: 2015, SOURCE: Applied Simulation and Optimization: In Logistics, Industrial and Aeronautical Practice, PAGES: 109-131
INDEXED IN: Scopus CrossRef: 6
1495
TITLE: Tuning a Semantic Relatedness Algorithm using a Multiscale Approach  Full Text
AUTHORS: Leal, JP ; Costa, T ;
PUBLISHED: 2015, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 12, ISSUE: 2, PAGES: 635-654
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1496
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
INDEXED IN: Scopus WOS DBLP CrossRef: 11
1497
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
INDEXED IN: Scopus DBLP CrossRef: 2
1498
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
INDEXED IN: Scopus
1499
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
INDEXED IN: WOS CrossRef: 1
1500
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
INDEXED IN: Scopus DBLP CrossRef: 1

Results per Page: 20.
Page 75 of 137. Total results: 2726.