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: 18629
1699 Team MembersFilters -> Year: 2024
18401
TITLE: <title>Polarization-induced noise in a fibre optic Michelson interferometer: influence of the coupler</title>
AUTHORS: Luis A A Ferreira; Jose L Santos ; Faramarz Farahi;
PUBLISHED: 1994, SOURCE: Tenth International Conference on Optical Fibre Sensors
AUTHORS: Luis A A Ferreira; Jose L Santos ; Faramarz Farahi;
PUBLISHED: 1994, SOURCE: Tenth International Conference on Optical Fibre Sensors
18402
TITLE: A DYNAMICALLY CONFIGURABLE ARCHITECTURE FOR THE CONTROL OF AUTONOMOUS UNDERWATER VEHICLES
AUTHORS: SOUSA, JB ; PEREIRA, FL ; DASILVA, EP ;
PUBLISHED: 1994, SOURCE: Oceans 94/OSATES Conference on Oceans Engineering for Today's Technology and Tomorrow's Preservation in OCEANS 94 - OCEANS ENGINEERING FOR TODAY'S TECHNOLOGY AND TOMORROW'S PRESERVATION, PROCEEDINGS, VOL II
AUTHORS: SOUSA, JB ; PEREIRA, FL ; DASILVA, EP ;
PUBLISHED: 1994, SOURCE: Oceans 94/OSATES Conference on Oceans Engineering for Today's Technology and Tomorrow's Preservation in OCEANS 94 - OCEANS ENGINEERING FOR TODAY'S TECHNOLOGY AND TOMORROW'S PRESERVATION, PROCEEDINGS, VOL II
INDEXED IN: 
WOS
WOS18403
TITLE: A GLOBAL MOTION CONTROL STRATEGY USING DYNAMIC PROGRAMMING
AUTHORS: CUNHA, SR; DEMATOS, ACC ;
PUBLISHED: 1994, SOURCE: Oceans 94/OSATES Conference on Oceans Engineering for Today's Technology and Tomorrow's Preservation in OCEAN 94 - OCEANS ENGINEERING FOR TODAY'S TECHNOLOGY AND TOMORROW'S PRESERVATION, PROCEEDINGS, VOL 1
AUTHORS: CUNHA, SR; DEMATOS, ACC ;
PUBLISHED: 1994, SOURCE: Oceans 94/OSATES Conference on Oceans Engineering for Today's Technology and Tomorrow's Preservation in OCEAN 94 - OCEANS ENGINEERING FOR TODAY'S TECHNOLOGY AND TOMORROW'S PRESERVATION, PROCEEDINGS, VOL 1
INDEXED IN: WOS
WOS18404
TITLE: A NEW SIMILARITY CRITERION FOR RETINAL IMAGE REGISTRATION
AUTHORS: MENDONCA, AM ; CAMPILHO, A ; NUNES, JMR;
PUBLISHED: 1994, SOURCE: 1994 IEEE International Conference on Image Processing (ICIP-94) in ICIP-94 - PROCEEDINGS, VOL III, PAGES: 696-700
AUTHORS: MENDONCA, AM ; CAMPILHO, A ; NUNES, JMR;
PUBLISHED: 1994, SOURCE: 1994 IEEE International Conference on Image Processing (ICIP-94) in ICIP-94 - PROCEEDINGS, VOL III, PAGES: 696-700
18405
TITLE: A System to Visualize and Interact with Prolog Programs
AUTHORS: José Paulo Leal ;
PUBLISHED: 1994, SOURCE: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, VOLUME: 844, PAGES: 451-452
AUTHORS: José Paulo Leal ;
PUBLISHED: 1994, SOURCE: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, VOLUME: 844, PAGES: 451-452
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef18406
TITLE: A Theory-based Typological Notion of Institutions
AUTHORS: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLISHED: 1994, SOURCE: 10th Workshop on Specification of Abstract Data Types was held Joint with the 5th COMPASS Workshop, 1994 in Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, VOLUME: 906, PAGES: 420-436
AUTHORS: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLISHED: 1994, SOURCE: 10th Workshop on Specification of Abstract Data Types was held Joint with the 5th COMPASS Workshop, 1994 in Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, VOLUME: 906, PAGES: 420-436
18407
TITLE: Abduction in Temporal Reasoning
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1994, SOURCE: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings, VOLUME: 827, PAGES: 349-364
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1994, SOURCE: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings, VOLUME: 827, PAGES: 349-364
18408
TITLE: ACE: And/Or-parallel Copying-based Execution of Logic Programs
AUTHORS: Gopal Gupta; Manuel V Hermenegildo; Enrico Pontelli; Vítor Santos Costa ;
PUBLISHED: 1994, SOURCE: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, PAGES: 93-109
AUTHORS: Gopal Gupta; Manuel V Hermenegildo; Enrico Pontelli; Vítor Santos Costa ;
PUBLISHED: 1994, SOURCE: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, PAGES: 93-109
INDEXED IN: DBLP
DBLP18409
TITLE: AN APPROACH TO TESTABILITY IMPROVEMENT OF MIXED-SIGNAL BOARDS
AUTHORS: MATOS, JS; FERREIRA, JC ; LEAO, AC;
PUBLISHED: 1994, SOURCE: 1994 IEEE International Symposium on Circuits and Systems in 1994 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 6: NONLINEAR CIRCUITS AND SYSTEMS (NCS) - NEURAL SYSTEMS (NEU)
AUTHORS: MATOS, JS; FERREIRA, JC ; LEAO, AC;
PUBLISHED: 1994, SOURCE: 1994 IEEE International Symposium on Circuits and Systems in 1994 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 6: NONLINEAR CIRCUITS AND SYSTEMS (NCS) - NEURAL SYSTEMS (NEU)
INDEXED IN: WOS
WOS18410
TITLE: An Approach to Testability Improvement of Mixed-Signal Boards
AUTHORS: José Silva Matos; João Canas Ferreira ; Ana C Leão; José Machado da Silva;
PUBLISHED: 1994, SOURCE: 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30 - June 2, 1994, PAGES: 161-164
AUTHORS: José Silva Matos; João Canas Ferreira ; Ana C Leão; José Machado da Silva;
PUBLISHED: 1994, SOURCE: 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30 - June 2, 1994, PAGES: 161-164
INDEXED IN: DBLP
DBLP18411
TITLE: AN EXPERIMENTAL-STUDY ON VOICE/DATA INTEGRATION OVER AN ETHERNET LAN
AUTHORS: AZEVEDO, J; MARTINS, JA; DEOLIVEIRA, PG ;
PUBLISHED: 1994, SOURCE: IFIP TC6 International Conference on Information Networks and Data Communication in INFORMATION NETWORKS AND DATA COMMUNICATION, VOLUME: 23, PAGES: 181-199
AUTHORS: AZEVEDO, J; MARTINS, JA; DEOLIVEIRA, PG ;
PUBLISHED: 1994, SOURCE: IFIP TC6 International Conference on Information Networks and Data Communication in INFORMATION NETWORKS AND DATA COMMUNICATION, VOLUME: 23, PAGES: 181-199
INDEXED IN: WOS
WOS18412
TITLE: AN IC ARCHITECTURE FOR BOARD-LEVEL MIXED-SIGNAL TEST SUPPORT
AUTHORS: FERREIRA, JC ; LEAO, AC; DASILVA, JM ; MATOS, JS;
PUBLISHED: 1994, SOURCE: 7th Mediterranean Electrotechnical Conference (MeleCON 94) in 7TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, VOLUME: 2, PAGES: 637-640
AUTHORS: FERREIRA, JC ; LEAO, AC; DASILVA, JM ; MATOS, JS;
PUBLISHED: 1994, SOURCE: 7th Mediterranean Electrotechnical Conference (MeleCON 94) in 7TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, VOLUME: 2, PAGES: 637-640
18413
TITLE: Approach to testability improvement of mixed-signal boards
AUTHORS: Matos Jose, S; Ferreira Joao, C ; Leao Ana, C; Silva Jose, M ;
PUBLISHED: 1994, SOURCE: Proceedings of the 1994 IEEE International Symposium on Circuits and Systems. Part 3 (of 6) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 6, PAGES: 161-164
AUTHORS: Matos Jose, S; Ferreira Joao, C ; Leao Ana, C; Silva Jose, M ;
PUBLISHED: 1994, SOURCE: Proceedings of the 1994 IEEE International Symposium on Circuits and Systems. Part 3 (of 6) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 6, PAGES: 161-164
INDEXED IN: 
Scopus
Scopus18414
TITLE: APPROXIMATE FLAVOR SYMMETRIES IN THE LEPTON SECTOR
AUTHORS: RASIN, A; SILVA, JP ;
PUBLISHED: 1994, SOURCE: PHYSICAL REVIEW D, VOLUME: 49, ISSUE: 1
AUTHORS: RASIN, A; SILVA, JP ;
PUBLISHED: 1994, SOURCE: PHYSICAL REVIEW D, VOLUME: 49, ISSUE: 1
INDEXED IN: Scopus WOS
Scopus WOS18415
TITLE: Architecture of test support ICs for mixed-signal testing
AUTHORS: Matos Jose, S; Ferreira Joao, C ; Leao Ana, C; Silva Jose, M ;
PUBLISHED: 1994, SOURCE: Proceedings of the 12th IEEE VLSI Test Symposium in Proceedings of the IEEE VLSI Test Symposium, PAGES: 240-246
AUTHORS: Matos Jose, S; Ferreira Joao, C ; Leao Ana, C; Silva Jose, M ;
PUBLISHED: 1994, SOURCE: Proceedings of the 12th IEEE VLSI Test Symposium in Proceedings of the IEEE VLSI Test Symposium, PAGES: 240-246
INDEXED IN: Scopus
Scopus18416
TITLE: Architecture of test support ICs for mixed-signal testing
AUTHORS: José Silva Matos; João Canas Ferreira ; Ana C Leão; Machado M Silva;
PUBLISHED: 1994, SOURCE: 12th IEEE VLSI Test Symposium (VTS'94), April 25-28, 1994, Cherry Hill, New Jersey, USA, PAGES: 240-246
AUTHORS: José Silva Matos; João Canas Ferreira ; Ana C Leão; Machado M Silva;
PUBLISHED: 1994, SOURCE: 12th IEEE VLSI Test Symposium (VTS'94), April 25-28, 1994, Cherry Hill, New Jersey, USA, PAGES: 240-246
INDEXED IN: DBLP
DBLP18417
TITLE: Aurora, Andorra-I and Friends on the Sun
AUTHORS: Vítor Santos Costa ; Manuel E. Correia ; Fernando M A Silva ;
PUBLISHED: 1994, SOURCE: Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994, PAGES: 32-41
AUTHORS: Vítor Santos Costa ; Manuel E. Correia ; Fernando M A Silva ;
PUBLISHED: 1994, SOURCE: Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994, PAGES: 32-41
INDEXED IN: DBLP
DBLP18418
TITLE: Belief Revision in Multi-Agent Systems
AUTHORS: Benedita Malheiro ; Nicholas R Jennings; Eugenio Oliveira ;
PUBLISHED: 1994, SOURCE: ECAI, PAGES: 294-298
AUTHORS: Benedita Malheiro ; Nicholas R Jennings; Eugenio Oliveira ;
PUBLISHED: 1994, SOURCE: ECAI, PAGES: 294-298
INDEXED IN: DBLP
DBLP18419
TITLE: Building symbolic representations of intuitive real-time skills from performance data
AUTHORS: Donald Michie; Rui Camacho ;
PUBLISHED: 1994, SOURCE: Machine Intelligence 13, PAGES: 385-418
AUTHORS: Donald Michie; Rui Camacho ;
PUBLISHED: 1994, SOURCE: Machine Intelligence 13, PAGES: 385-418
INDEXED IN: DBLP
DBLP18420
TITLE: Characterizing the Applicability of Classification Algorithms Using Meta-Level Learning
AUTHORS: Pavel Brazdil ; João Gama ; Bob Henery;
PUBLISHED: 1994, SOURCE: Machine Learning: ECML-94, European Conference on Machine Learning, Catania, Italy, April 6-8, 1994, Proceedings, VOLUME: 784, PAGES: 83-102
AUTHORS: Pavel Brazdil ; João Gama ; Bob Henery;
PUBLISHED: 1994, SOURCE: Machine Learning: ECML-94, European Conference on Machine Learning, Catania, Italy, April 6-8, 1994, Proceedings, VOLUME: 784, PAGES: 83-102
