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: 18323
1699 Team MembersFilters -> Year: 2024
17921
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
DBLP17922
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 DBLP17923
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 CrossRef17924
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 WOS17925
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
WOS17926
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
17927
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
WOS17928
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
17929
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 WOS17930
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
17931
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
17932
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
17933
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
17934
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
17935
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
Scopus17936
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 Handle17937
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
17938
TITLE: Probabilistic choice vs. risk analysis: conflicts and synthesis in power system planning
AUTHORS: Miranda, V ; Proenca, LM;
PUBLISHED: 1997, SOURCE: IEEE Power Engineering Review, VOLUME: 17, ISSUE: 12, PAGES: 64
AUTHORS: Miranda, V ; Proenca, LM;
PUBLISHED: 1997, SOURCE: IEEE Power Engineering Review, VOLUME: 17, ISSUE: 12, PAGES: 64
INDEXED IN: Scopus
Scopus17939
TITLE: Probabilistic Linear Tree
AUTHORS: João Gama ;
PUBLISHED: 1997, SOURCE: Proceedings of the Fourteenth International Conference on Machine Learning (ICML 1997), Nashville, Tennessee, USA, July 8-12, 1997, PAGES: 134-142
AUTHORS: João Gama ;
PUBLISHED: 1997, SOURCE: Proceedings of the Fourteenth International Conference on Machine Learning (ICML 1997), Nashville, Tennessee, USA, July 8-12, 1997, PAGES: 134-142
INDEXED IN: DBLP
DBLP17940
TITLE: ProHos-1 - A vector processor for the efficient estimation of higher-order moments
AUTHORS: Alves, JC ; Puga, A; CorteReal, L ; Matos, JS ;
PUBLISHED: 1997, SOURCE: 2nd International Conference on Vector and Parallel Processing - Systems and Applications (VECPAR 96) in VECTOR AND PARALLEL PROCESSING - VECPAR'96, VOLUME: 1215, PAGES: 96-107
AUTHORS: Alves, JC ; Puga, A; CorteReal, L ; Matos, JS ;
PUBLISHED: 1997, SOURCE: 2nd International Conference on Vector and Parallel Processing - Systems and Applications (VECPAR 96) in VECTOR AND PARALLEL PROCESSING - VECPAR'96, VOLUME: 1215, PAGES: 96-107
