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: 3762
143 Team MembersFilters -> Year: 2026
3721
TITLE: The Formal and Processing Models of CLG
AUTHORS: Luís Damas ; Giovanni B Varile; Nelma Moreira ;
PUBLISHED: 1991, SOURCE: EACL, PAGES: 173-178
AUTHORS: Luís Damas ; Giovanni B Varile; Nelma Moreira ;
PUBLISHED: 1991, SOURCE: EACL, PAGES: 173-178
INDEXED IN: 
DBLP
DBLP3722
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
3723
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
Scopus3724
TITLE: CLG(n): Constraint Logic Grammars
AUTHORS: Sergio Balari; Giovanni B Varile; Luís Damas ; Nelma Moreira ;
PUBLISHED: 1990, SOURCE: COLING, PAGES: 7-12
AUTHORS: Sergio Balari; Giovanni B Varile; Luís Damas ; Nelma Moreira ;
PUBLISHED: 1990, SOURCE: COLING, PAGES: 7-12
INDEXED IN: DBLP
DBLP3725
TITLE: General Introduction
AUTHORS: Miguel Filgueiras; Nelma Moreira ; Ana Paula Tomás ;
PUBLISHED: 1990, SOURCE: EAIA, PAGES: 1-3
AUTHORS: Miguel Filgueiras; Nelma Moreira ; Ana Paula Tomás ;
PUBLISHED: 1990, SOURCE: EAIA, PAGES: 1-3
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef3726
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
CrossRef3727
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, PAGES: 299-306
AUTHORS: Miguel Filgueiras; Ana Paula Tomás ; Nelma Moreira ; Rogério Reis ; José Paulo Leal ;
PUBLISHED: 1990, SOURCE: Modelling the Innovation, PAGES: 299-306
INDEXED IN: DBLP
DBLP3728
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
3729
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
3730
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
3731
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
3732
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
3733
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
WOS3734
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
3735
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
3736
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
3737
TITLE: Some Comments on a Logic Programming Approach to Natural Language Semantics
AUTHORS: Ana Paula Tomás ; Miguel Filgueiras;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in EPIA, VOLUME: 390 LNAI, PAGES: 187-197
AUTHORS: Ana Paula Tomás ; Miguel Filgueiras;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in EPIA, VOLUME: 390 LNAI, PAGES: 187-197
3738
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
3739
TITLE: THE JOIN OF THE PSEUDOVARIETIES OF R-TRIVIAL AND L-TRIVIAL MONOIDS Full Text
AUTHORS: ALMEIDA, J ; AZEVEDO, A ;
PUBLISHED: 1989, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 60, ISSUE: 2, PAGES: 129-137
AUTHORS: ALMEIDA, J ; AZEVEDO, A ;
PUBLISHED: 1989, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 60, ISSUE: 2, PAGES: 129-137
3740
TITLE: A NOTION OF BRANCHING RANK FOR SEMILATTICES WITH DESCENDING CHAIN CONDITION
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1988, SOURCE: ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, VOLUME: 4, ISSUE: 4, PAGES: 397-409
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1988, SOURCE: ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, VOLUME: 4, ISSUE: 4, PAGES: 397-409
