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: 18402
1699 Team MembersFilters -> Year: 2024
13061
TITLE: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560, PAGES: 146-161
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560, PAGES: 146-161
13062
TITLE: Relationship between achievement goals, anxiety and self-confidence, and subjective well-being in Brazilian athletes [Relação entre orientações motivacionais, ansiedade e autoconfiança, e bem-estar subjetivo em atletas brasileiros]
AUTHORS: Fernandes, MG; Vasconcelos Raposo, J ; Fernandes, HM ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 3, PAGES: 4-18
AUTHORS: Fernandes, MG; Vasconcelos Raposo, J ; Fernandes, HM ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 3, PAGES: 4-18
INDEXED IN: Scopus
13063
TITLE: Reliability equivalents of LV and MV distribution networks
AUTHORS: Irinel Sorin Ilie; Ignacio Hernando Gil ; Sasa Z Djokic;
PUBLISHED: 2012, SOURCE: 2012 IEEE International Energy Conference and Exhibition, ENERGYCON 2012, VOLUME: 142, PAGES: 343-348
AUTHORS: Irinel Sorin Ilie; Ignacio Hernando Gil ; Sasa Z Djokic;
PUBLISHED: 2012, SOURCE: 2012 IEEE International Energy Conference and Exhibition, ENERGYCON 2012, VOLUME: 142, PAGES: 343-348
13064
TITLE: Reliability performance of smart grids with demand-side management and distributed generation/storage technologies
AUTHORS: Ignacio Hernando Gil ; Irinel Sorin Ilie; Sasa Z Djokic;
PUBLISHED: 2012, SOURCE: IEEE PES Innovative Smart Grid Technologies Conference Europe, PAGES: 1-8
AUTHORS: Ignacio Hernando Gil ; Irinel Sorin Ilie; Sasa Z Djokic;
PUBLISHED: 2012, SOURCE: IEEE PES Innovative Smart Grid Technologies Conference Europe, PAGES: 1-8
13065
TITLE: Remote Optical Fiber Sensor Based on a LPG Sensor Head with Raman Amplification Optimized by Numerical Methods
AUTHORS: Thiago V N Coelho; Joel P Carvalho; Pontes, MJ; Santos, JL ; Guerreiro, A ;
PUBLISHED: 2012, SOURCE: Conference on Optical Sensing and Detection II in OPTICAL SENSING AND DETECTION II, VOLUME: 8439
AUTHORS: Thiago V N Coelho; Joel P Carvalho; Pontes, MJ; Santos, JL ; Guerreiro, A ;
PUBLISHED: 2012, SOURCE: Conference on Optical Sensing and Detection II in OPTICAL SENSING AND DETECTION II, VOLUME: 8439
13066
TITLE: RemoteLabs Platform Full Text
AUTHORS: Benedita Malheiro ; Nils Crabeel; Betina Campos Neves ;
PUBLISHED: 2012, SOURCE: International Journal of Online Engineering (iJOE) - Int. J. Onl. Eng., VOLUME: 8, ISSUE: S2
AUTHORS: Benedita Malheiro ; Nils Crabeel; Betina Campos Neves ;
PUBLISHED: 2012, SOURCE: International Journal of Online Engineering (iJOE) - Int. J. Onl. Eng., VOLUME: 8, ISSUE: S2
13067
TITLE: RemoteLabs Platform
AUTHORS: Nils Crabeel; Betina Campos Neves; Benedita Malheiro ;
PUBLISHED: 2012, SOURCE: iJOE, VOLUME: 8, ISSUE: S2, PAGES: 13-18
AUTHORS: Nils Crabeel; Betina Campos Neves; Benedita Malheiro ;
PUBLISHED: 2012, SOURCE: iJOE, VOLUME: 8, ISSUE: S2, PAGES: 13-18
INDEXED IN: DBLP
13068
TITLE: Remuneration and Tariffs in the Context of Virtual Power Players Full Text
AUTHORS: Catarina Ribeiro; Tiago Pinto ; Zita Vale ;
PUBLISHED: 2012, SOURCE: 23rd International Workshop on Database and Expert Systems Applications (DEXA) in 2012 23RD INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA), PAGES: 308-312
AUTHORS: Catarina Ribeiro; Tiago Pinto ; Zita Vale ;
PUBLISHED: 2012, SOURCE: 23rd International Workshop on Database and Expert Systems Applications (DEXA) in 2012 23RD INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA), PAGES: 308-312
13069
TITLE: Representation and management of spatiotemporal data in object-relational databases Full Text
AUTHORS: Matos, L; Moreira, J ; Carvalho, A ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 13-20
AUTHORS: Matos, L; Moreira, J ; Carvalho, A ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 13-20
13070
TITLE: Reserve Setting and Steady-State Security Assessment Using Wind Power Uncertainty Forecast: A Case Study Full Text
AUTHORS: Ricardo J Bessa ; Manuel A Matos ; Ivo C Costa; Leonardo Bremermann; Ivan Gustavo Franchin; Rui Pestana; Nelio Machado; Hans Peter Waldl; Christian Wichmann;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 3, ISSUE: 4, PAGES: 827-836
AUTHORS: Ricardo J Bessa ; Manuel A Matos ; Ivo C Costa; Leonardo Bremermann; Ivan Gustavo Franchin; Rui Pestana; Nelio Machado; Hans Peter Waldl; Christian Wichmann;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 3, ISSUE: 4, PAGES: 827-836
13071
TITLE: Resource Aware Routing and Intelligent Wavelength Assignment for Cooperative Clustered OBS Networks
AUTHORS: Ihsan Ul Haq; Henrique M Salgado ; Jorge C S Castro;
PUBLISHED: 2012, SOURCE: 9th International Conference on High Capacity Optical Networks and Emerging/Enabling Technologies (HONET) in 2012 9TH INTERNATIONAL CONFERENCE ON HIGH CAPACITY OPTICAL NETWORKS AND EMERGING/ENABLING TECHNOLOGIES (HONET), PAGES: 207-211
AUTHORS: Ihsan Ul Haq; Henrique M Salgado ; Jorge C S Castro;
PUBLISHED: 2012, SOURCE: 9th International Conference on High Capacity Optical Networks and Emerging/Enabling Technologies (HONET) in 2012 9TH INTERNATIONAL CONFERENCE ON HIGH CAPACITY OPTICAL NETWORKS AND EMERGING/ENABLING TECHNOLOGIES (HONET), PAGES: 207-211
13072
TITLE: Resource-Efficient Designs using an Aspect-Oriented Approach
AUTHORS: Jose G F Coutinho; Sujit Bhattacharya; Wayne Luk; George A Constantinides; Joao M P Cardoso ; Tiago Carvalho ; Pedro C Diniz ; Zlatko Petrov;
PUBLISHED: 2012, SOURCE: 15th IEEE International Conference on Computational Science and Engineering (CSE) / 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) in 15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012), PAGES: 399-406
AUTHORS: Jose G F Coutinho; Sujit Bhattacharya; Wayne Luk; George A Constantinides; Joao M P Cardoso ; Tiago Carvalho ; Pedro C Diniz ; Zlatko Petrov;
PUBLISHED: 2012, SOURCE: 15th IEEE International Conference on Computational Science and Engineering (CSE) / 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) in 15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012), PAGES: 399-406
13073
TITLE: Restructuring in privatised firms: A statis approach
AUTHORS: Figueiredo, A ; Figueiredo, F ; Monteiro, NP ; Straume, OR ;
PUBLISHED: 2012, SOURCE: Structural Change and Economic Dynamics, VOLUME: 23, ISSUE: 1, PAGES: 108-116
AUTHORS: Figueiredo, A ; Figueiredo, F ; Monteiro, NP ; Straume, OR ;
PUBLISHED: 2012, SOURCE: Structural Change and Economic Dynamics, VOLUME: 23, ISSUE: 1, PAGES: 108-116
13074
TITLE: RNA secondary structure mediates alternative 3 ' ss selection in Saccharomyces cerevisiae
AUTHORS: Mireya Plass; Carles Codony Servat; Pedro G Gabriel Ferreira ; Josep Vilardell; Eduardo Eyras;
PUBLISHED: 2012, SOURCE: RNA-A PUBLICATION OF THE RNA SOCIETY, VOLUME: 18, ISSUE: 6, PAGES: 1103-1115
AUTHORS: Mireya Plass; Carles Codony Servat; Pedro G Gabriel Ferreira ; Josep Vilardell; Eduardo Eyras;
PUBLISHED: 2012, SOURCE: RNA-A PUBLICATION OF THE RNA SOCIETY, VOLUME: 18, ISSUE: 6, PAGES: 1103-1115
13075
TITLE: Robust DC-Link Control in EVs With Multiple Energy Storage Systems
AUTHORS: de Castro, R; Araujo, RE ; Trovao, JPF ; Pereirinha, PG ; Melo, P; Freitas, D ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOLUME: 61, ISSUE: 8, PAGES: 3553-3565
AUTHORS: de Castro, R; Araujo, RE ; Trovao, JPF ; Pereirinha, PG ; Melo, P; Freitas, D ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOLUME: 61, ISSUE: 8, PAGES: 3553-3565
13076
TITLE: Roles as Modular Units of Composition
AUTHORS: Fernando Sérgio Barbosa; Ademar Aguiar ;
PUBLISHED: 2012, SOURCE: 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012 in ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, 29-30 June, 2012., PAGES: 13-22
AUTHORS: Fernando Sérgio Barbosa; Ademar Aguiar ;
PUBLISHED: 2012, SOURCE: 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012 in ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, 29-30 June, 2012., PAGES: 13-22
INDEXED IN: Scopus DBLP Handle
13077
TITLE: Run-time generation of partial FPGA configurations Full Text
AUTHORS: Miguel L Silva; Joao Canas Ferreira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 58, ISSUE: 1, PAGES: 24-37
AUTHORS: Miguel L Silva; Joao Canas Ferreira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 58, ISSUE: 1, PAGES: 24-37
13078
TITLE: Run-time generation of partial FPGA configurations for subword operations Full Text
AUTHORS: Miguel L Silva; Joao Canas Ferreira ;
PUBLISHED: 2012, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 36, ISSUE: 5, PAGES: 365-374
AUTHORS: Miguel L Silva; Joao Canas Ferreira ;
PUBLISHED: 2012, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 36, ISSUE: 5, PAGES: 365-374
13079
TITLE: Runtime programming through model-preserving, scalable runtime patches
AUTHORS: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS, PAGES: 290-294
AUTHORS: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS, PAGES: 290-294
13080
TITLE: Saccharomyces cerevisiae Oxidative Response Evaluation by Cyclic Voltammetry and Gas Chromatography-Mass Spectrometry Full Text
AUTHORS: Castro, CC; Gunning, C; Oliveira, CM; Couto, JA ; Teixeira, JA ; Martins, RC ; Ferreira, ACS ;
PUBLISHED: 2012, SOURCE: JOURNAL OF AGRICULTURAL AND FOOD CHEMISTRY, VOLUME: 60, ISSUE: 29, PAGES: 7252-7261
AUTHORS: Castro, CC; Gunning, C; Oliveira, CM; Couto, JA ; Teixeira, JA ; Martins, RC ; Ferreira, ACS ;
PUBLISHED: 2012, SOURCE: JOURNAL OF AGRICULTURAL AND FOOD CHEMISTRY, VOLUME: 60, ISSUE: 29, PAGES: 7252-7261