Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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: 24043
1998 Team MembersFilters -> Year: 2026
12921
TITLE: Advances in the characterization of cognitive support for unit testing The bug-hunting game and the visualization arsenal
AUTHORS: Prado, MP; Vincenzi, AMR ;
PUBLISHED: 2016, SOURCE: 2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), PAGES: 213-220
AUTHORS: Prado, MP; Vincenzi, AMR ;
PUBLISHED: 2016, SOURCE: 2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), PAGES: 213-220
12922
TITLE: Advances to a frequency-domain parametric coder of wideband speech
AUTHORS: Ferreira, A ; Sinha, D;
PUBLISHED: 2016, SOURCE: 140th Audio Engineering Society International Convention 2016, AES 2016 in 140th Audio Engineering Society International Convention 2016, AES 2016
AUTHORS: Ferreira, A ; Sinha, D;
PUBLISHED: 2016, SOURCE: 140th Audio Engineering Society International Convention 2016, AES 2016 in 140th Audio Engineering Society International Convention 2016, AES 2016
INDEXED IN: 
Scopus
Scopus12923
TITLE: Age group differences in performance using diverse input modalities: insertion task evaluation. insertion task evaluation
AUTHORS: Diana Carvalho ; Maximino Bessa ; Luís Magalhães ; Eurico Carrapatoso;
PUBLISHED: 2016, SOURCE: Interacción, PAGES: 12
AUTHORS: Diana Carvalho ; Maximino Bessa ; Luís Magalhães ; Eurico Carrapatoso;
PUBLISHED: 2016, SOURCE: Interacción, PAGES: 12
12924
TITLE: Agricultural Wireless Sensor Mapping for Robot Localization
AUTHORS: Duarte, M; dos Santos, FN ; Sousa, A ; Morais, R ;
PUBLISHED: 2016, SOURCE: 2nd Iberian Robotics Conference (ROBOT) in ROBOT 2015: SECOND IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 1, VOLUME: 417, PAGES: 359-370
AUTHORS: Duarte, M; dos Santos, FN ; Sousa, A ; Morais, R ;
PUBLISHED: 2016, SOURCE: 2nd Iberian Robotics Conference (ROBOT) in ROBOT 2015: SECOND IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 1, VOLUME: 417, PAGES: 359-370
12925
TITLE: Air and Underwater Survey of water enclosed spaces for VAMOS! Project
AUTHORS: Almeida, J ; Ferreira, A ; Matias, B ; Dias, A ; Martins, A ; Silva, F; Oliveira, J; Sousa, P ; Moreira, M; Miranda, T ; Almeida, C ; Silva, E ;
PUBLISHED: 2016, SOURCE: MTS/IEEE Oceans Conference in OCEANS 2016 MTS/IEEE MONTEREY
AUTHORS: Almeida, J ; Ferreira, A ; Matias, B ; Dias, A ; Martins, A ; Silva, F; Oliveira, J; Sousa, P ; Moreira, M; Miranda, T ; Almeida, C ; Silva, E ;
PUBLISHED: 2016, SOURCE: MTS/IEEE Oceans Conference in OCEANS 2016 MTS/IEEE MONTEREY
12926
TITLE: Alloy meets TLA+: An exploratory study PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1603.03599
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1603.03599
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv12927
TITLE: An Adaptive Model Approach for Quantitative Wrist Rigidity Evaluation during Deep Brain Stimulation Surgery
AUTHORS: Sofia Assis; Pedro Costa; Maria Jose Rosas; Rui Vaz ; Joao Paulo S Silva Cunha ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October, PAGES: 5809-5812
AUTHORS: Sofia Assis; Pedro Costa; Maria Jose Rosas; Rui Vaz ; Joao Paulo S Silva Cunha ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October, PAGES: 5809-5812
12928
TITLE: An Adaptive System for Underwater Wireless Power Transfer
AUTHORS: Francisco Goncalves ; Adriano Pereira; Andre Morais; Candido Duarte ; Rui Gomes; Pessoa, LM ;
PUBLISHED: 2016, SOURCE: 8th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) in 2016 8TH INTERNATIONAL CONGRESS ON ULTRA MODERN TELECOMMUNICATIONS AND CONTROL SYSTEMS AND WORKSHOPS (ICUMT), VOLUME: 2016-December, PAGES: 101-105
AUTHORS: Francisco Goncalves ; Adriano Pereira; Andre Morais; Candido Duarte ; Rui Gomes; Pessoa, LM ;
PUBLISHED: 2016, SOURCE: 8th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) in 2016 8TH INTERNATIONAL CONGRESS ON ULTRA MODERN TELECOMMUNICATIONS AND CONTROL SYSTEMS AND WORKSHOPS (ICUMT), VOLUME: 2016-December, PAGES: 101-105
12929
TITLE: An agent-based approach to schedule crane operations in rail-rail transshipment terminals
AUTHORS: Heshmati, S ; Kokkinogenis, Z ; Rossetti, RJF ; Carravilla, MA ; Oliveira, JF ;
PUBLISHED: 2016, SOURCE: Lecture Notes in Economics and Mathematical Systems, VOLUME: 682, PAGES: 91-97
AUTHORS: Heshmati, S ; Kokkinogenis, Z ; Rossetti, RJF ; Carravilla, MA ; Oliveira, JF ;
PUBLISHED: 2016, SOURCE: Lecture Notes in Economics and Mathematical Systems, VOLUME: 682, PAGES: 91-97
12930
TITLE: An Agent-based Model of the Earth System & Climate Change
AUTHORS: Baghoussi, Y ; Campos, PJRM ; Rossetti, RJF ;
PUBLISHED: 2016, SOURCE: 2nd IEEE International Smart Cities Conference (ISC2) in IEEE SECOND INTERNATIONAL SMART CITIES CONFERENCE (ISC2 2016), PAGES: 319-324
AUTHORS: Baghoussi, Y ; Campos, PJRM ; Rossetti, RJF ;
PUBLISHED: 2016, SOURCE: 2nd IEEE International Smart Cities Conference (ISC2) in IEEE SECOND INTERNATIONAL SMART CITIES CONFERENCE (ISC2 2016), PAGES: 319-324
12931
TITLE: An Approach to Relevancy Detection: contributions to the automatic detection of relevance in social networks
AUTHORS: Figueira, A ; Sandim, M ; Fortuna, P ;
PUBLISHED: 2016, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 444, PAGES: 89-99
AUTHORS: Figueira, A ; Sandim, M ; Fortuna, P ;
PUBLISHED: 2016, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 444, PAGES: 89-99
12932
TITLE: An approach using SAT solvers for the RCPSP with logical constraints Full Text
AUTHORS: Mario Vanhoucke; Jose Coelho ;
PUBLISHED: 2016, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 249, ISSUE: 2, PAGES: 577-591
AUTHORS: Mario Vanhoucke; Jose Coelho ;
PUBLISHED: 2016, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 249, ISSUE: 2, PAGES: 577-591
12933
TITLE: An Automated Approach for Requirements Specification Maintenance
AUTHORS: Garcia, JE ; Paiva, ACR ;
PUBLISHED: 2016, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 444, PAGES: 827-833
AUTHORS: Garcia, JE ; Paiva, ACR ;
PUBLISHED: 2016, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 444, PAGES: 827-833
12934
TITLE: An automated model based approach to mobile UI specification and development
AUTHORS: Ribeiro, AN ; Araújo, CR;
PUBLISHED: 2016, SOURCE: 18th International Conference on Human-Computer Interaction, HCI International 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9731, PAGES: 523-534
AUTHORS: Ribeiro, AN ; Araújo, CR;
PUBLISHED: 2016, SOURCE: 18th International Conference on Human-Computer Interaction, HCI International 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9731, PAGES: 523-534
12935
TITLE: An automatic method for arterial pulse waveform recognition using KNN and SVM classifiers Full Text
AUTHORS: Tania Pereira ; Joana S Paiva ; Carlos Correia; Joao Cardoso;
PUBLISHED: 2016, SOURCE: MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, VOLUME: 54, ISSUE: 7, PAGES: 1049-1059
AUTHORS: Tania Pereira ; Joana S Paiva ; Carlos Correia; Joao Cardoso;
PUBLISHED: 2016, SOURCE: MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, VOLUME: 54, ISSUE: 7, PAGES: 1049-1059
12936
TITLE: An Automatic Subject-Adaptable Heartbeat Classifier Based on Multiview Learning
AUTHORS: Ye, C; Kumar, BVKV; Coimbra, MT ;
PUBLISHED: 2016, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 20, ISSUE: 6, PAGES: 1485-1492
AUTHORS: Ye, C; Kumar, BVKV; Coimbra, MT ;
PUBLISHED: 2016, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 20, ISSUE: 6, PAGES: 1485-1492
12937
TITLE: An Enhanced Model for Stochastic Coordination
AUTHORS: Oliveira, N; Barbosa, LS ;
PUBLISHED: 2016, SOURCE: 1st International Workshop on Formal Methods for and on the Cloud, iFMCloud 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 228, ISSUE: 228, PAGES: 35-45
AUTHORS: Oliveira, N; Barbosa, LS ;
PUBLISHED: 2016, SOURCE: 1st International Workshop on Formal Methods for and on the Cloud, iFMCloud 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 228, ISSUE: 228, PAGES: 35-45
12938
TITLE: An exercise on the generation of many-valued dynamic logics
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5, PAGES: 1011-1037
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5, PAGES: 1011-1037
12939
TITLE: An FPGA Implementation of a Long Short-Term Memory Neural Network
AUTHORS: Ferreira, JC ; Fonseca, J;
PUBLISHED: 2016, SOURCE: International Conference on Reconfigurable Computing and FPGAs (ReConFig) in 2016 INTERNATIONAL CONFERENCE ON RECONFIGURABLE COMPUTING AND FPGAS (RECONFIG16), PAGES: 1-8
AUTHORS: Ferreira, JC ; Fonseca, J;
PUBLISHED: 2016, SOURCE: International Conference on Reconfigurable Computing and FPGAs (ReConFig) in 2016 INTERNATIONAL CONFERENCE ON RECONFIGURABLE COMPUTING AND FPGAS (RECONFIG16), PAGES: 1-8
12940
TITLE: An Information Management Perspective of Supplier Selection Process in Manufacturing Networks
AUTHORS: Dario Messina ; Ana Cristina Barros ; Antonio Lucas Soares ;
PUBLISHED: 2016, SOURCE: 17th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATION IN A HYPERCONNECTED WORLD, VOLUME: 480, PAGES: 178-188
AUTHORS: Dario Messina ; Ana Cristina Barros ; Antonio Lucas Soares ;
PUBLISHED: 2016, SOURCE: 17th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATION IN A HYPERCONNECTED WORLD, VOLUME: 480, PAGES: 178-188
