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: 2849
46 Team MembersFilters -> Year: 2026
2781
TITLE: OR-PARALLEL PROLOG ON DISTRIBUTED SHARED-MEMORY ARCHITECTURES
AUTHORS: SILVA, FMA ;
PUBLISHED: 1994, SOURCE: 1993 International Conference on Logic Programming (ICLP 93) in IMPLEMENTATIONS OF LOGIC PROGRAMMING SYSTEMS, PAGES: 203-215
AUTHORS: SILVA, FMA ;
PUBLISHED: 1994, SOURCE: 1993 International Conference on Logic Programming (ICLP 93) in IMPLEMENTATIONS OF LOGIC PROGRAMMING SYSTEMS, PAGES: 203-215
INDEXED IN: 
WOS 
DBLP
WOS DBLP2782
TITLE: Scheduling Algorithms Performance with the pSystem Parallel Programming Environment
AUTHORS: Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 1994, SOURCE: PARLE, VOLUME: 817 LNCS, PAGES: 827-830
AUTHORS: Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 1994, SOURCE: PARLE, VOLUME: 817 LNCS, PAGES: 827-830
2783
TITLE: Strategies for Scheduling And- and Or-Parallel Work in Parallel Logic Programming Systems
AUTHORS: Inês de Castro Dutra ;
PUBLISHED: 1994, SOURCE: Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994, PAGES: 289-304
AUTHORS: Inês de Castro Dutra ;
PUBLISHED: 1994, SOURCE: Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994, PAGES: 289-304
INDEXED IN: DBLP
DBLP2784
TITLE: STRATEGIES FOR SCHEDULING AND-WORK AND OR-WORK IN PARALLEL LOGIC PROGRAMMING SYSTEMS Full Text
AUTHORS: DUTRA, ID ;
PUBLISHED: 1994, SOURCE: LOGIC PROGRAMMING, PAGES: 289-304
AUTHORS: DUTRA, ID ;
PUBLISHED: 1994, SOURCE: LOGIC PROGRAMMING, PAGES: 289-304
INDEXED IN: WOS
WOS2785
TITLE: Visualization and Interaction in Logic Programming
AUTHORS: José Paulo Leal ;
PUBLISHED: 1994, SOURCE: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges
AUTHORS: José Paulo Leal ;
PUBLISHED: 1994, SOURCE: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges
INDEXED IN: DBLP
DBLP2786
TITLE: An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine
AUTHORS: Fernando M A Silva ;
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: 170-182
AUTHORS: Fernando M A Silva ;
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: 170-182
2787
TITLE: And-Or Parallel Prolog: A Recomputation Based Approach
AUTHORS: Gopal Gupta; Manuel V Hermenegildo; Vítor Santos Costa ;
PUBLISHED: 1993, SOURCE: New Gener. Comput., VOLUME: 11, ISSUE: 3, PAGES: 297-321
AUTHORS: Gopal Gupta; Manuel V Hermenegildo; Vítor Santos Costa ;
PUBLISHED: 1993, SOURCE: New Gener. Comput., VOLUME: 11, ISSUE: 3, PAGES: 297-321
2788
TITLE: Compile-time analysis for the parallel execution of logic programs in Andorra-1
AUTHORS: Vítor Manuel de Morais Santos Costa ;
PUBLISHED: 1993, SOURCE: British Library, EThOS
AUTHORS: Vítor Manuel de Morais Santos Costa ;
PUBLISHED: 1993, SOURCE: British Library, EThOS
INDEXED IN: DBLP
DBLP2789
TITLE: Controlled Redundancy in Incremental Rule 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: 185-195
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: 185-195
2790
TITLE: Fast Methods for Solving Linear Diophantine Equations
AUTHORS: Miguel Filgueiras; Ana Paula Tomás ;
PUBLISHED: 1993, SOURCE: EPIA, VOLUME: 727 LNAI, PAGES: 297-306
AUTHORS: Miguel Filgueiras; Ana Paula Tomás ;
PUBLISHED: 1993, SOURCE: EPIA, VOLUME: 727 LNAI, PAGES: 297-306
2791
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
2792
TITLE: Initial Performance of Dorpp: an Or-Parallel Prolog System for a Distributed Shared Memory Architecture
AUTHORS: Fernando M A Silva ;
PUBLISHED: 1993, SOURCE: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, PAGES: 25-44
AUTHORS: Fernando M A Silva ;
PUBLISHED: 1993, SOURCE: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, PAGES: 25-44
INDEXED IN: DBLP
DBLP2793
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
WOS2794
TITLE: Performance of the Compiler-Based Andorra-I System
AUTHORS: Rong Yang; Tony Beaumont; Inês de Castro Dutra ; Vítor Santos Costa ; David H D Warren;
PUBLISHED: 1993, SOURCE: ICLP, PAGES: 150-166
AUTHORS: Rong Yang; Tony Beaumont; Inês de Castro Dutra ; Vítor Santos Costa ; David H D Warren;
PUBLISHED: 1993, SOURCE: ICLP, PAGES: 150-166
INDEXED IN: DBLP
DBLP2795
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 CrossRef2796
TITLE: Representation and Manipulation of Music Documents in SceX
AUTHORS: Miguel Filgueiras; José Paulo Leal ;
PUBLISHED: 1993, SOURCE: Electron. Publ., VOLUME: 6, ISSUE: 4, PAGES: 507-518
AUTHORS: Miguel Filgueiras; José Paulo Leal ;
PUBLISHED: 1993, SOURCE: Electron. Publ., VOLUME: 6, ISSUE: 4, PAGES: 507-518
INDEXED IN: DBLP
DBLP2797
TITLE: Resolution of Constraints in Algebras of Rational Trees
AUTHORS: Luís Damas ; Nelma Moreira ; Sabine Broda ;
PUBLISHED: 1993, SOURCE: EPIA, VOLUME: 727 LNAI, PAGES: 61-76
AUTHORS: Luís Damas ; Nelma Moreira ; Sabine Broda ;
PUBLISHED: 1993, SOURCE: EPIA, VOLUME: 727 LNAI, PAGES: 61-76
2798
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
2799
TITLE: And-Or Parallelism in Full Prolog with Paged Binding Arrays
AUTHORS: Gopal Gupta; Vítor Santos Costa ;
PUBLISHED: 1992, SOURCE: PARLE, PAGES: 617-632
AUTHORS: Gopal Gupta; Vítor Santos Costa ;
PUBLISHED: 1992, SOURCE: PARLE, PAGES: 617-632
2800
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: SPDP, PAGES: 288-295
AUTHORS: Gopal Gupta; Vítor Santos Costa ;
PUBLISHED: 1992, SOURCE: SPDP, PAGES: 288-295
INDEXED IN: DBLP CrossRef
DBLP CrossRef