Centro de Matemática da Universidade do Porto (CMUP)
Centro de Matemática da Universidade do Porto
AuthID: I-000-1C6
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: 3584
143 Team MembersFilters -> Year: 2024
3541
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
AUTHORS: FILGUEIRAS, M ; TOMAS, AP ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PAGES: 1-16
INDEXED IN: 
WOS
WOS3542
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
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
DBLP3543
TITLE: Two-dimensional Navier-Stokes equations with a large-scale instability of the Kuramoto-Sivashinsky type. Numerical exploration on the Connection Machine
AUTHORS: Gama, S ; Frisch, U; Scholl, H;
PUBLISHED: 1991, SOURCE: Journal of Scientific Computing, VOLUME: 6, ISSUE: 4, PAGES: 425-452
AUTHORS: Gama, S ; Frisch, U; Scholl, H;
PUBLISHED: 1991, SOURCE: Journal of Scientific Computing, VOLUME: 6, ISSUE: 4, PAGES: 425-452
3544
TITLE: Approximate filters for a nonlinear discrete time filtering problem with small observation noise Full Text
AUTHORS: de Oliveira Paula Milheirode ;
PUBLISHED: 1990, SOURCE: Proceedings of the 29th IEEE Conference on Decision and Control Part 6 (of 6) in Proceedings of the IEEE Conference on Decision and Control, VOLUME: 2, PAGES: 778-783
AUTHORS: de Oliveira Paula Milheirode ;
PUBLISHED: 1990, SOURCE: Proceedings of the 29th IEEE Conference on Decision and Control Part 6 (of 6) in Proceedings of the IEEE Conference on Decision and Control, VOLUME: 2, PAGES: 778-783
INDEXED IN: 
Scopus
Scopus3545
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
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
DBLP3546
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
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
DBLP CrossRef3547
TITLE: Lattices, Semigroups, and Universal Algebra
AUTHORS: Jorge Almeida ; Gabriela Bordalo; Philip Dwinger;
PUBLISHED: 1990
AUTHORS: Jorge Almeida ; Gabriela Bordalo; Philip Dwinger;
PUBLISHED: 1990
INDEXED IN: CrossRef
CrossRef3548
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
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
DBLP3549
TITLE: ON PSEUDOVARIETIES, VARIETIES OF LANGUAGES, FILTERS OF CONGRUENCES, PSEUDOIDENTITIES AND RELATED TOPICS
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1990, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 27, ISSUE: 3, PAGES: 333-350
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1990, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 27, ISSUE: 3, PAGES: 333-350
3550
TITLE: SEMIDIRECTLY CLOSED PSEUDOVARIETIES OF LOCALLY TRIVIAL SEMIGROUPS
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1990, SOURCE: SEMIGROUP FORUM, VOLUME: 40, ISSUE: 3, PAGES: 315-323
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1990, SOURCE: SEMIGROUP FORUM, VOLUME: 40, ISSUE: 3, PAGES: 315-323
3551
TITLE: COVARIANCE DENSITY-ESTIMATION FOR AUTOREGRESSIVE SPECTRAL MODELING OF POINT-PROCESSES
AUTHORS: LAGO, PJA ; ROCHA, AP ; JONES, NB;
PUBLISHED: 1989, SOURCE: BIOLOGICAL CYBERNETICS, VOLUME: 61, ISSUE: 3, PAGES: 195-203
AUTHORS: LAGO, PJA ; ROCHA, AP ; JONES, NB;
PUBLISHED: 1989, SOURCE: BIOLOGICAL CYBERNETICS, VOLUME: 61, ISSUE: 3, PAGES: 195-203
3552
TITLE: DEGENERATE HOPF-BIFURCATION AND NERVE IMPULSE .2.
AUTHORS: LABOURIAU, IS ;
PUBLISHED: 1989, SOURCE: SIAM JOURNAL ON MATHEMATICAL ANALYSIS, VOLUME: 20, ISSUE: 1, PAGES: 1-12
AUTHORS: LABOURIAU, IS ;
PUBLISHED: 1989, SOURCE: SIAM JOURNAL ON MATHEMATICAL ANALYSIS, VOLUME: 20, ISSUE: 1, PAGES: 1-12
3553
TITLE: DEGENERATE HOPF-BIFURCATION FORMULAS AND HILBERTS 16TH PROBLEM
AUTHORS: FARR, WW; LI, CZ; LABOURIAU, IS ; LANGFORD, WF;
PUBLISHED: 1989, SOURCE: SIAM JOURNAL ON MATHEMATICAL ANALYSIS, VOLUME: 20, ISSUE: 1, PAGES: 13-30
AUTHORS: FARR, WW; LI, CZ; LABOURIAU, IS ; LANGFORD, WF;
PUBLISHED: 1989, SOURCE: SIAM JOURNAL ON MATHEMATICAL ANALYSIS, VOLUME: 20, ISSUE: 1, PAGES: 13-30
3554
TITLE: EQUATIONS FOR PSEUDOVARIETIES
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1989, SOURCE: 16TH SPRING SCHOOL OF THEORETICAL COMPUTER SCIENCE : FORMAL PROPERTIES OF FINITE AUTOMATA AND APPLICATIONS in FORMAL PROPERTIES OF FINITE AUTOMATA AND APPLICATIONS, VOLUME: 386, PAGES: 148-164
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1989, SOURCE: 16TH SPRING SCHOOL OF THEORETICAL COMPUTER SCIENCE : FORMAL PROPERTIES OF FINITE AUTOMATA AND APPLICATIONS in FORMAL PROPERTIES OF FINITE AUTOMATA AND APPLICATIONS, VOLUME: 386, PAGES: 148-164
INDEXED IN: WOS
WOS3555
TITLE: ON POWER VARIETIES OF SEMIGROUPS Full Text
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1989, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 120, ISSUE: 1, PAGES: 1-17
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1989, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 120, ISSUE: 1, PAGES: 1-17
3556
TITLE: Semantic Analysis of Time and Tense in Natural Language: An Implementation
AUTHORS: Nelma Moreira ;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings, VOLUME: 390, PAGES: 198-209
AUTHORS: Nelma Moreira ;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings, VOLUME: 390, PAGES: 198-209
3557
TITLE: SEMIDIRECT PRODUCTS OF PSEUDOVARIETIES FROM THE UNIVERSAL ALGEBRAISTS POINT OF VIEW Full Text
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1989, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 60, ISSUE: 2, PAGES: 113-128
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1989, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 60, ISSUE: 2, PAGES: 113-128
3558
TITLE: Some Comments on a Logic Programming Approach to Natural Language Semantics
AUTHORS: Ana Paula Tomás ; Miguel Filgueiras;
PUBLISHED: 1989, SOURCE: EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings, VOLUME: 390, PAGES: 187-197
AUTHORS: Ana Paula Tomás ; Miguel Filgueiras;
PUBLISHED: 1989, SOURCE: EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings, VOLUME: 390, PAGES: 187-197
INDEXED IN: DBLP
DBLP3559
TITLE: Some comments on a logic programming approach to natural language semantics
AUTHORS: Tomás, AP ; Filgueiras, M;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 390 LNAI, PAGES: 187-197
AUTHORS: Tomás, AP ; Filgueiras, M;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 390 LNAI, PAGES: 187-197
3560
TITLE: THE ALGEBRA OF IMPLICIT OPERATIONS
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1989, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 26, ISSUE: 1, PAGES: 16-32
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1989, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 26, ISSUE: 1, PAGES: 16-32
