Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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: 2837
43 Team MembersFilters -> Year: 2026
2781
TITLE: PERFORMANCE OF THE COMPILER-BASED ANDORRA-I SYSTEM Full Text
AUTHORS: YANG, R; BEAUMONT, T; DUTRA, I ; COSTA, VS; WARREN, DHD;
PUBLISHED: 1993, SOURCE: LOGIC PROGRAMMING, PAGES: 150-166
AUTHORS: YANG, R; BEAUMONT, T; DUTRA, I ; COSTA, VS; WARREN, DHD;
PUBLISHED: 1993, SOURCE: LOGIC PROGRAMMING, PAGES: 150-166
INDEXED IN: 
WOS
WOS2782
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 CrossRef2783
TITLE: Representation and Manipulation of Music Documents in SceX
AUTHORS: Miguel Filgueiras; José Paulo Leal ;
PUBLISHED: 1993, SOURCE: Electronic Publishing, VOLUME: 6, ISSUE: 4, PAGES: 507-518
AUTHORS: Miguel Filgueiras; José Paulo Leal ;
PUBLISHED: 1993, SOURCE: Electronic Publishing, VOLUME: 6, ISSUE: 4, PAGES: 507-518
INDEXED IN: DBLP
DBLP2784
TITLE: Resolution of Constraints in Algebras of Rational Trees
AUTHORS: Luís Damas ; Nelma Moreira ; Sabine Broda ;
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: 61-76
AUTHORS: Luís Damas ; Nelma Moreira ; Sabine Broda ;
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: 61-76
2785
TITLE: Rule Combination in Inductive Learning
AUTHORS: Luís Torgo ;
PUBLISHED: 1993, SOURCE: 1st European Conference on Machine Learning, ECML 1993 in Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings, VOLUME: 667, PAGES: 384-389
AUTHORS: Luís Torgo ;
PUBLISHED: 1993, SOURCE: 1st European Conference on Machine Learning, ECML 1993 in Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings, VOLUME: 667, PAGES: 384-389
2786
TITLE: And-Or Parallelism in Full Prolog with Paged Binding Arrays
AUTHORS: Gopal Gupta; Vítor Santos Costa ;
PUBLISHED: 1992, SOURCE: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, VOLUME: 605, PAGES: 617-632
AUTHORS: Gopal Gupta; Vítor Santos Costa ;
PUBLISHED: 1992, SOURCE: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, VOLUME: 605, PAGES: 617-632
2787
TITLE: Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog
AUTHORS: Gopal Gupta; Vítor Santos Costa ;
PUBLISHED: 1992, SOURCE: Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, SPDP 1992, Arlington, Texas, USA, December 1-4, 1992., PAGES: 288-295
AUTHORS: Gopal Gupta; Vítor Santos Costa ;
PUBLISHED: 1992, SOURCE: Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, SPDP 1992, Arlington, Texas, USA, December 1-4, 1992., PAGES: 288-295
INDEXED IN: DBLP CrossRef
DBLP CrossRef2788
TITLE: Generalized Stack-copying for And-Or Parallel Execution of Full Prolog
AUTHORS: Gopal Gupta; Manuel V Hermenegildo; Vítor Santos Costa ;
PUBLISHED: 1992, SOURCE: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992
AUTHORS: Gopal Gupta; Manuel V Hermenegildo; Vítor Santos Costa ;
PUBLISHED: 1992, SOURCE: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992
INDEXED IN: DBLP
DBLP2789
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
DBLP2790
TITLE: The AbstrAct Scheme for Concurrent Programming
AUTHORS: António Porto ; Paulo Rosado;
PUBLISHED: 1992, SOURCE: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, VOLUME: 660, PAGES: 216-241
AUTHORS: António Porto ; Paulo Rosado;
PUBLISHED: 1992, SOURCE: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, VOLUME: 660, PAGES: 216-241
2791
TITLE: 5TH PORTUGUESE CONFERENCE ON ARTIFICIAL-INTELLIGENCE - ALBUFEIRA, PORTUGAL, OCTOBER 1-3, 1991 PROCEEDINGS - PREFACE
AUTHORS: PEREIRA, LM ; PORTO, A ; BARAHONA, P;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
AUTHORS: PEREIRA, LM ; PORTO, A ; BARAHONA, P;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXED IN: WOS DBLP
WOS DBLP2792
TITLE: A Flexible Scheduler for the Andorra-I System
AUTHORS: Inês de Castro Dutra ;
PUBLISHED: 1991, SOURCE: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, June 24, 1991, Proceedings, VOLUME: 569, PAGES: 70-82
AUTHORS: Inês de Castro Dutra ;
PUBLISHED: 1991, SOURCE: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, June 24, 1991, Proceedings, VOLUME: 569, PAGES: 70-82
2793
TITLE: A FLEXIBLE SCHEDULER FOR THE ANDORRA-I SYSTEM
AUTHORS: DUTRA, ID ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 569, PAGES: 70-82
AUTHORS: DUTRA, ID ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 569, PAGES: 70-82
INDEXED IN: WOS
WOS2794
TITLE: A NEW METHOD FOR SOLVING LINEAR CONSTRAINTS ON THE NATURAL-NUMBERS
AUTHORS: TOMAS, AP ; FILGUEIRAS, M ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PAGES: 30-44
AUTHORS: TOMAS, AP ; FILGUEIRAS, M ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PAGES: 30-44
INDEXED IN: WOS
WOS2795
TITLE: A NEW METHOD FOR SOLVING LINEAR CONSTRAINTS ON THE NATURAL-NUMBERS
AUTHORS: TOMAS, AP ; FILGUEIRAS, M ;
PUBLISHED: 1991, SOURCE: 5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE in EPIA 91, VOLUME: 541, PAGES: 30-44
AUTHORS: TOMAS, AP ; FILGUEIRAS, M ;
PUBLISHED: 1991, SOURCE: 5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE in EPIA 91, VOLUME: 541, PAGES: 30-44
2796
TITLE: An History Based Interface
AUTHORS: José Paulo Leal ; Luís Damas ; Nelma Moreira ;
PUBLISHED: 1991, SOURCE: Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6, PAGES: 10-16
AUTHORS: José Paulo Leal ; Luís Damas ; Nelma Moreira ;
PUBLISHED: 1991, SOURCE: Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6, PAGES: 10-16
INDEXED IN: DBLP
DBLP2797
TITLE: Andorra I. a parallel Prolog system that transparently exploits both And-and or-parallelism
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1991, SOURCE: ACM SIGPLAN Notices - SIGPLAN Not., VOLUME: 26, ISSUE: 7, PAGES: 83-93
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1991, SOURCE: ACM SIGPLAN Notices - SIGPLAN Not., VOLUME: 26, ISSUE: 7, PAGES: 83-93
2798
TITLE: Andorra-I engine: A parallel implementation of the basic Andorra model
AUTHORS: Vitor Santos Costa ; Warren David, HD; Rong Yang;
PUBLISHED: 1991, SOURCE: Logic Programming - Proceedings of the 8th International Conference in Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991, PAGES: 825-839
AUTHORS: Vitor Santos Costa ; Warren David, HD; Rong Yang;
PUBLISHED: 1991, SOURCE: Logic Programming - Proceedings of the 8th International Conference in Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991, PAGES: 825-839
INDEXED IN: 
Scopus DBLP
Scopus DBLP2799
TITLE: Andorra-I preprocessor: Supporting full Prolog on the basic Andorra model
AUTHORS: Vitor Santos Costa ; Warren David, HD; Rong Yang;
PUBLISHED: 1991, SOURCE: Logic Programming - Proceedings of the 8th International Conference in Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991, PAGES: 443-456
AUTHORS: Vitor Santos Costa ; Warren David, HD; Rong Yang;
PUBLISHED: 1991, SOURCE: Logic Programming - Proceedings of the 8th International Conference in Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991, PAGES: 443-456
INDEXED IN: Scopus DBLP
Scopus DBLP2800
TITLE: Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism. a parallel Prolog system that transparently exploits both And-and or-parallelism
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1991, SOURCE: Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Williamsburg, Virginia, USA, April 21-24, 1991, PAGES: 83-93
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1991, SOURCE: Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Williamsburg, Virginia, USA, April 21-24, 1991, PAGES: 83-93
INDEXED IN: DBLP CrossRef
DBLP CrossRef