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: 4556
213 Team MembersFilters -> Year: 2026
4541
TITLE: Supporting Cooperative Software Development through a Multimedia Environment
AUTHORS: Adérito Marcos ;
PUBLISHED: 1994, SOURCE: Eurographics - Multimedia/Hypermedia in Open Distributed Environments, PAGES: 316-330
AUTHORS: Adérito Marcos ;
PUBLISHED: 1994, SOURCE: Eurographics - Multimedia/Hypermedia in Open Distributed Environments, PAGES: 316-330
4542
TITLE: Inheritance in a Hierarchy of Theories
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1993, SOURCE: EPIA, VOLUME: 727 LNAI, PAGES: 77-92
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1993, SOURCE: EPIA, VOLUME: 727 LNAI, PAGES: 77-92
4543
TITLE: Representation and Inference with Consistent Temporal Propositions
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1993, SOURCE: ELP, PAGES: 322-332
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1993, SOURCE: ELP, PAGES: 322-332
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef4544
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 DBLP4545
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, 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, PAGES: 23-32
INDEXED IN: DBLP CrossRef
DBLP CrossRef4546
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
DBLP4547
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
Scopus4548
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
WOS4549
TITLE: MAXIMAL INTERVALS - AN APPROACH TO TEMPORAL REASONING
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PAGES: 180-194
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PAGES: 180-194
4550
TITLE: REASONING WITH MAXIMAL TIME INTERVALS
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 567, PAGES: 171-178
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 567, PAGES: 171-178
4551
TITLE: Semantics of Property Inheritance in a Hierarchic System with Explicit Negation
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1991, SOURCE: EPIA, VOLUME: 541 LNAI, PAGES: 135-150
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1991, SOURCE: EPIA, VOLUME: 541 LNAI, PAGES: 135-150
4552
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
WOS4553
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
Scopus4554
TITLE: 3D GRAPHICS DEVELOPMENTS AND RESEARCH AT INESC NORTE
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
4555
TITLE: Generic Browsing: A Case for Contextual Logic Programming
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1990, SOURCE: LPE, PAGES: 68-73
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1990, SOURCE: LPE, PAGES: 68-73
INDEXED IN: DBLP
DBLP4556
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: Eurographics
AUTHORS: Augusto A de Sousa ; António M C Costa; Fernando N Ferreira;
PUBLISHED: 1990, SOURCE: Eurographics
INDEXED IN: DBLP
DBLP