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

531 Team Members
Filters -> Year: 2024
4221
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
4222
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
4223
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
4224
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
4225
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
4226
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
4227
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
4228
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
4229
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
4230
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
4231
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
4232
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
4233
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
4234
TITLE: Accuracy Comparison of Implant Impression Techniques: A Systematic Review. Accuracy of Implant Impression Techniques  Full Text
AUTHORS: Moreira, AHJ; Rodrigues, NF ; Pinho, ACM; Fonseca, JC; Vilaca, JL;
PUBLISHED: 2015, SOURCE: CLINICAL IMPLANT DENTISTRY AND RELATED RESEARCH, VOLUME: 17
INDEXED IN: Scopus WOS CrossRef
4235
TITLE: Active Manifold Learning with Twitter Big Data
AUTHORS: Catarina Silva; Mario Antunes ; Joana Costa; Bernardete Ribeiro ;
PUBLISHED: 2015, SOURCE: INNS Conference on Big Data in INNS CONFERENCE ON BIG DATA 2015 PROGRAM, VOLUME: 53, ISSUE: 1, PAGES: 208-215
INDEXED IN: Scopus WOS DBLP CrossRef: 2
4236
TITLE: Actividade física e consumo de substâncias tóxicas em estudantes universitários
AUTHORS: José Vasconcelos-Raposo ; Pedro Silva; Carla Maria Teixeira;
PUBLISHED: 2015, SOURCE: Revista Portuguesa de Ciências do Desporto, VOLUME: 2015, ISSUE: 2, PAGES: 19-33
INDEXED IN: CrossRef
4237
TITLE: Adaptive Broadcast Cancellation Query Mechanism for Unstructured Networks
AUTHORS: Lima, R ; Baquero, C ; Miranda, H;
PUBLISHED: 2015, SOURCE: 9th International Conference on Next Generation Mobile Applications, Services and Technologies in 2015 9th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2015), PAGES: 176-181
INDEXED IN: Scopus WOS DBLP CrossRef Handle
4238
TITLE: ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data
AUTHORS: Michael Backes; Manuel Barbosa ; Dario Fiore; Raphael M Reischuk;
PUBLISHED: 2015, SOURCE: IEEE Symposium on Security and Privacy SP in 2015 IEEE SYMPOSIUM ON SECURITY AND PRIVACY SP 2015, VOLUME: 2015-July, PAGES: 271-286
INDEXED IN: Scopus WOS DBLP CrossRef: 46
4239
TITLE: AFINA-te: A healthy lifestyle information website, online food diary and exercise log directly towards children
AUTHORS: Guimarães, N ; Ferro Lebres, V; Ribeiro, JC;
PUBLISHED: 2015, SOURCE: 7th International Conference on Computer Supported Education, CSEDU 2015 in CSEDU 2015 - 7th International Conference on Computer Supported Education, Proceedings, VOLUME: 1, PAGES: 393-398
INDEXED IN: Scopus CrossRef
4240
TITLE: Agent-Based Smart Grid Market Simulation with Connection to Real Infrastructures
AUTHORS: Gabriel Santos; Tiago Pinto ; Luis Gomes; Marco Silva; Hugo Morais; Zita Vale; Isabel Praca;
PUBLISHED: 2015, SOURCE: 13th International Conference on Practical Applications of Agents, Multi-Agent Systems, and Sustainability (PAAMS) in HIGHLIGHTS OF PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND SUSTAINABILITY: THE PAAMS COLLECTION, PAAMS 2015, VOLUME: 524, PAGES: 283-295
INDEXED IN: Scopus WOS CrossRef: 1

Results per Page: 20.
Page 212 of 406. Total results: 8107.