Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 20689

1698 Team Members
Filters -> 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
INDEXED IN: DBLP
20262
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
INDEXED IN: DBLP
20263
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
INDEXED IN: Scopus DBLP
20265
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
INDEXED IN: Scopus CrossRef
20266
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
INDEXED IN: Scopus WOS
20267
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
INDEXED IN: WOS
20268
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
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
INDEXED IN: WOS
20270
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
INDEXED IN: Scopus WOS CrossRef: 1
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
INDEXED IN: Scopus WOS
20272
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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
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
INDEXED IN: Scopus WOS CrossRef: 3
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
INDEXED IN: Scopus WOS CrossRef: 9
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
INDEXED IN: Scopus WOS CrossRef: 53
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
INDEXED IN: Scopus WOS DBLP CrossRef: 15
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
INDEXED IN: Scopus
20279
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
INDEXED IN: Scopus WOS
20280
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
INDEXED IN: Scopus WOS CrossRef

Results per Page: 20.
Página 1014 de 1035. Total de resultados: 20689.