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
AuthID: I-000-AY7
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
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!
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!
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!
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: 4571
213 Team MembersFilters -> Year: 2026
2001
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
AUTHORS: Pinto, P ; Carvalho, T ; Bispo, J ; Ramalho, MA; Cardoso, JMP ;
PUBLISHED: 2018, SOURCE: COMPUTER LANGUAGES SYSTEMS & STRUCTURES, VOLUME: 53, PAGES: 1-26
2002
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
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
2003
TITLE: Associação entre as dinâmicas da internacionalização e dimensões organizacionais: framework analítico-dinâmico no setor vitivinicultor brasileiro
AUTHORS: Nildo F C Júnior; Luísa M C Carvalho; Maria d R Bernardo ;
PUBLISHED: 2018, SOURCE: XXI SMEAD 2018
AUTHORS: Nildo F C Júnior; Luísa M C Carvalho; Maria d R Bernardo ;
PUBLISHED: 2018, SOURCE: XXI SMEAD 2018
INDEXED IN: 
Handle
Handle2005
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
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
2006
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
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
2007
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
AUTHORS: João António Custódio Soares; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: MODELSWARD, VOLUME: 2018-January, PAGES: 668-679
2008
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
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
2009
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
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
2010
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; ...More
PUBLISHED: 2018, SOURCE: 15th ACM International Conference on Computing Frontiers in 2018 ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS, PAGES: 270-275
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; ...More
PUBLISHED: 2018, SOURCE: 15th ACM International Conference on Computing Frontiers in 2018 ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS, PAGES: 270-275
2011
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
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
2012
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
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
2013
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
AUTHORS: João Bernardino; Luís Filipe Teixeira ; Hugo Sereno Ferreira ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.07521
INDEXED IN: 
DBLP
DBLP2014
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
AUTHORS: Guilherme Vieira Pinto; João Pedro Dias ; Hugo Sereno Ferreira ;
PUBLISHED: 2018, SOURCE: SoCPaR, VOLUME: 942, PAGES: 248-257
2015
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
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
2016
TITLE: Building Virtual Driving Environments From Computer-Made Projects
AUTHORS: Carlos José Campos ; Hugo Filipe Pinto; João Miguel Leitão; João Paulo Pereira; António Fernando Coelho ; Carlos Manuel Rodrigues;
PUBLISHED: 2018, SOURCE: Advances in Multimedia and Interactive Technologies - Interface Support for Creativity, Productivity, and Expression in Computer Graphics, PAGES: 306-320
AUTHORS: Carlos José Campos ; Hugo Filipe Pinto; João Miguel Leitão; João Paulo Pereira; António Fernando Coelho ; Carlos Manuel Rodrigues;
PUBLISHED: 2018, SOURCE: Advances in Multimedia and Interactive Technologies - Interface Support for Creativity, Productivity, and Expression in Computer Graphics, PAGES: 306-320
2017
TITLE: Campus Aberto: o ambiente digital online da Universidade Aberta
AUTHORS: Vitor Rocio ; Adérito Marcos;
PUBLISHED: 2018, SOURCE: InforAberta 2018 - VIII Jornadas de Informática da Universidade Aberta
AUTHORS: Vitor Rocio ; Adérito Marcos;
PUBLISHED: 2018, SOURCE: InforAberta 2018 - VIII Jornadas de Informática da Universidade Aberta
INDEXED IN: Handle
Handle2018
TITLE: Can user and task characteristics be used as predictors of success in health information retrieval sessions?
AUTHORS: Oroszlányová, M; Lopes, CT ; Nunes, S ; Ribeiro, C ;
PUBLISHED: 2018, SOURCE: INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 23, ISSUE: 3
AUTHORS: Oroszlányová, M; Lopes, CT ; Nunes, S ; Ribeiro, C ;
PUBLISHED: 2018, SOURCE: INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 23, ISSUE: 3
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP2019
TITLE: Cannabis use: craving and the relationship with anxiety, stress and depression
AUTHORS: Vasconcelos Raposo, J ; Couto, S; Formiga, N; Teixeira, CM;
PUBLISHED: 2018, SOURCE: ACTUALIDADES EN PSICOLOGIA, VOLUME: 32, ISSUE: 125, PAGES: 1-18
AUTHORS: Vasconcelos Raposo, J ; Couto, S; Formiga, N; Teixeira, CM;
PUBLISHED: 2018, SOURCE: ACTUALIDADES EN PSICOLOGIA, VOLUME: 32, ISSUE: 125, PAGES: 1-18
INDEXED IN: WOS
WOS2020
TITLE: Case-based reasoning using expert systems to determine electricity reduction in residential buildings
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita Vale ; Juan Manuel Corchado;
PUBLISHED: 2018, SOURCE: IEEE Power and Energy Society General Meeting, VOLUME: 2018-August
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita Vale ; Juan Manuel Corchado;
PUBLISHED: 2018, SOURCE: IEEE Power and Energy Society General Meeting, VOLUME: 2018-August
