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: 3766
143 Team MembersFilters -> Year: 2026
3721
TITLE: ON THE MEMBERSHIP PROBLEM FOR PSEUDOVARIETIES OF COMMUTATIVE SEMIGROUPS
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1991, SOURCE: SEMIGROUP FORUM, VOLUME: 42, ISSUE: 1, PAGES: 47-51
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1991, SOURCE: SEMIGROUP FORUM, VOLUME: 42, ISSUE: 1, PAGES: 47-51
3722
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
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
Scopus3723
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
WOS3724
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
AUTHORS: FILGUEIRAS, M ; TOMAS, AP ;
PUBLISHED: 1991, SOURCE: 5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE in EPIA 91, VOLUME: 541, PAGES: 1-16
3725
TITLE: The Formal and Processing Models of CLG Full Text
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
DBLP3726
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
3727
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
Scopus3728
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
DBLP3729
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 CrossRef3730
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
CrossRef3731
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
DBLP3732
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
3733
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
3734
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
3735
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
3736
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
3737
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
WOS3738
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
3739
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
3740
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
