CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 8632
531 Team MembersFilters -> Year: 2025
8601
TITLE: CONTROLLING COOPERATIVE EXPERTS IN A REAL-TIME SYSTEM
AUTHORS: OLIVEIRA, E ; QIEGANG, L; CAMACHO, R ;
PUBLISHED: 1991, SOURCE: 3RD INTERNATIONAL CONF ON SOFTWARE ENGINEERING FOR REAL TIME SYSTEMS in THIRD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING FOR REAL TIME SYSTEMS, VOLUME: 344, ISSUE: 344, PAGES: 176-181
AUTHORS: OLIVEIRA, E ; QIEGANG, L; CAMACHO, R ;
PUBLISHED: 1991, SOURCE: 3RD INTERNATIONAL CONF ON SOFTWARE ENGINEERING FOR REAL TIME SYSTEMS in THIRD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING FOR REAL TIME SYSTEMS, VOLUME: 344, ISSUE: 344, PAGES: 176-181
INDEXED IN: 
Scopus 
WOS
Scopus WOS8602
TITLE: IDIOM: Integrating dependent and-, independent and-, and or-parallelism
AUTHORS: Gopal Gupta; Costa Vitor Santos ; Rong Yang; Hermenegildo Manuel, V;
PUBLISHED: 1991, SOURCE: Logic Programming - Proceedings of the 1991 International Symposium in Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991, PAGES: 152-166
AUTHORS: Gopal Gupta; Costa Vitor Santos ; Rong Yang; Hermenegildo Manuel, V;
PUBLISHED: 1991, SOURCE: Logic Programming - Proceedings of the 1991 International Symposium in Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991, PAGES: 152-166
INDEXED IN: Scopus 
DBLP
Scopus DBLP8603
TITLE: Integral transforms as a change of basis in a vectorial space
AUTHORS: Grilo Francisco, CV; Casimiro Antonio, MES; Correia C Lopes Joao ;
PUBLISHED: 1991, SOURCE: 1991 IEEE International Symposium on Circuits and Systems Part 4 (of 5) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 5, PAGES: 2773-2775
AUTHORS: Grilo Francisco, CV; Casimiro Antonio, MES; Correia C Lopes Joao ;
PUBLISHED: 1991, SOURCE: 1991 IEEE International Symposium on Circuits and Systems Part 4 (of 5) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 5, PAGES: 2773-2775
INDEXED IN: Scopus
Scopus8604
TITLE: INTERNATIONAL WORKSHOP ON PROCESSING DECLARATIVE KNOWLEDGE - CONFERENCE REPORT
AUTHORS: RIBEIRO, C ;
PUBLISHED: 1991, SOURCE: COMPUTERS AND ARTIFICIAL INTELLIGENCE, VOLUME: 10, ISSUE: 6, PAGES: 601-602
AUTHORS: RIBEIRO, C ;
PUBLISHED: 1991, SOURCE: COMPUTERS AND ARTIFICIAL INTELLIGENCE, VOLUME: 10, ISSUE: 6, PAGES: 601-602
INDEXED IN: WOS
WOS8605
TITLE: Learning in multi-agent environments
AUTHORS: Pavel Brazdil ;
PUBLISHED: 1991, SOURCE: Algorithmic Learning Theory, 2nd International Workshop, ALT '91, Tokyo, Japan, October 23-25, 1991, Proceedings, PAGES: 15-
AUTHORS: Pavel Brazdil ;
PUBLISHED: 1991, SOURCE: Algorithmic Learning Theory, 2nd International Workshop, ALT '91, Tokyo, Japan, October 23-25, 1991, Proceedings, PAGES: 15-
INDEXED IN: DBLP
DBLP8606
TITLE: Learning to Relate Terms in a Multiple Agent Environment
AUTHORS: Pavel Brazdil ; Stephen Muggleton;
PUBLISHED: 1991, SOURCE: Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings, VOLUME: 482, PAGES: 424-439
AUTHORS: Pavel Brazdil ; Stephen Muggleton;
PUBLISHED: 1991, SOURCE: Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings, VOLUME: 482, PAGES: 424-439
8607
TITLE: MAXIMAL INTERVALS - AN APPROACH TO TEMPORAL REASONING
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PAGES: 180-194
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PAGES: 180-194
8608
TITLE: Panel: Learning in Distributed Systems and Multi-Agent Environments
AUTHORS: Pavel Brazdil ; Matjaz Gams; Sati S Sian; Luís Torgo ; Walter Van de Velde;
PUBLISHED: 1991, SOURCE: European Working Session on Learning, EWSL 1991 in Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings, VOLUME: 482, PAGES: 412-423
AUTHORS: Pavel Brazdil ; Matjaz Gams; Sati S Sian; Luís Torgo ; Walter Van de Velde;
PUBLISHED: 1991, SOURCE: European Working Session on Learning, EWSL 1991 in Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings, VOLUME: 482, PAGES: 412-423
8609
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
8610
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
8611
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
WOS8612
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
8613
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
Scopus8614
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
8615
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
DBLP8616
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
8617
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
8618
TITLE: Generic Browsing: A Case for Contextual Logic Programming
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1990, SOURCE: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, PAGES: 68-73
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1990, SOURCE: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, PAGES: 68-73
INDEXED IN: DBLP
DBLP8619
TITLE: Interactive Ray-Tracing for Image production with Increasing Realism
AUTHORS: Augusto A de Sousa ; António M C Costa; Fernando N Ferreira;
PUBLISHED: 1990, SOURCE: 11th European Computer Graphics Conference and Exhibition, Eurographics 1990, Montreux, Switzerland, September 4-7, 1990, Proceedings
AUTHORS: Augusto A de Sousa ; António M C Costa; Fernando N Ferreira;
PUBLISHED: 1990, SOURCE: 11th European Computer Graphics Conference and Exhibition, Eurographics 1990, Montreux, Switzerland, September 4-7, 1990, Proceedings
INDEXED IN: DBLP
DBLP8620
TITLE: Machine Learning, Meta-Reasoning and Logics
AUTHORS: Pavel B Brazdil ; Kurt Konolige;
PUBLISHED: 1990, SOURCE: The Kluwer International Series in Engineering and Computer Science
AUTHORS: Pavel B Brazdil ; Kurt Konolige;
PUBLISHED: 1990, SOURCE: The Kluwer International Series in Engineering and Computer Science
