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: 18696
1699 Team MembersFilters -> Year: 2025
13301
TITLE: Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012
AUTHORS: Umut A Acar; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: DAMP
AUTHORS: Umut A Acar; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: DAMP
INDEXED IN: 
DBLP
DBLP13302
TITLE: Productivity change and innovation in Norwegian electricity distribution companies
AUTHORS: Migueis, VL ; Camanho, AS ; Bjorndal, E; Bjorndal, M;
PUBLISHED: 2012, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 63, ISSUE: 7, PAGES: 982-990
AUTHORS: Migueis, VL ; Camanho, AS ; Bjorndal, E; Bjorndal, M;
PUBLISHED: 2012, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 63, ISSUE: 7, PAGES: 982-990
13303
TITLE: Prognostic of feature interactions between independently developed pervasive systems
AUTHORS: Christophe Soares ; Moreira, RS ; Morla, R ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2012, SOURCE: 2012 IEEE International Conference on Prognostics and Health Management: Enhancing Safety, Efficiency, Availability, and Effectiveness of Systems Through PHM Technology and Application, PHM 2012 in PHM 2012 - 2012 IEEE Int. Conf.on Prognostics and Health Management: Enhancing Safety, Efficiency, Availability, and Effectiveness of Systems Through PHM Technology and Application, Conference Program
AUTHORS: Christophe Soares ; Moreira, RS ; Morla, R ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2012, SOURCE: 2012 IEEE International Conference on Prognostics and Health Management: Enhancing Safety, Efficiency, Availability, and Effectiveness of Systems Through PHM Technology and Application, PHM 2012 in PHM 2012 - 2012 IEEE Int. Conf.on Prognostics and Health Management: Enhancing Safety, Efficiency, Availability, and Effectiveness of Systems Through PHM Technology and Application, Conference Program
13304
TITLE: Program and Aspect Metrics for MATLAB
AUTHORS: Pedro Martins ; Paulo Lopes; Joao P Fernandes ; Joao Saraiva ; Joao M P Cardoso ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, ISSUE: PART 4, PAGES: 217-233
AUTHORS: Pedro Martins ; Paulo Lopes; Joao P Fernandes ; Joao Saraiva ; Joao M P Cardoso ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, ISSUE: PART 4, PAGES: 217-233
13305
TITLE: Programming exercises evaluation systems: an interoperability survey
AUTHORS: Ricardo Queirós; José P Leal ;
PUBLISHED: 2012, SOURCE: Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1
AUTHORS: Ricardo Queirós; José P Leal ;
PUBLISHED: 2012, SOURCE: Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1
INDEXED IN: 
Handle
Handle13306
TITLE: Programming exercises evaluation systems: An interoperability survey
AUTHORS: Queiros, R ; Leal, JP ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1, PAGES: 83-90
AUTHORS: Queiros, R ; Leal, JP ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1, PAGES: 83-90
INDEXED IN: 
Scopus DBLP
Scopus DBLP13307
TITLE: Programming from Galois connections Full Text
AUTHORS: Shin Cheng Mu; Jose Nuno Oliveira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, ISSUE: 6, PAGES: 680-704
AUTHORS: Shin Cheng Mu; Jose Nuno Oliveira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, ISSUE: 6, PAGES: 680-704
13308
TITLE: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
AUTHORS: Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2012, SOURCE: SBLP, VOLUME: 7554
AUTHORS: Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2012, SOURCE: SBLP, VOLUME: 7554
13309
TITLE: Programming Strategies for Runtime Adaptability
AUTHORS: Joao M P Cardoso ;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) in 2012 7TH INTERNATIONAL WORKSHOP ON RECONFIGURABLE AND COMMUNICATION-CENTRIC SYSTEMS-ON-CHIP (RECOSOC), PAGES: 1-8
AUTHORS: Joao M P Cardoso ;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) in 2012 7TH INTERNATIONAL WORKSHOP ON RECONFIGURABLE AND COMMUNICATION-CENTRIC SYSTEMS-ON-CHIP (RECOSOC), PAGES: 1-8
13310
TITLE: Proposal of a reference model for fashionable and healthy goods production in SME networks
AUTHORS: Franchini, V; Bastos, J ; Azevedo, A ; Fornasiero, R;
PUBLISHED: 2012, SOURCE: 2012 18th International Conference on Engineering, Technology and Innovation, ICE 2012 in 2012 18th International Conference on Engineering, Technology and Innovation, ICE 2012 - Conference Proceedings
AUTHORS: Franchini, V; Bastos, J ; Azevedo, A ; Fornasiero, R;
PUBLISHED: 2012, SOURCE: 2012 18th International Conference on Engineering, Technology and Innovation, ICE 2012 in 2012 18th International Conference on Engineering, Technology and Innovation, ICE 2012 - Conference Proceedings
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef13311
TITLE: Proposal of an Information System for a Semi-automatic Virtual Reconstruction of Archeological Sites
AUTHORS: Telmo Adao ; Luis Magalhaes ; Maximino Bessa ; Joao Barreira ; Miguel Melo ; Martinho Goncalves; Jose Sousa; Emanuel Peres ;
PUBLISHED: 2012, SOURCE: 4th Conference on ENTERprise Information Systems (CENTERIS) - Aligning Technology, Organizations and People / International Conference on Health and Social Care Information Systems and Technologies (HCIST) in 4TH CONFERENCE OF ENTERPRISE INFORMATION SYSTEMS - ALIGNING TECHNOLOGY, ORGANIZATIONS AND PEOPLE (CENTERIS 2012), VOLUME: 5, PAGES: 566-574
AUTHORS: Telmo Adao ; Luis Magalhaes ; Maximino Bessa ; Joao Barreira ; Miguel Melo ; Martinho Goncalves; Jose Sousa; Emanuel Peres ;
PUBLISHED: 2012, SOURCE: 4th Conference on ENTERprise Information Systems (CENTERIS) - Aligning Technology, Organizations and People / International Conference on Health and Social Care Information Systems and Technologies (HCIST) in 4TH CONFERENCE OF ENTERPRISE INFORMATION SYSTEMS - ALIGNING TECHNOLOGY, ORGANIZATIONS AND PEOPLE (CENTERIS 2012), VOLUME: 5, PAGES: 566-574
13312
TITLE: Prototype Multiplex Communication System for Remote Control of Machine Tools
AUTHORS: Vaibhav Shah; Goran D Putnik ; Helio Castro ;
PUBLISHED: 2012, SOURCE: 1st International Conference on Virtual and Networked Organizations Emergent Technologies and Tools (ViNOrg 2011) in VIRTUAL AND NETWORKED ORGANIZATIONS, EMERGENT TECHNOLOGIES, AND TOOLS, VOLUME: 248, PAGES: 241-252
AUTHORS: Vaibhav Shah; Goran D Putnik ; Helio Castro ;
PUBLISHED: 2012, SOURCE: 1st International Conference on Virtual and Networked Organizations Emergent Technologies and Tools (ViNOrg 2011) in VIRTUAL AND NETWORKED ORGANIZATIONS, EMERGENT TECHNOLOGIES, AND TOOLS, VOLUME: 248, PAGES: 241-252
13313
TITLE: Providing accessibility to blind people using GIS Full Text
AUTHORS: Fernandes, H ; Conceicao, N; Paredes, H; Pereira, A ; Araujo, P; Barroso, J ;
PUBLISHED: 2012, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 11, ISSUE: 4, PAGES: 399-407
AUTHORS: Fernandes, H ; Conceicao, N; Paredes, H; Pereira, A ; Araujo, P; Barroso, J ;
PUBLISHED: 2012, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 11, ISSUE: 4, PAGES: 399-407
13314
TITLE: Provision of Inertial and Primary Frequency Control Services Using Offshore Multiterminal HVDC Networks Full Text
AUTHORS: Silva, B ; Moreira, CL ; Seca, L ; Phulpin, Y; Pecas Lopes, JAP ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 3, ISSUE: 4, PAGES: 800-808
AUTHORS: Silva, B ; Moreira, CL ; Seca, L ; Phulpin, Y; Pecas Lopes, JAP ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 3, ISSUE: 4, PAGES: 800-808
13315
TITLE: Pseudo Fuzzy colour calibration for sport video segmentation
AUTHORS: Catarina B Santiago; Sousa, A. ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 3rd ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING: VIPIMAGE 2011, PAGES: 361-366
AUTHORS: Catarina B Santiago; Sousa, A. ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 3rd ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING: VIPIMAGE 2011, PAGES: 361-366
INDEXED IN: Scopus 
WOS
Scopus WOS13316
TITLE: PSP PAIR: Automated Personal Software Process Performance Analysis and Improvement Recommendation
AUTHORS: Cesar Barbosa Duarte; Joao Pascoal Faria ; Mushtaq Raza ;
PUBLISHED: 2012, SOURCE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PAGES: 131-136
AUTHORS: Cesar Barbosa Duarte; Joao Pascoal Faria ; Mushtaq Raza ;
PUBLISHED: 2012, SOURCE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PAGES: 131-136
13317
TITLE: Psychometric Properties of the CSAI-2 in Brazilian Athletes
AUTHORS: Marcos Gimenes Fernandes; Jose Vasconcelos Raposo ; Fernandes, HM ;
PUBLISHED: 2012, SOURCE: PSICOLOGIA-REFLEXAO E CRITICA, VOLUME: 25, ISSUE: 4, PAGES: 679-687
AUTHORS: Marcos Gimenes Fernandes; Jose Vasconcelos Raposo ; Fernandes, HM ;
PUBLISHED: 2012, SOURCE: PSICOLOGIA-REFLEXAO E CRITICA, VOLUME: 25, ISSUE: 4, PAGES: 679-687
INDEXED IN: Scopus WOS
Scopus WOS13318
TITLE: QUADRUPED ROBOT OPTIMIZATION USING A GENETIC ALGORITHM
AUTHORS: Manuel F Silva ;
PUBLISHED: 2012, SOURCE: 14th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines (CLAWAR 2011) in FIELD ROBOTICS, PAGES: 782-789
AUTHORS: Manuel F Silva ;
PUBLISHED: 2012, SOURCE: 14th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines (CLAWAR 2011) in FIELD ROBOTICS, PAGES: 782-789
13319
TITLE: Quantile Analysis of Relative Sea-Level at the Hornbaek and Gedser Tide Gauges
AUTHORS: Barbosa, SM ; Madsen, KS;
PUBLISHED: 2012, SOURCE: Scientific Assembly of the International-Association-of-Geodesy (IAG) - Geodesy for Planet Earth in GEODESY FOR PLANET EARTH: PROCEEDINGS OF THE 2009 IAG SYMPOSIUM, VOLUME: 136, PAGES: 567-571
AUTHORS: Barbosa, SM ; Madsen, KS;
PUBLISHED: 2012, SOURCE: Scientific Assembly of the International-Association-of-Geodesy (IAG) - Geodesy for Planet Earth in GEODESY FOR PLANET EARTH: PROCEEDINGS OF THE 2009 IAG SYMPOSIUM, VOLUME: 136, PAGES: 567-571
13320
TITLE: Quantitative Approaches on Staff Scheduling and Rostering in Hospitality Management: An Overview Full Text
AUTHORS: Marta Rocha; Jose F Oliveira ; Maria Antonia Carravilla ;
PUBLISHED: 2012, SOURCE: American Journal of Operations Research, VOLUME: 02, ISSUE: 01, PAGES: 137-145
AUTHORS: Marta Rocha; Jose F Oliveira ; Maria Antonia Carravilla ;
PUBLISHED: 2012, SOURCE: American Journal of Operations Research, VOLUME: 02, ISSUE: 01, PAGES: 137-145
