Human-Centered Computing and Information Science (HumanISE)
Computação Centrada No Humano e Ciência da Informação
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY7
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: 3597
213 Team MembersFilters -> Year: 2024
3581
TITLE: Inheritance in a Hierarchy of Theories
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1993, SOURCE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727, PAGES: 77-92
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1993, SOURCE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727, PAGES: 77-92
3582
TITLE: Representation and Inference with Consistent Temporal Propositions
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1993, SOURCE: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings, VOLUME: 798, PAGES: 322-332
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1993, SOURCE: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings, VOLUME: 798, PAGES: 322-332
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef3583
TITLE: Strategies and Implementation of Ray-Tracing with Increasing Realism
AUTHORS: Leitāo, JM ; Sousa, AA ; Costa, AC; Ferreira, FN;
PUBLISHED: 1993, SOURCE: Beiträge zur Graphischen Datenverarbeitung - Graphics Modeling and Visualization in Science and Technology, PAGES: 23-32
AUTHORS: Leitāo, JM ; Sousa, AA ; Costa, AC; Ferreira, FN;
PUBLISHED: 1993, SOURCE: Beiträge zur Graphischen Datenverarbeitung - Graphics Modeling and Visualization in Science and Technology, PAGES: 23-32
INDEXED IN: CrossRef
CrossRef3584
TITLE: CONFERENCE REPORT ON PDK91 - INTERNATIONAL WORKSHOP ON PROCESSING DECLARATIVE KNOWLEDGE
AUTHORS: RIBEIRO, C ;
PUBLISHED: 1992, SOURCE: SIGPLAN NOTICES, VOLUME: 27, ISSUE: 2, PAGES: 7-25
AUTHORS: RIBEIRO, C ;
PUBLISHED: 1992, SOURCE: SIGPLAN NOTICES, VOLUME: 27, ISSUE: 2, PAGES: 7-25
INDEXED IN: 
WOS DBLP
WOS DBLP3585
TITLE: Strategies and Implementation of Ray-Tracing with Increasing Realism
AUTHORS: José Manuel Leitão; António Augusto de Sousa ; António Cardoso Costa; Fernando Nunes Ferreira;
PUBLISHED: 1992, SOURCE: Graphics Modeling and Visualization in Science and Technology, Selected Papers of the Workshop on Graphics Modeling and Visualization in Scientific, Engineering and Technical Applications, Darmstadt, Germany, April 13-14, 1992, PAGES: 23-32
AUTHORS: José Manuel Leitão; António Augusto de Sousa ; António Cardoso Costa; Fernando Nunes Ferreira;
PUBLISHED: 1992, SOURCE: Graphics Modeling and Visualization in Science and Technology, Selected Papers of the Workshop on Graphics Modeling and Visualization in Scientific, Engineering and Technical Applications, Darmstadt, Germany, April 13-14, 1992, PAGES: 23-32
INDEXED IN: DBLP
DBLP3586
TITLE: Temporal Inference with a Point Based Interval Algebra
AUTHORS: António Porto ; Cristina Ribeiro ;
PUBLISHED: 1992, SOURCE: ECAI, PAGES: 374-378
AUTHORS: António Porto ; Cristina Ribeiro ;
PUBLISHED: 1992, SOURCE: ECAI, PAGES: 374-378
INDEXED IN: DBLP
DBLP3587
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
Scopus3588
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
WOS3589
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
3590
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
3591
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
3592
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
WOS3593
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
Scopus3594
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
3595
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
DBLP3596
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
DBLP3597
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
DBLP