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: 20083
1706 Team MembersFilters -> Year: 2025
10141
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
10142
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 arXiv10143
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
10144
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
10145
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
10146
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
10147
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
10148
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
10149
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
10150
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
10151
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
10152
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
10153
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
10154
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
10155
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
10156
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
10157
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
10159
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
10160
TITLE: An Ontology for Licensing Public Transport Services
AUTHORS: Guillermina Cledou ; Luis Soares Barbosa ;
PUBLISHED: 2016, SOURCE: 9th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in 9TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV 2016), VOLUME: 01-03-March-2016, PAGES: 230-239
AUTHORS: Guillermina Cledou ; Luis Soares Barbosa ;
PUBLISHED: 2016, SOURCE: 9th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in 9TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV 2016), VOLUME: 01-03-March-2016, PAGES: 230-239
