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: 25008
1714 Team MembersFilters -> Year: 2026
16701
TITLE: A new MILP-based approach for unit commitment in power production planning Full Text
AUTHORS: Viana, A ; Pedroso, JP ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 44, ISSUE: 1, PAGES: 997-1005
AUTHORS: Viana, A ; Pedroso, JP ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 44, ISSUE: 1, PAGES: 997-1005
16702
TITLE: A Nonlinear Continuous-Discrete Filter with Model Parameter Uncertainty and Application to Anesthesia
AUTHORS: Joao M Lemos; Conceicao Rocha ; Teresa F Mendonca ; Maria Eduarda Silva ;
PUBLISHED: 2013, SOURCE: 52nd IEEE Annual Conference on Decision and Control (CDC) in 2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), PAGES: 2072-2077
AUTHORS: Joao M Lemos; Conceicao Rocha ; Teresa F Mendonca ; Maria Eduarda Silva ;
PUBLISHED: 2013, SOURCE: 52nd IEEE Annual Conference on Decision and Control (CDC) in 2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), PAGES: 2072-2077
16703
TITLE: A novel fuzzy-based expert system for RET selection Full Text
AUTHORS: Alexandre Barin; Luciane Neves Canha; Alzenira da Rosa Abaide; Karine Faverzani Magnago; Manuel Antonio Matos ; Ricardo Barreira Orling;
PUBLISHED: 2013, SOURCE: JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, VOLUME: 25, ISSUE: 2, PAGES: 325-333
AUTHORS: Alexandre Barin; Luciane Neves Canha; Alzenira da Rosa Abaide; Karine Faverzani Magnago; Manuel Antonio Matos ; Ricardo Barreira Orling;
PUBLISHED: 2013, SOURCE: JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, VOLUME: 25, ISSUE: 2, PAGES: 325-333
16704
TITLE: A participatory approach to design a toolbox to support forest management planning at regional level Full Text
AUTHORS: Marques, AF ; Borges, JG ; Garcia Gonzalo, J ; Lucas, B; Melo, I;
PUBLISHED: 2013, SOURCE: FOREST SYSTEMS, VOLUME: 22, ISSUE: 2, PAGES: 340-358
AUTHORS: Marques, AF ; Borges, JG ; Garcia Gonzalo, J ; Lucas, B; Melo, I;
PUBLISHED: 2013, SOURCE: FOREST SYSTEMS, VOLUME: 22, ISSUE: 2, PAGES: 340-358
16705
TITLE: A Pattern-Based Approach for GUI Modeling and Testing
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ; Atif Memon;
PUBLISHED: 2013, SOURCE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), PAGES: 288-297
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ; Atif Memon;
PUBLISHED: 2013, SOURCE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), PAGES: 288-297
16706
TITLE: A PDF based digital signed document format for interoperable institutional structured data integrity
AUTHORS: Luís A. Maia; Luís M. Valente; Manuel E. Correia ; Lígia M. Ribeiro; Luís Antunes ;
PUBLISHED: 2013, SOURCE: EUNIS 2013 Congress Proceedings: 2013: ICT Role for Next Generation Universities, VOLUME: 1, ISSUE: 1
AUTHORS: Luís A. Maia; Luís M. Valente; Manuel E. Correia ; Lígia M. Ribeiro; Luís Antunes ;
PUBLISHED: 2013, SOURCE: EUNIS 2013 Congress Proceedings: 2013: ICT Role for Next Generation Universities, VOLUME: 1, ISSUE: 1
16707
TITLE: A pilot project on non-conventional learning
AUTHORS: Fernandes, S; Cerone, A; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 18th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2013 in Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, PAGES: 346
AUTHORS: Fernandes, S; Cerone, A; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 18th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2013 in Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, PAGES: 346
16708
TITLE: A Poker Game Description Language
AUTHORS: Joao Castro Correia; Luis Filipe Teofilo ; Henrique Lopes Cardoso ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: 12th IEEE/WIC/ACM International Joint Conference on Intelligent Agent Technology (IAT) in 2013 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2013), VOLUME: 2, PAGES: 353-360
AUTHORS: Joao Castro Correia; Luis Filipe Teofilo ; Henrique Lopes Cardoso ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: 12th IEEE/WIC/ACM International Joint Conference on Intelligent Agent Technology (IAT) in 2013 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2013), VOLUME: 2, PAGES: 353-360
16709
TITLE: A Portable and Efficient Implementation of Coinductive Logic Programming
AUTHORS: Paulo Moura ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752, PAGES: 77-92
AUTHORS: Paulo Moura ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752, PAGES: 77-92
16710
TITLE: A Potpourri of authentication mechanisms The mobile device way
AUTHORS: Rui A Martins; Alexandre B Augusto ; Manuel E Correia ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
AUTHORS: Rui A Martins; Alexandre B Augusto ; Manuel E Correia ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: 
Scopus 
WOS
Scopus WOS16711
TITLE: A preliminary investigation into predictive models for adverse drug events
AUTHORS: Davis, J; Costa, VS ; Peissig, P; Caldwell, M; Page, D;
PUBLISHED: 2013, SOURCE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-09, PAGES: 8-13
AUTHORS: Davis, J; Costa, VS ; Peissig, P; Caldwell, M; Page, D;
PUBLISHED: 2013, SOURCE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-09, PAGES: 8-13
INDEXED IN: Scopus
Scopus16712
TITLE: A projected gradient dynamical system modelling the dynamics of bargaining Full Text
AUTHORS: Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2013, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 19, ISSUE: 1, PAGES: 59-95
AUTHORS: Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2013, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 19, ISSUE: 1, PAGES: 59-95
16713
TITLE: A Proposal for a Mobile Ticketing Solution for Metropolitan Area of Oporto Public Transport
AUTHORS: Marta Campos Ferreira ; Maria Henriqueta Novoa ; Teresa Galvao Dias ;
PUBLISHED: 2013, SOURCE: 4th International Conferences on Exploring Service Science in EXPLORING SERVICES SCIENCE, IESS 2013, VOLUME: 143, PAGES: 263-278
AUTHORS: Marta Campos Ferreira ; Maria Henriqueta Novoa ; Teresa Galvao Dias ;
PUBLISHED: 2013, SOURCE: 4th International Conferences on Exploring Service Science in EXPLORING SERVICES SCIENCE, IESS 2013, VOLUME: 143, PAGES: 263-278
16714
TITLE: A PSO multi-robot exploration approach over unreliable MANETs Full Text
AUTHORS: Micael S Couceiro ; Rui P Rocha; Nuno M F Ferreira ;
PUBLISHED: 2013, SOURCE: ADVANCED ROBOTICS, VOLUME: 27, ISSUE: 16, PAGES: 1221-1234
AUTHORS: Micael S Couceiro ; Rui P Rocha; Nuno M F Ferreira ;
PUBLISHED: 2013, SOURCE: ADVANCED ROBOTICS, VOLUME: 27, ISSUE: 16, PAGES: 1221-1234
16715
TITLE: A remote long-period grating sensor with electrical interrogation assisted by Raman amplification Full Text
AUTHORS: Thiago V N Coelho; Pontes, MJ; Joel P Carvalho; Santos, JL ; Guerreiro, A ;
PUBLISHED: 2013, SOURCE: OPTICS AND LASER TECHNOLOGY, VOLUME: 47, PAGES: 107-113
AUTHORS: Thiago V N Coelho; Pontes, MJ; Joel P Carvalho; Santos, JL ; Guerreiro, A ;
PUBLISHED: 2013, SOURCE: OPTICS AND LASER TECHNOLOGY, VOLUME: 47, PAGES: 107-113
16716
TITLE: A Review of Refractometric Sensors Based on Long Period Fibre Gratings Full Text
AUTHORS: Rego, G ;
PUBLISHED: 2013, SOURCE: SCIENTIFIC WORLD JOURNAL, VOLUME: 2013, PAGES: 1-14
AUTHORS: Rego, G ;
PUBLISHED: 2013, SOURCE: SCIENTIFIC WORLD JOURNAL, VOLUME: 2013, PAGES: 1-14
16717
TITLE: A Secure and Dynamic Mobile Identity Wallet Authorization Architecture Based on a XMPP Messaging Infrastructure
AUTHORS: Augusto, AB ; Correia, ME ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 21-37
AUTHORS: Augusto, AB ; Correia, ME ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 21-37
16718
TITLE: A secure RBAC mobile agent access control model for Healthcare Institutions
AUTHORS: Catia Santos Pereira ; Alexandre B Augusto ; Ricardo Cruz Correia ; Manuel E Correia ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 349-354
AUTHORS: Catia Santos Pereira ; Alexandre B Augusto ; Ricardo Cruz Correia ; Manuel E Correia ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 349-354
16719
TITLE: A secure RBAC mobile agent access control model for healthcare institutions
AUTHORS: Santos Pereira, C; Augusto, AB; Cruz Correia, R; Correia, ME ;
PUBLISHED: 2013, SOURCE: Proceedings - IEEE Symposium on Computer-Based Medical Systems, PAGES: 349-354
AUTHORS: Santos Pereira, C; Augusto, AB; Cruz Correia, R; Correia, ME ;
PUBLISHED: 2013, SOURCE: Proceedings - IEEE Symposium on Computer-Based Medical Systems, PAGES: 349-354
INDEXED IN: Scopus
Scopus16720
TITLE: A secure RBAC mobile agent model for healthcare institutions - Preliminary study
AUTHORS: Santos Pereira, C ; Augusto, AB; Cruz Correia, R ; Correia, ME ;
PUBLISHED: 2013, SOURCE: 4th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8060 LNCS, PAGES: 108-111
AUTHORS: Santos Pereira, C ; Augusto, AB; Cruz Correia, R ; Correia, ME ;
PUBLISHED: 2013, SOURCE: 4th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8060 LNCS, PAGES: 108-111
