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
8521
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50
8522
TITLE: Forty years of the European Journal of Operational Research: A bibliometric overview Full Text
AUTHORS: Sigifredo Laengle; Jose M Merigo; Jaime Miranda; Roman Slowinski; Immanuel Bomze; Emanuele Borgonovo; Robert G Dyson; Jose Fernando Oliveira ; Ruud Teunter;
PUBLISHED: 2017, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 262, ISSUE: 3, PAGES: 803-816
AUTHORS: Sigifredo Laengle; Jose M Merigo; Jaime Miranda; Roman Slowinski; Immanuel Bomze; Emanuele Borgonovo; Robert G Dyson; Jose Fernando Oliveira ; Ruud Teunter;
PUBLISHED: 2017, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 262, ISSUE: 3, PAGES: 803-816
8523
TITLE: FOSTERING EFFICIENT LEARNING IN THE TECHNICAL FIELD OF ROBOTICS BY CHANGING THE AUTONOMOUS DRIVING COMPETITION OF THE PORTUGUESE ROBOTICS OPEN
AUTHORS: Valter Costa ; Joao Resende ; Patricia Sousa ; Sousa, A. ; Nuno Lau ; Luis Reis ;
PUBLISHED: 2017, SOURCE: 10th Annual International Conference of Education, Research and Innovation (ICERI) in 10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), PAGES: 7705-7711
AUTHORS: Valter Costa ; Joao Resende ; Patricia Sousa ; Sousa, A. ; Nuno Lau ; Luis Reis ;
PUBLISHED: 2017, SOURCE: 10th Annual International Conference of Education, Research and Innovation (ICERI) in 10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), PAGES: 7705-7711
8524
TITLE: FPGA-based Implementation of a Frequency Spreading FBMC-OQAM Baseband Modulator
AUTHORS: Miguel Carvalho; Mario Lopes Ferreira ; Joao Canas Ferreira ;
PUBLISHED: 2017, SOURCE: 24th IEEE International Conference on Electronics, Circuits and Systems (ICECS) in 2017 24TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS (ICECS), PAGES: 174-177
AUTHORS: Miguel Carvalho; Mario Lopes Ferreira ; Joao Canas Ferreira ;
PUBLISHED: 2017, SOURCE: 24th IEEE International Conference on Electronics, Circuits and Systems (ICECS) in 2017 24TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS (ICECS), PAGES: 174-177
8525
TITLE: From Data Sources to Information Sharing in SME Collaborative Networks Supporting Internationalization: A Socio-Semantic Approach
AUTHORS: Costa, E ; Soares, AL ; de Sousa, JP;
PUBLISHED: 2017, SOURCE: 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017 in COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PAGES: 478-490
AUTHORS: Costa, E ; Soares, AL ; de Sousa, JP;
PUBLISHED: 2017, SOURCE: 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017 in COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PAGES: 478-490
8526
TITLE: From Single to Many-objective PID Controller Design using Particle Swarm Optimization Full Text
AUTHORS: Helio Freire ; Moura Oliveira, PBM ; Solteiro Pires, EJS ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, VOLUME: 15, ISSUE: 2, PAGES: 918-932
AUTHORS: Helio Freire ; Moura Oliveira, PBM ; Solteiro Pires, EJS ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, VOLUME: 15, ISSUE: 2, PAGES: 918-932
8527
TITLE: From water to energy: low cost water & energy consumptions readings
AUTHORS: Antonio Cunha ; Elisabete Silva; Francisco Pereira; Ana Briga Sa; Sandra Pereira ;
PUBLISHED: 2017, SOURCE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CENTERIS 2017 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2017 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2017 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 121, PAGES: 960-967
AUTHORS: Antonio Cunha ; Elisabete Silva; Francisco Pereira; Ana Briga Sa; Sandra Pereira ;
PUBLISHED: 2017, SOURCE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CENTERIS 2017 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2017 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2017 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 121, PAGES: 960-967
8528
TITLE: FRONT MATTER
AUTHORS: Manuel F Silva ; Gurvinder S Virk; Mohammad O Tokhi; Benedita Malheiro ; Pedro Guedes;
PUBLISHED: 2017, SOURCE: Human-Centric Robotics
AUTHORS: Manuel F Silva ; Gurvinder S Virk; Mohammad O Tokhi; Benedita Malheiro ; Pedro Guedes;
PUBLISHED: 2017, SOURCE: Human-Centric Robotics
INDEXED IN: 
CrossRef
CrossRef8529
TITLE: Functionalities and Requirements of an Autonomous Shopping Vehicle for People with Reduced Mobility
AUTHORS: Neves, A ; Campos, D ; Duarte, F; Inês Domingues ; Santos, J; Leao, J; Xavier, J; de Matos, L; Camarneiro, M; Penas, M; Miranda, M; Silva, R; Esteves, T;
PUBLISHED: 2017, SOURCE: 3rd International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2017 in VEHITS: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON VEHICLE TECHNOLOGY AND INTELLIGENT TRANSPORT SYSTEMS, PAGES: 373-380
AUTHORS: Neves, A ; Campos, D ; Duarte, F; Inês Domingues ; Santos, J; Leao, J; Xavier, J; de Matos, L; Camarneiro, M; Penas, M; Miranda, M; Silva, R; Esteves, T;
PUBLISHED: 2017, SOURCE: 3rd International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2017 in VEHITS: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON VEHICLE TECHNOLOGY AND INTELLIGENT TRANSPORT SYSTEMS, PAGES: 373-380
8530
TITLE: Future liquefied natural gas business structure: a review and comparison of oil and liquefied natural gas sectors. Future LNG business structure Full Text
AUTHORS: Hamed Nikhalat Jahromi ; Dalila B M M Fontes ; Robert A Cochrane;
PUBLISHED: 2017, SOURCE: WILEY INTERDISCIPLINARY REVIEWS-ENERGY AND ENVIRONMENT, VOLUME: 6, ISSUE: 4
AUTHORS: Hamed Nikhalat Jahromi ; Dalila B M M Fontes ; Robert A Cochrane;
PUBLISHED: 2017, SOURCE: WILEY INTERDISCIPLINARY REVIEWS-ENERGY AND ENVIRONMENT, VOLUME: 6, ISSUE: 4
8531
TITLE: Future Trends for Big Data Application in Power Systems
AUTHORS: Bessa, RJ ;
PUBLISHED: 2017, SOURCE: Big Data Application in Power Systems, PAGES: 223-242
AUTHORS: Bessa, RJ ;
PUBLISHED: 2017, SOURCE: Big Data Application in Power Systems, PAGES: 223-242
8532
TITLE: Gamification at Scraim
AUTHORS: Silva, D; Coelho, A ; Duarte, C; Henriques, PC;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 141-147
AUTHORS: Silva, D; Coelho, A ; Duarte, C; Henriques, PC;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 141-147
8533
TITLE: Gamification badges and ratings: impact in a academic social network
AUTHORS: Fernando Saraiva; Lina Morgado; Vitor Rocio ;
PUBLISHED: 2017, SOURCE: 1st Workshop on Gamification and Games for Learning (GamiLearn’17)
AUTHORS: Fernando Saraiva; Lina Morgado; Vitor Rocio ;
PUBLISHED: 2017, SOURCE: 1st Workshop on Gamification and Games for Learning (GamiLearn’17)
INDEXED IN: 
Handle
Handle8534
TITLE: Generation of Customized Accelerators for Loop Pipelining of Binary Instruction Traces Full Text
AUTHORS: Nuno M C Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 25, ISSUE: 1, PAGES: 21-34
AUTHORS: Nuno M C Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 25, ISSUE: 1, PAGES: 21-34
8535
TITLE: Genetic algorithms approaches for the production planning in the glass container industry
AUTHORS: Flaviana Moreira S Amorim; Márcio da Silva Arantes; Claudio Fabiano Motta Toledo; Pierre Eric Frisch; Jesimar da Silva Arantes; Bernardo Almada-Lobo ;
PUBLISHED: 2017, SOURCE: Proceedings of the Genetic and Evolutionary Computation Conference Companion on - GECCO '17
AUTHORS: Flaviana Moreira S Amorim; Márcio da Silva Arantes; Claudio Fabiano Motta Toledo; Pierre Eric Frisch; Jesimar da Silva Arantes; Bernardo Almada-Lobo ;
PUBLISHED: 2017, SOURCE: Proceedings of the Genetic and Evolutionary Computation Conference Companion on - GECCO '17
INDEXED IN: CrossRef
CrossRef8536
TITLE: Genetic effects on gene expression across human tissues Full Text
AUTHORS: Francois Aguet; Andrew A Brown; Stephane E Castel; Joe R Davis; Yuan He; Brian Jo; Pejman Mohammadi; Yoson Park; Princy Parsana; Ayellet V Segre; Benjamin J Strober; Zachary Zappala; Beryl B Cummings; Ellen T Gelfand; Kane Hadley; Katherine H Huang; Monkol Lek; Xiao Li; Jared L Nedzel; Duyen Y Nguyen; ...More
PUBLISHED: 2017, SOURCE: NATURE, VOLUME: 550, ISSUE: 7675, PAGES: 204-+
AUTHORS: Francois Aguet; Andrew A Brown; Stephane E Castel; Joe R Davis; Yuan He; Brian Jo; Pejman Mohammadi; Yoson Park; Princy Parsana; Ayellet V Segre; Benjamin J Strober; Zachary Zappala; Beryl B Cummings; Ellen T Gelfand; Kane Hadley; Katherine H Huang; Monkol Lek; Xiao Li; Jared L Nedzel; Duyen Y Nguyen; ...More
PUBLISHED: 2017, SOURCE: NATURE, VOLUME: 550, ISSUE: 7675, PAGES: 204-+
8537
TITLE: Geometric Approaches and Bifurcations in the Dichotomous Decision Model = الطرق الهندسية والتداخلات في نموذج القرار ذو الحدين
AUTHORS: Abdelrahim S Mousa; Alberto A Pinto ;
PUBLISHED: 2017, SOURCE: Journal of the Arab American University, VOLUME: 3, ISSUE: 2, PAGES: 10-39
AUTHORS: Abdelrahim S Mousa; Alberto A Pinto ;
PUBLISHED: 2017, SOURCE: Journal of the Arab American University, VOLUME: 3, ISSUE: 2, PAGES: 10-39
INDEXED IN: CrossRef
CrossRef8538
TITLE: Global-Local View: Scalable Consistency for Concurrent Data Types PDF
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.03704
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.03704
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv8539
TITLE: Glucose diffusion in colorectal mucosa-a comparative study between normal and cancer tissues
AUTHORS: Carvalho, S; Gueiral, N; Nogueira, E; Henrique, R ; Oliveira, L ; Tuchin, VV;
PUBLISHED: 2017, SOURCE: JOURNAL OF BIOMEDICAL OPTICS, VOLUME: 22, ISSUE: 9, PAGES: 091506
AUTHORS: Carvalho, S; Gueiral, N; Nogueira, E; Henrique, R ; Oliveira, L ; Tuchin, VV;
PUBLISHED: 2017, SOURCE: JOURNAL OF BIOMEDICAL OPTICS, VOLUME: 22, ISSUE: 9, PAGES: 091506
8540
TITLE: Glycerol/PEDOT: PSS coated woven fabric as a flexible heating element on textiles Full Text
AUTHORS: Moraes, MR; Alves, AC ; Toptan, F; Martins, MS ; Vieira, EMF; Paleo, AJ; Souto, AP; Santos, WLF; Esteves, MF; Zille, Andrea;
PUBLISHED: 2017, SOURCE: JOURNAL OF MATERIALS CHEMISTRY C, VOLUME: 5, ISSUE: 15, PAGES: 3807-3822
AUTHORS: Moraes, MR; Alves, AC ; Toptan, F; Martins, MS ; Vieira, EMF; Paleo, AJ; Souto, AP; Santos, WLF; Esteves, MF; Zille, Andrea;
PUBLISHED: 2017, SOURCE: JOURNAL OF MATERIALS CHEMISTRY C, VOLUME: 5, ISSUE: 15, PAGES: 3807-3822
