Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
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.
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 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: 1166
37 Team MembersFilters -> Year: 2024
AUTHORS: Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 1994, SOURCE: 6th International Conference on Parallel Architectures and Languages Europe, PARLE 1994 in PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings, VOLUME: 817, PAGES: 827-830
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: DUTRA, ID ;
PUBLISHED: 1994, SOURCE: LOGIC PROGRAMMING, PAGES: 289-304
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: 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: Gupta, G; Hermenegildo, MV; Costa, VS ;
PUBLISHED: 1993, SOURCE: New Generation Computing, VOLUME: 11, ISSUE: 3-4, PAGES: 297-321
AUTHORS: Vítor Manuel de Morais Santos Costa ;
PUBLISHED: 1993, SOURCE: British Library, EThOS
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: Rong Yang; Tony Beaumont; Inês de Castro Dutra ; Vítor Santos Costa ; David H D Warren;
PUBLISHED: 1993, SOURCE: Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993, PAGES: 150-166
AUTHORS: YANG, R; BEAUMONT, T; DUTRA, I ; COSTA, VS; WARREN, DHD;
PUBLISHED: 1993, SOURCE: LOGIC PROGRAMMING, PAGES: 150-166
AUTHORS: Miguel Filgueiras; José Paulo Leal ;
PUBLISHED: 1993, SOURCE: Electronic Publishing, VOLUME: 6, ISSUE: 4, PAGES: 507-518
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: 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; 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: 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: DUTRA, ID ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 569, PAGES: 70-82
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: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1991, SOURCE: Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming - PPOPP '91
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: 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