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: 19330
1706 Team MembersFilters -> Year: 2025
8581
TITLE: Compiler Techniques for Efficient MATLAB to OpenCL Code Generation
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: 5th International Workshop on OpenCL, IWOCL 2017 in Proceedings of the 5th International Workshop on OpenCL, IWOCL 2017, Toronto, Canada, May 16-18, 2017, VOLUME: Part F127755, PAGES: 29:1-29:2
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: 5th International Workshop on OpenCL, IWOCL 2017 in Proceedings of the 5th International Workshop on OpenCL, IWOCL 2017, Toronto, Canada, May 16-18, 2017, VOLUME: Part F127755, PAGES: 29:1-29:2
8582
TITLE: Composing Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PAGES: 51-66
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PAGES: 51-66
8583
TITLE: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTHORS: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
AUTHORS: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
INDEXED IN: 
WOS 
DBLP
WOS DBLP8584
TITLE: Computational modeling of red blood cells trapping using Optical Fiber Tweezers
AUTHORS: Paiva, JS ; Ribeiro, RSR ; Jorge, PAS ; Rosa, CC ; Cunha, JPS ;
PUBLISHED: 2017, SOURCE: 5th Portuguese Meeting on Bioengineering, ENBENG 2017 in ENBENG 2017 - 5th Portuguese Meeting on Bioengineering, Proceedings
AUTHORS: Paiva, JS ; Ribeiro, RSR ; Jorge, PAS ; Rosa, CC ; Cunha, JPS ;
PUBLISHED: 2017, SOURCE: 5th Portuguese Meeting on Bioengineering, ENBENG 2017 in ENBENG 2017 - 5th Portuguese Meeting on Bioengineering, Proceedings
8585
TITLE: Computational Models for Social and Technical Interactions Full Text
AUTHORS: Joao Gama ; Eugenio Oliveira ; Henrique Lopes Cardoso ;
PUBLISHED: 2017, SOURCE: NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 307-310
AUTHORS: Joao Gama ; Eugenio Oliveira ; Henrique Lopes Cardoso ;
PUBLISHED: 2017, SOURCE: NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 307-310
8586
TITLE: Computer Aided Verification of Relational Models by Strategic Rewriting Full Text
AUTHORS: Claudia M Necco; Jose N Oliveira ; Joost Visser; Roberto Uzal;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 140-148
AUTHORS: Claudia M Necco; Jose N Oliveira ; Joost Visser; Roberto Uzal;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 140-148
INDEXED IN: WOS
WOS8587
TITLE: Concept and Application of Entrepreneurship Business Canvas Abstract
AUTHORS: Fernando L Almeida ;
PUBLISHED: 2017, SOURCE: IJEEI, VOLUME: 7, ISSUE: 2, PAGES: 23-43
AUTHORS: Fernando L Almeida ;
PUBLISHED: 2017, SOURCE: IJEEI, VOLUME: 7, ISSUE: 2, PAGES: 23-43
8588
TITLE: Concept and Dimensions of Web 4.0 Full Text
AUTHORS: Fernando Luis Almeida ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY, VOLUME: 16, ISSUE: 7, PAGES: 7040-7046
AUTHORS: Fernando Luis Almeida ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY, VOLUME: 16, ISSUE: 7, PAGES: 7040-7046
8589
TITLE: Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2017, SOURCE: 12th International Conference on Software Technologies, ICSOFT 2017 in Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017., PAGES: 459-466
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2017, SOURCE: 12th International Conference on Software Technologies, ICSOFT 2017 in Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017., PAGES: 459-466
8590
TITLE: Connecting history and foresight for unprecedented innovation journeys
AUTHORS: Ferreira, JJP ; Mention, AL; Torkkeli, M;
PUBLISHED: 2017, SOURCE: Journal of Innovation Management, VOLUME: 5, ISSUE: 1, PAGES: 1-3
AUTHORS: Ferreira, JJP ; Mention, AL; Torkkeli, M;
PUBLISHED: 2017, SOURCE: Journal of Innovation Management, VOLUME: 5, ISSUE: 1, PAGES: 1-3
8591
TITLE: Consistency of Surface Electromyography Assessment at Lower Limb Selected Muscles During Vertical Countermovement Full Text
AUTHORS: Carlos Rodrigues ; Miguel Correia ; Joao M C S Abrantes; Jurandir Nadal; Marco A B Benedetti Rodrigues;
PUBLISHED: 2017, SOURCE: 39th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2017 39TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 402-405
AUTHORS: Carlos Rodrigues ; Miguel Correia ; Joao M C S Abrantes; Jurandir Nadal; Marco A B Benedetti Rodrigues;
PUBLISHED: 2017, SOURCE: 39th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2017 39TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 402-405
8592
TITLE: Consistency of the F0, Jitter, Shimmer and HNR voice parameters in GSM and VOIP communication
AUTHORS: Ferreira, A ; Fernandes, V;
PUBLISHED: 2017, SOURCE: 2017 22nd International Conference on Digital Signal Processing, DSP 2017 in International Conference on Digital Signal Processing, DSP, VOLUME: 2017-August
AUTHORS: Ferreira, A ; Fernandes, V;
PUBLISHED: 2017, SOURCE: 2017 22nd International Conference on Digital Signal Processing, DSP 2017 in International Conference on Digital Signal Processing, DSP, VOLUME: 2017-August
8593
TITLE: Constraining Type II Error: Building Intentionally Biased Classifiers
AUTHORS: Cruz, R ; Fernandes, K ; Costa, JFP ; Cardoso, JS ;
PUBLISHED: 2017, SOURCE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PAGES: 549-560
AUTHORS: Cruz, R ; Fernandes, K ; Costa, JFP ; Cardoso, JS ;
PUBLISHED: 2017, SOURCE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PAGES: 549-560
8594
TITLE: Content-Adaptive Region-Based Color Texture Descriptors for Medical Images
AUTHORS: Riaz, F; Hassan, A; Nisar, R; Dinis Ribeiro, M ; Coimbra, MT ;
PUBLISHED: 2017, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 21, ISSUE: 1, PAGES: 162-171
AUTHORS: Riaz, F; Hassan, A; Nisar, R; Dinis Ribeiro, M ; Coimbra, MT ;
PUBLISHED: 2017, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 21, ISSUE: 1, PAGES: 162-171
8595
TITLE: Context acquisition in auditory emotional recognition studies
AUTHORS: Carneiro, D ; Pinheiro, AP; Paulo Novais ;
PUBLISHED: 2017, SOURCE: JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 8, ISSUE: 2, PAGES: 191-203
AUTHORS: Carneiro, D ; Pinheiro, AP; Paulo Novais ;
PUBLISHED: 2017, SOURCE: JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 8, ISSUE: 2, PAGES: 191-203
8596
TITLE: Context analysis in energy resource management residential buildings
AUTHORS: Madureira, B; Pinto, T ; Fernandes, F; Vale, Z;
PUBLISHED: 2017, SOURCE: 2017 IEEE Manchester PowerTech, Powertech 2017 in 2017 IEEE Manchester PowerTech, Powertech 2017
AUTHORS: Madureira, B; Pinto, T ; Fernandes, F; Vale, Z;
PUBLISHED: 2017, SOURCE: 2017 IEEE Manchester PowerTech, Powertech 2017 in 2017 IEEE Manchester PowerTech, Powertech 2017
8597
TITLE: Context-aware HDR video distribution for mobile devices Full Text
AUTHORS: Miguel Melo ; Luis Barbosa ; Maximino Bessa ; Kurt Debattista; Alan Chalmers;
PUBLISHED: 2017, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 76, ISSUE: 15, PAGES: 16605-16623
AUTHORS: Miguel Melo ; Luis Barbosa ; Maximino Bessa ; Kurt Debattista; Alan Chalmers;
PUBLISHED: 2017, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 76, ISSUE: 15, PAGES: 16605-16623
8598
TITLE: Context-Aware Personalization Using Neighborhood-Based Context Similarity Full Text
AUTHORS: Otebolaku, AM; Andrade, MT ;
PUBLISHED: 2017, SOURCE: WIRELESS PERSONAL COMMUNICATIONS, VOLUME: 94, ISSUE: 3, PAGES: 1595-1618
AUTHORS: Otebolaku, AM; Andrade, MT ;
PUBLISHED: 2017, SOURCE: WIRELESS PERSONAL COMMUNICATIONS, VOLUME: 94, ISSUE: 3, PAGES: 1595-1618
8599
TITLE: Continuous Ambulatory Peritoneal Dialysis: Business Intelligence applied to patient monitoring CAPD study and statistics
AUTHORS: Catarina Peixoto; Claudia Brito ; Mariana Fontainhas; Peixoto, Hugo ; José Machado ; António Abelha ;
PUBLISHED: 2017, SOURCE: IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud) in 2017 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW) 2017, VOLUME: 2017-January, PAGES: 178-185
AUTHORS: Catarina Peixoto; Claudia Brito ; Mariana Fontainhas; Peixoto, Hugo ; José Machado ; António Abelha ;
PUBLISHED: 2017, SOURCE: IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud) in 2017 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW) 2017, VOLUME: 2017-January, PAGES: 178-185
8600
TITLE: Contract based verification of IEC 61499 Full Text
AUTHORS: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM ;
PUBLISHED: 2017, SOURCE: 14th IEEE International Conference on Industrial Informatics, INDIN 2016 in IEEE International Conference on Industrial Informatics (INDIN), PAGES: 132-141
AUTHORS: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM ;
PUBLISHED: 2017, SOURCE: 14th IEEE International Conference on Industrial Informatics, INDIN 2016 in IEEE International Conference on Industrial Informatics (INDIN), PAGES: 132-141
