Centro de Matemática da Universidade do Porto (CMUP)
Centro de Matemática da Universidade do Porto
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.
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 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: 3649
143 Team MembersFilters -> Year: 2025
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2017, FONTE: 19th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2017, VOLUME: 10316, PÁGINAS: 77-88
AUTORES: Daniele D'Angeli; Emanuele Rodaro; Jan Philipp Wächter ;
PUBLICAÇÃO: 2017, FONTE: Advances in Applied Mathematics, VOLUME: 90, PÁGINAS: 160-187
AUTORES: Sabine Broda ; Markus Holzer; Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2017, FONTE: 21st International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, VOLUME: 10396, PÁGINAS: 134-146
AUTORES: Jorge Almeida ; Miguel Couceiro; Tamas Waldhauser;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 28, NÚMERO: 1, PÁGINAS: 5-28



AUTORES: Margolis, S; Rhodes, J; Silva, PV ;
PUBLICAÇÃO: 2017, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 27, NÚMERO: 1, PÁGINAS: 121-156
AUTORES: Pin, JE; Silva, PV ;
PUBLICAÇÃO: 2017, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 658, PÁGINAS: 246-262
AUTORES: Pereira, FL ; Grilo, T ; Gama, S ;
PUBLICAÇÃO: 2017, FONTE: 20th World Congress of the International-Federation-of-Automatic-Control (IFAC) in IFAC PAPERSONLINE, VOLUME: 50, NÚMERO: 1, PÁGINAS: 2193-2198
AUTORES: Fernando Lobo Pereira ; Teresa Grilo ; Silvio Gama ;
PUBLICAÇÃO: 2017, FONTE: Oceans Aberdeen Conference in OCEANS 2017 - ABERDEEN, VOLUME: 2017-October, PÁGINAS: 1-4
AUTORES: Nelma Moreira ; Giovanni Pighizzini; Rogerio Reis ;
PUBLICAÇÃO: 2017, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 658, PÁGINAS: 235-245
AUTORES: Cruz, R ; Fernandes, K ; Costa, JFP ; Ortiz, MP; Cardoso, JS ;
PUBLICAÇÃO: 2017, FONTE: 8th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2017), VOLUME: 10255, PÁGINAS: 3-12
AUTORES: Ondrésik, M; Oliveira, JM; Reis, RL ;
PUBLICAÇÃO: 2017, FONTE: Studies in Mechanobiology, Tissue Engineering and Biomaterials, VOLUME: 21, PÁGINAS: 55-72

AUTORES: Mendes, IR; Vasconcelos, PB ;
PUBLICAÇÃO: 2017, FONTE: 3rd International Conference on Numerical and Symbolic Computation: Developments and Applications, SYMCOMP 2017 in SYMCOMP 2017 - 3rd International Conference on Numerical and Symbolic Computation: Developments and Applications, Proceedings, PÁGINAS: 49-64

AUTORES: Garcia Sanchez, PA ; Heredia, BA; Karaka, HI; Rosales, JC;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS, VOLUME: 16, NÚMERO: 11

AUTORES: García-Sánchez P.A. ; Heredia B.A.; Karakaş H.I.; Rosales J.C.;
PUBLICAÇÃO: 2017, FONTE: Journal of Algebra and its Applications, VOLUME: 16, NÚMERO: 11, PÁGINAS: 1750209
AUTORES: Aguiar, MAD ; Ana Dias ; Ferreira, F ;
PUBLICAÇÃO: 2017, FONTE: CHAOS, VOLUME: 27, NÚMERO: 1, PÁGINAS: 013103
AUTORES: Pinto, CMA ;
PUBLICAÇÃO: 2017, FONTE: COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION, VOLUME: 43, PÁGINAS: 251-260
AUTORES: Carla M A Pinto ;
PUBLICAÇÃO: 2017, FONTE: Commun. Nonlinear Sci. Numer. Simul., VOLUME: 43, PÁGINAS: 251-260

AUTORES: João Nuno Tavares ; Ângela Geraldo;
PUBLICAÇÃO: 2017, FONTE: Revista de Ciência Elementar, VOLUME: 5, NÚMERO: 1

AUTORES: Eliana Duarte ; Daniel Lichtblau;
PUBLICAÇÃO: 2017, FONTE: Proceedings - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, PÁGINAS: 53-59
AUTORES: João Nuno Tavares ; Ângela Geraldo;
PUBLICAÇÃO: 2017, FONTE: Revista de Ciência Elementar, VOLUME: 5, NÚMERO: 1
