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: 4104
213 Team MembersFilters -> Year: 2025
2461
TITLE: A Formal Perspective on IEC 61499 Execution Control Chart Semantics
AUTHORS: Per Lindgren; Marcus Lindner; David Pereira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3, PAGES: 293-300
AUTHORS: Per Lindgren; Marcus Lindner; David Pereira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3, PAGES: 293-300
2462
TITLE: A game as a tool for empirical research on the shamanic interface concept
AUTHORS: Tiago S Pinto; António Coelho ; Stephan Lukosch; Leonel Morgado ;
PUBLISHED: 2015, SOURCE: SciTecIN'15 - Sciences and Technologies of Interaction 2015
AUTHORS: Tiago S Pinto; António Coelho ; Stephan Lukosch; Leonel Morgado ;
PUBLISHED: 2015, SOURCE: SciTecIN'15 - Sciences and Technologies of Interaction 2015
INDEXED IN: 
Handle
Handle2463
TITLE: A microscope for the data centre
AUTHORS: Pereira, N ; Tennina, S; Loureiro, J; Severino, R ; Saraiva, B; Santos, M ; Filipe de Faria Pacheco ; Tovar, E ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF SENSOR NETWORKS, VOLUME: 18, ISSUE: 3-4, PAGES: 193-203
AUTHORS: Pereira, N ; Tennina, S; Loureiro, J; Severino, R ; Saraiva, B; Santos, M ; Filipe de Faria Pacheco ; Tovar, E ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF SENSOR NETWORKS, VOLUME: 18, ISSUE: 3-4, PAGES: 193-203
2464
TITLE: A Multi-DAG Model for Real-Time Parallel Applications with Conditional Execution
AUTHORS: Jose Carlos Fonseca; Vincent Nelis; Gurulingesh Raravi; Luis Miguel Pinho ;
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: 1925-1932
AUTHORS: Jose Carlos Fonseca; Vincent Nelis; Gurulingesh Raravi; Luis Miguel Pinho ;
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: 1925-1932
2465
TITLE: A new concept of 3D DCS interface application for industrial production console operators Full Text
AUTHORS: Ramiro Goncalves ; Jose Martins ; Frederico Branco ; Miguel R G Gonzalez Castro; Manuel P Perez Cota; Joao Barroso ;
PUBLISHED: 2015, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 14, ISSUE: 3, PAGES: 399-413
AUTHORS: Ramiro Goncalves ; Jose Martins ; Frederico Branco ; Miguel R G Gonzalez Castro; Manuel P Perez Cota; Joao Barroso ;
PUBLISHED: 2015, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 14, ISSUE: 3, PAGES: 399-413
2466
TITLE: A Novel Approach using Alloy in Domain-specific Language Engineering
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLISHED: 2015, SOURCE: 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) in MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, PAGES: 157-164
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLISHED: 2015, SOURCE: 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) in MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, PAGES: 157-164
2467
TITLE: A novel run-time monitoring architecture for safe and efficient inline monitoring
AUTHORS: Nelissen, G; Pereira, D ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9111, PAGES: 66-82
AUTHORS: Nelissen, G; Pereira, D ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9111, PAGES: 66-82
2468
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
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
2469
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
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
2470
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
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
2471
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
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
2472
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
AUTHORS: Freitas, CF; Barroso, J ; Ramos, C;
PUBLISHED: 2015, SOURCE: International Journal of Smart Home, VOLUME: 9, ISSUE: 9, PAGES: 13-20
2473
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
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
2474
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
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
Scopus2475
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
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
2476
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
AUTHORS: Moreira, AHJ; Rodrigues, NF ; Pinho, ACM; Fonseca, JC ; Vilaca, JL;
PUBLISHED: 2015, SOURCE: CLINICAL IMPLANT DENTISTRY AND RELATED RESEARCH, VOLUME: 17
2477
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
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
CrossRef2478
TITLE: Adaptive offloading for infotainment systems Full Text
AUTHORS: Luis Lino Ferreira ; Luís Miguel Pinho; Michele Albano; César Teixeira;
PUBLISHED: 2015, SOURCE: SIGBED Rev., VOLUME: 12, ISSUE: 3, PAGES: 19-23
AUTHORS: Luis Lino Ferreira ; Luís Miguel Pinho; Michele Albano; César Teixeira;
PUBLISHED: 2015, SOURCE: SIGBED Rev., VOLUME: 12, ISSUE: 3, PAGES: 19-23
INDEXED IN: 
DBLP CrossRef
DBLP CrossRef2479
TITLE: Agent-Based Smart Grid Market Simulation with Connection to Real Infrastructures
AUTHORS: Santos, G; Pinto, T ; Gomes, L; Silva, M; Morais, H; Vale, Z ; Praca, I ;
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
AUTHORS: Santos, G; Pinto, T ; Gomes, L; Silva, M; Morais, H; Vale, Z ; Praca, I ;
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
2480
TITLE: Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures Supported by an FTT-SE Network
AUTHORS: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 28th International Conference on Architecture of Computing Systems (ARCS) in ARCHITECTURE OF COMPUTING SYSTEMS - ARCS 2015, VOLUME: 9017, PAGES: 224-235
AUTHORS: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 28th International Conference on Architecture of Computing Systems (ARCS) in ARCHITECTURE OF COMPUTING SYSTEMS - ARCS 2015, VOLUME: 9017, PAGES: 224-235
