Centro de Matemática da Universidade do Porto (CMUP)
Centro de Matemática da Universidade do Porto

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 3584

143 Team Members
Filters -> Year: 2024
3541
TÍTULO: SOLVING LINEAR CONSTRAINTS ON FINITE DOMAINS THROUGH PARSING
AUTORES: FILGUEIRAS, M ; TOMAS, AP ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PÁGINAS: 1-16
INDEXADO EM: WOS
3542
TÍTULO: The Formal and Processing Models of CLG PDF
AUTORES: Luís Damas ; Giovanni B Varile; Nelma Moreira ;
PUBLICAÇÃO: 1991, FONTE: EACL 1991, 5th Conference of the European Chapter of the Association for Computational Linguistics, April 9-11, 1991, Congress Hall, Alexanderplatz, Berlin, Germany, PÁGINAS: 173-178
INDEXADO EM: DBLP
3543
TÍTULO: Two-dimensional Navier-Stokes equations with a large-scale instability of the Kuramoto-Sivashinsky type. Numerical exploration on the Connection Machine
AUTORES: Gama, S ; Frisch, U; Scholl, H;
PUBLICAÇÃO: 1991, FONTE: Journal of Scientific Computing, VOLUME: 6, NÚMERO: 4, PÁGINAS: 425-452
INDEXADO EM: Scopus CrossRef: 15
3544
TÍTULO: Approximate filters for a nonlinear discrete time filtering problem with small observation noise  Full Text
AUTORES: de Oliveira Paula Milheirode ;
PUBLICAÇÃO: 1990, FONTE: 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, PÁGINAS: 778-783
INDEXADO EM: Scopus
3545
TÍTULO: CLG(n): Constraint Logic Grammars
AUTORES: Sergio Balari; Giovanni B Varile; Luís Damas ; Nelma Moreira ;
PUBLICAÇÃO: 1990, FONTE: 13th International Conference on Computational Linguistics, COLING 1990, University of Helsinki, Finland, August 20-25, 1990, PÁGINAS: 7-12
INDEXADO EM: DBLP
3546
TÍTULO: General Introduction
AUTORES: Miguel Filgueiras; Nelma Moreira ; Ana Paula Tomás ;
PUBLICAÇÃO: 1990, FONTE: Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings, VOLUME: 476, PÁGINAS: 1-3
INDEXADO EM: DBLP CrossRef
3547
TÍTULO: Lattices, Semigroups, and Universal Algebra
AUTORES: Jorge Almeida ; Gabriela Bordalo; Philip Dwinger;
PUBLICAÇÃO: 1990
INDEXADO EM: CrossRef
3548
TÍTULO: Natural Language and Natural Menus Interfaces
AUTORES: Miguel Filgueiras; Ana Paula Tomás ; Nelma Moreira ; Rogério Reis ; José Paulo Leal ;
PUBLICAÇÃO: 1990, FONTE: 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, PÁGINAS: 299-306
INDEXADO EM: DBLP
3549
TÍTULO: ON PSEUDOVARIETIES, VARIETIES OF LANGUAGES, FILTERS OF CONGRUENCES, PSEUDOIDENTITIES AND RELATED TOPICS
AUTORES: ALMEIDA, J ;
PUBLICAÇÃO: 1990, FONTE: ALGEBRA UNIVERSALIS, VOLUME: 27, NÚMERO: 3, PÁGINAS: 333-350
INDEXADO EM: Scopus WOS CrossRef: 36
3550
TÍTULO: SEMIDIRECTLY CLOSED PSEUDOVARIETIES OF LOCALLY TRIVIAL SEMIGROUPS
AUTORES: ALMEIDA, J ;
PUBLICAÇÃO: 1990, FONTE: SEMIGROUP FORUM, VOLUME: 40, NÚMERO: 3, PÁGINAS: 315-323
INDEXADO EM: Scopus WOS CrossRef: 3
3551
TÍTULO: COVARIANCE DENSITY-ESTIMATION FOR AUTOREGRESSIVE SPECTRAL MODELING OF POINT-PROCESSES
AUTORES: LAGO, PJA ; ROCHA, AP ; JONES, NB;
PUBLICAÇÃO: 1989, FONTE: BIOLOGICAL CYBERNETICS, VOLUME: 61, NÚMERO: 3, PÁGINAS: 195-203
INDEXADO EM: Scopus WOS CrossRef: 1
3552
TÍTULO: DEGENERATE HOPF-BIFURCATION AND NERVE IMPULSE .2.
AUTORES: LABOURIAU, IS ;
PUBLICAÇÃO: 1989, FONTE: SIAM JOURNAL ON MATHEMATICAL ANALYSIS, VOLUME: 20, NÚMERO: 1, PÁGINAS: 1-12
INDEXADO EM: WOS CrossRef: 13
3553
TÍTULO: DEGENERATE HOPF-BIFURCATION FORMULAS AND HILBERTS 16TH PROBLEM
AUTORES: FARR, WW; LI, CZ; LABOURIAU, IS ; LANGFORD, WF;
PUBLICAÇÃO: 1989, FONTE: SIAM JOURNAL ON MATHEMATICAL ANALYSIS, VOLUME: 20, NÚMERO: 1, PÁGINAS: 13-30
INDEXADO EM: WOS CrossRef: 77
3554
TÍTULO: EQUATIONS FOR PSEUDOVARIETIES
AUTORES: ALMEIDA, J ;
PUBLICAÇÃO: 1989, FONTE: 16TH SPRING SCHOOL OF THEORETICAL COMPUTER SCIENCE : FORMAL PROPERTIES OF FINITE AUTOMATA AND APPLICATIONS in FORMAL PROPERTIES OF FINITE AUTOMATA AND APPLICATIONS, VOLUME: 386, PÁGINAS: 148-164
INDEXADO EM: WOS
3555
TÍTULO: ON POWER VARIETIES OF SEMIGROUPS  Full Text
AUTORES: ALMEIDA, J ;
PUBLICAÇÃO: 1989, FONTE: JOURNAL OF ALGEBRA, VOLUME: 120, NÚMERO: 1, PÁGINAS: 1-17
INDEXADO EM: Scopus WOS CrossRef: 5
3556
TÍTULO: Semantic Analysis of Time and Tense in Natural Language: An Implementation
AUTORES: Nelma Moreira ;
PUBLICAÇÃO: 1989, FONTE: 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, PÁGINAS: 198-209
INDEXADO EM: Scopus DBLP CrossRef
3557
TÍTULO: SEMIDIRECT PRODUCTS OF PSEUDOVARIETIES FROM THE UNIVERSAL ALGEBRAISTS POINT OF VIEW  Full Text
AUTORES: ALMEIDA, J ;
PUBLICAÇÃO: 1989, FONTE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 60, NÚMERO: 2, PÁGINAS: 113-128
INDEXADO EM: Scopus WOS CrossRef: 15
3558
TÍTULO: Some Comments on a Logic Programming Approach to Natural Language Semantics
AUTORES: Ana Paula Tomás ; Miguel Filgueiras;
PUBLICAÇÃO: 1989, FONTE: EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings, VOLUME: 390, PÁGINAS: 187-197
INDEXADO EM: DBLP
3559
TÍTULO: Some comments on a logic programming approach to natural language semantics
AUTORES: Tomás, AP ; Filgueiras, M;
PUBLICAÇÃO: 1989, FONTE: 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, PÁGINAS: 187-197
INDEXADO EM: Scopus CrossRef: 1
3560
TÍTULO: THE ALGEBRA OF IMPLICIT OPERATIONS
AUTORES: ALMEIDA, J ;
PUBLICAÇÃO: 1989, FONTE: ALGEBRA UNIVERSALIS, VOLUME: 26, NÚMERO: 1, PÁGINAS: 16-32
INDEXADO EM: Scopus WOS CrossRef: 14

Results per Page: 20.
Página 178 de 180. Total de resultados: 3584.