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: 18146
1699 Team MembersFilters -> Year: 2024
8821
TITLE: Formal Verification With Frama-C: A Case Study in the Space Software Domain Full Text
AUTHORS: Rovedy Aparecida B E Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria P Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, ISSUE: 3, PAGES: 1163-1179
AUTHORS: Rovedy Aparecida B E Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria P Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, ISSUE: 3, PAGES: 1163-1179
8822
TITLE: Formalization of the Pumping Lemma for Context-Free Languages
AUTHORS: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, ISSUE: 2, PAGES: 53-68
AUTHORS: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, ISSUE: 2, PAGES: 53-68
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP8823
TITLE: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: 25th European Symposium on Programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), VOLUME: 9632, PAGES: 41-67
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: 25th European Symposium on Programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), VOLUME: 9632, PAGES: 41-67
8824
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2016, PAGES: 14
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2016, PAGES: 14
INDEXED IN: DBLP
DBLP8825
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, PAGES: 245-260
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, PAGES: 245-260
8826
TITLE: Fracture pain-Traveling unknown pathways Full Text
AUTHORS: Cecilia J Alves; Etrela Neto; Daniela M Sousa; Luis Leitao; Daniel M Vasconcelos ; João Manuel R. S. Tavares ; Ines S Alencastre; Meriem Lamghari;
PUBLISHED: 2016, SOURCE: BONE, VOLUME: 85, PAGES: 107-114
AUTHORS: Cecilia J Alves; Etrela Neto; Daniela M Sousa; Luis Leitao; Daniel M Vasconcelos ; João Manuel R. S. Tavares ; Ines S Alencastre; Meriem Lamghari;
PUBLISHED: 2016, SOURCE: BONE, VOLUME: 85, PAGES: 107-114
8827
TITLE: From information systems and technologies to a technological proposal for an agri-food industry information system: The sousacamp group [Das tecnologias e sistemas de informação à proposta tecnológica de um sistema de informação para a agroindústria: O grupo sousacamp] Full Text
AUTHORS: Branco, F ; Martins, J ; Gonçalves, R ;
PUBLISHED: 2016, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 2016, ISSUE: 18, PAGES: 18-32
AUTHORS: Branco, F ; Martins, J ; Gonçalves, R ;
PUBLISHED: 2016, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 2016, ISSUE: 18, PAGES: 18-32
8828
TITLE: From offshore-provider to brand creator: fsQCA of footwear industry Full Text
AUTHORS: Raquel Meneses ; Pedro Quelhas Brito ; Paulo Coelho Gomes;
PUBLISHED: 2016, SOURCE: JOURNAL OF BUSINESS RESEARCH, VOLUME: 69, ISSUE: 11, PAGES: 5540-5546
AUTHORS: Raquel Meneses ; Pedro Quelhas Brito ; Paulo Coelho Gomes;
PUBLISHED: 2016, SOURCE: JOURNAL OF BUSINESS RESEARCH, VOLUME: 69, ISSUE: 11, PAGES: 5540-5546
8829
TITLE: Fundamentals of the C-DEEPSO Algorithm and its Application to the Reactive Power Optimization of Wind Farms
AUTHORS: Carolina G Marcelino; Paulo E M Almeida; Elizabeth F Wanner; Leonel M Carvalho ; Vladimiro Miranda ;
PUBLISHED: 2016, SOURCE: IEEE Congress on Evolutionary Computation (CEC) held as part of IEEE World Congress on Computational Intelligence (IEEE WCCI) in 2016 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 1547-1554
AUTHORS: Carolina G Marcelino; Paulo E M Almeida; Elizabeth F Wanner; Leonel M Carvalho ; Vladimiro Miranda ;
PUBLISHED: 2016, SOURCE: IEEE Congress on Evolutionary Computation (CEC) held as part of IEEE World Congress on Computational Intelligence (IEEE WCCI) in 2016 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 1547-1554
8830
TITLE: GA optimization technique for portfolio optimization of electricity market participation
AUTHORS: Faia, R; Pinto, T ; Vale, Z;
PUBLISHED: 2016, SOURCE: 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016 in 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016
AUTHORS: Faia, R; Pinto, T ; Vale, Z;
PUBLISHED: 2016, SOURCE: 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016 in 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016
8831
TITLE: GA optimization technique for portfolio optimization of electricity market participation
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita A Vale;
PUBLISHED: 2016, SOURCE: 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016, Athens, Greece, December 6-9, 2016, PAGES: 1-7
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita A Vale;
PUBLISHED: 2016, SOURCE: 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016, Athens, Greece, December 6-9, 2016, PAGES: 1-7
INDEXED IN: DBLP
DBLP8832
TITLE: Gamification of Learning Activities with the Odin service Full Text
AUTHORS: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLISHED: 2016, SOURCE: PTI 17th KKIO Software Engineering Conference in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, ISSUE: 3, PAGES: 809-826
AUTHORS: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLISHED: 2016, SOURCE: PTI 17th KKIO Software Engineering Conference in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, ISSUE: 3, PAGES: 809-826
8833
TITLE: Gamification-Based E-Learning Strategies for Computer Programming Education
AUTHORS: de Queirós, RAP ; Pinto, MT;
PUBLISHED: 2016, SOURCE: Gamification-Based E-Learning Strategies for Computer Programming Education, PAGES: 1-349
AUTHORS: de Queirós, RAP ; Pinto, MT;
PUBLISHED: 2016, SOURCE: Gamification-Based E-Learning Strategies for Computer Programming Education, PAGES: 1-349
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef8834
TITLE: Generation of Custom Run-Time Reconfigurable Hardware for Transparent Binary Acceleration
AUTHORS: Nuno Miguel Cardanha Paulino ;
PUBLISHED: 2016
AUTHORS: Nuno Miguel Cardanha Paulino ;
PUBLISHED: 2016
INDEXED IN: DBLP 
Handle
DBLP Handle8835
TITLE: Generation of Laguerre Gaussian beams using spiral phase diffractive elements fabricated on optical fiber tips using focused ion beam milling
AUTHORS: Rodrigues Ribeiro, RSR ; Dahal, P; Guerreiro, A ; Jorge, PAS ; Viegas, J;
PUBLISHED: 2016, SOURCE: 10th Conference on Complex Light and Optical Forces in COMPLEX LIGHT AND OPTICAL FORCES X, VOLUME: 9764
AUTHORS: Rodrigues Ribeiro, RSR ; Dahal, P; Guerreiro, A ; Jorge, PAS ; Viegas, J;
PUBLISHED: 2016, SOURCE: 10th Conference on Complex Light and Optical Forces in COMPLEX LIGHT AND OPTICAL FORCES X, VOLUME: 9764
8837
TITLE: Geometry-Based Propagation Modeling and Simulation of Vehicle-to-Infrastructure Links
AUTHORS: Bengi Aygun; Mate Boban; Joao P Vilela ; Alexander M Wyglinski;
PUBLISHED: 2016, SOURCE: IEEE 83rd Vehicular Technology Conference (VTC Spring) in 2016 IEEE 83RD VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), VOLUME: 2016-July
AUTHORS: Bengi Aygun; Mate Boban; Joao P Vilela ; Alexander M Wyglinski;
PUBLISHED: 2016, SOURCE: IEEE 83rd Vehicular Technology Conference (VTC Spring) in 2016 IEEE 83RD VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), VOLUME: 2016-July
8838
TITLE: GeoSpatial Platform for Port Management Processes
AUTHORS: Lino Oliveira ; Jorge Santos; Leonel Dias ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
AUTHORS: Lino Oliveira ; Jorge Santos; Leonel Dias ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
8839
TITLE: Green Wireless Video Sensor Networks using FM Radio System as Control Channel
AUTHORS: Joao Dias; Filipe Sousa ; Filipe Ribeiro ; Rui Campos ; Manuel Ricardo ;
PUBLISHED: 2016, SOURCE: 12th Annual Conference on Wireless On-demand Network Systems and Services (WONS) in 2016 12TH ANNUAL CONFERENCE ON WIRELESS ON-DEMAND NETWORK SYSTEMS AND SERVICES (WONS), PAGES: 132-139
AUTHORS: Joao Dias; Filipe Sousa ; Filipe Ribeiro ; Rui Campos ; Manuel Ricardo ;
PUBLISHED: 2016, SOURCE: 12th Annual Conference on Wireless On-demand Network Systems and Services (WONS) in 2016 12TH ANNUAL CONFERENCE ON WIRELESS ON-DEMAND NETWORK SYSTEMS AND SERVICES (WONS), PAGES: 132-139
INDEXED IN: WOS DBLP
WOS DBLP8840
TITLE: Greenhouse with Sustainable Energy for IoT
AUTHORS: Filipe T Oliveira ; Segio A Leitao ; Adelino S Nabais; Rita M Ascenso; Joao R Galvao;
PUBLISHED: 2016, SOURCE: 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR CYBER-PHYSICAL SYSTEMS, VOLUME: 470, PAGES: 416-424
AUTHORS: Filipe T Oliveira ; Segio A Leitao ; Adelino S Nabais; Rita M Ascenso; Joao R Galvao;
PUBLISHED: 2016, SOURCE: 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR CYBER-PHYSICAL SYSTEMS, VOLUME: 470, PAGES: 416-424
