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: 25109
1717 Team MembersFilters -> Year: 2026
13241
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
13242
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
13243
TITLE: Alloy meets TLA+: An exploratory study
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
DBLP13244
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
13245
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
13246
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
13247
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
13248
TITLE: An Approach for Assessing the Distribution of Reporting Delay in Portuguese AIDS Data
AUTHORS: Oliveira, A ; Rita Gaio ; da Costa, JP ; Reis, LP ;
PUBLISHED: 2016, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 445, PAGES: 641-649
AUTHORS: Oliveira, A ; Rita Gaio ; da Costa, JP ; Reis, LP ;
PUBLISHED: 2016, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 445, PAGES: 641-649
13249
TITLE: An Approach to Relevancy Detection: contributions to the automatic detection of relevance in social networks
AUTHORS: Alvaro Figueira ; Miguel Sandim ; Paula Fortuna ;
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: Alvaro Figueira ; Miguel Sandim ; Paula Fortuna ;
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
13250
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
13251
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
13252
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
13253
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
13254
TITLE: An Automatic Subject-Adaptable Heartbeat Classifier Based on Multiview Learning Full Text
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
13255
TITLE: An Enhanced Model for Stochastic Coordination Full Text
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
13256
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
13257
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
13258
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
13259
TITLE: An Institutional Approach to First-Year Adjustment: The “Projeto FEUP” Case Study of a Portuguese University
AUTHORS: Mouraz, Ana ; Sousa, A ;
PUBLISHED: 2016, SOURCE: Journal of Hispanic Higher Education, VOLUME: 15, ISSUE: 3, PAGES: 221-239
AUTHORS: Mouraz, Ana ; Sousa, A ;
PUBLISHED: 2016, SOURCE: Journal of Hispanic Higher Education, VOLUME: 15, ISSUE: 3, PAGES: 221-239
