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: 18633
1699 Team MembersFilters -> Year: 2024
16781
TITLE: A coalgebraic semantic framework for component-based development in UML
AUTHORS: Meng, S; Aichernig, BK; Barbosa, LS ; Naixiao, Z;
PUBLISHED: 2005, SOURCE: Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004) in Electronic Notes in Theoretical Computer Science, VOLUME: 122, PAGES: 229-245
AUTHORS: Meng, S; Aichernig, BK; Barbosa, LS ; Naixiao, Z;
PUBLISHED: 2005, SOURCE: Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004) in Electronic Notes in Theoretical Computer Science, VOLUME: 122, PAGES: 229-245
16782
TITLE: A data mining approach for trip time prediction in mass transit companies
AUTHORS: João M Moreira; Alípio Jorge ; Jorge F de Sousa; Carlos Soares;
PUBLISHED: 2005
AUTHORS: João M Moreira; Alípio Jorge ; Jorge F de Sousa; Carlos Soares;
PUBLISHED: 2005
INDEXED IN: 
Handle
Handle16783
TITLE: A Data Webhouse to monitor the use of a Web Based Higher Education Information System
AUTHORS: Carla T Lopes ; Gabriel David;
PUBLISHED: 2005
AUTHORS: Carla T Lopes ; Gabriel David;
PUBLISHED: 2005
INDEXED IN: Handle
Handle16784
TITLE: A Formal Definition of Data Quality Problems PDF
AUTHORS: Paulo Oliveira; Fátima Rodrigues ; Pedro Rangel Henriques ;
PUBLISHED: 2005, SOURCE: 10th International Conference on Information Quality, ICIQ 2005 in Proceedings of the 2005 International Conference on Information Quality (MIT IQ Conference), Sponsored by Lockheed Martin, MIT, Cambridge, MA, USA, November 10-12, 2006
AUTHORS: Paulo Oliveira; Fátima Rodrigues ; Pedro Rangel Henriques ;
PUBLISHED: 2005, SOURCE: 10th International Conference on Information Quality, ICIQ 2005 in Proceedings of the 2005 International Conference on Information Quality (MIT IQ Conference), Sponsored by Lockheed Martin, MIT, Cambridge, MA, USA, November 10-12, 2006
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP16785
TITLE: A Fractal Self-Similarity Model for the spectral representation of audio signals
AUTHORS: Sinha, D; Ferreira, AJS ; Sen, D;
PUBLISHED: 2005, SOURCE: 118th Convention Spring Preprints 2005 in Audio Engineering Society - 118th Convention Spring Preprints 2005, VOLUME: 1, PAGES: 402-412
AUTHORS: Sinha, D; Ferreira, AJS ; Sen, D;
PUBLISHED: 2005, SOURCE: 118th Convention Spring Preprints 2005 in Audio Engineering Society - 118th Convention Spring Preprints 2005, VOLUME: 1, PAGES: 402-412
INDEXED IN: Scopus
Scopus16786
TITLE: A framework for set-oriented computation in inductive logic programming and its application in generalizing inverse entailment
AUTHORS: Bravo, HC; Page, D; Ramakrishnan, R; Shavlik, J; Costa, VS ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625, PAGES: 69-86
AUTHORS: Bravo, HC; Page, D; Ramakrishnan, R; Shavlik, J; Costa, VS ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625, PAGES: 69-86
16787
TITLE: A generic converter for experimentation based power electronics learning
AUTHORS: Leite, V ; Barbosa, J ; Teixeira, H; Araujo, RE ;
PUBLISHED: 2005, SOURCE: 2005 European Conference on Power Electronics and Applications in 2005 European Conference on Power Electronics and Applications, VOLUME: 2005
AUTHORS: Leite, V ; Barbosa, J ; Teixeira, H; Araujo, RE ;
PUBLISHED: 2005, SOURCE: 2005 European Conference on Power Electronics and Applications in 2005 European Conference on Power Electronics and Applications, VOLUME: 2005
INDEXED IN: Scopus Handle
Scopus Handle16788
TITLE: A GRASP approach to the container-loading problem Full Text
AUTHORS: Moura, A ; Oliveira, JF ;
PUBLISHED: 2005, SOURCE: IEEE INTELLIGENT SYSTEMS, VOLUME: 20, ISSUE: 4, PAGES: 50-57
AUTHORS: Moura, A ; Oliveira, JF ;
PUBLISHED: 2005, SOURCE: IEEE INTELLIGENT SYSTEMS, VOLUME: 20, ISSUE: 4, PAGES: 50-57
16789
TITLE: A hardware tool for explained power electronics control of induction motors
AUTHORS: Araujo, RE ; Teixeira, H; Barbosa, J ; Leite, V ;
PUBLISHED: 2005, SOURCE: 2005 European Conference on Power Electronics and Applications in 2005 European Conference on Power Electronics and Applications, VOLUME: 2005
AUTHORS: Araujo, RE ; Teixeira, H; Barbosa, J ; Leite, V ;
PUBLISHED: 2005, SOURCE: 2005 European Conference on Power Electronics and Applications in 2005 European Conference on Power Electronics and Applications, VOLUME: 2005
INDEXED IN: Scopus
Scopus16790
TITLE: A hardware tool for explained power electronics control of induction motors
AUTHORS: Rui E Araújo ; Henrique J A Teixeira; José Barbosa; V. Leite;
PUBLISHED: 2005, SOURCE: Proceedings of 11th European Conference on Power Electronics and Applications (EPE’05)
AUTHORS: Rui E Araújo ; Henrique J A Teixeira; José Barbosa; V. Leite;
PUBLISHED: 2005, SOURCE: Proceedings of 11th European Conference on Power Electronics and Applications (EPE’05)
INDEXED IN: Handle
Handle16791
TITLE: A high level test processor and test program generator
AUTHORS: Francisco X Duarte; José C Alves; José M da Silva ; António Pinho; José S Matos;
PUBLISHED: 2005
AUTHORS: Francisco X Duarte; José C Alves; José M da Silva ; António Pinho; José S Matos;
PUBLISHED: 2005
INDEXED IN: Handle
Handle16792
TITLE: A high-level tool for the design of custom image processing systems
AUTHORS: Martins, S; Alves, JC ;
PUBLISHED: 2005, SOURCE: 8th Euromicro Conference on Digital System Design in DSD 2005: 8th Euromicro Conference on Digital System Design, Proceedings, VOLUME: 2005, PAGES: 346-349
AUTHORS: Martins, S; Alves, JC ;
PUBLISHED: 2005, SOURCE: 8th Euromicro Conference on Digital System Design in DSD 2005: 8th Euromicro Conference on Digital System Design, Proceedings, VOLUME: 2005, PAGES: 346-349
16793
TITLE: A Hybrid Method for Discovering Distance-Enhanced Inter-Transactional Rules
AUTHORS: Pedro Gabriel Ferreira ; Ronnie Alves; Paulo J Azevedo ; Orlando Belo ;
PUBLISHED: 2005, SOURCE: Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), September 14-16, 2005, Granada, Spain, PAGES: 131-138
AUTHORS: Pedro Gabriel Ferreira ; Ronnie Alves; Paulo J Azevedo ; Orlando Belo ;
PUBLISHED: 2005, SOURCE: Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), September 14-16, 2005, Granada, Spain, PAGES: 131-138
INDEXED IN: DBLP
DBLP16794
TITLE: A low cost induction motor controller for light electric vehicles in local areas
AUTHORS: Araujo, RE ; Teixeira, H; Barbosa, J ; Leite, V ;
PUBLISHED: 2005, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE 2005: Proceedings of the IEEE International Symposium on Industrial Electronics 2005, Vols 1- 4, VOLUME: IV, PAGES: 1499-1504
AUTHORS: Araujo, RE ; Teixeira, H; Barbosa, J ; Leite, V ;
PUBLISHED: 2005, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE 2005: Proceedings of the IEEE International Symposium on Industrial Electronics 2005, Vols 1- 4, VOLUME: IV, PAGES: 1499-1504
16795
TITLE: A low cost induction motor controller for light electric vehicles in local areas
AUTHORS: Rui E Araújo ; Henrique J A Teixeira; José Barbosa; V. Leite;
PUBLISHED: 2005, SOURCE: Proceedings of 2005 IEEE International Symposium on Industrial Electronics - ISIE’05
AUTHORS: Rui E Araújo ; Henrique J A Teixeira; José Barbosa; V. Leite;
PUBLISHED: 2005, SOURCE: Proceedings of 2005 IEEE International Symposium on Industrial Electronics - ISIE’05
INDEXED IN: Handle
Handle16796
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
16797
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 WOS16798
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 Handle16799
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 WOS16800
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 WOS