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: 18396
1699 Team MembersFilters -> Year: 2024
18321
TITLE: Semantics of Property Inheritance in a Hierarchic System with Explicit Negation
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1991, SOURCE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings, VOLUME: 541, PAGES: 135-150
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1991, SOURCE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings, VOLUME: 541, PAGES: 135-150
18322
TITLE: SEMANTICS OF PROPERTY INHERITANCE IN A HIERARCHICAL SYSTEM WITH EXPLICIT NEGATION
AUTHORS: DAVID, G ; PORTO, A ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PAGES: 135-150
AUTHORS: DAVID, G ; PORTO, A ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PAGES: 135-150
INDEXED IN: 
WOS
WOS18323
TITLE: Shell for cooperating expert systems
AUTHORS: Oliveira, E ; Camacho, R ;
PUBLISHED: 1991, SOURCE: Expert Systems, VOLUME: 8, ISSUE: 2, PAGES: 75-85
AUTHORS: Oliveira, E ; Camacho, R ;
PUBLISHED: 1991, SOURCE: Expert Systems, VOLUME: 8, ISSUE: 2, PAGES: 75-85
18324
TITLE: Simulation of MV distribution networks with asynchronous local generation sources
AUTHORS: Pecas Lopes, JA ; Maciel Barbosa, FP ; Cidras Pidre, J;
PUBLISHED: 1991, SOURCE: Proceedings of the 6th Mediterranean Electrotechnical Conference - Melecon '91 in Melecon, PAGES: 1453-1456
AUTHORS: Pecas Lopes, JA ; Maciel Barbosa, FP ; Cidras Pidre, J;
PUBLISHED: 1991, SOURCE: Proceedings of the 6th Mediterranean Electrotechnical Conference - Melecon '91 in Melecon, PAGES: 1453-1456
INDEXED IN: 
Scopus
Scopus18325
TITLE: The right use of the Laplace transform in circuits
AUTHORS: Francisco Correia Velez Grilo; Casimiro Antonio Manuel, ES; Joao Antonio Correia Lopes ;
PUBLISHED: 1991, SOURCE: 33rd Midwest Symposium on Circuits and Systems in Midwest Symposium on Circuits and Systems, VOLUME: 2, PAGES: 906-908
AUTHORS: Francisco Correia Velez Grilo; Casimiro Antonio Manuel, ES; Joao Antonio Correia Lopes ;
PUBLISHED: 1991, SOURCE: 33rd Midwest Symposium on Circuits and Systems in Midwest Symposium on Circuits and Systems, VOLUME: 2, PAGES: 906-908
INDEXED IN: Scopus
Scopus18326
TITLE: THE SURFACE-COMPOSITION AND CORROSION BEHAVIOR OF AISI-304 STAINLESS-STEEL AFTER IMMERSION IN 20-PERCENT HNO3 SOLUTION Full Text
AUTHORS: BARBOSA, MA ; GARRIDO, A; CAMPILHO, A ; SUTHERLAND, I;
PUBLISHED: 1991, SOURCE: CORROSION SCIENCE, VOLUME: 32, ISSUE: 2, PAGES: 179-184
AUTHORS: BARBOSA, MA ; GARRIDO, A; CAMPILHO, A ; SUTHERLAND, I;
PUBLISHED: 1991, SOURCE: CORROSION SCIENCE, VOLUME: 32, ISSUE: 2, PAGES: 179-184
18327
TITLE: Time division multiplexing of coherence tuned optical fibre sensors based upon a multimode laser diode Full Text
AUTHORS: Santos, JL ; Jackson, DA;
PUBLISHED: 1991, SOURCE: Optics Communications, VOLUME: 83, ISSUE: 1-2, PAGES: 37-42
AUTHORS: Santos, JL ; Jackson, DA;
PUBLISHED: 1991, SOURCE: Optics Communications, VOLUME: 83, ISSUE: 1-2, PAGES: 37-42
INDEXED IN: Scopus
Scopus18328
TITLE: Volterra series analysis of distortion in semiconductor laser diodes
AUTHORS: Salgado, HM ; O'Reilly, JJ;
PUBLISHED: 1991, SOURCE: IEE proceedings. Part J, Optoelectronics, VOLUME: 138, ISSUE: 6, PAGES: 379-382
AUTHORS: Salgado, HM ; O'Reilly, JJ;
PUBLISHED: 1991, SOURCE: IEE proceedings. Part J, Optoelectronics, VOLUME: 138, ISSUE: 6, PAGES: 379-382
INDEXED IN: Scopus
Scopus18329
TITLE: 3D GRAPHICS DEVELOPMENTS AND RESEARCH AT INESC NORTE Full Text
AUTHORS: FERREIRA, FN; COSTA, AC; SOUSA, AA ; BRANCO, VA ;
PUBLISHED: 1990, SOURCE: COMPUTERS & GRAPHICS, VOLUME: 14, ISSUE: 1, PAGES: 47-53
AUTHORS: FERREIRA, FN; COSTA, AC; SOUSA, AA ; BRANCO, VA ;
PUBLISHED: 1990, SOURCE: COMPUTERS & GRAPHICS, VOLUME: 14, ISSUE: 1, PAGES: 47-53
18330
TITLE: 3D graphics developments and research at INESC.Norte
AUTHORS: Fernando Nunes Ferreira; António Cardoso Costa; António Augusto de Sousa ; Afonso A Branco;
PUBLISHED: 1990, SOURCE: Comput. Graph., VOLUME: 14, ISSUE: 1, PAGES: 47-53
AUTHORS: Fernando Nunes Ferreira; António Cardoso Costa; António Augusto de Sousa ; Afonso A Branco;
PUBLISHED: 1990, SOURCE: Comput. Graph., VOLUME: 14, ISSUE: 1, PAGES: 47-53
INDEXED IN: 
DBLP
DBLP18331
TITLE: A 2-PHASE ROLL CUTTING PROBLEM Full Text
AUTHORS: FERREIRA, JS ; NEVES, MA; CASTRO, PF;
PUBLISHED: 1990, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 44, ISSUE: 2, PAGES: 185-196
AUTHORS: FERREIRA, JS ; NEVES, MA; CASTRO, PF;
PUBLISHED: 1990, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 44, ISSUE: 2, PAGES: 185-196
INDEXED IN: Scopus WOS
Scopus WOS18332
TITLE: A reification calculus for model-oriented software specification
AUTHORS: Oliveira, JN ;
PUBLISHED: 1990, SOURCE: Formal Aspects of Computing, VOLUME: 2, ISSUE: 1, PAGES: 1-23
AUTHORS: Oliveira, JN ;
PUBLISHED: 1990, SOURCE: Formal Aspects of Computing, VOLUME: 2, ISSUE: 1, PAGES: 1-23
18333
TITLE: A two-phase roll cutting problem Full Text
AUTHORS: Soeiro Ferreira, J ; António Neves, M; Fonseca e Castro, P;
PUBLISHED: 1990, SOURCE: European Journal of Operational Research, VOLUME: 44, ISSUE: 2, PAGES: 185-196
AUTHORS: Soeiro Ferreira, J ; António Neves, M; Fonseca e Castro, P;
PUBLISHED: 1990, SOURCE: European Journal of Operational Research, VOLUME: 44, ISSUE: 2, PAGES: 185-196
18334
TITLE: AN IMPROVED VERSION OF WANG ALGORITHM FOR 2-DIMENSIONAL CUTTING PROBLEMS Full Text
AUTHORS: OLIVEIRA, JF ; FERREIRA, JS ;
PUBLISHED: 1990, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 44, ISSUE: 2, PAGES: 256-266
AUTHORS: OLIVEIRA, JF ; FERREIRA, JS ;
PUBLISHED: 1990, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 44, ISSUE: 2, PAGES: 256-266
18335
TITLE: ARCHETYPE-ORIENTED USER INTERFACES Full Text
AUTHORS: MARTINS, FM ; OLIVEIRA, JN ;
PUBLISHED: 1990, SOURCE: COMPUTERS & GRAPHICS, VOLUME: 14, ISSUE: 1, PAGES: 17-28
AUTHORS: MARTINS, FM ; OLIVEIRA, JN ;
PUBLISHED: 1990, SOURCE: COMPUTERS & GRAPHICS, VOLUME: 14, ISSUE: 1, PAGES: 17-28
18336
TITLE: Assessment of cognitive dysfunction during epileptiform EEG discharges by a computer system
AUTHORS: Nunes, B; Cunha, JP ; Martins da Silva, A;
PUBLISHED: 1990, SOURCE: Bollettino - Lega Italiana contro l'Epilessia, ISSUE: 70-71, PAGES: 195-198
AUTHORS: Nunes, B; Cunha, JP ; Martins da Silva, A;
PUBLISHED: 1990, SOURCE: Bollettino - Lega Italiana contro l'Epilessia, ISSUE: 70-71, PAGES: 195-198
INDEXED IN: Scopus
Scopus18337
TITLE: Automatic transfer function synthesis from a Bode plot Full Text
AUTHORS: Lopes dos Santos, P ; Martins de Carvalho, JL ;
PUBLISHED: 1990, SOURCE: Proceedings of the 29th IEEE Conference on Decision and Control Part 6 (of 6) in Proceedings of the IEEE Conference on Decision and Control, VOLUME: 2, PAGES: 1093-1098
AUTHORS: Lopes dos Santos, P ; Martins de Carvalho, JL ;
PUBLISHED: 1990, SOURCE: Proceedings of the 29th IEEE Conference on Decision and Control Part 6 (of 6) in Proceedings of the IEEE Conference on Decision and Control, VOLUME: 2, PAGES: 1093-1098
18338
TITLE: Computer analysis and topographic spreading of epileptiform events
AUTHORS: Martins da Silva, A; Morgado, R; Cunha, JP ; Oliveira e Silva, T; Guedes de Oliveira, P ; Vaz, F;
PUBLISHED: 1990, SOURCE: Bollettino - Lega Italiana contro l'Epilessia, ISSUE: 70-71, PAGES: 185-187
AUTHORS: Martins da Silva, A; Morgado, R; Cunha, JP ; Oliveira e Silva, T; Guedes de Oliveira, P ; Vaz, F;
PUBLISHED: 1990, SOURCE: Bollettino - Lega Italiana contro l'Epilessia, ISSUE: 70-71, PAGES: 185-187
INDEXED IN: Scopus
Scopus18339
TITLE: Electronic speckle pattern interferometry compensated for environmentally induced phase noise
AUTHORS: Newson Trevor, P; Santos Jose, L ; Jackson David, A;
PUBLISHED: 1990, SOURCE: Fiber Optic Sensors IV in Proceedings of SPIE - The International Society for Optical Engineering, VOLUME: 1267, PAGES: 173-179
AUTHORS: Newson Trevor, P; Santos Jose, L ; Jackson David, A;
PUBLISHED: 1990, SOURCE: Fiber Optic Sensors IV in Proceedings of SPIE - The International Society for Optical Engineering, VOLUME: 1267, PAGES: 173-179
INDEXED IN: Scopus
Scopus18340
TITLE: Electronic speckle-pattern interferometry using single-mode fibers and active fringe stabilization
AUTHORS: Santos, JL ; Newson, TP; Jackson, DA;
PUBLISHED: 1990, SOURCE: Optics Letters, VOLUME: 15, ISSUE: 10, PAGES: 573-575
AUTHORS: Santos, JL ; Newson, TP; Jackson, DA;
PUBLISHED: 1990, SOURCE: Optics Letters, VOLUME: 15, ISSUE: 10, PAGES: 573-575
