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

531 Team Members
Filters -> Year: 2025
4481
TITLE: A perspective on architectural re-engineering  Full Text
AUTHORS: Alejandro Sanchez ; Nuno Oliveira; Luis S Barbosa ; Pedro Henriques ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 98, PAGES: 764-784
INDEXED IN: Scopus WOS DBLP CrossRef: 4
4482
TITLE: A Proposal for a social e-learning model [Proposta de um modelo de e-learning social]  Full Text
AUTHORS: Martins, J ; Gonçalves, R ; Santos, V; Cota, MP; Oliveira, T; Branco, F ;
PUBLISHED: 2015, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, ISSUE: 16, PAGES: 92-107
INDEXED IN: Scopus CrossRef: 2
4483
TITLE: A Real-Time Semantics for the IEC 61499 standard
AUTHORS: Lindgren, P; Lindner, M; Lindner, A; Vyatkin, V; Pereira, D; Pinho, LM ;
PUBLISHED: 2015, SOURCE: 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) in PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), VOLUME: 2015-October
INDEXED IN: Scopus WOS CrossRef: 10
4484
TITLE: A Reconfigurable Architecture for Binary Acceleration of Loops with Memory Accesses  Full Text
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2015, SOURCE: ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, VOLUME: 7, ISSUE: 4, PAGES: 29:1-29:20
INDEXED IN: Scopus WOS DBLP CrossRef: 3
4485
TITLE: A review of performance criteria to validate simulation models  Full Text
AUTHORS: Joana Hora ; Pedro Campos ;
PUBLISHED: 2015, SOURCE: EXPERT SYSTEMS, VOLUME: 32, ISSUE: 5, PAGES: 578-595
INDEXED IN: Scopus WOS CrossRef: 29
4486
TITLE: A short note on type-inhabitation: Formula-trees vs. game semantics  Full Text
AUTHORS: Alves, S ; Broda, S ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 115, ISSUE: 11, PAGES: 908-911
INDEXED IN: Scopus WOS DBLP CrossRef: 3
4487
TITLE: A Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators
AUTHORS: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLISHED: 2015, SOURCE: 18th Forum on Specification and Design Languages (FDL) in 2015 18th Forum on Specification and Design Languages (FDL), VOLUME: 2015-October, PAGES: 74-81
INDEXED IN: Scopus WOS DBLP CrossRef
4488
TITLE: A Structural Approach to Assess Graph-Based Exercises
AUTHORS: Ruben Sousa; Jose Paulo Leal ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
INDEXED IN: Scopus WOS DBLP CrossRef: 2
4489
TITLE: A study of risk-aware program transformation
AUTHORS: Murta, D; Oliveira, JN ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110, PAGES: 51-77
INDEXED IN: Scopus WOS CrossRef Handle
4490
TITLE: A Survey of Distributed Data Aggregation Algorithms  Full Text
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLISHED: 2015, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 17, ISSUE: 1, PAGES: 381-404
INDEXED IN: Scopus WOS DBLP CrossRef: 102
4491
TITLE: A Survey of Predictive Modelling under Imbalanced Distributions PDF
AUTHORS: Paula Branco ; Luis Torgo ; Rita P. Ribeiro ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.01658
INDEXED IN: DBLP arXiv
4492
TITLE: A survey of task-oriented crowdsourcing  Full Text
AUTHORS: Nuno Luz; Nuno Silva ; Paulo Novais ;
PUBLISHED: 2015, SOURCE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 44, ISSUE: 2, PAGES: 187-213
INDEXED IN: Scopus WOS CrossRef: 18
4493
TITLE: A survey on smart meeting rooms and open issues  Full Text
AUTHORS: Freitas, CF; Barroso, J ; Ramos, C;
PUBLISHED: 2015, SOURCE: International Journal of Smart Home, VOLUME: 9, ISSUE: 9, PAGES: 13-20
INDEXED IN: Scopus CrossRef: 4
4494
TITLE: A Typed Language for Events
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4495
TITLE: A-scan ultrasound system for real-time puncture safety assessment during percutaneous nephrolithotomy
AUTHORS: Rodrigues, PL; Rodrigues, NF ; Fonseca, JC; von Kruger, MA; Pereira, WCA; Vilaca, JL;
PUBLISHED: 2015, SOURCE: Conference on Medical Imaging - Ultrasonic Imaging and Tomography in MEDICAL IMAGING 2015: ULTRASONIC IMAGING AND TOMOGRAPHY, VOLUME: 9419
INDEXED IN: Scopus WOS CrossRef Handle
4496
TITLE: Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs
AUTHORS: Lindgren, P; Fresk, E; Lindner, M; Lulea, AL; Pereira, D; Pinho, LM ;
PUBLISHED: 2015, SOURCE: 5th Embedded Operating System Workshop - Embed With Linux 2015, EWiLi 2015 in CEUR Workshop Proceedings, VOLUME: 1464
INDEXED IN: Scopus
4497
TITLE: Accelerating Recommender Systems using GPUs
AUTHORS: Andre Valente Rodrigues ; Alipio Jorge ; Ines Dutra ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 879-884
INDEXED IN: Scopus WOS DBLP CrossRef: 8
4498
TITLE: Accelerating Recommender Systems using GPUs PDF
AUTHORS: André Valente Rodrigues ; Alípio Jorge ; Inês Dutra ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1511.02433
INDEXED IN: DBLP arXiv
4499
TITLE: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
AUTHORS: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PAGES: 148-163
INDEXED IN: Scopus WOS DBLP CrossRef: 4
4500
TITLE: Accessible options for Deaf people in e-Learning platforms: technology solutions for Sign Language translation
AUTHORS: Paulo Martins ; Henrique Rodrigues; Tania Rocha ; Manuela Francisco; Leonel Morgado ;
PUBLISHED: 2015, SOURCE: 6th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, VOLUME: 67, PAGES: 263-272
INDEXED IN: Scopus WOS DBLP CrossRef: 28

Results per Page: 20.
Page 225 of 423. Total results: 8459.