Human-Centered Computing and Information Science (HumanISE)
Computação Centrada No Humano e Ciência da Informação

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

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

213 Team Members
Filters -> Year: 2026
2041
TITLE: Análise das funcionalidades de gamificação nos ambientes de aprendizagem Classcraft e Moodle à luz da framework Octalysis
AUTHORS: Maria Ferreira; Leonel Morgado ; Guilhermina L Miranda ;
PUBLISHED: 2018, SOURCE: 4.º Encontro sobre Jogos e Mobile Learning
INDEXED IN: Handle
2042
TITLE: ANÁLISE FATORIAL CONFIRMATÓRIA DA VERSÃO PORTUGUESA DO PITTSBURG SLEEP QUALITY INDEX
AUTHORS: Carla Teixeira; Andreia Caçador; Tatiana Ferreira; José Vasconcelos-Raposo ;
PUBLISHED: 2018, SOURCE: PSYCHTECH & HEALTH JOURNAL, VOLUME: 1, ISSUE: 2, PAGES: 15-23
INDEXED IN: CrossRef
2043
TITLE: ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing
AUTHORS: Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea Rosario Beccari; Luca Benini; Loïc Besnard; João Bispo ; Radim Cmar; João M P Cardoso ; Carlo Cavazzoni; Stefano Cherubin; Davide Gadioli; Martin Golasowski; Imane Lasri; Jan Martinovic; Gianluca Palermo; Pedro Pinto ; Erven Rohou; Nico Sanna; Katerina Slaninová; Emanuele Vitali; ...More
PUBLISHED: 2018, SOURCE: DSD, PAGES: 600-607
INDEXED IN: Scopus DBLP CrossRef: 5
2045
TITLE: Application of the steering law to virtual reality walking navigation interfaces
AUTHORS: Monteiro, P ; Carvalho, D ; Melo, M ; Branco, F ; Bessa, M ;
PUBLISHED: 2018, SOURCE: 24th Portuguese Meeting of Computer Graphics and Interaction (EPCGI) in COMPUTERS & GRAPHICS-UK, VOLUME: 77, PAGES: 80-87
INDEXED IN: Scopus WOS DBLP CrossRef: 25
2046
TITLE: Aspect composition for multiple target languages using LARA
AUTHORS: Pinto, P ; Carvalho, T ; Bispo, J ; Ramalho, MA; Cardoso, JMP ;
PUBLISHED: 2018, SOURCE: COMPUTER LANGUAGES SYSTEMS & STRUCTURES, VOLUME: 53, PAGES: 1-26
INDEXED IN: Scopus WOS DBLP CrossRef: 14 Handle
2047
TITLE: Aspect-Driven Mixed-Precision Tuning Targeting GPUs
AUTHORS: Nobre, R; Reis, L; Bispo, J ; Carvalho, T ; Cardoso, JMP ; Cherubin, S; Agosta, G;
PUBLISHED: 2018, SOURCE: 9th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures (PARMA) / 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (DITAM) in PARMA-DITAM 2018: 9TH WORKSHOP ON PARALLEL PROGRAMMING AND RUNTIME MANAGEMENT TECHNIQUES FOR MANY-CORE ARCHITECTURES AND 7TH WORKSHOP ON DESIGN TOOLS AND ARCHITECTURES FOR MULTICORE EMBEDDED COMPUTING PLATFORMS, PAGES: 26-31
INDEXED IN: Scopus WOS DBLP CrossRef: 12 Handle
2049
TITLE: Augmented reality versus conventional interface: Is there any difference in effectiveness?  Full Text
AUTHORS: Brito, PQ ; Stoyanova, J; Coelho, A ;
PUBLISHED: 2018, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 77, ISSUE: 6, PAGES: 7487-7516
INDEXED IN: Scopus WOS DBLP CrossRef: 22
2050
TITLE: Automated combination of bilateral energy contracts negotiation tactics
AUTHORS: Angelo Pinto; Tiago Pinto ; Francisco Silva; Isabel Praca ; Zita Vale ; Juan Manuel Corchado;
PUBLISHED: 2018, SOURCE: IEEE Power and Energy Society General Meeting, VOLUME: 2018-August
INDEXED IN: Scopus CrossRef: 4
2051
TITLE: Automated Scenario-Based Integration Testing of Distributed Systems
AUTHORS: Bruno Lima ;
PUBLISHED: 2018, SOURCE: 26th ACM Joint Meeting on European Software Engineering Conference (ESEC) / Symposium on the Foundations of Software Engineering (FSE) in ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, PAGES: 956-958
INDEXED IN: Scopus WOS CrossRef
2052
TITLE: Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
AUTHORS: João António Custódio Soares; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: MODELSWARD, VOLUME: 2018-January, PAGES: 668-679
INDEXED IN: Scopus DBLP CrossRef: 5
2053
TITLE: Automatic Test Case Generation from Usage Information
AUTHORS: Silva, P; Paiva, ACR ; André Restivo ; Garcia, JE ;
PUBLISHED: 2018, SOURCE: 11th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2018 11TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 268-271
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2054
TITLE: AutoPar-Clava: An Automatic Parallelization source-to-source tool for C code applications. An Automatic Parallelization source-to-source tool for C code applications
AUTHORS: Arabnejad, H; Bispo, J ; Barbosa, JG ; Cardoso, JMP ;
PUBLISHED: 2018, SOURCE: 9th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures (PARMA) / 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (DITAM) in PARMA-DITAM 2018: 9TH WORKSHOP ON PARALLEL PROGRAMMING AND RUNTIME MANAGEMENT TECHNIQUES FOR MANY-CORE ARCHITECTURES AND 7TH WORKSHOP ON DESIGN TOOLS AND ARCHITECTURES FOR MULTICORE EMBEDDED COMPUTING PLATFORMS, PAGES: 13-19
INDEXED IN: Scopus WOS DBLP CrossRef: 9 Handle
2055
TITLE: Autotuning and Adaptivity in Energy Efficient HPC Systems: The ANTAREX Toolbox. the ANTAREX toolbox
AUTHORS: Silvano, C; Palermo, G; Agosta, G; Ashouri, AH; Gadioli, D; Cherubin, S; Vitali, E; Benini, L; Bartolini, A; Cesarini, D; Cardoso, J ; Bispo, J ; Pinto, P ; Nobre, R; Rohou, E; Besnard, L; Lasri, I; Sanna, N; Cavazzoni, C; Cmar, R; Martinovic, J; Slaninová, K; Golasowski, M; Beccari, AR; Manelfi, C; ...More
PUBLISHED: 2018, SOURCE: 15th ACM International Conference on Computing Frontiers in 2018 ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS, PAGES: 270-275
INDEXED IN: Scopus WOS DBLP CrossRef: 9
2056
TITLE: Benefits of EN 301 549 for each group of People with Special Needs
AUTHORS: Martins, M; Gonçalves, R ; Godinho, F; Novais, J;
PUBLISHED: 2018, SOURCE: 8th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI)a in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2018), PAGES: 123-128
INDEXED IN: Scopus WOS DBLP CrossRef: 4
2057
TITLE: Bidirectional e-Commerce Platform for Tourism in Low-Density Regions
AUTHORS: Sonia Rodrigues; Ramiro Goncalves ; Mario Sergio Teixeira; Jose Martins ; Frederico Branco ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-5
INDEXED IN: Scopus WOS CrossRef: 2
2058
TITLE: Bio-Measurements Estimation and Support in Knee Recovery through Machine Learning
AUTHORS: João Bernardino; Luís Filipe Teixeira ; Hugo Sereno Ferreira ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.07521
INDEXED IN: DBLP
2059
TITLE: Blockchain-Based PKI for Crowdsourced IoT Sensor Information
AUTHORS: Guilherme Vieira Pinto; João Pedro Dias ; Hugo Sereno Ferreira ;
PUBLISHED: 2018, SOURCE: SoCPaR, VOLUME: 942, PAGES: 248-257
INDEXED IN: Scopus DBLP CrossRef: 3
2060
TITLE: Bridging Automation and Robotics: an Interprocess Communication between IEC 61131-3 and ROS
AUTHORS: Pinto, T ; Arrais, R ; Veiga, G ;
PUBLISHED: 2018, SOURCE: 16th IEEE International Conference on Industrial Informatics (INDIN) in 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 1085-1091
INDEXED IN: Scopus WOS DBLP CrossRef: 5

Results per Page: 20.
Page 103 of 228. Total results: 4553.