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: 25157
1718 Team MembersFilters -> Year: 2026
24721
TITLE: Firing condition of fuzzy rules, generalized possibility and necessity measures Full Text
AUTHORS: Jose Villar ;
PUBLISHED: 1997, SOURCE: Proceedings of the 1997 6th IEEE International Conference on Fussy Systems, FUZZ-IEEE'97. Part 1 (of 3) in IEEE International Conference on Fuzzy Systems, VOLUME: 1, PAGES: 543-548
AUTHORS: Jose Villar ;
PUBLISHED: 1997, SOURCE: Proceedings of the 1997 6th IEEE International Conference on Fussy Systems, FUZZ-IEEE'97. Part 1 (of 3) in IEEE International Conference on Fuzzy Systems, VOLUME: 1, PAGES: 543-548
INDEXED IN: 
Scopus
Scopus24722
TITLE: Formally verifying interactive systems: A review
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: DSV-IS, PAGES: 109-124
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: DSV-IS, PAGES: 109-124
INDEXED IN: 
DBLP
DBLP24723
TITLE: From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog
AUTHORS: Carlos Soares ; Miguel Calejo ;
PUBLISHED: 1997, SOURCE: LPE, PAGES: 60-69
AUTHORS: Carlos Soares ; Miguel Calejo ;
PUBLISHED: 1997, SOURCE: LPE, PAGES: 60-69
INDEXED IN: DBLP
DBLP24724
TITLE: Genetic Design of Robust PID Controllers
AUTHORS: Jones, AH; de B d Moura Oliveira ;
PUBLISHED: 1997, SOURCE: ICANNGA, ISSUE: 414, PAGES: 575-578
AUTHORS: Jones, AH; de B d Moura Oliveira ;
PUBLISHED: 1997, SOURCE: ICANNGA, ISSUE: 414, PAGES: 575-578
INDEXED IN: Scopus DBLP
Scopus DBLP24725
TITLE: Hormone replacement therapy and breast cancer: 2. Should women with breast cancer be offered hormone replacement therapy? [Terapeutica hormonal de subtituicao e cancro da mama: 2. A mulher com cancro da mama deve receber terapeutic hormonal de substituicao?]
AUTHORS: De Campos, DA; Cardoso, MJ ; De Oliveira, JM;
PUBLISHED: 1997, SOURCE: Acta Medica Portuguesa, VOLUME: 10, ISSUE: 10, PAGES: 705-711
AUTHORS: De Campos, DA; Cardoso, MJ ; De Oliveira, JM;
PUBLISHED: 1997, SOURCE: Acta Medica Portuguesa, VOLUME: 10, ISSUE: 10, PAGES: 705-711
INDEXED IN: Scopus
Scopus24726
TITLE: Implementation and evaluation of mixed current / voltage testing using the IEEE P1149.4 infrastructure
AUTHORS: Da Silva, JM ; Alves, JC ; Matos, JS ;
PUBLISHED: 1997, SOURCE: IEE Colloquium (Digest), ISSUE: 361, PAGES: 6/1-6/5
AUTHORS: Da Silva, JM ; Alves, JC ; Matos, JS ;
PUBLISHED: 1997, SOURCE: IEE Colloquium (Digest), ISSUE: 361, PAGES: 6/1-6/5
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef24727
TITLE: Implementation of mixed current/voltage testing using the IEEE P1149.4 infrastructure
AUTHORS: da Silva, JM ; Leao, AC; Alves, JC ; Matos, JS;
PUBLISHED: 1997, SOURCE: International Test Conference 1997 (ITC) in ITC - INTERNATIONAL TEST CONFERENCE 1997, PROCEEDINGS, PAGES: 509-517
AUTHORS: da Silva, JM ; Leao, AC; Alves, JC ; Matos, JS;
PUBLISHED: 1997, SOURCE: International Test Conference 1997 (ITC) in ITC - INTERNATIONAL TEST CONFERENCE 1997, PROCEEDINGS, PAGES: 509-517
24728
TITLE: Integrating infrastructures for manufacturing a comparative analysis
AUTHORS: Santos, JPO; Ferreira, JJ ; Mendonca, JM;
PUBLISHED: 1997, SOURCE: OE/IFIP/IEEE International Conference on Integrated and Sustainable Industrial Production in RE-ENGINEERING FOR SUSTAINABLE INDUSTRIAL PRODUCTION, PAGES: 308-321
AUTHORS: Santos, JPO; Ferreira, JJ ; Mendonca, JM;
PUBLISHED: 1997, SOURCE: OE/IFIP/IEEE International Conference on Integrated and Sustainable Industrial Production in RE-ENGINEERING FOR SUSTAINABLE INDUSTRIAL PRODUCTION, PAGES: 308-321
INDEXED IN: 
WOS
WOS24729
TITLE: Integrity constraints in ILP using a Monte Carlo approach
AUTHORS: Jorge, A ; Brazdil, PB ;
PUBLISHED: 1997, SOURCE: 6th International Workshop on Logic Program Synthesis and Transformation (LOPSTR 96) / 6th Inductive Logic Programming Workshop (ILP 96) in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 1314, PAGES: 229-244
AUTHORS: Jorge, A ; Brazdil, PB ;
PUBLISHED: 1997, SOURCE: 6th International Workshop on Logic Program Synthesis and Transformation (LOPSTR 96) / 6th Inductive Logic Programming Workshop (ILP 96) in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 1314, PAGES: 229-244
24730
TITLE: Intelligent and low cost continuous relative density measurement in batch fermenters
AUTHORS: Moreira, APGM ; de Carvalho, JLM;
PUBLISHED: 1997, SOURCE: 3rd IFAC Symposium on Intelligent Components and Instruments for Control Applications (SICICA 97) in INTELLIGENT COMPONENTS AND INSTRUMENTS FOR CONTROL APPLICATIONS 1997 (SICICA'97), PAGES: 183-188
AUTHORS: Moreira, APGM ; de Carvalho, JLM;
PUBLISHED: 1997, SOURCE: 3rd IFAC Symposium on Intelligent Components and Instruments for Control Applications (SICICA 97) in INTELLIGENT COMPONENTS AND INSTRUMENTS FOR CONTROL APPLICATIONS 1997 (SICICA'97), PAGES: 183-188
INDEXED IN: WOS
WOS24731
TITLE: Intelligent correction of telemetric data in public transport systems
AUTHORS: Cunha, A ; Bulas Cruz, J; Monteiro, JL ;
PUBLISHED: 1997, SOURCE: 1997 IEEE Conference on Intelligent Transportation Systems (ITSC 997) in IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, PAGES: 356-361
AUTHORS: Cunha, A ; Bulas Cruz, J; Monteiro, JL ;
PUBLISHED: 1997, SOURCE: 1997 IEEE Conference on Intelligent Transportation Systems (ITSC 997) in IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, PAGES: 356-361
24732
TITLE: Intranet security: an increasing concern in industrial environments
AUTHORS: Sousa, JP; Mendonca, JM ;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 1, PAGES: 35-38
AUTHORS: Sousa, JP; Mendonca, JM ;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 1, PAGES: 35-38
INDEXED IN: Scopus WOS
Scopus WOS24733
TITLE: Localisation system for an autonomous mobile platform
AUTHORS: Ramos, P ; Pereira, FL ;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 3, PAGES: 807-812
AUTHORS: Ramos, P ; Pereira, FL ;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 3, PAGES: 807-812
24734
TITLE: Magic sets with full sharing Full Text
AUTHORS: Azevedo, PJ ;
PUBLISHED: 1997, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 30, ISSUE: 3, PAGES: 223-237
AUTHORS: Azevedo, PJ ;
PUBLISHED: 1997, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 30, ISSUE: 3, PAGES: 223-237
24735
TITLE: MNet-DACS: Multi-level network data acquisition and control system
AUTHORS: C. Serôdio ; Cunha, JB ; Cordeiro, M; Valente, A ; Morais, R ; Salgado, P; Couto, C;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 1, PAGES: 39-43
AUTHORS: C. Serôdio ; Cunha, JB ; Cordeiro, M; Valente, A ; Morais, R ; Salgado, P; Couto, C;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 1, PAGES: 39-43
24736
TITLE: Multiple AUVS for coastal oceanography
AUTHORS: Sousa, J ; Cruz, N ; Matos, A ; Pereira, FL ;
PUBLISHED: 1997, SOURCE: Oceans 97 MTS/IEEE Conference in OCEANS '97 MTS/IEEE CONFERENCE PROCEEDINGS, VOLS 1 AND 2, VOLUME: 1, PAGES: 409-414
AUTHORS: Sousa, J ; Cruz, N ; Matos, A ; Pereira, FL ;
PUBLISHED: 1997, SOURCE: Oceans 97 MTS/IEEE Conference in OCEANS '97 MTS/IEEE CONFERENCE PROCEEDINGS, VOLS 1 AND 2, VOLUME: 1, PAGES: 409-414
24737
TITLE: Number plate reading using computer vision
AUTHORS: Barroso, J ; Dagless, EL; Rafael, A; Bulas Cruz, J;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 3, PAGES: 761-766
AUTHORS: Barroso, J ; Dagless, EL; Rafael, A; Bulas Cruz, J;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 3, PAGES: 761-766
24738
TITLE: Oblique linear tree
AUTHORS: Gama, J ;
PUBLISHED: 1997, SOURCE: 2nd International Symposium on Advances in Intelligent Data Analysis - Reasoning About Data (IDA-97) in ADVANCES IN INTELLIGENT DATA ANALYSIS: REASONING ABOUT DATA, VOLUME: 1280, PAGES: 187-198
AUTHORS: Gama, J ;
PUBLISHED: 1997, SOURCE: 2nd International Symposium on Advances in Intelligent Data Analysis - Reasoning About Data (IDA-97) in ADVANCES IN INTELLIGENT DATA ANALYSIS: REASONING ABOUT DATA, VOLUME: 1280, PAGES: 187-198
24739
TITLE: On the design of a hybrid feedback control system for a nonholonomic car-like vehicle
AUTHORS: Almeida, J ; Pereira, FL ; Sousa, JB ;
PUBLISHED: 1997, SOURCE: 4th European Control Conference, ECC 1997 in ECC 1997 - European Control Conference, PAGES: 3549-3554
AUTHORS: Almeida, J ; Pereira, FL ; Sousa, JB ;
PUBLISHED: 1997, SOURCE: 4th European Control Conference, ECC 1997 in ECC 1997 - European Control Conference, PAGES: 3549-3554
INDEXED IN: Scopus
Scopus24740
TITLE: Parallel neural network recognition - a multi-agent system approach
AUTHORS: Cunha, A ; Biscaia, C; Torres, M; Sobral, L; Belo, O ;
PUBLISHED: 1997, SOURCE: 5th International Conference on the Application of High-Performance Computers in Engineering (HPC 97) in APPLICATIONS OF HIGH PERFORMANCE COMPUTING IN ENGINEERING V, VOLUME: 3, PAGES: 103-112
AUTHORS: Cunha, A ; Biscaia, C; Torres, M; Sobral, L; Belo, O ;
PUBLISHED: 1997, SOURCE: 5th International Conference on the Application of High-Performance Computers in Engineering (HPC 97) in APPLICATIONS OF HIGH PERFORMANCE COMPUTING IN ENGINEERING V, VOLUME: 3, PAGES: 103-112
INDEXED IN: Scopus WOS 
Handle
Scopus WOS Handle