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: 20689
1698 Team MembersFilters -> Year: 2024
20261
TITLE: Formally verifying interactive systems: A review
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, PAGES: 109-124
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, PAGES: 109-124
INDEXED IN: 
DBLP
DBLP20262
TITLE: From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog
AUTHORS: Carlos Soares ; Miguel Calejo ;
PUBLISHED: 1997, SOURCE: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, PAGES: 60-69
AUTHORS: Carlos Soares ; Miguel Calejo ;
PUBLISHED: 1997, SOURCE: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, PAGES: 60-69
INDEXED IN: DBLP
DBLP20263
TITLE: Genetic Design of Robust PID Controllers
AUTHORS: Jones, AH; de B d Moura Oliveira ;
PUBLISHED: 1997, SOURCE: Proceedings of the 1st IEE/IEEE International Conference on Genetic Algorithms in Engineering Systems: Innovations and Applications GALESIA '95 in Proceedings of the International Conference on Artificial Neural Nets and Genetic Algorithms, ICANNGA 1997, Norwich, UK, 1997, ISSUE: 414, PAGES: 575-578
AUTHORS: Jones, AH; de B d Moura Oliveira ;
PUBLISHED: 1997, SOURCE: Proceedings of the 1st IEE/IEEE International Conference on Genetic Algorithms in Engineering Systems: Innovations and Applications GALESIA '95 in Proceedings of the International Conference on Artificial Neural Nets and Genetic Algorithms, ICANNGA 1997, Norwich, UK, 1997, ISSUE: 414, PAGES: 575-578
INDEXED IN: 
Scopus DBLP
Scopus DBLP20264
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
Scopus20265
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 CrossRef20266
TITLE: Implementation of mixed current/voltage testing using the IEEE P1149.4 infrastructure Full Text
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: INTEGRATING MILITARY AND COMMERCIAL COMMUNICATIONS FOR THE NEXT CENTURY, 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: INTEGRATING MILITARY AND COMMERCIAL COMMUNICATIONS FOR THE NEXT CENTURY, PAGES: 509-517
INDEXED IN: Scopus 
WOS
Scopus WOS20267
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
WOS20268
TITLE: Integrity constraints in ILP using a Monte Carlo approach Full Text
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
20269
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
WOS20270
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
20271
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 WOS20272
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
20273
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
20274
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
20275
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
20276
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
20277
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
20278
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
Scopus20279
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
Scopus WOS20280
TITLE: Phasor visualizer: A general purpose instrument for induction motor drives
AUTHORS: Araujo, RE ; Freitas, DS ; Goncalves, JJ;
PUBLISHED: 1997, SOURCE: 1997 IEEE International Electric Machines and Drives Conference (IEMDC 97) in 1997 IEEE INTERNATIONAL ELECTRIC MACHINES AND DRIVES CONFERENCE RECORD
AUTHORS: Araujo, RE ; Freitas, DS ; Goncalves, JJ;
PUBLISHED: 1997, SOURCE: 1997 IEEE International Electric Machines and Drives Conference (IEMDC 97) in 1997 IEEE INTERNATIONAL ELECTRIC MACHINES AND DRIVES CONFERENCE RECORD
