INESC TEC regista recorde de publicações científicas