Department of Computer Science (DCC)
Departamento de Ciências dos Computadores

University of Porto (UP) :: Faculty of Sciences (FCUP)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 2644

43 Team Members
Filters -> Year: 2025
2621
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
INDEXED IN: WOS
2622
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
INDEXED IN: DBLP
2623
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: Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming - PPOPP '91
INDEXED IN: CrossRef: 25
2624
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
INDEXED IN: CrossRef: 18
2625
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
INDEXED IN: Scopus DBLP
2626
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
INDEXED IN: Scopus DBLP
2627
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: 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
2628
TITLE: General introduction
AUTHORS: Filgueiras, M; Moreira, N ; Tomás, AP ;
PUBLISHED: 1991, SOURCE: 2nd Advanced School on Artificial Intelligence, EAIA 1990 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 476 LNAI, PAGES: 1-3
INDEXED IN: Scopus
2629
TITLE: IDIOM: Integrating dependent and-, independent and-, and or-parallelism
AUTHORS: Gopal Gupta; Costa Vitor Santos ; Rong Yang; Hermenegildo Manuel, V;
PUBLISHED: 1991, SOURCE: Logic Programming - Proceedings of the 1991 International Symposium in Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991, PAGES: 152-166
INDEXED IN: Scopus DBLP
2631
TITLE: Panel: Learning in Distributed Systems and Multi-Agent Environments
AUTHORS: Pavel Brazdil ; Matjaz Gams; Sati S Sian; Luís Torgo ; Walter Van de Velde;
PUBLISHED: 1991, SOURCE: European Working Session on Learning, EWSL 1991 in Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings, VOLUME: 482, PAGES: 412-423
INDEXED IN: Scopus DBLP CrossRef: 13
2632
TITLE: Preface
AUTHORS: Filgueiras, M; Damas, L; Moreira, N ; Tomás, AP ;
PUBLISHED: 1991, SOURCE: 2nd Advanced School on Artificial Intelligence, EAIA 1990 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 476 LNAI
INDEXED IN: Scopus
2633
TITLE: SOLVING LINEAR CONSTRAINTS ON FINITE DOMAINS THROUGH PARSING
AUTHORS: FILGUEIRAS, M ; TOMAS, AP ;
PUBLISHED: 1991, SOURCE: 5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE in EPIA 91, VOLUME: 541, PAGES: 1-16
INDEXED IN: Scopus WOS DBLP CrossRef
2634
TITLE: SOLVING LINEAR CONSTRAINTS ON FINITE DOMAINS THROUGH PARSING
AUTHORS: FILGUEIRAS, M ; TOMAS, AP ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PAGES: 1-16
INDEXED IN: WOS
2635
TITLE: The Formal and Processing Models of CLG PDF
AUTHORS: Luís Damas ; Giovanni B Varile; Nelma Moreira ;
PUBLISHED: 1991, SOURCE: EACL 1991, 5th Conference of the European Chapter of the Association for Computational Linguistics, April 9-11, 1991, Congress Hall, Alexanderplatz, Berlin, Germany, PAGES: 173-178
INDEXED IN: DBLP
2636
TITLE: CLG(n): Constraint Logic Grammars
AUTHORS: Sergio Balari; Giovanni B Varile; Luís Damas ; Nelma Moreira ;
PUBLISHED: 1990, SOURCE: 13th International Conference on Computational Linguistics, COLING 1990, University of Helsinki, Finland, August 20-25, 1990, PAGES: 7-12
INDEXED IN: DBLP
2637
TITLE: General Introduction
AUTHORS: Miguel Filgueiras; Nelma Moreira ; Ana Paula Tomás ;
PUBLISHED: 1990, SOURCE: Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings, VOLUME: 476, PAGES: 1-3
INDEXED IN: DBLP CrossRef
2638
TITLE: Natural Language and Natural Menus Interfaces
AUTHORS: Miguel Filgueiras; Ana Paula Tomás ; Nelma Moreira ; Rogério Reis ; José Paulo Leal ;
PUBLISHED: 1990, SOURCE: Modelling the Innovation: Communications, Automation and Information Systems, Proceedings of the IFIP TC7 Conference on Modelling the Innovation: Communications, Automation and Information Systems, Rome, Italy, 21-23 March, 1990, PAGES: 299-306
INDEXED IN: DBLP
2639
TITLE: NATURAL-LANGUAGE AND NATURAL MENUS INTERFACES
AUTHORS: FILGUEIRAS, M; TOMAS, AP; MOREIRA, N; REIS, R; LEAL, JP ;
PUBLISHED: 1990, SOURCE: MODELLING THE INNOVATION : COMMUNICATIONS, AUTOMATION AND INFORMATION SYSTEMS, PAGES: 299-306
INDEXED IN: WOS
2640
TITLE: The YToolkit: A Prolog Approach to a User Interface
AUTHORS: José Paulo Leal ;
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: 19-29
INDEXED IN: DBLP

Results per Page: 20.
Page 132 of 133. Total results: 2644.