Centro de Matemática e Aplicações (CMA)
Centre for Mathematics and Applications

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: 2076

97 Team Members
Filters -> Year: 2025
2001
TÍTULO: Proof-theoretic notions for software maintenance
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2000, FONTE: MFCSIT2000, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology in First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000, VOLUME: 40, PÁGINAS: 206-219
INDEXADO EM: Scopus DBLP CrossRef
2002
TÍTULO: Semigroups of linear endomorphisms closed under conjugation  Full Text
AUTORES: Araujo, J ; Silva, FC ;
PUBLICAÇÃO: 2000, FONTE: COMMUNICATIONS IN ALGEBRA, VOLUME: 28, NÚMERO: 8, PÁGINAS: 3679-3689
INDEXADO EM: Scopus WOS CrossRef: 11
2003
TÍTULO: Subdirectly irreducible Ockham chains  Full Text
AUTORES: Blyth, TS; Silva, HJ ;
PUBLICAÇÃO: 2000, FONTE: ALGEBRA UNIVERSALIS, VOLUME: 44, NÚMERO: 1-2, PÁGINAS: 1-14
INDEXADO EM: Scopus WOS CrossRef: 1
2004
TÍTULO: The monoid of all injective orientation preserving partial transformations on a finite chain  Full Text
AUTORES: Vítor H. Fernandes ;
PUBLICAÇÃO: 2000, FONTE: COMMUNICATIONS IN ALGEBRA, VOLUME: 28, NÚMERO: 7, PÁGINAS: 3401-3426
INDEXADO EM: Scopus WOS CrossRef: 19
2005
TÍTULO: Theoretical analysis of the Exponential Transversal Method of Lines for the diffusion equation  Full Text
AUTORES: Salazar, AJ; Raydan, M ; Campo, A;
PUBLICAÇÃO: 2000, FONTE: Numerical Methods for Partial Differential Equations, VOLUME: 16, NÚMERO: 1, PÁGINAS: 30-41
INDEXADO EM: CrossRef: 10
2006
TÍTULO: Theoretical analysis of the exponential transversal method of lines for the diffusion equation
AUTORES: Salazar, AJ; Raydan, M ; Campo, A;
PUBLICAÇÃO: 2000, FONTE: Numerical Methods for Partial Differential Equations, VOLUME: 16, NÚMERO: 1, PÁGINAS: 30-41
INDEXADO EM: Scopus
2007
TÍTULO: A general construction of Ockham algebras  Full Text
AUTORES: Silva, HJ ;
PUBLICAÇÃO: 1999, FONTE: COMMUNICATIONS IN ALGEBRA, VOLUME: 27, NÚMERO: 9, PÁGINAS: 4561-4567
INDEXADO EM: Scopus WOS CrossRef
2008
TÍTULO: Black-eye patterns: A representation of three-dimensional symmetries in thin domains
AUTORES: Gomes, MGM ;
PUBLICAÇÃO: 1999, FONTE: PHYSICAL REVIEW E, VOLUME: 60, NÚMERO: 4, PÁGINAS: 3741-3747
INDEXADO EM: WOS CrossRef: 12
2009
TÍTULO: Black-eye patterns: A representation of three-dimensional symmetries in thin domains
AUTORES: Gabriela, M; Gomes, M ;
PUBLICAÇÃO: 1999, FONTE: Physical Review E - Statistical Physics, Plasmas, Fluids, and Related Interdisciplinary Topics, VOLUME: 60, NÚMERO: 4 A, PÁGINAS: 3741-3747
INDEXADO EM: Scopus
2010
TÍTULO: Flows associated to tangent processes on the Wiener space  Full Text
AUTORES: Fernanda Cipriano ; Cruzeiro, AB ;
PUBLICAÇÃO: 1999, FONTE: JOURNAL OF FUNCTIONAL ANALYSIS, VOLUME: 166, NÚMERO: 2, PÁGINAS: 310-331
INDEXADO EM: Scopus WOS CrossRef: 13
2011
TÍTULO: Frege structures for partial applicative theories
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 1999, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 9, NÚMERO: 5, PÁGINAS: 683-700
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2012
TÍTULO: Gradient method with retards and generalizations  Full Text
AUTORES: Friedlander, A; Martínez, JM; Molina, B; Raydan, M ;
PUBLICAÇÃO: 1999, FONTE: SIAM Journal on Numerical Analysis, VOLUME: 36, NÚMERO: 1, PÁGINAS: 275-289
INDEXADO EM: Scopus
2013
TÍTULO: On Applicative Theories
AUTORES: Gerhard Jäger; Reinhard Kahle ; Thomas Strahm;
PUBLICAÇÃO: 1999, FONTE: Logic and Foundations of Mathematics, PÁGINAS: 83-92
INDEXADO EM: CrossRef: 8
2014
TÍTULO: On equalizer flat acts  Full Text
AUTORES: Bentz, W ; Bulman Fleming, S;
PUBLICAÇÃO: 1999, FONTE: SEMIGROUP FORUM, VOLUME: 58, NÚMERO: 1, PÁGINAS: 5-16
INDEXADO EM: Scopus WOS CrossRef: 2
2015
TÍTULO: Spatial Hidden Symmetries in Pattern Formation
AUTORES: Gabriela G M Gomes ; Isabel S Labouriau ; Eliana M Pinho;
PUBLICAÇÃO: 1999, FONTE: Pattern Formation in Continuous and Coupled Systems - The IMA Volumes in Mathematics and its Applications, PÁGINAS: 83-99
INDEXADO EM: CrossRef: 5
2016
TÍTULO: The covering number of elements of a matroid and associated transformations  Full Text
AUTORES: Fernandes, Rosario ;
PUBLICAÇÃO: 1999, FONTE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 298, NÚMERO: 1-3, PÁGINAS: 51-71
INDEXADO EM: Scopus WOS CrossRef: 5
2017
TÍTULO: The generalized integer gamma distribution - A basis for distributions in multivariate statistics (vol 69, pg 281, 1999)  Full Text
AUTORES: Coelho, CA ;
PUBLICAÇÃO: 1999, FONTE: JOURNAL OF MULTIVARIATE ANALYSIS, VOLUME: 69, NÚMERO: 2, PÁGINAS: 281-285
INDEXADO EM: WOS CrossRef
2018
TÍTULO: The proof-theoretic analysis of transfinitely iterated fixed point theories
AUTORES: Jager, G; Reinhard Kahle ; Setzer, A; Strahm, T;
PUBLICAÇÃO: 1999, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 64, NÚMERO: 1, PÁGINAS: 53-67
INDEXADO EM: Scopus WOS CrossRef: 25
2019
TÍTULO: The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories
AUTORES: Gerhard Jäger; Reinhard Kahle ; Anton Setzer; Thomas Strahm;
PUBLICAÇÃO: 1999, FONTE: J. Symb. Log., VOLUME: 64, NÚMERO: 1, PÁGINAS: 53-67
INDEXADO EM: DBLP
2020
TÍTULO: The two dimensional Euler equation: A statistical study  Full Text
AUTORES: Fernanda Cipriano ;
PUBLICAÇÃO: 1999, FONTE: COMMUNICATIONS IN MATHEMATICAL PHYSICS, VOLUME: 201, NÚMERO: 1, PÁGINAS: 139-154
INDEXADO EM: Scopus WOS CrossRef: 15

Results per Page: 20.
Página 101 de 104. Total de resultados: 2076.