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: 18638
1699 Team MembersFilters -> Year: 2025
16801
TITLE: A model-to-implementation mapping tool for automated model-based GUI testing
AUTHORS: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLISHED: 2005, SOURCE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785, PAGES: 450-464
AUTHORS: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLISHED: 2005, SOURCE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785, PAGES: 450-464
16802
TITLE: A Modular Approach to Real-Time Cork Classification Using Image Processing
AUTHORS: Jose Luis Lima ; Paulo Gomes Costa ;
PUBLISHED: 2005, SOURCE: 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2 2 OF 2 VOL, PAGES: 361-368
AUTHORS: Jose Luis Lima ; Paulo Gomes Costa ;
PUBLISHED: 2005, SOURCE: 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2 2 OF 2 VOL, PAGES: 361-368
INDEXED IN: 
Scopus 
WOS
Scopus WOS16803
TITLE: A movement tracking management model with Kalman filtering, global optimization techniques and Mahalanobis distance
AUTHORS: Pinho, RR; João Manuel R. S. Tavares ; Correia, MV ;
PUBLISHED: 2005, SOURCE: International Conference on Computational Methods in Sciences and Engineering (ICCMSE 2005) in Advances in Computational Methods in Sciences and Engineering 2005, Vols 4 A & 4 B, VOLUME: 4A-4B, PAGES: 463-466
AUTHORS: Pinho, RR; João Manuel R. S. Tavares ; Correia, MV ;
PUBLISHED: 2005, SOURCE: International Conference on Computational Methods in Sciences and Engineering (ICCMSE 2005) in Advances in Computational Methods in Sciences and Engineering 2005, Vols 4 A & 4 B, VOLUME: 4A-4B, PAGES: 463-466
INDEXED IN: WOS 
Handle
WOS Handle16804
TITLE: A multi-agent simulator for testing agent market strategies
AUTHORS: Viamonte, MJ ; Ramos, C ; Rodrigues, F ; Cardoso, JC;
PUBLISHED: 2005, SOURCE: 19th European Conference on Modelling and Simulation (ECMS 2005) in SIMULATION IN WIDER EUROPE, PAGES: 509-514
AUTHORS: Viamonte, MJ ; Ramos, C ; Rodrigues, F ; Cardoso, JC;
PUBLISHED: 2005, SOURCE: 19th European Conference on Modelling and Simulation (ECMS 2005) in SIMULATION IN WIDER EUROPE, PAGES: 509-514
INDEXED IN: Scopus WOS
Scopus WOS16805
TITLE: A multi-criteria Decision Support System for the formation of collaborative networks of enterprises
AUTHORS: Crispim, JA ; Sousa, JP ;
PUBLISHED: 2005, SOURCE: 6th Working Conference on Virtual Enterprises in Collaborative Networks and Their Breeding Environments, VOLUME: 186, PAGES: 143-154
AUTHORS: Crispim, JA ; Sousa, JP ;
PUBLISHED: 2005, SOURCE: 6th Working Conference on Virtual Enterprises in Collaborative Networks and Their Breeding Environments, VOLUME: 186, PAGES: 143-154
INDEXED IN: Scopus WOS
Scopus WOS16806
TITLE: A multiyear dynamic approach for transmission expansion planning and long-term marginal costs computation
AUTHORS: Braga, ASD; Saraiva, JT ;
PUBLISHED: 2005, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 20, ISSUE: 3, PAGES: 1631-1639
AUTHORS: Braga, ASD; Saraiva, JT ;
PUBLISHED: 2005, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 20, ISSUE: 3, PAGES: 1631-1639
16807
TITLE: A neural network control strategy for improved energy capture on a variable-speed wind turbine
AUTHORS: Silva, AF; Castro, FA; Fidalgo, JN ;
PUBLISHED: 2005, SOURCE: WSEAS Transactions on Information Science and Applications, VOLUME: 2, ISSUE: 5, PAGES: 450-454
AUTHORS: Silva, AF; Castro, FA; Fidalgo, JN ;
PUBLISHED: 2005, SOURCE: WSEAS Transactions on Information Science and Applications, VOLUME: 2, ISSUE: 5, PAGES: 450-454
INDEXED IN: Scopus
Scopus16808
TITLE: A neural power system stabilizer trained using local linear controllers in a gain-scheduling scheme Full Text
AUTHORS: Barreiros, JAL; Ferreira, AMD; Tavares Da Costa, C; Barra, W; Lopes, JAP ;
PUBLISHED: 2005, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 27, ISSUE: 7, PAGES: 473-479
AUTHORS: Barreiros, JAL; Ferreira, AMD; Tavares Da Costa, C; Barra, W; Lopes, JAP ;
PUBLISHED: 2005, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 27, ISSUE: 7, PAGES: 473-479
16809
TITLE: A new broadcast quality low bit rate audio coding scheme utilizing novel bandwidth extension tools
AUTHORS: Sinha, D; Ferreira, AJS ;
PUBLISHED: 2005, SOURCE: 119th Convention Fall Preprints 2005 in Audio Engineering Society - 119th Convention Fall Preprints 2005, VOLUME: 1, PAGES: 100-112
AUTHORS: Sinha, D; Ferreira, AJS ;
PUBLISHED: 2005, SOURCE: 119th Convention Fall Preprints 2005 in Audio Engineering Society - 119th Convention Fall Preprints 2005, VOLUME: 1, PAGES: 100-112
INDEXED IN: Scopus
Scopus16810
TITLE: A new class of smooth power complementary windows and their application to audio signal processing
AUTHORS: Sinha, D; Ferreira, AJS ;
PUBLISHED: 2005, SOURCE: 119th Convention Fall Preprints 2005 in Audio Engineering Society - 119th Convention Fall Preprints 2005, VOLUME: 3, PAGES: 829-838
AUTHORS: Sinha, D; Ferreira, AJS ;
PUBLISHED: 2005, SOURCE: 119th Convention Fall Preprints 2005 in Audio Engineering Society - 119th Convention Fall Preprints 2005, VOLUME: 3, PAGES: 829-838
INDEXED IN: Scopus
Scopus16811
TITLE: A new input-output control order release mechanism: How workload control improves manufacturing operations in a job shop
AUTHORS: Moreira, MR ; Alves, R;
PUBLISHED: 2005, SOURCE: European Simulation and Modelling Conference (ESM 2005) in Modelling and Simulation 2005, PAGES: 101-107
AUTHORS: Moreira, MR ; Alves, R;
PUBLISHED: 2005, SOURCE: European Simulation and Modelling Conference (ESM 2005) in Modelling and Simulation 2005, PAGES: 101-107
INDEXED IN: Scopus WOS
Scopus WOS16812
TITLE: A new low-delay codec for two-way high-quality audio communication
AUTHORS: Ferreira, AJS ; Sinlia, D;
PUBLISHED: 2005, SOURCE: 119th Convention Fall Preprints 2005 in Audio Engineering Society - 119th Convention Fall Preprints 2005, VOLUME: 2, PAGES: 721-729
AUTHORS: Ferreira, AJS ; Sinlia, D;
PUBLISHED: 2005, SOURCE: 119th Convention Fall Preprints 2005 in Audio Engineering Society - 119th Convention Fall Preprints 2005, VOLUME: 2, PAGES: 721-729
INDEXED IN: Scopus
Scopus16813
TITLE: A new ROV design: Issues on low drag and mechanical symmetry
AUTHORS: Rui Gomes ; Sousa, A; Fraga, SL; Martins, A ; Sousa, JB ; Pereira, FL ;
PUBLISHED: 2005, SOURCE: Oceans 2005 Europe International Conference in Oceans 2005 - Europe, Vols 1 and 2, VOLUME: 2, PAGES: 957-962
AUTHORS: Rui Gomes ; Sousa, A; Fraga, SL; Martins, A ; Sousa, JB ; Pereira, FL ;
PUBLISHED: 2005, SOURCE: Oceans 2005 Europe International Conference in Oceans 2005 - Europe, Vols 1 and 2, VOLUME: 2, PAGES: 957-962
16814
TITLE: A perspective on component refinement Full Text
AUTHORS: Barbosa, LS ;
PUBLISHED: 2005, SOURCE: 3rd International Symposium on Formal Methods for Components and Objects in FORMAL METHODS FOR COMPONENTS AND OBJECTS, VOLUME: 3657, PAGES: 23-48
AUTHORS: Barbosa, LS ;
PUBLISHED: 2005, SOURCE: 3rd International Symposium on Formal Methods for Components and Objects in FORMAL METHODS FOR COMPONENTS AND OBJECTS, VOLUME: 3657, PAGES: 23-48
16815
TITLE: A processor for testing mixed-signal cores in System-on-Chip
AUTHORS: Duarte, F; da Silva, JM ; Alves, JC ; Pinho, GA; Matos, JS ;
PUBLISHED: 2005, SOURCE: 8th Euromicro Conference on Digital System Design in DSD 2005: 8th Euromicro Conference on Digital System Design, Proceedings, VOLUME: 2005, PAGES: 184-191
AUTHORS: Duarte, F; da Silva, JM ; Alves, JC ; Pinho, GA; Matos, JS ;
PUBLISHED: 2005, SOURCE: 8th Euromicro Conference on Digital System Design in DSD 2005: 8th Euromicro Conference on Digital System Design, Proceedings, VOLUME: 2005, PAGES: 184-191
16816
TITLE: A software framework for rapid prototyping of run-time systems for mobile calculi Full Text
AUTHORS: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLISHED: 2005, SOURCE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267, PAGES: 179-207
AUTHORS: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLISHED: 2005, SOURCE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267, PAGES: 179-207
16817
TITLE: A study on Error Correcting Output Codes
AUTHORS: Edgar Pimenta; Joao Gama ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 218-223
AUTHORS: Edgar Pimenta; Joao Gama ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 218-223
16818
TITLE: A Subspace Approach for Identifying Bilinear Systems with Deterministic Inputs
AUTHORS: José A Ramos; Lopes L dos Santos ;
PUBLISHED: 2005, SOURCE: 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05 in 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, VOLUME: 2005, PAGES: 7114-7119
AUTHORS: José A Ramos; Lopes L dos Santos ;
PUBLISHED: 2005, SOURCE: 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05 in 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, VOLUME: 2005, PAGES: 7114-7119
16819
TITLE: A test infrastructure for compilers targeting FPGAs
AUTHORS: Rodrigues, RMM; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PAGES: 168-175
AUTHORS: Rodrigues, RMM; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PAGES: 168-175
INDEXED IN: Scopus
Scopus16820
TITLE: A tool for fast development of modular and hierarchic neural network-based systems
AUTHORS: Reinaldo, F; Roisenberg, M; Barreto, JM; Camacho, R ; Reis, LP ;
PUBLISHED: 2005, SOURCE: European Simulation and Modelling Conference (ESM 2005) in Modelling and Simulation 2005, PAGES: 161-163
AUTHORS: Reinaldo, F; Roisenberg, M; Barreto, JM; Camacho, R ; Reis, LP ;
PUBLISHED: 2005, SOURCE: European Simulation and Modelling Conference (ESM 2005) in Modelling and Simulation 2005, PAGES: 161-163
INDEXED IN: Scopus WOS Handle
Scopus WOS Handle