CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

535 Team Members
Filters -> Year: 2026
5961
TITLE: Time-evolving O-D matrix estimation using high-speed GPS data streams  Full Text
AUTHORS: Luis Moreira Matias ; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas;
PUBLISHED: 2016, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 44, PAGES: 275-288
INDEXED IN: Scopus WOS DBLP CrossRef: 69
5962
TITLE: TimeMachine: Entity-Centric Search and Visualization of News Archives
AUTHORS: Saleiro, Pedro ; Jorge Teixeira; Carlos Soares ; Eugénio C Oliveira ;
PUBLISHED: 2016, SOURCE: 38th European Conference on Information Retrieval Research, ECIR 2016 in Advances in Information Retrieval - 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20-23, 2016. Proceedings, VOLUME: 9626, PAGES: 845-848
INDEXED IN: Scopus DBLP CrossRef: 10
5963
TITLE: Tourism Recommendation System based in user's profile and functionality levels
AUTHORS: Filipe Santos; Ana Almeida ; Constantino Martins ; Paulo Oliveira ; Ramiro Gonçalves ;
PUBLISHED: 2016, SOURCE: 9th International C* Conference on Computer Science and Software Engineering, C3S2E 2016 in Proceedings of the Ninth International C* Conference on Computer Science & Software Engineering, C3S2E '16, Porto, Portugal, July 20-22, 2016, VOLUME: 20-22-July-2016, PAGES: 93-97
INDEXED IN: Scopus DBLP CrossRef: 10
5964
TITLE: Towards a Formal Validation of ETL Patterns Behaviour
AUTHORS: Bruno Oliveira ; Orlando Belo ; Nuno Macedo ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Model and Data Engineering (MEDI) in Model and Data Engineering, VOLUME: 9893, PAGES: 156-165
INDEXED IN: Scopus WOS DBLP CrossRef
5965
TITLE: Towards a Multi-softcore FPGA Approach for the HOG Algorithm
AUTHORS: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: 14th IEEE International Conference on Industrial Informatics (INDIN) in 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 117-122
INDEXED IN: Scopus WOS DBLP CrossRef: 3
5966
TITLE: Towards an Automated Classification of Spreadsheets
AUTHORS: Jorge Mendes ; Kha N Do; Joao Saraiva ;
PUBLISHED: 2016, SOURCE: Conference on Software Technologies - Applications and Foundations (STAF) in SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS (STAF 2016), VOLUME: 9946, PAGES: 346-355
INDEXED IN: Scopus WOS DBLP CrossRef
5967
TITLE: Towards Automatic Generation of Metafeatures
AUTHORS: Fabio Pinto ; Carlos Soares ; Joao Mendes Moreira ;
PUBLISHED: 2016, SOURCE: 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2016, PT I, VOLUME: 9651, PAGES: 215-226
INDEXED IN: Scopus WOS DBLP CrossRef: 34
5968
TITLE: Towards certified compilation of RTFM-core applications
AUTHORS: Lindgren, P; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
INDEXED IN: Scopus CrossRef Handle
5969
TITLE: Towards Certified Compilation of RTFM-core Applications
AUTHORS: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM ;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)
INDEXED IN: WOS
5970
TITLE: Towards Performance Prediction in Massive Scale Datastores
AUTHORS: Francisco Cruz ; Fabio Coelho ; Rui Oliveira ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PAGES: 371-373
INDEXED IN: Scopus WOS DBLP CrossRef
5971
TITLE: Towards Quantifiable Eventual Consistency
AUTHORS: Francisco Maia ; Miguel Matos ; Fabio Coelho ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PAGES: 368-370
INDEXED IN: Scopus WOS DBLP CrossRef
5972
TITLE: Towards Situation-aware Mobile Applications in Mental Health
AUTHORS: Ariel S Teles; Francisco J Silva; Artur Rocha ; Joao Correia Lopes ; Donal O'Sullivan; Pepijn Van de Ven; Markus Endler;
PUBLISHED: 2016, SOURCE: 29th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2016 IEEE 29TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2016-August, PAGES: 349-354
INDEXED IN: Scopus WOS DBLP CrossRef: 11
5973
TITLE: Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets
AUTHORS: Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2016, SOURCE: 10th International Conference on the Quality of Information and Communications Technology (QUATIC) in PROCEEDINGS 2016 10TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 230-235
INDEXED IN: Scopus WOS DBLP CrossRef: 1
5974
TITLE: Trends in Extreme Mean Sea Level Quantiles from Satellite Altimetry  Full Text
AUTHORS: Susana M Barbosa ;
PUBLISHED: 2016, SOURCE: MARINE GEODESY, VOLUME: 39, ISSUE: 2, PAGES: 165-177
INDEXED IN: WOS CrossRef: 1
5975
TITLE: Trends in mathematical economics: Dialogues between Southern Europe and Latin America
AUTHORS: Pinto, AA ; Accinelli Gamba, E ; Yannacopoulos, AN; Hervés Beloso, C;
PUBLISHED: 2016, SOURCE: Trends in Mathematical Economics: Dialogues Between Southern Europe and Latin America, PAGES: 1-383
INDEXED IN: Scopus CrossRef: 2
5976
TITLE: Tuning Pipelined Scientific Data Analyses for Efficient Multicore Execution
AUTHORS: Andre Pereira ; Antonio Onofre ; Alberto Proenca ;
PUBLISHED: 2016, SOURCE: 14th International Conference on High Performance Computing & Simulation (HPCS) in 2016 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS 2016), PAGES: 751-758
INDEXED IN: Scopus WOS CrossRef
5977
TITLE: TweeProfiles3: visualization of spatio-temporal patterns on Twitter
AUTHORS: Andre Maia; Tiago Cunha ; Carlos Soares ; Pedro Henriques Abreu ;
PUBLISHED: 2016, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 444, PAGES: 869-878
INDEXED IN: Scopus WOS DBLP CrossRef: 1
5978
TITLE: Typed Connector Families
AUTHORS: Jose Proenca ; Dave Clarke;
PUBLISHED: 2016, SOURCE: 12th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, VOLUME: 9539, PAGES: 294-311
INDEXED IN: WOS
5979
TITLE: Types of assessing student-programming knowledge
AUTHORS: Gomes, A ; Correia, FB; Abreu, PH ;
PUBLISHED: 2016, SOURCE: IEEE Frontiers in Education Conference (FIE) in 2016 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE)
INDEXED IN: WOS
5980
TITLE: Types of assessing student-programming knowledge
AUTHORS: Anabela Gomes ; Fernanda Brito Correia; Pedro Henriques Abreu ;
PUBLISHED: 2016, SOURCE: 2016 IEEE Frontiers in Education Conference, FIE 2015, Eire, PA, USA, October 12-15, 2016, VOLUME: 2016-November, PAGES: 1-8
INDEXED IN: Scopus DBLP CrossRef: 11

Results per Page: 20.
Page 299 of 527. Total results: 10523.