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: 20630
1698 Team MembersFilters -> Year: 2024
20381
TITLE: Síntese de imagem: controlo progressivo do nível de realismo e arquitecturas paralelas
AUTHORS: António Augusto de Sousa ;
PUBLISHED: 1995
AUTHORS: António Augusto de Sousa ;
PUBLISHED: 1995
INDEXED IN: 
DBLP
DBLP20382
TITLE: SYMBOLIC OBJECTS - ORDER STRUCTURE AND PYRAMIDAL CLUSTERING
AUTHORS: BRITO, P ;
PUBLISHED: 1995, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 55, ISSUE: 2, PAGES: 277-297
AUTHORS: BRITO, P ;
PUBLISHED: 1995, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 55, ISSUE: 2, PAGES: 277-297
20383
TITLE: Symbolic objects: order structure and pyramidal clustering
AUTHORS: Paula Brito ;
PUBLISHED: 1995, SOURCE: Annals OR, VOLUME: 55, ISSUE: 2, PAGES: 277-297
AUTHORS: Paula Brito ;
PUBLISHED: 1995, SOURCE: Annals OR, VOLUME: 55, ISSUE: 2, PAGES: 277-297
INDEXED IN: DBLP
DBLP20384
TITLE: Use of power supply current and output voltage observation for testing large mixed-signal devices
AUTHORS: Machado M da Silva ; Silva S Matos ; Bell Ian, M; Taylor Gaynor, E;
PUBLISHED: 1995, SOURCE: Proceedings of the 1995 IEEE 38th Midwest Symposium on Circuits and Systems. Part 1 (of 2) in Midwest Symposium on Circuits and Systems, VOLUME: 2, PAGES: 1201-1204
AUTHORS: Machado M da Silva ; Silva S Matos ; Bell Ian, M; Taylor Gaynor, E;
PUBLISHED: 1995, SOURCE: Proceedings of the 1995 IEEE 38th Midwest Symposium on Circuits and Systems. Part 1 (of 2) in Midwest Symposium on Circuits and Systems, VOLUME: 2, PAGES: 1201-1204
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef20385
TITLE: VECTOR INTERACTIONS OF STEADY-STATE PLANAR SOLITONS IN BIASED PHOTOREFRACTIVE MEDIA
AUTHORS: SINGH, SR; CARVALHO, MI ; CHRISTODOULIDES, DN;
PUBLISHED: 1995, SOURCE: OPTICS LETTERS, VOLUME: 20, ISSUE: 21, PAGES: 2177-2179
AUTHORS: SINGH, SR; CARVALHO, MI ; CHRISTODOULIDES, DN;
PUBLISHED: 1995, SOURCE: OPTICS LETTERS, VOLUME: 20, ISSUE: 21, PAGES: 2177-2179
20386
TITLE: VECTOR PHOTOREFRACTIVE SPATIAL SOLITONS
AUTHORS: SEGEV, M; VALLEY, GC; SINGH, SR; CARVALHO, MI ; CHRISTODOULIDES, DN;
PUBLISHED: 1995, SOURCE: OPTICS LETTERS, VOLUME: 20, ISSUE: 17, PAGES: 1764-1766
AUTHORS: SEGEV, M; VALLEY, GC; SINGH, SR; CARVALHO, MI ; CHRISTODOULIDES, DN;
PUBLISHED: 1995, SOURCE: OPTICS LETTERS, VOLUME: 20, ISSUE: 17, PAGES: 1764-1766
20387
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
20388
TITLE: A DISTRIBUTED ENVIRONMENT TO SUPPORT COOPERATIVE SOFTWARE-DEVELOPMENT
AUTHORS: MARCOS, AF ;
PUBLISHED: 1994, SOURCE: IFIP TC6/WG6.4 5th International Conference on High Performance Networking in HIGH PERFORMANCE NETWORKING, V, VOLUME: 26, PAGES: 375-390
AUTHORS: MARCOS, AF ;
PUBLISHED: 1994, SOURCE: IFIP TC6/WG6.4 5th International Conference on High Performance Networking in HIGH PERFORMANCE NETWORKING, V, VOLUME: 26, PAGES: 375-390
INDEXED IN: 
WOS
WOS20389
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
WOS20390
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
WOS20391
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
20392
TITLE: A SQUARE-ROOT FILTER ALGORITHM FOR DYNAMIC STATE ESTIMATION OF ELECTRIC-POWER SYSTEMS
AUTHORS: FERREIRA, IM; BARBOSA, FPM ;
PUBLISHED: 1994, SOURCE: 7th Mediterranean Electrotechnical Conference (MeleCON 94) in 7TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, VOLUME: 3, PAGES: 877-880
AUTHORS: FERREIRA, IM; BARBOSA, FPM ;
PUBLISHED: 1994, SOURCE: 7th Mediterranean Electrotechnical Conference (MeleCON 94) in 7TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, VOLUME: 3, PAGES: 877-880
INDEXED IN: Scopus WOS
Scopus WOS20393
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 CrossRef20394
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
20395
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
20396
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
DBLP20397
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
WOS20398
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
DBLP20399
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
WOS20400
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
