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: 25101
1717 Team MembersFilters -> Year: 2026
13621
TITLE: Federated IaaS Resource Brokerage
AUTHORS: Bruno Veloso ; Fernando Meireles; Benedita Malheiro ; Juan Carlos Burguillo;
PUBLISHED: 2016, SOURCE: Developing Interoperable and Federated Cloud Architecture, PAGES: 252-280
AUTHORS: Bruno Veloso ; Fernando Meireles; Benedita Malheiro ; Juan Carlos Burguillo;
PUBLISHED: 2016, SOURCE: Developing Interoperable and Federated Cloud Architecture, PAGES: 252-280
13622
TITLE: Fiber Cavity Ring Down and Gain Amplification Effect
AUTHORS: Susana Silva ; Regina Magalhaes; Rosa A Ana Perez Herrera; Manuel Lopez Amo; Marques, MB ; Frazao, O ;
PUBLISHED: 2016, SOURCE: PHOTONIC SENSORS, VOLUME: 6, ISSUE: 4, PAGES: 324-327
AUTHORS: Susana Silva ; Regina Magalhaes; Rosa A Ana Perez Herrera; Manuel Lopez Amo; Marques, MB ; Frazao, O ;
PUBLISHED: 2016, SOURCE: PHOTONIC SENSORS, VOLUME: 6, ISSUE: 4, PAGES: 324-327
13623
TITLE: Fiber Fabry-Perot Interferometer for Curvature Sensing
AUTHORS: Catarina S Monteiro ; Marta S Ferreira; Susana O Silva ; Jens Kobelke; Kay Schuster; Jrg Bierlich; Orlando Frazao ;
PUBLISHED: 2016, SOURCE: PHOTONIC SENSORS, VOLUME: 6, ISSUE: 4, PAGES: 339-344
AUTHORS: Catarina S Monteiro ; Marta S Ferreira; Susana O Silva ; Jens Kobelke; Kay Schuster; Jrg Bierlich; Orlando Frazao ;
PUBLISHED: 2016, SOURCE: PHOTONIC SENSORS, VOLUME: 6, ISSUE: 4, PAGES: 339-344
13624
TITLE: Fiber Microstructure Sensors Based on Focused Ion Beam Technology
AUTHORS: Ricardo Melo Andre ; Manuel J B Marques ; Orlando Frazao ;
PUBLISHED: 2016, SOURCE: 4th International Conference on Photonics, Optics and Laser Technology (PHOTOOPTICS) in PHOTOPTICS 2015, VOLUME: 181, PAGES: 3-15
AUTHORS: Ricardo Melo Andre ; Manuel J B Marques ; Orlando Frazao ;
PUBLISHED: 2016, SOURCE: 4th International Conference on Photonics, Optics and Laser Technology (PHOTOOPTICS) in PHOTOPTICS 2015, VOLUME: 181, PAGES: 3-15
13625
TITLE: Fiber probe microcavities for refractive index and temperature discrimination
AUTHORS: Ricardo M Andre ; Stephen C Warren Smith; Martin Becker; Jan Dellith; Manfred Rothhardt; Zibaii, MI; Latifi, H; Manuel B Marques ; Hartmut Bartelt; Orlando Frazao ;
PUBLISHED: 2016, SOURCE: 6th European Workshop on Optical Fibre Sensors in SIXTH EUROPEAN WORKSHOP ON OPTICAL FIBRE SENSORS, VOLUME: 9916
AUTHORS: Ricardo M Andre ; Stephen C Warren Smith; Martin Becker; Jan Dellith; Manfred Rothhardt; Zibaii, MI; Latifi, H; Manuel B Marques ; Hartmut Bartelt; Orlando Frazao ;
PUBLISHED: 2016, SOURCE: 6th European Workshop on Optical Fibre Sensors in SIXTH EUROPEAN WORKSHOP ON OPTICAL FIBRE SENSORS, VOLUME: 9916
13626
TITLE: Fiber ring resonator using a cavity ring-down interrogation technique for curvature sensing Full Text
AUTHORS: Magalhaes, R ; Silva, SO ; Frazao, O ;
PUBLISHED: 2016, SOURCE: MICROWAVE AND OPTICAL TECHNOLOGY LETTERS, VOLUME: 58, ISSUE: 2, PAGES: 267-270
AUTHORS: Magalhaes, R ; Silva, SO ; Frazao, O ;
PUBLISHED: 2016, SOURCE: MICROWAVE AND OPTICAL TECHNOLOGY LETTERS, VOLUME: 58, ISSUE: 2, PAGES: 267-270
13627
TITLE: Fibrinogen scaffolds with immunomodulatory properties promote in vivo bone regeneration Full Text
AUTHORS: Vasconcelos, DM ; Goncalves, RM ; Almeida, CR; Pereira, IO; Oliveira, MI; Neves, N ; Silva, AM; Ribeiro, AC; Cunha, C; Almeida, AR; Ribeiro, CC ; Gil, AM; Seebach, E; Kynast, KL; Richter, W; Lamghari, M; Santos, SG; Barbosa, MA;
PUBLISHED: 2016, SOURCE: BIOMATERIALS, VOLUME: 111, PAGES: 163-178
AUTHORS: Vasconcelos, DM ; Goncalves, RM ; Almeida, CR; Pereira, IO; Oliveira, MI; Neves, N ; Silva, AM; Ribeiro, AC; Cunha, C; Almeida, AR; Ribeiro, CC ; Gil, AM; Seebach, E; Kynast, KL; Richter, W; Lamghari, M; Santos, SG; Barbosa, MA;
PUBLISHED: 2016, SOURCE: BIOMATERIALS, VOLUME: 111, PAGES: 163-178
13628
TITLE: Fibroblast growth factor 23 is associated with left ventricular hypertrophy, not with uremic vasculopathy in peritoneal dialysis patients
AUTHORS: Sarmento Dias, M; Santos Araujo, C ; Rui Poínhos ; Oliveira, B ; Sousa, MJ; Silva, LS; Silva, IS ; Flora Correia ; Pestana, M ;
PUBLISHED: 2016, SOURCE: CLINICAL NEPHROLOGY, VOLUME: 85, ISSUE: 3, PAGES: 135-141
AUTHORS: Sarmento Dias, M; Santos Araujo, C ; Rui Poínhos ; Oliveira, B ; Sousa, MJ; Silva, LS; Silva, IS ; Flora Correia ; Pestana, M ;
PUBLISHED: 2016, SOURCE: CLINICAL NEPHROLOGY, VOLUME: 85, ISSUE: 3, PAGES: 135-141
13629
TITLE: Field trial of a multi-parameters' monitoring network using FBGs adapted directly in the conventional instruments of dams
AUTHORS: Joao B Rosolem; Claudio A Hortencio; Claudio Floridia ; Danilo C Dini; Rivael S Penze; Bruno N Aires; Fabio R Bassan; Rodrigo A Morbach; Eduardo F da Costa; Felipe C Salgado; Rodrigo Peres; João Paulo V Fracarolli; Marcus Vinícius F Santana; Augusto Cezar M Gregatti; Guilherme Muniz; Gerson L Amadeo; Gilson M Carvalho; Fernando Pertile; Luis Fernando P Melegari; Heloisa O Herreros; ...More
PUBLISHED: 2016, SOURCE: SPIE Proceedings - Fiber Optic Sensors and Applications XIII
AUTHORS: Joao B Rosolem; Claudio A Hortencio; Claudio Floridia ; Danilo C Dini; Rivael S Penze; Bruno N Aires; Fabio R Bassan; Rodrigo A Morbach; Eduardo F da Costa; Felipe C Salgado; Rodrigo Peres; João Paulo V Fracarolli; Marcus Vinícius F Santana; Augusto Cezar M Gregatti; Guilherme Muniz; Gerson L Amadeo; Gilson M Carvalho; Fernando Pertile; Luis Fernando P Melegari; Heloisa O Herreros; ...More
PUBLISHED: 2016, SOURCE: SPIE Proceedings - Fiber Optic Sensors and Applications XIII
13630
TITLE: First International Workshop on Recent Trends in News Information Retrieval (NewsIR'16)
AUTHORS: Miguel Martinez Alvarez; Udo Kruschwitz; Gabriella Kazai; Frank Hopfgartner; David P A Corney; Ricardo Campos ; Dyaa Albakour;
PUBLISHED: 2016, SOURCE: ECIR, VOLUME: 9626, PAGES: 878-882
AUTHORS: Miguel Martinez Alvarez; Udo Kruschwitz; Gabriella Kazai; Frank Hopfgartner; David P A Corney; Ricardo Campos ; Dyaa Albakour;
PUBLISHED: 2016, SOURCE: ECIR, VOLUME: 9626, PAGES: 878-882
13631
TITLE: First Principle Models Based Dataset Generation for Multi-Target Regression and Multi-Label Classification Evaluation
AUTHORS: Ricardo Teixeira Sousa; João Gama ;
PUBLISHED: 2016, SOURCE: STREAMEVOLV@ECML-PKDD, VOLUME: 2069
AUTHORS: Ricardo Teixeira Sousa; João Gama ;
PUBLISHED: 2016, SOURCE: STREAMEVOLV@ECML-PKDD, VOLUME: 2069
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP13632
TITLE: Fitting of Breast Data Using Free Form Deformation Technique
AUTHORS: Zolfagharnasab, H ; Cardoso, JS ; Oliveira, HP ;
PUBLISHED: 2016, SOURCE: 13th International Conference on Image Analysis and Recognition in Memory of Mohamed Kamel (ICIAR) in IMAGE ANALYSIS AND RECOGNITION (ICIAR 2016), VOLUME: 9730, PAGES: 608-615
AUTHORS: Zolfagharnasab, H ; Cardoso, JS ; Oliveira, HP ;
PUBLISHED: 2016, SOURCE: 13th International Conference on Image Analysis and Recognition in Memory of Mohamed Kamel (ICIAR) in IMAGE ANALYSIS AND RECOGNITION (ICIAR 2016), VOLUME: 9730, PAGES: 608-615
13633
TITLE: FlexHousing: Flexoffer concept applied to house energy automation
AUTHORS: Joss Santos; Michele Albano; Luis Lino Ferreira ;
PUBLISHED: 2016, SOURCE: INForum Simpósio de Informática
AUTHORS: Joss Santos; Michele Albano; Luis Lino Ferreira ;
PUBLISHED: 2016, SOURCE: INForum Simpósio de Informática
INDEXED IN: 
Handle
Handle13634
TITLE: Forest-based supply chain modelling using the SimPy simulation framework
AUTHORS: Pinho, TM ; Coelho, JP ; Boaventura Cunha, J ;
PUBLISHED: 2016, SOURCE: 7th IFAC Conference on Management and Control of Production and Logistics (MCPL 2016) in IFAC PAPERSONLINE, VOLUME: 49, ISSUE: 2, PAGES: 90-95
AUTHORS: Pinho, TM ; Coelho, JP ; Boaventura Cunha, J ;
PUBLISHED: 2016, SOURCE: 7th IFAC Conference on Management and Control of Production and Logistics (MCPL 2016) in IFAC PAPERSONLINE, VOLUME: 49, ISSUE: 2, PAGES: 90-95
13635
TITLE: Formal Verification of a Space System's User Interface With the IVY Workbench Full Text
AUTHORS: Campos, JC ; Sousa, M; Alves, MCB; Harrison, MD ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, ISSUE: 2, PAGES: 303-316
AUTHORS: Campos, JC ; Sousa, M; Alves, MCB; Harrison, MD ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, ISSUE: 2, PAGES: 303-316
13636
TITLE: Formal Verification With Frama-C: A Case Study in the Space Software Domain Full Text
AUTHORS: Silva, RABE; Arai, NN; Burgareli, LA; de Oliveira, JMP; Pinto, JS ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, ISSUE: 3, PAGES: 1163-1179
AUTHORS: Silva, RABE; Arai, NN; Burgareli, LA; de Oliveira, JMP; Pinto, JS ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, ISSUE: 3, PAGES: 1163-1179
13637
TITLE: Formalization of the Pumping Lemma for Context-Free Languages PDF Full Text
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 
arXiv
Scopus WOS DBLP arXiv13638
TITLE: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
AUTHORS: Lourenço, CB ; Frade, MJ ; Pinto, JS ;
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: Lourenço, CB ; Frade, MJ ; Pinto, JS ;
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
13639
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Barbosa, M ; Portela, B ; Scerri, G; Warinschi, B;
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: Barbosa, M ; Portela, B ; Scerri, G; Warinschi, B;
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
13640
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
