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: 19067
1704 Team MembersFilters -> Year: 2025
9221
TITLE: Agricultural Wireless Sensor Mapping for Robot Localization
AUTHORS: Marcos Duarte; Filipe Neves dos Santos ; Sousa, A. ; Raul Morais ;
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: Marcos Duarte; Filipe Neves dos Santos ; Sousa, A. ; Raul Morais ;
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
9222
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
9223
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 arXiv9224
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
9225
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
9226
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
9227
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
9228
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
9229
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
9230
TITLE: An Automated Approach for Requirements Specification Maintenance
AUTHORS: Jorge Esparteiro Garcia ; Ana C R Paiva ;
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: Jorge Esparteiro Garcia ; Ana C R Paiva ;
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
9231
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
9232
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
9233
TITLE: An Automatic Subject-Adaptable Heartbeat Classifier Based on Multiview Learning Full Text
AUTHORS: Can Ye; Vijaya V K V Kumar; Miguel Tavares Coimbra ;
PUBLISHED: 2016, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 20, ISSUE: 6, PAGES: 1485-1492
AUTHORS: Can Ye; Vijaya V K V Kumar; Miguel Tavares Coimbra ;
PUBLISHED: 2016, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 20, ISSUE: 6, PAGES: 1485-1492
9234
TITLE: An Enhanced Model for Stochastic Coordination Full Text
AUTHORS: Nuno Oliveira; Luis Soares Barbosa ;
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: Nuno Oliveira; Luis Soares Barbosa ;
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
9235
TITLE: An exercise on the generation of many-valued dynamic logics
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5, PAGES: 1011-1037
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5, PAGES: 1011-1037
9236
TITLE: An FPGA Implementation of a Long Short-Term Memory Neural Network
AUTHORS: Joao Canas Ferreira ; Jose Fonseca;
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: Joao Canas Ferreira ; Jose Fonseca;
PUBLISHED: 2016, SOURCE: International Conference on Reconfigurable Computing and FPGAs (ReConFig) in 2016 INTERNATIONAL CONFERENCE ON RECONFIGURABLE COMPUTING AND FPGAS (RECONFIG16), PAGES: 1-8
9237
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
9238
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
9240
TITLE: An online learning approach to eliminate Bus Bunching in real-time Full Text
AUTHORS: Luis Moreira Matias ; Oded Cats; Joao Gama ; Joao Mendes Moreira ; Jorge Freire de Sousa ;
PUBLISHED: 2016, SOURCE: APPLIED SOFT COMPUTING, VOLUME: 47, PAGES: 460-482
AUTHORS: Luis Moreira Matias ; Oded Cats; Joao Gama ; Joao Mendes Moreira ; Jorge Freire de Sousa ;
PUBLISHED: 2016, SOURCE: APPLIED SOFT COMPUTING, VOLUME: 47, PAGES: 460-482
