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: 20557
1697 Team MembersFilters -> Year: 2024
20481
TITLE: REASONING WITH MAXIMAL TIME INTERVALS
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: International Workshop on Processing Declarative Knowledge, PDK 1991 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 567, PAGES: 171-178
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: International Workshop on Processing Declarative Knowledge, PDK 1991 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 567, PAGES: 171-178
20482
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
20483
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
WOS20484
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
20485
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
Scopus20486
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
Scopus20487
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
20488
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
Scopus20489
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
Scopus20490
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
20491
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
DBLP20492
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 WOS20493
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
20494
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
20495
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
20496
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
20497
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
Scopus20498
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
20499
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
Scopus20500
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
Scopus