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: 3590
143 Team MembersFilters -> Year: 2024
3541
TITLE: ON FINITE SIMPLE SEMIGROUPS
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1991, SOURCE: PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, VOLUME: 34, PAGES: 205-215
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1991, SOURCE: PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, VOLUME: 34, PAGES: 205-215
INDEXED IN: WOS
3542
TITLE: ON ITERATED SEMIDIRECT PRODUCTS OF FINITE SEMILATTICES Full Text
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1991, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 142, ISSUE: 1, PAGES: 239-254
AUTHORS: ALMEIDA, J ;
PUBLISHED: 1991, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 142, ISSUE: 1, PAGES: 239-254
3544
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
3545
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
3546
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
3547
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
3548
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
3549
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
3550
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
3551
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
3552
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
3553
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
3554
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
3555
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
3556
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
3557
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
3558
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
3559
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
3560
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