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: 18136
1699 Team MembersFilters -> Year: 2024
8481
TITLE: A Tool-Chain for High-Assurance Cryptographic Software
AUTHORS: Jose Almeida ; Manuel Barbosa ; Hugo Pacheco ; Vitor Pereira;
PUBLISHED: 2016, SOURCE: ERCIM NEWS, VOLUME: 2016, ISSUE: 106, PAGES: 14-15
AUTHORS: Jose Almeida ; Manuel Barbosa ; Hugo Pacheco ; Vitor Pereira;
PUBLISHED: 2016, SOURCE: ERCIM NEWS, VOLUME: 2016, ISSUE: 106, PAGES: 14-15
INDEXED IN: 
WOS 
DBLP
WOS DBLP8482
TITLE: A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets Full Text
AUTHORS: Joao Pascoal Faria ; Ana C R Paiva ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 18, ISSUE: 3, PAGES: 285-304
AUTHORS: Joao Pascoal Faria ; Ana C R Paiva ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 18, ISSUE: 3, PAGES: 285-304
8483
TITLE: A Vertical and Cyber-Physical Integration of Cognitive Robots in Manufacturing
AUTHORS: Volker Krueger; Arnaud Chazoule; Matthew Crosby; Antoine Lasnier; Mikkel Rath Pedersen; Francesco Rovida; Lazaros Nalpantidis; Ronald Petrick; Cesar Toscano ; Germano Veiga ;
PUBLISHED: 2016, SOURCE: PROCEEDINGS OF THE IEEE, VOLUME: 104, ISSUE: 5, PAGES: 1114-1127
AUTHORS: Volker Krueger; Arnaud Chazoule; Matthew Crosby; Antoine Lasnier; Mikkel Rath Pedersen; Francesco Rovida; Lazaros Nalpantidis; Ronald Petrick; Cesar Toscano ; Germano Veiga ;
PUBLISHED: 2016, SOURCE: PROCEEDINGS OF THE IEEE, VOLUME: 104, ISSUE: 5, PAGES: 1114-1127
8484
TITLE: Accessibility Not on Demand An Impaired Situation
AUTHORS: Joao D E de Sousa e Silva; Ramiro Goncalves ; Antonio Pereira;
PUBLISHED: 2016, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, VOLUME: 1, PAGES: 272-275
AUTHORS: Joao D E de Sousa e Silva; Ramiro Goncalves ; Antonio Pereira;
PUBLISHED: 2016, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, VOLUME: 1, PAGES: 272-275
8485
TITLE: Acetone evaporation and water vapor detection using a caterpillar-like microstructured fiber Full Text
AUTHORS: Gomes, AD ; Ferreira, MFS ; Moura, JP; Andre, RM ; Kobelke, J; Bierlich, J; Wondraczek, K; Schuster, K; Frazao, O ;
PUBLISHED: 2016, SOURCE: MICROWAVE AND OPTICAL TECHNOLOGY LETTERS, VOLUME: 58, ISSUE: 3, PAGES: 679-683
AUTHORS: Gomes, AD ; Ferreira, MFS ; Moura, JP; Andre, RM ; Kobelke, J; Bierlich, J; Wondraczek, K; Schuster, K; Frazao, O ;
PUBLISHED: 2016, SOURCE: MICROWAVE AND OPTICAL TECHNOLOGY LETTERS, VOLUME: 58, ISSUE: 3, PAGES: 679-683
8486
TITLE: Active Management of Electric Vehicles Acting as Distributed Storage
AUTHORS: Filipe J Soares ; Pedro M R Almeida; Matthias Galus; Pedro N P Barbeiro ; João Peças Lopes ;
PUBLISHED: 2016, SOURCE: Smart Grid Handbook, PAGES: 1-20
AUTHORS: Filipe J Soares ; Pedro M R Almeida; Matthias Galus; Pedro N P Barbeiro ; João Peças Lopes ;
PUBLISHED: 2016, SOURCE: Smart Grid Handbook, PAGES: 1-20
INDEXED IN: 
CrossRef
CrossRef8487
TITLE: Adaptation and Validation of the Igroup Presence Questionnaire (IPQ) in a Portuguese Sample Full Text
AUTHORS: Jacinto Vasconcelos Raposo ; Maximino Bessa ; Miguel Melo ; Luis Barbosa ; Rui Rodrigues ; Carla Maria Teixeira; Luciana Cabral; Antonio Augusto Sousa ;
PUBLISHED: 2016, SOURCE: PRESENCE-TELEOPERATORS AND VIRTUAL ENVIRONMENTS, VOLUME: 25, ISSUE: 3, PAGES: 191-203
AUTHORS: Jacinto Vasconcelos Raposo ; Maximino Bessa ; Miguel Melo ; Luis Barbosa ; Rui Rodrigues ; Carla Maria Teixeira; Luciana Cabral; Antonio Augusto Sousa ;
PUBLISHED: 2016, SOURCE: PRESENCE-TELEOPERATORS AND VIRTUAL ENVIRONMENTS, VOLUME: 25, ISSUE: 3, PAGES: 191-203
8488
TITLE: Adaptive Model Rules From High-Speed Data Streams Full Text
AUTHORS: Joao Duarte; Joao Gama ; Albert Bifet;
PUBLISHED: 2016, SOURCE: ACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA, VOLUME: 10, ISSUE: 3, PAGES: 30
AUTHORS: Joao Duarte; Joao Gama ; Albert Bifet;
PUBLISHED: 2016, SOURCE: ACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA, VOLUME: 10, ISSUE: 3, PAGES: 30
8489
TITLE: Adaptive Portfolio Optimization for Multiple Electricity Markets Participation Full Text
AUTHORS: Pinto, T ; Morais, H; Sousa, TM; Sousa, T; Vale, Z; Praca, I; Faia, R; Pires, EJS ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, VOLUME: 27, ISSUE: 8, PAGES: 1720-1733
AUTHORS: Pinto, T ; Morais, H; Sousa, TM; Sousa, T; Vale, Z; Praca, I; Faia, R; Pires, EJS ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, VOLUME: 27, ISSUE: 8, PAGES: 1720-1733
8490
TITLE: Advanced time-frequency signal and system analysis
AUTHORS: Boualem Boashash; Touati S.; Flandrin P.; Hlawatsch F.; Tauböck G.; Oliveira P.M. ; Barroso V.; Baraniuk R.; Jones G.; Matz G.; Hlawatsch F.; Alieva T.; Bastiaans M.J.; Lorenzo Galleani; Boudraa A.O.; Salzenstein F.; Akan A.;
PUBLISHED: 2016, SOURCE: Time-Frequency Signal Analysis and Processing: A Comprehensive Reference, PAGES: 141-236
AUTHORS: Boualem Boashash; Touati S.; Flandrin P.; Hlawatsch F.; Tauböck G.; Oliveira P.M. ; Barroso V.; Baraniuk R.; Jones G.; Matz G.; Hlawatsch F.; Alieva T.; Bastiaans M.J.; Lorenzo Galleani; Boudraa A.O.; Salzenstein F.; Akan A.;
PUBLISHED: 2016, SOURCE: Time-Frequency Signal Analysis and Processing: A Comprehensive Reference, PAGES: 141-236
8491
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
Scopus8492
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: 17th International Conference on Human Computer Interaction, Interaccion 2016 in Proceedings of the XVII International Conference on Human Computer Interaction, Interacción 2016, Salamanca, Spain, September 13 - 16, 2016, VOLUME: Part F125222, PAGES: 12
AUTHORS: Diana Carvalho ; Maximino Bessa ; Luís Magalhães; Eurico Carrapatoso;
PUBLISHED: 2016, SOURCE: 17th International Conference on Human Computer Interaction, Interaccion 2016 in Proceedings of the XVII International Conference on Human Computer Interaction, Interacción 2016, Salamanca, Spain, September 13 - 16, 2016, VOLUME: Part F125222, PAGES: 12
8493
TITLE: Agricultural Wireless Sensor Mapping for Robot Localization
AUTHORS: Marcos Duarte; Filipe Neves dos Santos ; Armando Sousa ; 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 ; Armando Sousa ; 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
8494
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
8495
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 arXiv8496
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
8497
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
8498
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
8499
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
8500
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
